Artigos com autorizações de acesso público - Levi LucioSaiba mais
Disponíveis em algum local: 9
Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective
A Perzylo, J Grothoff, L Lucio, M Weser, S Malakuti, P Venet, ...
IFAC-PapersOnLine 52 (13), 1590-1596, 2019
Autorizações: Federal Ministry of Education and Research, Germany
Just formal enough? automated analysis of EARS requirements
L Lúcio, S Rahman, CH Cheng, A Mavin
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
Autorizações: Federal Ministry of Education and Research, Germany
A bird's eye view on requirements engineering and machine learning
T Iqbal, P Elahidoost, L Lucio
2018 25th Asia-Pacific Software Engineering Conference (APSEC), 11-20, 2018
Autorizações: European Commission
Full contract verification for ATL using symbolic execution
BJ Oakes, J Troya, L Lúcio, M Wimmer
Software & Systems Modeling 17, 815-849, 2018
Autorizações: Natural Sciences and Engineering Research Council of Canada
Semantics of co-simulation algorithms with simulator contracts
C Gomes, L Lúcio, H Vangheluwe
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
Autorizações: Research Foundation (Flanders)
EARS-CTRL: Generating Controllers for Dummies.
L Lúcio, S Rahman, S bin Abid, A Mavin
MODELS (satellite events), 566-570, 2017
Autorizações: Federal Ministry of Education and Research, Germany
Generation of co-simulation algorithms subject to simulator contracts
C Gomes, C Thule, L Lúcio, H Vangheluwe, PG Larsen
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020
Autorizações: Research Foundation (Flanders)
Process-Aware Model-driven Development Environments.
L Lúcio, S bin Abid, S Rahman, V Aravantinos, R Kuestner, E Harwardt
MODELS (Satellite Events), 405-411, 2017
Autorizações: Federal Ministry of Education and Research, Germany
Formalizing EARS–First Impressions
L Lúcio, T Iqbal
2018 1st International Workshop on Easy Approach to Requirements Syntax …, 2018
Autorizações: Federal Ministry of Education and Research, Germany
As informações de publicação e financiamento são determinadas automaticamente por um programa informático.