PERON, ADRIANO
PERON, ADRIANO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Systolic tree omega-languages: the operational and the logical view
2000 Monti, A.; Peron, Adriano
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
The taming (timing) of states
1999 Montanari, A.; Peron, Adriano; Policriti, A.
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents
2000 A., Argentini; C., Combi; G. L., Foresti; C., Mirolo; A., Montanari; Peron, Adriano
Dynamic Hierachical Machines
2002 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
The way to go: Multi-level temporal logics.
1999 A., Montanari; Peron, Adriano; A., Policriti
Theories of omega-layered metric temporal structures: expressiveness and decidability
1999 Montanari, A.; Peron, Adriano; Policriti, A.
EXTENDING KAMP THEOREM TO LINEAR ORDERS WITH BINARY PREDICATES TO MODEL TIME GRANULARITY
2002 Peron, Adriano; A., Montanari; A., Policriti
Una proposta di trattamento informatico dei Beni Culturali relativi ai Campi Flegrei
2010 Miletti, L; D'Andrea, A; DI SANTO, G; Nuzzo, E; Palmentieri, A; Peron, Adriano; Rosiello, F; Sammartino, G; Valenti, Rossana
Transitions as interrupts: a new semantics for timed Statecharts
1994 A., Maggiolo Schettini; Peron, Adriano
Transformations of Timed Communicating Automata
2001 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Semantics of Statecharts based on graph rewriting
1992 A., Maggiolo Schettini; Peron, Adriano
Transformations of Timed Communicating Automata
2000 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini
Extending Kamp theorem with binary operators to model time granularity
2000 Montanari, A.; Peron, Adriano; Policriti, A.
Semantics of full statecharts based on graph rewriting
1993 A., Maggiolo Schettini; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
Systolic tree omega-languages
1995 A., Monti; Peron, Adriano
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 | |
TPMC: A Model Checker for Time-Sensitive Security Protocols | 4.1 Articoli in Atti di convegno | 2007 | Benerecetti, Massimo; Cuomo, N; Peron, Adriano | |
On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano | |
TPMC: A model checker for time–sensitive security protocols | 1.1 Articolo in rivista | 2009 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
The taming (timing) of states | 4.1 Articoli in Atti di convegno | 1999 | Montanari, A.; Peron, Adriano; Policriti, A. | |
A multimedia system for automatic recognition, indexing and retrieval of heterogeneous music documents | 4.1 Articoli in Atti di convegno | 2000 | A., Argentini; C., Combi; G. L., Foresti; C., Mirolo; A., Montanari; Peron, Adriano | |
Dynamic Hierachical Machines | 4.1 Articoli in Atti di convegno | 2002 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano; S., Tini | |
Timed HLPSL for specification and verification of time sensitive protocols | 4.1 Articoli in Atti di convegno | 2006 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
The way to go: Multi-level temporal logics. | 4.1 Articoli in Atti di convegno | 1999 | A., Montanari; Peron, Adriano; A., Policriti | |
Theories of omega-layered metric temporal structures: expressiveness and decidability | 1.1 Articolo in rivista | 1999 | 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 | |
Una proposta di trattamento informatico dei Beni Culturali relativi ai Campi Flegrei | 2.1 Contributo in volume (Capitolo o Saggio) | 2010 | Miletti, L; D'Andrea, A; DI SANTO, G; Nuzzo, E; Palmentieri, A; Peron, Adriano; Rosiello, F; Sammartino, G; Valenti, Rossana | |
Transitions as interrupts: a new semantics for timed Statecharts | 2.1 Contributo in volume (Capitolo o Saggio) | 1994 | A., Maggiolo Schettini; Peron, Adriano | |
Transformations of Timed Communicating Automata | 1.1 Articolo in rivista | 2001 | Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S. | |
Semantics of Statecharts based on graph rewriting | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | 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 | |
Extending Kamp theorem with binary operators to model time granularity | 4.1 Articoli in Atti di convegno | 2000 | Montanari, A.; Peron, Adriano; Policriti, A. | |
Semantics of full statecharts based on graph rewriting | 2.1 Contributo in volume (Capitolo o Saggio) | 1993 | 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 | |
Systolic tree omega-languages | 2.1 Contributo in volume (Capitolo o Saggio) | 1995 | A., Monti; Peron, Adriano |