You are here

Publications

Export 3 results:
Filters: Keyword is Verification  [Clear All Filters]
2006
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.
1999
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Abstract Diagnosis, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
1998
M. Comini, Levi, G., and Vitiello, G., Modular Abstract Diagnosis, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.