Marco Comini

According to our database, Marco Comini authored at least 37 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A denotational semantics for PROMELA addressing arbitrary jumps.

Marco Comini, María-del-Mar Gallardo, Alicia Villanueva

CoRR, 2021

2017

A program analysis framework for tccp based on abstract interpretation.

Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva

Formal Aspects Comput., 2017

2015

Abstract Analysis of Universal Properties for tccp.

Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

Abstract Diagnosis for tccp using a Linear Temporal Logic.

Marco Comini, Laura Titolo, Alicia Villanueva

Theory Pract. Log. Program., 2014

2013

Towards an Effective Decision Procedure for LTL formulas with Constraints.

Marco Comini, Laura Titolo, Alicia Villanueva

CoRR, 2013

A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting.

Marco Comini, Luca Torella

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Automatic Inference of Term Equivalence in Term Rewriting Systems.

Marco Comini, Luca Torella

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems.

Marco Comini, Luca Torella

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Automatic synthesis of specifications for first order curry programs.

Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva

Proceedings of the Principles and Practice of Declarative Programming, 2012

The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages.

Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Abstract diagnosis for timed concurrent constraint programs.

Marco Comini, Laura Titolo, Alicia Villanueva

Theory Pract. Log. Program., 2011

2010

A compact fixpoint semantics for term rewriting systems.

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra

Theor. Comput. Sci., 2010

Abstract Diagnosis of First Order Functional Logic Programs.

Giovanni Bacci, Marco Comini

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2008

On Polymorphic Recursion, Type Systems, and Abstract Interpretation.

Marco Comini, Ferruccio Damiani, Samuel Vrech

Proceedings of the Static Analysis, 15th International Symposium, 2008

A Minimalist Visual Notation for Design Patterns and Antipatterns.

Demis Ballis, Andrea Baruzzo, Marco Comini

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Methodology for UML Models V&V.

Andrea Baruzzo, Marco Comini

Proceedings of the First International Conference on Software Testing, 2008

2007

A Rule-based Method to Match Software Patterns Against UML Models.

Demis Ballis, Andrea Baruzzo, Marco Comini

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

2002

Preface.

Marco Comini, Moreno Falaschi

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Abstract Diagnosis of Functional Programs.

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

A Theory of Observables for Logic Programs.

Marco Comini, Giorgio Levi, Maria Chiara Meo

Inf. Comput., 2001

Logic programs as specifications in the inductive verification of logic programs.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the Declarative Programming, 2001

How to transform an analyzer into a verifier.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Assertion based Inductive Verification Methods for Logic Programs.

Marco Comini, Roberta Gori, Giorgio Levi

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1999

Compositionality Properties of <i>SLD</i>-Derivations.

Marco Comini, Maria Chiara Meo

Theor. Comput. Sci., 1999

Abstract Interpretation based Verification of Logic Programs.

Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

Abstract Diagnosis.

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello

J. Log. Program., 1999

Diagnosis of CHIP Programs Using Type Information.

Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Modular Abstract Diagnosis.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

Tools and Environments for (Constraint) Logic Programming (Workshop Overview).

Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte

Proceedings of the Logic Programming, 1997

1996

Proving Properties of Logic Programs by Abstract Diagnosis.

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

The And-compositionality of CLP Computed Answer Constraints.

Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

On the Abstract Diagnosis of Logic Programs.

Giorgio Levi, Marco Comini, Giuliana Vitiello

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Declarative Diagnosis Revisited.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Compositionality in SLD-derivations and their Abstractions.

Marco Comini, Giorgio Levi, Maria Chiara Meo

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Abstract Debugging of Logic Program.

Marco Comini, Giorgio Levi, Giuliana Vitiello

Proceedings of the Logic Programming Synthesis and Transformation, 1994

An Algebraic Theory of Observables.

Marco Comini, Giorgio Levi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994