IRIS

PERON, ADRIANO

PERON, ADRIANO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 125 (tempo di esecuzione: 0.053 secondi).
Titolo Tipologia Data di pubblicazione Autore(i) File
TPMC: A Model Checker for Time-Sensitive Security Protocols 4.1 Articoli in Atti di convegno 2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
Verification of Well-Formed Communicating Recursive State Machines 4.1 Articoli in Atti di convegno 2006 Bozzelli, A.; LA TORRE S, S.; Peron, Adriano
Systolic tree omega-languages: the operational and the logical view 1.1 Articolo in rivista 2000 Monti, A.; Peron, Adriano
Timed Communicating Automata 1.1 Articolo in rivista 2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano
Dynamical Hierachical Machines 1.1 Articolo in rivista 2003 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
The taming (timing) of states 1.1 Articolo in rivista 2000 Montanari, A.; Peron, Adriano; Policriti, A.
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; Cuomo, Nicola; 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
Retiming techniques for Statechatrs 2.1 Contributo in volume (Capitolo o Saggio) 1996 A., Maggiolo Schettini; Peron, Adriano
Semantics of full statecharts based on graph rewriting 2.1 Contributo in volume (Capitolo o Saggio) 1993 A., Maggiolo Schettini; Peron, Adriano
Transformations of Timed Communicating Automata 4.1 Articoli in Atti di convegno 2000 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
Semantics of Statecharts based on graph rewriting 2.1 Contributo in volume (Capitolo o Saggio) 1992 A., Maggiolo Schettini; Peron, Adriano
Timed protocol insecurity problem is NP-complete 1.1 Articolo in rivista 2013 Benerecetti, Massimo; Peron, Adriano
A LOGICAL APPROACH TO REPRESENT AND REASON ABOUT CALENDARS 2.1 Contributo in volume (Capitolo o Saggio) 2002 Peron, Adriano; C., Combi; M., Franceschet
Logical definability of Y-tree and trellis systolic omega-languages 1.1 Articolo in rivista 2001 Monti, A.; Peron, Adriano
TPMC: A model checker for time–sensitive security protocols 1.1 Articolo in rivista 2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
11th International Symposium on Web and Wireless Geographical Information Systems (W2GIS 2012). 8.04 Convegni organizzati dalla struttura 2012 DI MARTINO, Sergio; Peron, Adriano; Taro, Tezuka
The way to go: Multi-level temporal logics. 4.1 Articoli in Atti di convegno 1999 A., Montanari; Peron, Adriano; A., Policriti
The Way to Go: Multi-Level Temporal Logics 2.1 Contributo in volume (Capitolo o Saggio) 1999 Montanari, A.; Peron, Adriano; Policriti, A.
The taming (timing) of states 4.1 Articoli in Atti di convegno 1999 Montanari, A.; Peron, Adriano; Policriti, A.