PERON, ADRIANO
PERON, ADRIANO
Dipartimento di Matematica, Informatica e Geoscienze
Settore INF/01 - Informatica
Docenti di ruolo di Ia fascia
2-Visibly Pushdown automata
2007-01-01 Carotenuto, Dario; Murano, Aniello; Peron, Adriano
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS
2003-01-01 Peron, Adriano; M., Schettini; S., Tini
A comparison of step-semantics of Statecharts, Theoretical Computer Science
2003-01-01 MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data
2012-01-01 Cutugno, F.; Leano, V. A.; Mangiacrapa, F.; Peron, A.
A graph rewriting framework for Statecharts semantics
1996-01-01 A., Maggiolo Schettini; Peron, Adriano
A knowledge based system for geophysical data interpretation
1990-01-01 V., Roberto; L., Gargiulo; Peron, Adriano; C., Chiaruttini
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS
2002-01-01 Peron, Adriano; C., Combi; M., Franceschet
A logical characterization of systolic languages
1998-01-01 A., Monti; Peron, Adriano
A Model Checking Procedure for Interval Temporal Logics based on Track Representatives
2015-01-01 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents
2000-01-01 A., Argentini; C., Combi; G. L., Foresti; C., Mirolo; A., Montanari; Peron, Adriano
A Quantitative Extension of Interval Temporal Logic over Infinite Words
2022-01-01 Bozzelli, L.; Peron, A.
Adding the relation meets to the temporal logic of prefixes and infixes makes It EXPSPACEL-complete
2021-01-01 Bozzelli, L.; Montanari, A.; Sala, P.; Peron, A.
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications
2009-01-01 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
An interoperable testing environment for ERTMS/ETCS control systems
2014-01-01 Barberio, Gregorio; Di Martino, Beniamino; Mazzocca, Nicola; Velardi, Luigi; Amato, Aniello; De Guglielmo, Renato; Gentile, Ugo; Marrone, Stefano; Nardone, Roberto; Peron, Adriano; Vittorini, Valeria
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
2020-01-01 Nardone, R.; Marrone, S.; Gentile, U.; Amato, A.; Barberio, G.; Benerecetti, M.; De Guglielmo, R.; Di Martino, B.; Mazzocca, N.; Peron, A.; Pisani, G.; Velardi, L.; Vittorini, V.
Analysis of Timed Recursive State Machines
2010-01-01 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Asynchronous Extensions of HyperLTL
2021-01-01 Bozzelli, L.; Peron, A.; Sanchez, C.
Benchmarking management techniques for massive IIoT time series in a fog architecture
2021-01-01 Riccabone, Alberto; Vitale, Vincenzo Norman; Peron, Adriano; Di Martino, Sergio
Checking interval properties of computations
2014-01-01 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano