Maurice H. ter Beek
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"(IT)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Formal Methods in Verification, Model-Driven Software Engineering Techniques, Service-Oriented Architecture and Web Services, Business Process Modeling and Analysis
Most-Cited Works
- → Web Service Composition Approaches: From Industrial Standards to Formal Methods(2007)150 cited
- → QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems(2018)149 cited
- → Formal Description of Variability in Product Families(2011)92 cited
- → A state/event-based model-checking approach for the analysis of abstract system properties(2010)85 cited
- → Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints(2015)85 cited
- → The 2020 Expert Survey on Formal Methods(2020)75 cited
- → Formal Methods in railways: a systematic mapping study(2022)74 cited