You are here

Publications

Export 94 results:
Conference Proceedings
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
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.
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. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Implementing Datalog in Maude, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.
M. Baggi and Ballis, D., A Lazy Implementation of a Language for Approximate Filtering of XML Documents, Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), vol. 216. Elsevier, pp. 93–109, 2008.
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.
A. Baruzzo and Comini, M., A Methodology for UML Models V&V, Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
D. Ballis, Baruzzo, A., and Comini, M., A Minimalist Visual Notation for Design Patterns and Antipatterns, 5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 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. Comini, Levi, G., and Vitiello, G., Modular Abstract Diagnosis, Proceedings APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming. pp. 409–420, 1998.
M. Alpuente, Ballis, D., Correa, F., and Falaschi, M., A Multiparadigm Automatic Correction Scheme, Pre-Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002. 2002.
M. Comini, Damiani, F., and Vrech, S., On Polymorphic Recursion, Type Systems, and Abstract Interpretation, Static Analysis – 15th International Symposium, SAS 2008, vol. 5079. Springer-Verlag, Berlin, pp. 144–158, 2008.
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. Baggi, Ballis, D., and Falaschi, M., Quantitative Pathway Logic for Computational Biology, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009. Springer, pp. 68–82, 2009.
M. Alpuente, Ballis, D., and Falaschi, M., A Rewriting-based Framework for Web Sites Verification, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.
D. Ballis, Baruzzo, A., and Comini, M., A rule-based method to match Software Patterns against UML Models, The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
D. Ballis and Vivó, J. G., A Rule-based System for Web Site Verification, Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), vol. 157. Elsevier, pp. 153–156, 2006.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., Semantic Verification of Web System Contents, ER 2008 Workshops (WISM 2008), vol. 5232. Springer, pp. 437–446, 2008.
M. Alpuente, Ballis, D., Falaschi, M., and Romero, D. O., A Semi-Automatic Methodology for Repairing Faulty Web Sites, 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006). IEEE Computer Society, pp. 31–40, 2006.
M. Alpuente, Ballis, D., and Romero, D. O., Specification and Verification of Web Applications in Rewriting Logic, 16th International Symposium on Formal Methods, FM 2009. Springer, pp. 790–805, 2009.
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.
M. Alpuente, Falaschi, M., and Villanueva, A., Symbolic Model Checking for Timed Concurrent Constraint Programs, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
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. Alpuente, Gramlich, B., and Villanueva, A., Timed Concurrent Constraint Programming with Instantaneous Computations, Actas de las VI Jornadas de Programaci. Sitges, Barcelona, Spain, 2006.
M. Comini and Torella, L., TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13). 2013.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Using Datalog and Boolean Equation Systems for Program Analysis, Proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), vol. 5596. Springer-Verlag, pp. 215–231, 2009.
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.
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.
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.
M. Alpuente, Gallardo, M. M., Pimentel, E., and Villanueva, A., Verifying Real-Time Properties of tccp Programs, Proc. of the Quintas Jornadas sobre Programación y Lenguajes, PROLE'05, 2005. pp. 85–94, 2005.

Pages