IRIS

PERON, ADRIANO

PERON, ADRIANO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 128 (tempo di esecuzione: 0.04 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
Systolic tree omega-languages: the operational and the logical view 1.1 Articolo in rivista 2000 Monti, A.; Peron, Adriano
Transformations of Timed Communicating Automata 1.1 Articolo in rivista 2001 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Timed Communicating Automata 1.1 Articolo in rivista 2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano
TPMC: A Model Checker for Time-Sensitive Security Protocols 4.1 Articoli in Atti di convegno 2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
Transitions as interrupts: a new semantics for timed Statecharts 2.1 Contributo in volume (Capitolo o Saggio) 1994 A., Maggiolo Schettini; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
Extending Kamp theorem with binary operators to model time granularity 4.1 Articoli in Atti di convegno 2000 Montanari, A.; Peron, Adriano; Policriti, A.
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY 1.1 Articolo in rivista 2002 Peron, Adriano; A., Montanari; A., Policriti
The way to go: Multi-level temporal logics. 4.1 Articoli in Atti di convegno 1999 A., Montanari; Peron, Adriano; A., Policriti
Checking interval properties of computations 4.1 Articoli in Atti di convegno 2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
Differential network analysis for the identification of condition-specific pathway activity and regulation. 1.1 Articolo in rivista 2013 Gambardella, G; Moretti, Mn; de Cegli, R; Cardone, L; Peron, Adriano; DI BERNARDO, Diego
Representing and reasoning about temporal granulariries 1.1 Articolo in rivista 2004 Combi, C.; Franceschet, M.; Peron, Adriano
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Low level processing techniques in geophysical image interpretation 1.1 Articolo in rivista 1989 V., Roberto; Peron, Adriano; P. L., Fumis
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 2.1 Contributo in volume (Capitolo o Saggio) 2002 Peron, Adriano; C., Combi; M., Franceschet
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification 7.1 Curatore o Editor di Libri Scientifici 2014 Peron, Adriano; Carla, Piazza
Retiming techniques for Statechatrs 2.1 Contributo in volume (Capitolo o Saggio) 1996 A., Maggiolo Schettini; Peron, Adriano
A comparison of step-semantics of Statecharts, Theoretical Computer Science 1.1 Articolo in rivista 2003 MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Dynamical Hierachical Machines 1.1 Articolo in rivista 2003 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Theories of omega-layered metric temporal structures: expressiveness and decidability 1.1 Articolo in rivista 1999 Montanari, A.; Peron, Adriano; Policriti, A.