1. State-of-the-Art;Services and Business Process Reengineering;2020
2. A modular framework for verifying versatile distributed systems;Journal of Logical and Algebraic Methods in Programming;2019-11
3. Pattern-based rewrite and refinement of architectures using graph theory;SICS Software-Intensive Cyber-Physical Systems;2019-08-26
4. Modular Programming and Reasoning for Living with Uncertainty;Communications in Computer and Information Science;2019
5. Can Abstraction Be Taught? Refactoring-based Abstraction Learning;Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development;2018