You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 3 results:

BibTex

Filters: Keyword is Verification and Author is Marco Comini [Clear All Filters]

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.

1999

M. Comini, Levi, G., Meo, M. C., and Vitiello, G., “Abstract Diagnosis”, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.

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.