You are here

Publications

Export 94 results:
Conference Proceedings
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. Baggi, Ballis, D., and Falaschi, M., XML Semantic Filtering via Ontology Reasoning, 3rd International Conference on Internet and Web Applications and Services, ICIW 2008. IEEE Computer Society, pp. 482–487, 2008.
Journal Article
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation, Electronic Notes in Theoretical Computer Science, vol. 206, pp. 3–21, 2008.
M. Comini, Levi, G., Meo, M. C., and Vitiello, G., Abstract Diagnosis, Journal of Logic Programming, vol. 39, pp. 43–93, 1999.
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, 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. 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. 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, Comini, M., Escobar, S., Falaschi, M., and Iborra, J., A Compact Fixpoint Semantics for Term Rewriting Systems, Theoretical Computer Science, 2010.
M. Comini and Meo, M. C., Compositionality properties of ıt SLD-derivations, Theoretical Computer Science, vol. 211, pp. 275–309, 1999.
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.
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, 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.
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. 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. Baggi, An Ontology-based System for Semantic Filtering of XML Data, Electronic Notes in Theoretical Computer Science, vol. 235, pp. 19–33, 2009.
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. 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 Semantic Framework for the Abstract Model Checking of tccp programs, {Theoretical Computer Science}, vol. 346, pp. 58–95, 2005.
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.
A. Lescaylle and Villanueva, A., The tccp Interpreter, Electronic Notes in Theoretical Computer Science, vol. 258, pp. 63–77, 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., A Tool for Generating a Symbolic Representation of tccp Executions, Electronic Notes in Theoretical Computer Science, vol. 246, pp. 131–145, 2009.

Pages