PERON, ADRIANO
PERON, ADRIANO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Verification of well-formed Communicating Recursive State Machines
2008 Bozzelli, L.; La Torre, S.; Peron, Adriano
Verification of Well-Formed Communicating Recursive State Machines
2006 Bozzelli, A.; LA TORRE S, S.; Peron, Adriano
On the undecidability of logics with nominals, recursion and counting
2004 Bonatti, PIERO ANDREA; Peron, Adriano
Systolic tree omega-languages: the operational and the logical view
2000 Monti, A.; Peron, Adriano
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
TPMC: A Model Checker for Time-Sensitive Security Protocols
2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
The taming (timing) of states
1999 Montanari, A.; Peron, Adriano; Policriti, A.
Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis.
2015 Pagliarini, Roberto; Sangiovanni, Mara; Peron, Adriano; DI BERNARDO, Diego
Transitions as interrupts: a new semantics for timed Statecharts
1994 A., Maggiolo Schettini; Peron, Adriano
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano
Retiming techniques for Statechatrs
1996 A., Maggiolo Schettini; Peron, Adriano
Structural Model Checking for Communicating Hierarchical Machines
2004 R., Lanotte; A., Maggiolo Schettini; Peron, Adriano
Gandalf 2014, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification
2014 Peron, Adriano; Carla, Piazza
Timed Communicating Automata
2000 Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano
A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data
2012 Cutugno, Francesco; V. A., Leano; F., Mangiacrapa; Peron, Adriano
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
Definability and decidability of binary predicates for time granularity
2006 Franceschet, M; Montanari, A; Peron, Adriano; Sciavicco, G.
A knowledge based system for geophysical data interpretation
1990 V., Roberto; L., Gargiulo; Peron, Adriano; C., Chiaruttini
A COMPARISON OF STEP-SEMANTICS OF STATECHARTS
2003 Peron, Adriano; M., Schettini; S., Tini
Specification and verification of protocols with time constraints
2004 Napoli, M.; Parente, M.; Peron, Adriano
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Verification of well-formed Communicating Recursive State Machines | 1.1 Articolo in rivista | 2008 | Bozzelli, L.; La Torre, S.; 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 | |
| On the undecidability of logics with nominals, recursion and counting | 1.1 Articolo in rivista | 2004 | Bonatti, PIERO ANDREA; Peron, Adriano | |
| 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 | 1.1 Articolo in rivista | 2009 | Benerecetti, Massimo; Cuomo, Nicola; 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 | |
| The taming (timing) of states | 4.1 Articoli in Atti di convegno | 1999 | Montanari, A.; Peron, Adriano; Policriti, A. | |
| Combining Flux Balance Analysis and Model Checking for Metabolic Network Validation and Analysis. | 1.1 Articolo in rivista | 2015 | Pagliarini, Roberto; Sangiovanni, Mara; Peron, Adriano; DI BERNARDO, Diego | |
| Transitions as interrupts: a new semantics for timed Statecharts | 2.1 Contributo in volume (Capitolo o Saggio) | 1994 | A., Maggiolo Schettini; Peron, Adriano | |
| Timed protocols insecurity problem is NP-complete | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; Nicola, Cuomo; Peron, Adriano | |
| Retiming techniques for Statechatrs | 2.1 Contributo in volume (Capitolo o Saggio) | 1996 | A., Maggiolo Schettini; Peron, Adriano | |
| Structural Model Checking for Communicating Hierarchical Machines | 2.1 Contributo in volume (Capitolo o Saggio) | 2004 | R., Lanotte; A., Maggiolo Schettini; Peron, Adriano | |
| 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 | |
| Timed Communicating Automata | 1.1 Articolo in rivista | 2000 | Lanotte, R.; MAGGIOLO SCHETTINI, A.; Peron, Adriano | |
| A General Web-based Framework for Spatio-Temporal Exploration and Visualization applied to a Case Study on Cultural Heritage Data | 4.1 Articoli in Atti di convegno | 2012 | Cutugno, Francesco; V. A., Leano; F., Mangiacrapa; Peron, Adriano | |
| 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 | |
| Definability and decidability of binary predicates for time granularity | 1.1 Articolo in rivista | 2006 | Franceschet, M; Montanari, A; Peron, Adriano; Sciavicco, G. | |
| A knowledge based system for geophysical data interpretation | 4.1 Articoli in Atti di convegno | 1990 | V., Roberto; L., Gargiulo; Peron, Adriano; C., Chiaruttini | |
| A COMPARISON OF STEP-SEMANTICS OF STATECHARTS | 1.1 Articolo in rivista | 2003 | Peron, Adriano; M., Schettini; S., Tini | |
| Specification and verification of protocols with time constraints | 1.1 Articolo in rivista | 2004 | Napoli, M.; Parente, M.; Peron, Adriano |