| 2024 | ICALP | Automata-Theoretic Characterisations of Branching-Time Temporal Logics. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2024 | TIME | Full Characterisation of Extended CTL. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2023 | LICS | Quantifying Over Trees in Monadic Second-Order Logic. | Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron |
| 2022 | CONCUR | Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. | Laura Bozzelli, Adriano Peron, Csar Snchez |
| 2022 | MSR | ReCover: a Curated Dataset for Regression Testing Research. | Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace |
| 2022 | TIME | Taming Strategy Logic: Non-Recurrent Fragments. | Massimo Benerecetti, Fabio Mogavero, Adriano Peron |
| 2022 | TIME | A Quantitative Extension of Interval Temporal Logic over Infinite Words. | Laura Bozzelli, Adriano Peron |
| 2021 | ESEM | Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference. | Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace |
| 2021 | LICS | Asynchronous Extensions of HyperLTL. | Laura Bozzelli, Adriano Peron, Csar Snchez |
| 2021 | QUATIC | Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. | Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace |
| 2021 | TIME | Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2020 | KR | Module Checking of Pushdown Multi-agent Systems. | Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2020 | MFCS | On a Temporal Logic of Prefixes and Infixes. | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2019 | WETICE | Industrial Internet of Things: Persistence for Time Series with NoSQL Databases. | Sergio Di Martino, Luca Fiadone, Adriano Peron, Alberto Riccabone, Vincenzo Norman Vitale |
| 2019 | TIME | Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. | Laura Bozzelli, Angelo Montanari, Adriano Peron |
| 2018 | KR | Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2018 | LATA | Event-Clock Nested Automata. | Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2017 | ICALP | Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2017 | SEFM | An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2016 | CADE | Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. | Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2016 | KR | Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. | Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala |
| 2015 | CSL | A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. | Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2015 | TIME | Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. | Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2014 | FMICS | Test Specification Patterns for Automatic Generation of Test Sequences. | Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron |
| 2014 | SAFECOMP | An Interoperable Testing Environment for ERTMS/ETCS Control Systems. | Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini |
| 2014 | TIME | Checking Interval Properties of Computations. | Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron |
| 2010 | TIME | Analysis of Timed Recursive State Machines. | Massimo Benerecetti, Stefano Minopoli, Adriano Peron |
| 2007 | DLT | 2-Visibly Pushdown Automata. | Dario Carotenuto, Aniello Murano, Adriano Peron |
| 2006 | VMCAI | Verification of Well-Formed Communicating Recursive State Machines. | Laura Bozzelli, Salvatore La Torre, Adriano Peron |
| 2005 | LPAR | Pushdown Module Checking. | Laura Bozzelli, Aniello Murano, Adriano Peron |
| 2004 | MFCS | Structural Model Checking for Communicating Hierarchical Machines. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron |
| 2003 | TIME | Definability and decidability of binary predicates for time granularity. | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
| 2002 | TIME | A Logical Approach to Represent and Reason about Calendars. | Carlo Combi, Massimo Franceschet, Adriano Peron |
| 1998 | STACS | A Logical Characterization of Systolic Languages. | Angelo Monti, Adriano Peron |
| 1996 | CONCUR | Equivalences of Statecharts. | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
| 1995 | STACS | Systolic Tree Omega-Languages. | Angelo Monti, Adriano Peron |
| 1990 | ICASSP | A knowledge-based system for geophysical interpretation. | Vito Roberto, L. Gargiulo, Adriano Peron, Claudio Chiaruttini |