You are here

Publications

Export 94 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
A. Lescaylle and Villanueva, A., The tccp Interpreter, Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.
A. Lescaylle and Villanueva, A., Using tccp for the Specification of Communication Protocols, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 301–310, 2007.
A. Lescaylle and Villanueva, A., A Tool for Generating a Symbolic Representation of tccp Executions, Electronic Notes in Theoretical Computer Science, vol. 246, pp. 131–145, 2009.
A. Lescaylle and Villanueva, A., Using tccp for the Specification and Verification of Communication Protocols, Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP'07). Paris (France), pp. 169–183, 2007.
H
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.
F
S. Flores, Lucas, S., and Villanueva, A., Formal Verification of Websites, Proceedings of the 16th International Workshop on Automated Specification and Verification of Web Sites (WWV'07). San Servolo, Venice, Italy, pp. 83–97, 2007.
S. Flores, Lucas, S., and Villanueva, A., Using Maude for the Formal Verification of Websites, Actas de las VII Jornadas de Programación y Lenguajes (PROLE'07). Zaragoza (Spain), pp. 71–80, 2007.
S. Flores, Lucas, S., and Villanueva, A., Formal Verification of Websites, Electronic Notes in Theoretical Computer Science, vol. 200, pp. 103–118, 2008.
M. Falaschi, Policriti, A., and Villanueva, A., Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language, Proceedings of the 2000 Joint Conference on Declarative Programming. University of La Habana, La Habana, Cuba, 2000.
M. Falaschi and Villanueva, A., Automatic Verification of Timed Concurrent Constraint programs, Theory and Practice of Logic Programming, vol. 6, pp. 265–300, 2006.
M. Falaschi, Policriti, A., and Villanueva, A., Time Limited Model Checking, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.
M. Comini, VeriPolyTypes: a tool for Verification of Logic Programs with respect to Type Specifications, Proceedings of 11th International Workshop on Functional and (constraint) Logic Programming. Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy, pp. 233–236, 2002.
M. Falaschi, Policriti, A., and Villanueva, A., Modeling Timed Concurrent systems in a Temporal Concurrent Constraint language - I, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 48, pp. 1–15, 2000.
C
M. Comini, Levi, G., and Vitiello, G., Modular Abstract Diagnosis, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
M. Comini, An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.
M. Comini, Drabent, W., and Pietrzak, P., Diagnosis of CHIP Programs Using Type Information, Appia-Gulp-Prode'99, Joint Conference on Declarative Programming. pp. 337–349, 1999.
M. Comini, Gori, R., and Levi, G., How to Transform an Analyzer into a Verifier, Logic for Programming and Automated Reasoning. Proceedings of the 8th International Conference (LPAR'01), vol. 2250. Springer-Verlag, Berlin, pp. 595–609, 2001.
M. Comini, Gori, R., and Levi, G., Assertion based Inductive Verification Methods for Logic Programs, Proceedings of MFCSIT'2000, vol. 40. Elsevier Science Publishers, pp. 1–18, 2001.
M. Comini, Gori, R., and Levi, G., Logic programs as specifications in the inductive verification of logic programs, Declarative Programming – Selected Papers from AGP 2000, vol. 48. Elsevier Science Publishers, pp. 1–16, 2001.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Abstract Diagnosis, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
M. Comini, Levi, G., and Vitiello, G., Declarative Diagnosis Revisited, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 275–287, 1995.
M. Comini, Levi, G., and Meo, M. C., A Theory of Observables for Logic Programs, Information and Computation, vol. 169, pp. 23–80, 2001.
M. Comini, Titolo, L., and Villanueva, A., A Compact Goal-Independent Bottom-Up Fixpoint Modeling the Behavior of tccp. Dipartimento di Matematica e Informatica, U. di Udine, 2011.
M. Comini, Levi, G., and Meo, M. C., Compositionality of SLD-derivations and their abstractions, Proceedings of the 1995 Int'l Symposium on Logic Programming. The MIT Press, pp. 561–575, 1995.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Proving properties of Logic Programs by Abstract Diagnosis, Proceedings of Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop (LOMAPS'96), vol. 1192. Springer-Verlag, Berlin, pp. 22–50, 1996.
M. Comini and Levi, G., An Algebraic Theory of Observables, Proceedings of the 1994 Int'l Symposium on Logic Programming. The MIT Press, pp. 172–186, 1994.
M. Comini, Titolo, L., and Villanueva, A., Abstract Diagnosis for Timed Concurrent Constraint programs, Theory and Practice of Logic Programming, vol. 11, p. 487--502, 2011.
M. Comini and Torella, L., A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. 2013.
M. Comini, Levi, G., and Vitiello, G., Abstract Debugging of Logic Programs, Proc. Logic Program Synthesis and Transformation and Metaprogramming in Logic 1994, vol. 883. Springer-Verlag, pp. 440–450, 1994.
M. Comini and Meo, M. C., Compositionality properties of ıt SLD-derivations, Theoretical Computer Science, vol. 211, pp. 275–309, 1999.

Pages