Adriano Peron

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 84

Top Venues

Publications

Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. CoRR (2024)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Automata-Theoretic Characterisations of Branching-Time Temporal Logics. ICALP (2024)
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
Regression test prioritization leveraging source code similarity with tree kernels. J. Softw. Evol. Process. 36 (8) (2024)
Vincenzo Norman Vitale, Sergio Di Martino, Adriano Peron, Massimiliano Russo, Ermanno Battista
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS? Knowl. Inf. Syst. 66 (3) (2024)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. Log. Methods Comput. Sci. 20 (1) (2024)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Quantifying over Trees in Monadic Second-Order Logic. CoRR (2023)
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications. OVERLAY@AI*IA (2023)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
Taming Strategy Logic: Non-Recurrent Fragments. Inf. Comput. 294 (2023)
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
Quantifying Over Trees in Monadic Second-Order Logic. LICS (2023)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log. 24 (3) (2023)
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace
AI-based Fault-proneness Metrics for Source Code Changes. IWSM-Mensura (2023)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Pspace-completeness of the temporal logic of sub-intervals and suffixes. Inf. Comput. 294 (2023)
Laura Bozzelli, Adriano Peron
A quantitative extension of Interval Temporal Logic over infinite words. CoRR (2022)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete. CoRR (2022)
Laura Bozzelli, Adriano Peron
Parametric Interval Temporal Logic over Infinite Words. GandALF (2022)
Laura Bozzelli, Adriano Peron
A Quantitative Extension of Interval Temporal Logic over Infinite Words. TIME (2022)
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace
ReCover: a Curated Dataset for Regression Testing Research. MSR (2022)
Laura Bozzelli, Aniello Murano, Adriano Peron
Context-free timed formalisms: Robust automata and linear temporal logics. Inf. Comput. 283 (2022)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
Taming Strategy Logic: Non-Recurrent Fragments. TIME (2022)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. Log. Methods Comput. Sci. 18 (1) (2022)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Complexity issues for timeline-based planning over dense time under future and minimal semantics. Theor. Comput. Sci. 901 (2022)
Francesco Altiero, Giovanni Colella, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace
Change-Aware Regression Test Prioritization using Genetic Algorithms. SEAA (2022)
Laura Bozzelli, Adriano Peron, César Sánchez
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CoRR (2022)
Laura Bozzelli, Adriano Peron, César Sánchez
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CONCUR (2022)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete. GandALF (2021)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Complexity analysis of a unifying algorithm for model checking interval temporal logic. Inf. Comput. 280 (2021)
Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. QUATIC (2021)
Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference. ESEM (2021)
Laura Bozzelli, Adriano Peron, César Sánchez
Asynchronous Extensions of HyperLTL. LICS (2021)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes. TIME (2021)
Sergio Di Martino, Adriano Peron, Alberto Riccabone, Vincenzo Norman Vitale
Benchmarking management techniques for massive IIoT time series in a fog architecture. Int. J. Grid Util. Comput. 12 (2) (2021)
Laura Bozzelli, Adriano Peron, César Sánchez
Asynchronous Extensions of HyperLTL. CoRR (2021)
Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference. CoRR (2021)
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
Inspecting Code Churns to Prioritize Test Cases. ICTSS (2020)
Laura Bozzelli, Aniello Murano, Adriano Peron
Module Checking of Pushdown Multi-agent Systems. KR (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Model checking interval temporal logics with regular expressions. Inf. Comput. 272 (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Undecidability of Future Timeline-based Planning over Dense Temporal Domains? ICTCS (2020)
Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
Timeline-based planning over dense temporal domains. Theor. Comput. Sci. 813 (2020)
Laura Bozzelli, Aniello Murano, Adriano Peron
Module checking of pushdown multi-agent systems. CoRR (2020)
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
On a Temporal Logic of Prefixes and Infixes. MFCS (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. CoRR (2020)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Which fragments of the interval temporal logic HS are tractable in model checking? Theor. Comput. Sci. 764 (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Model Checking Timeline-Based Systems over Dense Temporal Domains. ICTCS (2019)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Interval Temporal Logic for Visibly Pushdown Systems. FSTTCS (2019)
Laura Bozzelli, Aniello Murano, Adriano Peron
Timed Context-Free Temporal Logics. CoRR (2019)
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
From Dynamic State Machines to Promela. SPIN (2019)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic. TIME (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison. ACM Trans. Comput. Log. 20 (1) (2019)
Alessandro Pepino, Marco Ronchetti, Adriano Peron, Corinna Freda, Ersilia Vallefuoco
The lecture video recording in university: A case study. EMOOCs-WIP (2019)
Laura Bozzelli, Angelo Montanari, Adriano Peron
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains. FSTTCS (2019)
Sergio Di Martino, Luca Fiadone, Adriano Peron, Alberto Riccabone, Vincenzo Norman Vitale
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases. WETICE (2019)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Undecidability of future timeline-based planning over dense temporal domains. CoRR (2019)
Alberto Molinari, Angelo Montanari, Adriano Peron
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives. Inf. Comput. 259 (3) (2018)
Laura Bozzelli, Aniello Murano, Adriano Peron
Timed Context-Free Temporal Logics. GandALF (2018)
Laura Bozzelli, Aniello Murano, Adriano Peron
Timed context-free temporal logics (extended version). CoRR (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete. ICTCS (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground. GandALF (2018)
Laura Bozzelli, Aniello Murano, Adriano Peron
Event-Clock Nested Automata. LATA (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput. 262 (2018)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains. KR (2018)
Laura Bozzelli, Aniello Murano, Adriano Peron
Event-Clock Nested Automata. CoRR (2017)
Adriano Peron, Carla Piazza
Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface. Inf. Comput. 253 (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. CoRR (2017)
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133 (2017)
Alberto Molinari, Angelo Montanari, Adriano Peron
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives. CoRR (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. SEFM (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions. GandALF (2017)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption. ICALP (2017)
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking Interval Properties of Computations. CoRR (2016)
Dario Carotenuto, Aniello Murano, Adriano Peron
Ordered multi-stack visibly pushdown automata. Theor. Comput. Sci. 656 (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS. CoRR (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic. Electron. Notes Theor. Comput. Sci. 322 (2016)
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking interval properties of computations. Acta Informatica 53 (6-8) (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments. IJCAR (2016)
Massimo Benerecetti, Adriano Peron
Timed recursive state machines: Expressiveness and complexity. Theor. Comput. Sci. 625 (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling. ICTCS (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison. FSTTCS (2016)
Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture. KR (2016)
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
-Complete. GandALF (2016)
Roberto Pagliarini, Mara Sangiovanni, Adriano Peron, Diego di Bernardo
Combining flux balance analysis and model checking for metabolic network validation and analysis. Nat. Comput. 14 (3) (2015)
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
Modeling Railway Control Systems in Promela. FTSCS (2015)
Alberto Molinari, Angelo Montanari, Adriano Peron
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL (2015)
Alberto Molinari, Angelo Montanari, Adriano Peron
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS. TIME (2015)
Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
Checking Interval Properties of Computations. TIME (2014)
Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
Test Specification Patterns for Automatic Generation of Test Sequences. FMICS (2014)
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS (2014)
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops (2014)
Sergio Di Martino, Adriano Peron, Taro Tezuka
Web and Wireless Geographic Information Systems. J. Spatial Inf. Sci. 6 (1) (2013)
Massimo Benerecetti, Adriano Peron
Timed protocol insecurity problem is NP-complete. Future Gener. Comput. Syst. 29 (3) (2013)
Gennaro Gambardella, Maria Nicoletta Moretti, Rossella de Cegli, Luca Cardone, Adriano Peron, Diego di Bernardo
Differential network analysis for the identification of condition-specific pathway activity and regulation. Bioinform. 29 (14) (2013)
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
Timed protocols insecurity problem is NP-complete. HPCS (2010)
Massimo Benerecetti, Stefano Minopoli, Adriano Peron
Analysis of Timed Recursive State Machines. TIME (2010)
Laura Bozzelli, Aniello Murano, Adriano Peron
Pushdown module checking. Formal Methods Syst. Des. 36 (1) (2010)
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
TPMC: A Model Checker For Time-Sensitive Security Protocols. J. Comput. 4 (5) (2009)
Laura Bozzelli, Salvatore La Torre, Adriano Peron
Verification of well-formed communicating recursive state machines. Theor. Comput. Sci. 403 (2-3) (2008)
Dario Carotenuto, Aniello Murano, Adriano Peron
2-Visibly Pushdown Automata. Developments in Language Theory (2007)
Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
Definability and decidability of binary predicates for time granularity. J. Appl. Log. 4 (2) (2006)
Angelo Montanari, Adriano Peron, Gabriele Puppis
On the relationships between theories of time granularity and the monadic second-order theory of one successor. J. Appl. Non Class. Logics 16 (3-4) (2006)
Laura Bozzelli, Salvatore La Torre, Adriano Peron
Verification of Well-Formed Communicating Recursive State Machines. VMCAI (2006)

Adriano Peron.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adriano Peron