Adriano Peron

Guido Sciavicco, Angelo Montanari, Massimo Franceschet, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

Image Understanding Techniques in Geophysical Data Interpretation

Adriano Peron, Vito Roberto, P. L. Fumis, 1989 .

Model Checking Timeline-Based Systems over Dense Temporal Domains

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2019, ICTCS.

TPMC: A Model Checker For Time-Sensitive Security Protocols

Adriano Peron, Massimo Benerecetti, Nicola Cuomo, 2009, J. Comput..

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2017, GandALF.

Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification: Preface

Carla Piazza, Adriano Peron, 2014 .

An Interoperable Testing Environment for ERTMS/ETCS Control Systems

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2014, SAFECOMP Workshops.

Statecharts, Transition Structures and Transformations

Adriano Peron, 1995, TAPSOFT.

The taming of the states

Angelo Montanari, Alberto Policriti, Adriano Peron, 2000 .

Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, FSTTCS.

Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification

Carla Piazza, Adriano Peron, 2014 .

Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability

Angelo Montanari, Alberto Policriti, Adriano Peron, 1999, Log. J. IGPL.

Differential network analysis for the identification of condition-specific pathway activity and regulation

Diego di Bernardo, Adriano Peron, Gennaro Gambardella, 2013, Bioinform..

Logical definability of Y-tree and trellis systolic omega-languages

Adriano Peron, Angelo Monti, 2001, Acta Cybern..

Which fragments of the interval temporal logic HS are tractable in model checking?

Angelo Montanari, Pietro Sala, Adriano Peron, 2019, Theor. Comput. Sci..

Transformations of Timed Cooperating Automata

Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2001, Fundam. Informaticae.

Timed Cooperating Automata

Andrea Maggiolo-Schettini, Ruggero Lanotte, Adriano Peron, 2000, Fundam. Informaticae.

A Graph Rewriting Framework for Statecharts Semantics

Andrea Maggiolo-Schettini, Adriano Peron, 1994, TAGT.

Verification of Well-Formed Communicating Recursive State Machines

Adriano Peron, Salvatore La Torre, Laura Bozzelli, 2006, VMCAI.

Proceedings of the 11th international conference on Web and Wireless Geographical Information Systems

Sergio Di Martino, Adriano Peron, Taro Tezuka, 2006 .

A logical approach to represent and reason about calendars

Massimo Franceschet, Carlo Combi, Adriano Peron, 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.

Module checking of pushdown multi-agent systems pdf

Adriano Peron, Laura Bozzelli, Aniello Murano, 2020, KR.

Verification of well-formed communicating recursive state machines

Adriano Peron, Salvatore La Torre, Laura Bozzelli, 2006, Theor. Comput. Sci..

Analysis of Timed Recursive State Machines

Adriano Peron, Massimo Benerecetti, Stefano Minopoli, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

Transitions as Interrupts: A New Semantics for Timed Statecharts

Andrea Maggiolo-Schettini, Adriano Peron, 1994, TACS.

On a Temporal Logic of Prefixes and Infixes

Angelo Montanari, Pietro Sala, Adriano Peron, 2020, MFCS.

Interval Temporal Logic for Visibly Pushdown Systems

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2019, FSTTCS.

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, IJCAR.

Ordered multi-stack visibly pushdown automata

Aniello Murano, Adriano Peron, Dario Carotenuto, 2016, Theor. Comput. Sci..

Timed recursive state machines: Expressiveness and complexity

Adriano Peron, Massimo Benerecetti, 2016, Theor. Comput. Sci..

Timed protocol insecurity problem is NP-complete

Adriano Peron, Massimo Benerecetti, M. Benerecetti, 2013, Future Gener. Comput. Syst..

A comparison of Statecharts step semantics

Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron, 2003, Theor. Comput. Sci..

Systolic tree omega-Languages: the operational and the logical view

Adriano Peron, Angelo Monti, 2000, Theor. Comput. Sci..

On the undecidability of logics with converse, nominals, recursion and counting

Piero A. Bonatti, Adriano Peron, P. Bonatti, 2004, Artif. Intell..

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy

Angelo Montanari, Pietro Sala, Adriano Peron, 2018, Inf. Comput..

Modeling Railway Control Systems in Promela

Stefano Marrone, Roberto Nardone, Valeria Vittorini, 2015, FTSCS.

Dynamic Hierarchical Machines

Andrea Maggiolo-Schettini, Simone Tini, Ruggero Lanotte, 2003, Fundam. Informaticae.

Pushdown module checking

Aniello Murano, Adriano Peron, Laura Bozzelli, 2005, Formal Methods Syst. Des..

Event-Clock Nested Automata

