A. Baruzzo and Comini, M.,
“A Methodology for UML Models V&V”,
Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
D. Ballis, Baruzzo, A., and Comini, M.,
“A Minimalist Visual Notation for Design Patterns and Antipatterns”,
5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
D. Ballis, Baruzzo, A., and Comini, M.,
“A rule-based method to match Software Patterns against UML Models”,
The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
A. Baruzzo and Comini, M.,
“Static Verification of UML Model Consistency”,
MoDeV{$^2$}a: Model Development, Validation and Verification. University of Queensland, pp. 111–126, 2006.