Computer Science · Physical Sciences
26h-index3.6kcitations308works2.82yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Model-Driven Software Engineering Techniques(50), Advanced Software Engineering Methodologies(47), Systems Engineering Methodologies and Applications(35), Formal Methods in Verification(33), Simulation Techniques and Applications(33)
Publications308 total
Journal of Open Aviation Science·2025Open Access
arXiv (Cornell University)·2025Open Access
Lecture notes in computer science·2024
2024· 3 cited
2024· 21 citedOpen Access
Research Directions Cyber-Physical Systems·2024· 1 citedOpen Access
Lecture notes in computer science·2024· 1 cited
2024· 1 cited
Lecture notes in computer science·2024· 4 cited
International Journal of Software and Informatics·2023· 9 citedOpen Access
Research Directions Cyber-Physical Systems·2023· 7 citedOpen Access
Lecture notes in computer science·2023· 2 cited
SSRN Electronic Journal·2023Open Access
PolyPublie (École Polytechnique de Montréal)·2023· 2 citedOpen Access
2022· 1 citedOpen Access
Lecture notes in computer science·2022· 5 cited
Heart Lung and Circulation·2022Open Access
page 1 of 16Next →
Frequent Co-authors
Peter Gorm Larsen(27), Jim Woodcock(10), Marcel Verhoef(7), Carl Gamble(5), Jeremy Bryans(5), Richard Payne(5), Juan Bicarregui(4), Ken Pierce(4), Alexander Romanovsky(4), Stylianos Basagiannis(2), T. M. Brookes(2), Alvaro Miyazawa(2), Anne E. Haxthausen(2), Kenneth Pierce(2), Giovanna Di Marzo Serugendo(2), Nicolas Guelfi(2), Cliff B. Jones(2), Klaus Kristensen(2), Ide Kearney(2), Sune Wolff(2)