Marco Comini

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 2

Top Topics

Term Rewriting Systems

Linear Temporal Logic

Fixpoint Semantics

Functional Programs

Top Venues

Formal Aspects Comput.

Publications

Marco Comini, María-del-Mar Gallardo, Alicia Villanueva
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR (2021)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29 (3) (2017)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
Abstract Analysis of Universal Properties for tccp. LOPSTR (2015)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14 (4-5) (2014)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR (2014)
Marco Comini, Luca Torella
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. PEPM (2013)
Marco Comini, Laura Titolo, Alicia Villanueva
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR (2013)
Marco Comini, Luca Torella
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting. SCSS (2013)
Marco Comini, Luca Torella
Automatic Inference of Term Equivalence in Term Rewriting Systems. SCSS (2013)
Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) (2012)
Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva
Automatic synthesis of specifications for first order curry programs. PPDP (2012)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for Timed Concurrent Constraint programs CoRR (2011)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11 (4-5) (2011)
Giovanni Bacci, Marco Comini
Abstract Diagnosis of First Order Functional Logic Programs. LOPSTR (2010)
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra
A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411 (37) (2010)
Andrea Baruzzo, Marco Comini
A Methodology for UML Models V&V. ICST (2008)
Demis Ballis, Andrea Baruzzo, Marco Comini
A Rule-based Method to Match Software Patterns Against UML Models. Electron. Notes Theor. Comput. Sci. 219 (2008)
Demis Ballis, Andrea Baruzzo, Marco Comini
A Minimalist Visual Notation for Design Patterns and Antipatterns. ITNG (2008)
Marco Comini, Ferruccio Damiani, Samuel Vrech
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS (2008)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract interpretation based verification of logic programs. Sci. Comput. Program. 49 (1-3) (2003)
Marco Comini, Moreno Falaschi
Preface. Electron. Notes Theor. Comput. Sci. 76 (2002)
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas
Abstract Diagnosis of Functional Programs. LOPSTR (2002)
Marco Comini, Roberta Gori, Giorgio Levi
Logic programs as specifications in the inductive verification of logic programs. APPIA-GULP-PRODE 48 (2001)
Marco Comini, Giorgio Levi, Maria Chiara Meo
A Theory of Observables for Logic Programs. Inf. Comput. 169 (1) (2001)
Marco Comini, Roberta Gori, Giorgio Levi
How to Transform an Analyzer into a Verifier. LPAR (2001)
Marco Comini, Roberta Gori, Giorgio Levi
How to transform an analyzer into a verifier. APPIA-GULP-PRODE (2001)
Marco Comini, Roberta Gori, Giorgio Levi
Assertion based Inductive Verification Methods for Logic Programs. Electron. Notes Theor. Comput. Sci. 40 (2000)
Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe
Abstract Interpretation based Verification of Logic Programs. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Marco Comini, Maria Chiara Meo
-Derivations. Theor. Comput. Sci. 211 (1-2) (1999)
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
Abstract Diagnosis. J. Log. Program. 39 (1-3) (1999)
Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak
Diagnosis of CHIP Programs Using Type Information. APPIA-GULP-PRODE (1999)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Modular Abstract Diagnosis. APPIA-GULP-PRODE (1998)
Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS (1997)
Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE (1996)
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
Proving Properties of Logic Programs by Abstract Diagnosis. LOMAPS (1996)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Declarative Diagnosis Revisited. GULP-PRODE (1995)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Declarative Diagnosis Revisited. ILPS (1995)
Giorgio Levi, Marco Comini, Giuliana Vitiello
On the Abstract Diagnosis of Logic Programs. GULP-PRODE (1995)
Marco Comini, Giorgio Levi, Maria Chiara Meo
Compositionality in SLD-Derivations and their Abstractions. ILPS (1995)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. AADEBUG (1995)
Marco Comini, Giorgio Levi, Maria Chiara Meo
Compositionality in SLD-derivations and their Abstractions. GULP-PRODE (1995)
Marco Comini, Giorgio Levi
An Algebraic Theory of Observables. GULP-PRODE (1) (1994)
Marco Comini, Giorgio Levi
An Algebraic Theory of Observables. ILPS (1994)
Marco Comini, Giorgio Levi, Giuliana Vitiello
Abstract Debugging of Logic Program. META (1994)