Low-level processing techniques in geophysical image interpretation. - Vito Roberto; Adriano Peron; P. L. Fumis (Pattern Recognit. Lett., 1989)

A knowledge-based system for geophysical interpretation. - Vito Roberto; L. Gargiulo; Adriano Peron; Claudio Chiaruttini (ICASSP, 1990)

Semantics of Full Statecharts Based on Graph Rewriting. - Andrea Maggiolo-Schettini; Adriano Peron (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Transitions as Interrupts: A New Semantics for Timed Statecharts. - Adriano Peron; Andrea Maggiolo-Schettini (TACS, 1994)

A Graph Rewriting Framework for Statecharts Semantics. - Andrea Maggiolo-Schettini; Adriano Peron (TAGT, 1994)

Systolic Tree Omega-Languages. - Angelo Monti; Adriano Peron (STACS, 1995)

Statecharts, Transition Structures and Transformations. - Adriano Peron (TAPSOFT, 1995)

Equivalences of Statecharts. - Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (CONCUR, 1996)

Retiming Techniques for Statecharts. - Andrea Maggiolo-Schettini; Adriano Peron (FTRTFT, 1996)

A Logical Characterization of Systolic Languages. - Angelo Monti; Adriano Peron (STACS, 1998)

Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability. - Angelo Montanari; Adriano Peron; Alberto Policriti (Log. J. IGPL, 1999)

Timed Cooperating Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron (Fundam. Informaticae, 2000)

The Taming (Timing) of the States. - Angelo Montanari; Adriano Peron; Alberto Policriti (Log. J. IGPL, 2000)

Systolic tree omega-Languages: the operational and the logical view. - Angelo Monti; Adriano Peron (Theor. Comput. Sci., 2000)

Logical definability of Y-tree and trellis systolic omega-languages. - Angelo Monti; Adriano Peron (Acta Cybern., 2001)

Transformations of Timed Cooperating Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Adriano Peron (Fundam. Informaticae, 2001)

A Logical Approach to Represent and Reason about Calendars. - Carlo Combi; Massimo Franceschet; Adriano Peron (TIME, 2002)

Extending Kamp's Theorem to Model Time Granularity. - Angelo Montanari; Adriano Peron; Alberto Policriti (J. Log. Comput., 2002)

Verification of recursive parallel systems - Laura Bozzelli; Massimo Benerecetti; Adriano Peron (CoRR, 2003)

Specification and Verification of Protocols With Time Constraints. - Margherita Napoli; Mimmo Parente; Adriano Peron (MEFISTO, 2003)

Dynamic Hierarchical Machines. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (Fundam. Informaticae, 2003)

A comparison of Statecharts step semantics. - Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (Theor. Comput. Sci., 2003)

Structural Model Checking for Communicating Hierarchical Machines. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron (MFCS, 2004)

On the undecidability of logics with converse, nominals, recursion and counting. - Piero A. Bonatti; Adriano Peron (Artif. Intell., 2004)

Representing and Reasoning about Temporal Granularities. - Carlo Combi; Massimo Franceschet; Adriano Peron (J. Log. Comput., 2004)

On the relationships between theories of time granularity and the monadic second-order theory of one successor. - Angelo Montanari; Adriano Peron; Gabriele Puppis (J. Appl. Non Class. Logics, 2006)

Definability and decidability of binary predicates for time granularity. - Massimo Franceschet; Angelo Montanari; Adriano Peron; Guido Sciavicco (J. Appl. Log., 2006)

2-Visibly Pushdown Automata. - Dario Carotenuto; Aniello Murano; Adriano Peron (Developments in Language Theory, 2007)

Verification of well-formed communicating recursive state machines. - Laura Bozzelli; Salvatore La Torre; Adriano Peron (Theor. Comput. Sci., 2008)

TPMC: A Model Checker For Time-Sensitive Security Protocols. - Massimo Benerecetti; Nicola Cuomo; Adriano Peron (J. Comput., 2009)

Timed protocols insecurity problem is NP-complete. - Massimo Benerecetti; Nicola Cuomo; Adriano Peron (HPCS, 2010)

Analysis of Timed Recursive State Machines. - Massimo Benerecetti; Stefano Minopoli; Adriano Peron (TIME, 2010)

Pushdown module checking. - Laura Bozzelli; Aniello Murano; Adriano Peron (Formal Methods Syst. Des., 2010)

Differential network analysis for the identification of condition-specific pathway activity and regulation. - Gennaro Gambardella; Maria Nicoletta Moretti; Rossella de Cegli; Luca Cardone; Adriano Peron; Diego di Bernardo (Bioinform., 2013)

Timed protocol insecurity problem is NP-complete. - Massimo Benerecetti; Adriano Peron (Future Gener. Comput. Syst., 2013)

Web and Wireless Geographic Information Systems. - Sergio Di Martino; Adriano Peron; Taro Tezuka (J. Spatial Inf. Sci., 2013)

Test Specification Patterns for Automatic Generation of Test Sequences. - Ugo Gentile; Stefano Marrone 001; Gianluca Mele; Roberto Nardone; Adriano Peron (FMICS, 2014)

Dynamic State Machines for Formalizing Railway Control System Specifications. - Roberto Nardone; Ugo Gentile; Adriano Peron; Massimo Benerecetti; Valeria Vittorini; Stefano Marrone 001; Renato De Guglielmo; Nicola Mazzocca; Luigi Velardi (FTSCS, 2014)

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 001; Roberto Nardone; Adriano Peron; Valeria Vittorini (SAFECOMP Workshops, 2014)

Checking Interval Properties of Computations. - Angelo Montanari; Aniello Murano; Giuseppe Perelli; Adriano Peron (TIME, 2014)

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. - Alberto Molinari; Angelo Montanari; Adriano Peron (CSL, 2015)

Modeling Railway Control Systems in Promela. - Roberto Nardone; Ugo Gentile; Massimo Benerecetti; Adriano Peron; Valeria Vittorini; Stefano Marrone 001; Nicola Mazzocca (FTSCS, 2015)

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. - Alberto Molinari; Angelo Montanari; Adriano Peron (TIME, 2015)

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. - Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2015)

