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
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
Verification of well-formed Communicating Recursive State Machines
2008 Bozzelli, L.; La Torre, S.; Peron, Adriano
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Transformations of Timed Communicating Automata
2001 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano; Tini, S.
Timed Communicating Automata
2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
Transitions as interrupts: a new semantics for timed Statecharts
1994 A., Maggiolo Schettini; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
Semantics of Statecharts based on graph rewriting
1992 A., Maggiolo Schettini; Peron, Adriano
Extending Kamp theorem with binary operators to model time granularity
2000 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
The way to go: Multi-level temporal logics.
1999 A., Montanari; Peron, Adriano; A., Policriti
Analysis of Timed Recursive State Machines
2010 Benerecetti, Massimo; S., Minopoli; Peron, Adriano
Checking interval properties of computations
2014 Angelo, Monatnari; Murano, Aniello; Giuseppe, Perelli; Peron, Adriano
Differential network analysis for the identification of condition-specific pathway activity and regulation.
2013 Gambardella, G; Moretti, Mn; de Cegli, R; Cardone, L; Peron, Adriano; DI BERNARDO, Diego
Representing and reasoning about temporal granulariries
2004 Combi, C.; Franceschet, M.; Peron, Adriano
DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY
2003 Peron, Adriano; M., Franceschet; A., Montanari; G., Sciavicco
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Low level processing techniques in geophysical image interpretation
1989 V., Roberto; Peron, Adriano; P. L., Fumis
| 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 | |
| On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano | |
| Verification of well-formed Communicating Recursive State Machines | 1.1 Articolo in rivista | 2008 | Bozzelli, L.; La Torre, S.; Peron, Adriano | |
| TPMC: A model checker for time–sensitive security protocols | 1.1 Articolo in rivista | 2009 | Benerecetti, Massimo; Cuomo, Nicola; 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 | |
| Semantics of Statecharts based on graph rewriting | 2.1 Contributo in volume (Capitolo o Saggio) | 1992 | A., Maggiolo Schettini; 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 | |
| Analysis of Timed Recursive State Machines | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; S., Minopoli; Peron, Adriano | |
| 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 | |
| DEFINABILITY AND DECIDABILITY OF BINARY PREDICATES FOR TIME GRANULARITY | 4.1 Articoli in Atti di convegno | 2003 | Peron, Adriano; M., Franceschet; A., Montanari; G., Sciavicco | |
| 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 |