You are here

Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 94 results:

BibTex

Unpublished

A. Baruzzo and Comini, M., “Toward a Unified Framework for Quality and 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., “A Framework for Computer Aided Consistency Verification of UML Models”. 2007.

Thesis

A. Baruzzo, “A Unified Framework for Automated UML Model Analysis”, Dipartimento di matematica e Informatica, 2008.

G. Bacci, “An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages”, Università di Udine, 2012.

M. Comini, “An Abstract Interpretation Framework for Semantics and Diagnosis of Logic Programs”, Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy, 1998.

Technical Report

M. Alpuente, Gramlich, B., and Villanueva, A., “Timed Concurrent Constraint programming with External Functions”. DSIC, UPV, 2006.

M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Defining Datalog in Rewriting Logic”. DSIC, Universidad Politécnica de Valencia, 2009.

M. Comini and Torella, L., “A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting”. 2013.

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.

G. Bacci and Comini, M., “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.

Journal Article

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.

M. Comini, Levi, G., and Meo, M. C., “A Theory of Observables for Logic Programs”, Information and Computation, vol. 169, pp. 23–80, 2001.

A. Lescaylle and Villanueva, A., “The tccp Interpreter”, Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 2009.

D. Ballis and Kutsia, T., “Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)”, Journal of Symbolic Computation, vol. 46, pp. 93–94, 2011.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “A Semantic Framework for the Abstract Model Checking of tccp programs”, {Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.

M. Alpuente, Ballis, D., and Falaschi, M., “Rule-based Verification of Web Sites”, International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.

M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “A Real-Time Logic for tccp verification”, Journal of Universal Computer Science, vol. 12, pp. 1551–1573, 2006.

M. Baggi, “An Ontology-based System for Semantic Filtering of XML Data”, Electronic Notes in Theoretical Computer Science, vol. 235, pp. 19–33, 2009.

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.

M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., “An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs”, Theoretical Computer Science, vol. 411, no. 47, 2010.

M. Alpuente, Gramlich, B., and Villanueva, A., “A Framework for Timed Concurrent Constraint Programming with External Functions”, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 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. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer”, Electronic Notes in Theoretical Computer Science, vol. 248, pp. 57–66, 2009.

M. Comini and Meo, M. C., “Compositionality properties of ıt SLD-derivations”, Theoretical Computer Science, vol. 211, pp. 275–309, 1999.

M. Alpuente, Comini, M., Escobar, S., Falaschi, M., and Iborra, J., “A Compact Fixpoint Semantics for Term Rewriting Systems”, Theoretical Computer Science, 2010.

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. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., “Abstract Model Checking of tccp programs”, Electronic Notes in Theoretical Computer Science (ENTCS), vol. 112, pp. 19–36, 2004.

M. Comini, Gori, R., Levi, G., and Volpe, P., “Abstract Interpretation based Verification of Logic Programs”, Science of Computer Programming, vol. 49, pp. 89–123, 2003.

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.

Pages