You are here

Home

Publications

Export 94 results:
Thesis
A. Baruzzo, “A Unified Framework for Automated UML Model Analysis”, Dipartimento di matematica e Informatica, 2008.
Unpublished
A. Baruzzo and Comini, M., “A Framework for Computer Aided Consistency Verification of UML Models”. 2007.
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Model-checking Web Applications with Web-TLR”, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.
A. Baruzzo and Comini, M., “Toward a Unified Framework for Quality and Consistency Verification of UML Models”. 2007.

Pages

created with Drupal | customized by Giovanni Bacci