Marco Comini

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