Lucio Levi

System Simulation (United Kingdom) — United Kingdom

Computer Science · Physical Sciences

17h-index942citations137works3.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Model-Driven Software Engineering Techniques(42), Formal Methods in Verification(21), Service-Oriented Architecture and Web Services(19), Software Testing and Debugging Techniques(17), Advanced Software Engineering Methodologies(15)

Publications137 total

Verifying Access Control in Statecharts
Technische Universität Berlin – Universitätsbibliothek·2024· 3 citedOpen Access
DSL Composition for model-based test generation
Technische Universität Berlin – Universitätsbibliothek·2024· 3 citedOpen Access
La Caduta del Muro di Berlino e l'Organizzazione della Pace, Ieri e Oggi – Eurobull.it
2021
Stop the Dismemberment of Ukraine – The New Federalist
2021
« La guerre revient » – Le Taurillon
2021
L'unificazione europea e la pace – Eurobull.it
2021
UN HOMBRE DE ACCIÓN INSPIRADO POR EL PENSAMIENTO FEDERALISTA
Enrique Barón Crespo: una vida dedicada a la construcción de la democracia europea·2021
Refining Statecharts while preserving the structure and behavior
2020· 1 cited
Requirements-based Code Model Checking
2020· 2 cited
The Stages of the Enlargement of the Democratic State and Federalism – The New Federalist
2020
La paix aujourd'hui dans un monde globalisé – Le Taurillon
2020
Generation of Co-simulation Algorithms Subject to Simulator Contracts
Lecture notes in computer science·2020· 10 cited
Albert Einstein from Pacifism to the Idea of World Government
Peter Lang B eBooks·2019· 1 cited
Semantics of Co-simulation Algorithms with Simulator Contracts
2019· 15 cited
Roadmap to Skill Based Systems Engineering
2019· 13 cited
Machine Learning for Learnability of MDD tools
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering·2019· 4 citedOpen Access
Capability-based semantic interoperability of manufacturing resources: A BaSys 4.0 perspective
IFAC-PapersOnLine·2019· 54 citedOpen Access
Europeanist Parties Prevail in European Elections
The Federalist Debate·2019
Design and Runtime Verification Side-by-Side in eTrice
Lecture notes in computer science·2019· 1 cited
A Bird's Eye View on Requirements Engineering and Machine Learning
2018· 32 citedOpen Access
page 1 of 7Next →

Frequent Co-authors

Hans Vangheluwe(12), Moussa Amrani(8), Gehan Selim(7), Didier Buchs(7), Eugene Syriani(6), Luís Pedro(6), Manuel Wimmer(5), James R. Cordy(5), Bentley James Oakes(5), Juergen Dingel(4), Yves Le Traon(4), Vincent Aravantinos(4), Bruno Barroca(4), Vasco Amaral(4), Rick Salay(3), Jürgen Dingel(3), Sophie Lemaitre(3), Heinz Stockinger(3), Kurt Stockinger(3), Salman Rahman(3)