Adriano Peron

132 papers A* 7A 5B 9C 16Misc 2Journal 64Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Module checking of pushdown multi-agent systems.
Log. Methods Comput. Sci.
Laura Bozzelli, Aniello Murano, Adriano Peron
2025 J jnl
A quantitative extension of interval temporal logic over infinite words.
Theor. Comput. Sci.
Laura Bozzelli, Adriano Peron
2024 A* conf
Automata-Theoretic Characterisations of Branching-Time Temporal Logics.
ICALP
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024 J jnl
Automata-Theoretic Characterisations of Branching-Time Temporal Logics.
CoRR
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024 C conf
Full Characterisation of Extended CTL.
TIME
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2024 J jnl
How to manage massive spatiotemporal dataset from stationary and non-stationary sensors in commercial DBMS?
Knowl. Inf. Syst.
Vincenzo Norman Vitale, Sergio Di Martino, Adriano Peron, Massimiliano Russo, Ermanno Battista
2024 J jnl
Regression test prioritization leveraging source code similarity with tree kernels.
J. Softw. Evol. Process.
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
2024 J jnl
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
Log. Methods Comput. Sci.
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2023 — conf
AI-based Fault-proneness Metrics for Source Code Changes.
IWSM-Mensura
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace
2023 J jnl
Interval Temporal Logic for Visibly Pushdown Systems.
ACM Trans. Comput. Log.
Laura Bozzelli, Angelo Montanari, Adriano Peron
2023 J jnl
Pspace-completeness of the temporal logic of sub-intervals and suffixes.
Inf. Comput.
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2023 A* conf
Quantifying Over Trees in Monadic Second-Order Logic.
LICS
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2023 J jnl
Quantifying over Trees in Monadic Second-Order Logic.
CoRR
Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron
2023 J jnl
Taming Strategy Logic: Non-Recurrent Fragments.
Inf. Comput.
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
2023 — conf
Tree Kernels to Support Formal Methods-based Testing of Evolving Specifications.
OVERLAY@AI*IA
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
2022 C conf
A Quantitative Extension of Interval Temporal Logic over Infinite Words.
TIME
Laura Bozzelli, Adriano Peron
2022 J jnl
A quantitative extension of Interval Temporal Logic over infinite words.
CoRR
Laura Bozzelli, Adriano Peron
2022 B conf
Change-Aware Regression Test Prioritization using Genetic Algorithms.
SEAA
Francesco Altiero, Giovanni Colella, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace
2022 J jnl
Complexity issues for timeline-based planning over dense time under future and minimal semantics.
Theor. Comput. Sci.
Laura Bozzelli, Angelo Montanari, Adriano Peron
2022 J jnl
Context-free timed formalisms: Robust automata and linear temporal logics.
Inf. Comput.
Laura Bozzelli, Aniello Murano, Adriano Peron
2022 B conf
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.
CONCUR
Laura Bozzelli, Adriano Peron, César Sánchez
2022 J jnl
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.
CoRR
Laura Bozzelli, Adriano Peron, César Sánchez
2022 — conf
Parametric Interval Temporal Logic over Infinite Words.
GandALF
Laura Bozzelli, Adriano Peron
2022 A conf
ReCover: a Curated Dataset for Regression Testing Research.
MSR
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi L. L. Starace
2022 J jnl
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
Log. Methods Comput. Sci.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2022 C conf
Taming Strategy Logic: Non-Recurrent Fragments.
TIME
Massimo Benerecetti, Fabio Mogavero, Adriano Peron
2022 J jnl
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete.
CoRR
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021 — conf
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete.
GandALF
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021 A* conf
Asynchronous Extensions of HyperLTL.
LICS
Laura Bozzelli, Adriano Peron, César Sánchez
2021 J jnl
Asynchronous Extensions of HyperLTL.
CoRR
Laura Bozzelli, Adriano Peron, César Sánchez
2021 J jnl
Benchmarking management techniques for massive IIoT time series in a fog architecture.
Int. J. Grid Util. Comput.
Sergio Di Martino, Adriano Peron, Alberto Riccabone, Vincenzo Norman Vitale
2021 J jnl
Complexity analysis of a unifying algorithm for model checking interval temporal logic.
Inf. Comput.
Laura Bozzelli, Angelo Montanari, Adriano Peron
2021 Misc conf
Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems.
QUATIC
Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace
2021 C conf
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes.
TIME
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2021 A conf
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference.
ESEM
Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
2021 J jnl
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference.
CoRR
Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
2020 J jnl
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
J. Syst. Softw.
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
2020 C conf
Inspecting Code Churns to Prioritize Test Cases.
ICTSS
Francesco Altiero, Anna Corazza, Sergio Di Martino, Adriano Peron, Luigi Libero Lucio Starace
2020 J jnl
Model checking interval temporal logics with regular expressions.
Inf. Comput.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2020 A* conf
Module Checking of Pushdown Multi-agent Systems.
KR
Laura Bozzelli, Aniello Murano, Adriano Peron
2020 J jnl
Module checking of pushdown multi-agent systems.
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2020 B conf
On a Temporal Logic of Prefixes and Infixes.
MFCS
Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
2020 J jnl
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
CoRR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2020 J jnl
Timeline-based planning over dense temporal domains.
Theor. Comput. Sci.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2020 — conf
Undecidability of Future Timeline-based Planning over Dense Temporal Domains?
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019 C conf
Complexity Analysis of a Unifying Algorithm for Model Checking Interval Temporal Logic.
TIME
Laura Bozzelli, Angelo Montanari, Adriano Peron
2019 — conf
From Dynamic State Machines to Promela.
SPIN
Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini
2019 C conf
Industrial Internet of Things: Persistence for Time Series with NoSQL Databases.
WETICE
Sergio Di Martino, Luca Fiadone, Adriano Peron, Alberto Riccabone, Vincenzo Norman Vitale
2019 — conf
Interval Temporal Logic for Visibly Pushdown Systems.
FSTTCS
Laura Bozzelli, Angelo Montanari, Adriano Peron
2019 J jnl
Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison.
ACM Trans. Comput. Log.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2019 — conf
Model Checking Timeline-Based Systems over Dense Temporal Domains.
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019 — conf
Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains.
FSTTCS
Laura Bozzelli, Angelo Montanari, Adriano Peron
2019 — conf
The lecture video recording in university: A case study.
EMOOCs-WIP
Alessandro Pepino, Marco Ronchetti, Adriano Peron, Corinna Freda, Ersilia Vallefuoco
2019 J jnl
Timed Context-Free Temporal Logics.
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2019 J jnl
Undecidability of future timeline-based planning over dense temporal domains.
CoRR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2019 J jnl
Which fragments of the interval temporal logic HS are tractable in model checking?
Theor. Comput. Sci.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018 — conf
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground.
GandALF
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018 A* conf
Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains.
KR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2018 C conf
Event-Clock Nested Automata.
LATA
Laura Bozzelli, Aniello Murano, Adriano Peron
2018 J jnl
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives.
Inf. Comput.
Alberto Molinari, Angelo Montanari, Adriano Peron
2018 J jnl
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy.
Inf. Comput.
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2018 — conf
Timed Context-Free Temporal Logics.
GandALF
Laura Bozzelli, Aniello Murano, Adriano Peron
2018 J jnl
Timed context-free temporal logics (extended version).
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2018 — conf
Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete.
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Gerhard J. Woeginger
2017 B conf
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions.
SEFM
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017 J jnl
Dynamic state machines for modelling railway control systems.
Sci. Comput. Program.
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini
2017 J jnl
Event-Clock Nested Automata.
CoRR
Laura Bozzelli, Aniello Murano, Adriano Peron
2017 J jnl
Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface.
Inf. Comput.
Adriano Peron, Carla Piazza
2017 J jnl
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison.
CoRR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2017 J jnl
Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives.
CoRR
Alberto Molinari, Angelo Montanari, Adriano Peron
2017 — conf
On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions.
GandALF
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
2017 A* conf
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.
ICALP
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 J jnl
Checking Interval Properties of Computations.
CoRR
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016 J jnl
Checking interval properties of computations.
Acta Informatica
Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2016 J jnl
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS.
CoRR
Alberto Molinari, Angelo Montanari, Adriano Peron
2016 — conf
Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.
ICTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 A conf
Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.
IJCAR
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 — conf
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison.
FSTTCS
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 A* conf
Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.
KR
Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 — conf
Model Checking the Logic of Allen's Relations Meets and Started-by is P
GandALF
Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
2016 J jnl
Ordered multi-stack visibly pushdown automata.
Theor. Comput. Sci.
Dario Carotenuto, Aniello Murano, Adriano Peron
2016 J jnl
Timed recursive state machines: Expressiveness and complexity.
Theor. Comput. Sci.
Massimo Benerecetti, Adriano Peron
2015 B conf
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.
CSL
Alberto Molinari, Angelo Montanari, Adriano Peron
2015 J jnl
Combining flux balance analysis and model checking for metabolic network validation and analysis.
Nat. Comput.
Roberto Pagliarini, Mara Sangiovanni, Adriano Peron, Diego di Bernardo
2015 C conf
Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.
TIME
Alberto Molinari, Angelo Montanari, Adriano Peron
2015 — conf
Constraining Cycle Alternations in Model Checking for Interval Temporal Logic.
ICTCS
Alberto Molinari, Angelo Montanari, Adriano Peron
2015 — conf
Modeling Railway Control Systems in Promela.
FTSCS
Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2014 — conf
An Interoperable Testing Environment for ERTMS/ETCS Control Systems.
SAFECOMP Workshops
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 C conf
Checking Interval Properties of Computations.
TIME
Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron
2014 — conf
Dynamic State Machines for Formalizing Railway Control System Specifications.
FTSCS
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi
2014 — ed.
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014.
GandALF
Adriano Peron, Carla Piazza
2014 C conf
Test Specification Patterns for Automatic Generation of Test Sequences.
FMICS
Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron
2013 J jnl
Differential network analysis for the identification of condition-specific pathway activity and regulation.
Bioinform.
Gennaro Gambardella, Maria Nicoletta Moretti, Rossella de Cegli, Luca Cardone, Adriano Peron, Diego di Bernardo
2013 J jnl
Timed protocol insecurity problem is NP-complete.
Future Gener. Comput. Syst.
Massimo Benerecetti, Adriano Peron
2013 J jnl
Web and Wireless Geographic Information Systems.
J. Spatial Inf. Sci.
Sergio Di Martino, Adriano Peron, Taro Tezuka
2012 C ed.
Web and Wireless Geographical Information Systems - 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings
W2GIS
Sergio Di Martino, Adriano Peron, Taro Tezuka
2010 C conf
Analysis of Timed Recursive State Machines.
TIME
Massimo Benerecetti, Stefano Minopoli, Adriano Peron
2010 J jnl
Pushdown module checking.
Formal Methods Syst. Des.
Laura Bozzelli, Aniello Murano, Adriano Peron
2010 — conf
Timed protocols insecurity problem is NP-complete.
HPCS
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
2009 J jnl
TPMC: A Model Checker For Time-Sensitive Security Protocols.
J. Comput.
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
2008 J jnl
Verification of well-formed communicating recursive state machines.
Theor. Comput. Sci.
Laura Bozzelli, Salvatore La Torre, Adriano Peron
2007 C conf
2-Visibly Pushdown Automata.
Developments in Language Theory
Dario Carotenuto, Aniello Murano, Adriano Peron
2006 J jnl
Definability and decidability of binary predicates for time granularity.
J. Appl. Log.
Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
2006 J jnl
On the relationships between theories of time granularity and the monadic second-order theory of one successor.
J. Appl. Non Class. Logics
Angelo Montanari, Adriano Peron, Gabriele Puppis
2006 B conf
Verification of Well-Formed Communicating Recursive State Machines.
VMCAI
Laura Bozzelli, Salvatore La Torre, Adriano Peron
2005 B conf
Pushdown Module Checking.
LPAR
Laura Bozzelli, Aniello Murano, Adriano Peron
2004 J jnl
On the undecidability of logics with converse, nominals, recursion and counting.
Artif. Intell.
Piero A. Bonatti, Adriano Peron
2004 J jnl
Representing and Reasoning about Temporal Granularities.
J. Log. Comput.
Carlo Combi, Massimo Franceschet, Adriano Peron
2004 B conf
Structural Model Checking for Communicating Hierarchical Machines.
MFCS
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
2003 J jnl
A comparison of Statecharts step semantics.
Theor. Comput. Sci.
Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
2003 C conf
Definability and decidability of binary predicates for time granularity.
TIME
Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
2003 J jnl
Dynamic Hierarchical Machines.
Fundam. Informaticae
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
2003 — conf
Specification and Verification of Protocols With Time Constraints.
MEFISTO
Margherita Napoli, Mimmo Parente, Adriano Peron
2003 J jnl
Verification of recursive parallel systems
CoRR
Laura Bozzelli, Massimo Benerecetti, Adriano Peron
2002 C conf
A Logical Approach to Represent and Reason about Calendars.
TIME
Carlo Combi, Massimo Franceschet, Adriano Peron
2002 J jnl
Extending Kamp's Theorem to Model Time Granularity.
J. Log. Comput.
Angelo Montanari, Adriano Peron, Alberto Policriti
2001 J jnl
Logical definability of Y-tree and trellis systolic omega-languages.
Acta Cybern.
Angelo Monti, Adriano Peron
2001 J jnl
Transformations of Timed Cooperating Automata.
Fundam. Informaticae
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
2000 J jnl
Systolic tree omega-Languages: the operational and the logical view.
Theor. Comput. Sci.
Angelo Monti, Adriano Peron
2000 J jnl
The Taming (Timing) of the States.
Log. J. IGPL
Angelo Montanari, Adriano Peron, Alberto Policriti
2000 J jnl
Timed Cooperating Automata.
Fundam. Informaticae
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
1999 J jnl
Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability.
Log. J. IGPL
Angelo Montanari, Adriano Peron, Alberto Policriti
1998 A conf
A Logical Characterization of Systolic Languages.
STACS
Angelo Monti, Adriano Peron
1996 B conf
Equivalences of Statecharts.
CONCUR
Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
1996 — conf
Retiming Techniques for Statecharts.
FTRTFT
Andrea Maggiolo-Schettini, Adriano Peron
1995 — conf
Statecharts, Transition Structures and Transformations.
TAPSOFT
Adriano Peron
1995 A conf
Systolic Tree Omega-Languages.
STACS
Angelo Monti, Adriano Peron
1994 — conf
A Graph Rewriting Framework for Statecharts Semantics.
TAGT
Andrea Maggiolo-Schettini, Adriano Peron
1994 — conf
Transitions as Interrupts: A New Semantics for Timed Statecharts.
TACS
Adriano Peron, Andrea Maggiolo-Schettini
1993 — conf
Semantics of Full Statecharts Based on Graph Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science
Andrea Maggiolo-Schettini, Adriano Peron
1990 Misc conf
A knowledge-based system for geophysical interpretation.
ICASSP
Vito Roberto, L. Gargiulo, Adriano Peron, Claudio Chiaruttini
1989 J jnl
Low-level processing techniques in geophysical image interpretation.
Pattern Recognit. Lett.
Vito Roberto, Adriano Peron, P. L. Fumis