Aniello Murano, Adriano Peron, Laura Bozzelli, 2018, LATA.

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption pdf

Angelo Montanari, Pietro Sala, Adriano Peron, 2017, ICALP.

Timed protocols insecurity problem is NP-complete

Adriano Peron, Massimo Benerecetti, Nicola Cuomo, 2010, 2010 International Conference on High Performance Computing & Simulation.

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, ICTCS.

Timed Context-Free Temporal Logics

Aniello Murano, Adriano Peron, Laura Bozzelli, 2018, GandALF.

The lecture video recording in university: A case study

Adriano Peron, Marco Ronchetti, Alessandro Pepino, 2019, EMOOCs-WIP.

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives pdf

Angelo Montanari, Adriano Peron, Alberto Molinari, 2018, Inf. Comput..

Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface

Carla Piazza, Adriano Peron, 2017, Inf. Comput..

Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete

Gerhard J. Woeginger, Angelo Montanari, Adriano Peron, 2018, ICTCS.

Transformations of Timed Cooparating Automata

Simone Tini, Ruggero Lanotte, Adriano Peron, 2000 .

Retiming Techniques for Statecharts

Andrea Maggiolo-Schettini, Adriano Peron, 1996, FTRTFT.

Model checking di LTL basato su automi

Adriano Peron, 2011 .

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture

Angelo Montanari, Pietro Sala, Adriano Peron, 2016, KR.

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic

Angelo Montanari, Adriano Peron, Alberto Molinari, 2016, Electron. Notes Theor. Comput. Sci..

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers

Roberto Nardone, Valeria Vittorini, Beniamino Di Martino, 2020, J. Syst. Softw..

Test Specification Patterns for Automatic Generation of Test Sequences

Stefano Marrone, Roberto Nardone, Adriano Peron, 2014, FMICS.

Structural Model Checking for Communicating Hierarchical Machines

Andrea Maggiolo-Schettini, Ruggero Lanotte, Adriano Peron, 2004, MFCS.

Specification and Verification of Protocols With Time Constraints

Margherita Napoli, Mimmo Parente, Adriano Peron, 2004, Electron. Notes Theor. Comput. Sci..

Checking interval properties of computations

Angelo Montanari, Aniello Murano, Giuseppe Perelli, 2014, Acta Informatica.

Timed HLPSL for specification and verification of time sensitive protocols

Adriano Peron, Massimo Benerecetti, 2006 .

Semantics of Full Statecharts Based on Graph Rewriting

Andrea Maggiolo-Schettini, Adriano Peron, 1993, Dagstuhl Seminar on Graph Transformations in Computer Science.

Context-Free Timed Formalisms: Robust Automata and Linear Temporal Logics

Adriano Peron, Laura Bozzelli, Aniello Murano, 2020 .

Pushdown module checking

Aniello Murano, Adriano Peron, Laura Bozzelli, 2010, Formal Methods Syst. Des..

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2017, SEFM.

Timeline-based planning over dense temporal domains

Gerhard J. Woeginger, Angelo Montanari, Adriano Peron, 2020, Theor. Comput. Sci..

Definability and decidability of binary predicates for time granularity

Guido Sciavicco, Angelo Montanari, Massimo Franceschet, 2006, J. Appl. Log..

Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains

Angelo Montanari, Adriano Peron, Laura Bozzelli, 2019, FSTTCS.

Timed context-free temporal logics (extended version) pdf

Aniello Murano, Adriano Peron, Laura Bozzelli, 2018, ArXiv.

Checking Interval Properties of Computations

Angelo Montanari, Aniello Murano, Giuseppe Perelli, 2014, TIME.

Representing and Reasoning about Temporal Granularities

Massimo Franceschet, Carlo Combi, Adriano Peron, 2004, J. Log. Comput..

Industrial Internet of Things: Persistence for Time Series with NoSQL Databases

Sergio Di Martino, Adriano Peron, Vincenzo Norman Vitale, 2019, 2019 IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE).

Low-level processing techniques in geophysical image interpretation

Adriano Peron, Vito Roberto, P. L. Fumis, 1989, Pattern Recognit. Lett..

A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data

Adriano Peron, Francesco Cutugno, Vincenza Anna Leano, 2012 .

Extending Kamp's Theorem to Model Time Granularity

Angelo Montanari, Alberto Policriti, Adriano Peron, 2002, J. Log. Comput..

Equivalences of Statecharts

Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron, 1996, CONCUR.

From Dynamic State Machines to Promela

Roberto Nardone, Valeria Vittorini, Stefano Marrone, 2019, SPIN.

Systolic Tree Omega-Languages

Adriano Peron, Angelo Monti, 1995, STACS.