Scientific Publications
-
Runtime Verification of Compound Components with ComMA A Journey from Process Algebra via Timed Automata to Model Learning, LNCS 13560, pages 382-402, 2022.
-
Reverse Engineering Models of Software Interfaces, Computer Science and Information Systems, pages 657-686, 2021.
-
Integrating Interface Modeling and Analysis in an Industrial Setting Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD 2017), pages 345-352, 2017
-
Runtime Monitoring based on Interface Specifications ModelEd, TestEd, TrustEd, LNCS 10500, pages 335-356, 2017
Other Publications
-
Model-based Specification, Verification, and Adaptation of Software Interfaces The DYNAMICS Approach, Benny Akesson
-
ComMA interfaces open the door to reliable high-tech systems Bits & Chips, September 2020
-
Improving interface specifications with ComMA Bits & Chips, September 2017
-
Domain-specific languages could scale up your code with ComMA Article by Philips Healthcare in Codemotion Magazine