PERON, ADRIANO
PERON, ADRIANO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor
2006 Montanari, A; Peron, Adriano; Puppis, G.
Definability and decidability of binary predicates for time granularity
2006 Franceschet, M; Montanari, A; Peron, Adriano; Sciavicco, G.
Specification and verification of protocols with time constraints
2004 Napoli, M.; Parente, M.; Peron, Adriano
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
Verification of Well-Formed Communicating Recursive State Machines
2006 Bozzelli, A.; LA TORRE S, S.; Peron, Adriano
A comparison of step-semantics of Statecharts, Theoretical Computer Science
2003 MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
The taming (timing) of states
2000 Montanari, A.; Peron, Adriano; Policriti, A.
Extending Kamp theorem to linear orders with binary predicates to model time granularity
2002 Montanari, A.; Peron, Adriano; Policriti, A.
Systolic tree omega-languages: the operational and the logical view
2000 Monti, A.; Peron, Adriano
Dynamical Hierachical Machines
2003 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Timed Communicating Automata
2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano
Transformations of Timed Communicating Automata
2001 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Logical definability of Y-tree and trellis systolic omega-languages
2001 Monti, A.; Peron, Adriano
Theories of omega-layered metric temporal structures: expressiveness and decidability
1999 Montanari, A.; Peron, Adriano; Policriti, A.
Analysis of Timed Recursive State Machines
2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Verification of well-formed Communicating Recursive State Machines
2008 Bozzelli, L.; La Torre, S.; Peron, Adriano
Checking interval properties of computations
2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor | 1.1 Articolo in rivista | 2006 | Montanari, A; Peron, Adriano; Puppis, G. | |
| Definability and decidability of binary predicates for time granularity | 1.1 Articolo in rivista | 2006 | Franceschet, M; Montanari, A; Peron, Adriano; Sciavicco, G. | |
| Specification and verification of protocols with time constraints | 1.1 Articolo in rivista | 2004 | Napoli, M.; Parente, M.; 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 | |
| Verification of Well-Formed Communicating Recursive State Machines | 4.1 Articoli in Atti di convegno | 2006 | Bozzelli, A.; LA TORRE S, S.; 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. | |
| The taming (timing) of states | 1.1 Articolo in rivista | 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 | Montanari, A.; Peron, Adriano; Policriti, A. | |
| Systolic tree omega-languages: the operational and the logical view | 1.1 Articolo in rivista | 2000 | Monti, A.; Peron, Adriano | |
| Dynamical Hierachical Machines | 1.1 Articolo in rivista | 2003 | 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 | |
| Transformations of Timed Communicating Automata | 1.1 Articolo in rivista | 2001 | Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S. | |
| Logical definability of Y-tree and trellis systolic omega-languages | 1.1 Articolo in rivista | 2001 | Monti, A.; Peron, Adriano | |
| Theories of omega-layered metric temporal structures: expressiveness and decidability | 1.1 Articolo in rivista | 1999 | Montanari, A.; Peron, Adriano; Policriti, A. | |
| Analysis of Timed Recursive State Machines | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; S., Minopoli; Peron, Adriano | |
| Verification of well-formed Communicating Recursive State Machines | 1.1 Articolo in rivista | 2008 | Bozzelli, L.; La Torre, S.; Peron, Adriano | |
| Checking interval properties of computations | 4.1 Articoli in Atti di convegno | 2014 | Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano | |
| 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 protocols insecurity problem is NP-complete | 4.1 Articoli in Atti di convegno | 2010 | 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 |