Publications
Scientific Publications
-
Model Based Component Development and Analysis with ComMA Science of Computer Programming, Special issue in Success Stories in Model-Driven Engineering, Volume 233, March, 2024.
-
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
-
Modeling and analyzing hardware-software interfaces with ComMA Jozef Hooman, Wouter Tabingh-Suermondt, TNO Report R10720, 2024
-
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