1. A study of behavioral decay in design patterns;Journal of Software: Evolution and Process;2023-11-21
2. Refinement of UML2.0 Sequence Diagrams for Distributed Systems;Proceedings of the 11th International Joint Conference on Software Technologies;2016
3. Required behavior of sequence diagrams;ACM Transactions on Software Engineering and Methodology;2014-03
4. On the Usage of Network Visualization for Multiagent System Verification;Lecture Notes in Social Networks;2014
5. Verification of UML Sequence Diagrams in Coq;Lecture Notes in Electrical Engineering;2013-12-05