Combining flux balance analysis and model checking for metabolic network validation and analysis. - Roberto Pagliarini; Mara Sangiovanni; Adriano Peron; Diego di Bernardo (Nat. Comput., 2015)

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (IJCAR, 2016)

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ICTCS, 2016)

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. - Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (KR, 2016)

Checking interval properties of computations. - Alberto Molinari; Angelo Montanari; Aniello Murano; Giuseppe Perelli; Adriano Peron (Acta Informatica, 2016)

Model Checking the Logic of Allen's Relations Meets and Started-by is PNP-Complete. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (GandALF, 2016)

Timed recursive state machines: Expressiveness and complexity. - Massimo Benerecetti; Adriano Peron (Theor. Comput. Sci., 2016)

Ordered multi-stack visibly pushdown automata. - Dario Carotenuto; Aniello Murano; Adriano Peron (Theor. Comput. Sci., 2016)

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (SEFM, 2017)

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (GandALF, 2017)

Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface. - Adriano Peron; Carla Piazza (Inf. Comput., 2017)

Dynamic state machines for modelling railway control systems. - Massimo Benerecetti; Renato De Guglielmo; Ugo Gentile; Stefano Marrone 001; Nicola Mazzocca; Roberto Nardone; Adriano Peron; Luigi Velardi; Valeria Vittorini (Sci. Comput. Program., 2017)

Timed Context-Free Temporal Logics. - Laura Bozzelli; Aniello Murano; Adriano Peron (GandALF, 2018)

Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Gerhard J. Woeginger (ICTCS, 2018)

Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (KR, 2018)

Event-Clock Nested Automata. - Laura Bozzelli; Aniello Murano; Adriano Peron (LATA, 2018)

Timed context-free temporal logics (extended version). - Laura Bozzelli; Aniello Murano; Adriano Peron (CoRR, 2018)

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (GandALF, 2018)

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Inf. Comput., 2018)

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. - Alberto Molinari; Angelo Montanari; Adriano Peron (Inf. Comput., 2018)

The lecture video recording in university: A case study. - Alessandro Pepino; Marco Ronchetti; Adriano Peron; Corinna Freda; Ersilia Vallefuoco (EMOOCs-WIP, 2019)

Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. - Laura Bozzelli; Angelo Montanari; Adriano Peron (FSTTCS, 2019)

Model Checking Timeline-Based Systems over Dense Temporal Domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2019)

From Dynamic State Machines to Promela. - Massimo Benerecetti; Ugo Gentile; Stefano Marrone 001; Roberto Nardone; Adriano Peron; Luigi L. L. Starace; Valeria Vittorini (SPIN, 2019)

Industrial Internet of Things: Persistence for Time Series with NoSQL Databases. - Sergio Di Martino; Luca Fiadone; Adriano Peron; Alberto Riccabone; Vincenzo Norman Vitale (WETICE, 2019)

Which fragments of the interval temporal logic HS are tractable in model checking? - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Theor. Comput. Sci., 2019)

Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (ACM Trans. Comput. Log., 2019)

Undecidability of Future Timeline-based Planning over Dense Temporal Domains? - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (ICTCS, 2020)

Module Checking of Pushdown Multi-agent Systems. - Laura Bozzelli; Aniello Murano; Adriano Peron (KR, 2020)

On a Temporal Logic of Prefixes and Infixes. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (MFCS, 2020)

Inspecting Code Churns to Prioritize Test Cases. - Francesco Altiero; Anna Corazza; Sergio Di Martino; Adriano Peron; Luigi Libero Lucio Starace (ICTSS, 2020)

Model checking interval temporal logics with regular expressions. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron (Inf. Comput., 2020)

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. - Roberto Nardone; Stefano Marrone 001; Ugo Gentile; Aniello Amato; Gregorio Barberio; Massimo Benerecetti; Renato De Guglielmo; Beniamino Di Martino; Nicola Mazzocca; Adriano Peron; Gaetano Pisani; Luigi Velardi; et al. (J. Syst. Softw., 2020)

Timeline-based planning over dense temporal domains. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Gerhard J. Woeginger (Theor. Comput. Sci., 2020)

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 (ESEM, 2021)

Asynchronous Extensions of HyperLTL. - Laura Bozzelli; Adriano Peron; César Sánchez 001 (LICS, 2021)

Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. - Massimo Benerecetti; Fabio Mogavero; Adriano Peron; Luigi Libero Lucio Starace (QUATIC, 2021)

Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (GandALF, 2021)

Complexity analysis of a unifying algorithm for model checking interval temporal logic. - Laura Bozzelli; Angelo Montanari; Adriano Peron (Inf. Comput., 2021)

Benchmarking management techniques for massive IIoT time series in a fog architecture. - Sergio Di Martino; Adriano Peron; Alberto Riccabone; Vincenzo Norman Vitale (Int. J. Grid Util. Comput., 2021)

Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. - Laura Bozzelli; Adriano Peron; César Sánchez 001 (CONCUR, 2022)

Change-Aware Regression Test Prioritization using Genetic Algorithms. - Francesco Altiero; Giovanni Colella; Anna Corazza; Sergio Di Martino; Adriano Peron; Luigi L. L. Starace (SEAA, 2022)

ReCover: a Curated Dataset for Regression Testing Research. - Francesco Altiero; Anna Corazza; Sergio Di Martino; Adriano Peron; Luigi L. L. Starace (MSR, 2022)

A Quantitative Extension of Interval Temporal Logic over Infinite Words. - Laura Bozzelli; Adriano Peron (TIME, 2022)

Parametric Interval Temporal Logic over Infinite Words. - Laura Bozzelli; Adriano Peron (GandALF, 2022)

Context-free timed formalisms: Robust automata and linear temporal logics. - Laura Bozzelli; Aniello Murano; Adriano Peron (Inf. Comput., 2022)

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. - Laura Bozzelli; Alberto Molinari; Angelo Montanari; Adriano Peron; Pietro Sala (Log. Methods Comput. Sci., 2022)

Complexity issues for timeline-based planning over dense time under future and minimal semantics. - Laura Bozzelli; Angelo Montanari; Adriano Peron (Theor. Comput. Sci., 2022)

AI-based Fault-proneness Metrics for Source Code Changes. - Francesco Altiero; Anna Corazza; Sergio Di Martino; Adriano Peron; Luigi L. L. Starace (IWSM-Mensura, 2023)

Quantifying Over Trees in Monadic Second-Order Logic. - Massimo Benerecetti; Laura Bozzelli; Fabio Mogavero; Adriano Peron (LICS, 2023)

Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications. - Francesco Altiero; Anna Corazza; Sergio Di Martino; Adriano Peron; Luigi Libero Lucio Starace (OVERLAY@AI*IA, 2023)

Interval Temporal Logic for Visibly Pushdown Systems. - Laura Bozzelli; Angelo Montanari; Adriano Peron (ACM Trans. Comput. Log., 2023)

Taming Strategy Logic: Non-Recurrent Fragments. - Massimo Benerecetti; Fabio Mogavero; Adriano Peron (Inf. Comput., 2023)

Pspace-completeness of the temporal logic of sub-intervals and suffixes. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (Inf. Comput., 2023)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics. - Massimo Benerecetti; Laura Bozzelli; Fabio Mogavero; Adriano Peron (ICALP, 2024)

Full Characterisation of Extended CTL. - Massimo Benerecetti; Laura Bozzelli; Fabio Mogavero; Adriano Peron (TIME, 2024)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. - Laura Bozzelli; Angelo Montanari; Adriano Peron; Pietro Sala (Log. Methods Comput. Sci., 2024)

How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? - Vincenzo Norman Vitale; Sergio Di Martino; Adriano Peron; Massimiliano Russo; Ermanno Battista (Knowl. Inf. Syst., 2024)

Regression test prioritization leveraging source code similarity with tree kernels. - Francesco Altiero; Anna Corazza; Sergio Di Martino; Adriano Peron; Luigi Libero Lucio Starace (J. Softw. Evol. Process., 2024)