Pubblicazione in rivista scientifica

Bozzelli, Laura and Murano, Aniello and Peron, Adriano (2010) Pushdown Module Checking. [Pubblicazione in rivista scientifica]

Benerecetti, Massimo and Cuomo, Nicola and Peron, Adriano (2009) TPMC: A model checker for time–sensitive security protocols. [Pubblicazione in rivista scientifica]

Benerecetti, Massimo and Cuomo, Nicola and Peron, Adriano (2009) An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications. [Pubblicazione in rivista scientifica]

Peron, Adriano (2008) Verification of well-formed Communicating Recursive State Machines. [Pubblicazione in rivista scientifica]

Peron, Adriano (2006) Definability and decidability of binary predicates for time granularity. [Pubblicazione in rivista scientifica]

Peron, Adriano (2006) On the Relationships between Theories of Time Granularity and the Monadic Second-order Theory of One Successor. [Pubblicazione in rivista scientifica]

Contributo a Convegno o Workshop

Benerecetti, Massimo and Peron, Adriano (2010) Analysis of Timed Recursive State Machines. In: 17th Internationa Symposium on Temporal Representation and Reasoning, 6-8 Settembre 2010, Paris, France.

Benerecetti, Massimo and Peron, Adriano (2010) Timed protocols insecurity problem is NP-complete. In: International Conference on High Performance Computing & Simulation, Giugno 28 - Luglio 2, Caen, France.

Carotenuto, Dario and Murano, Aniello and Peron, Adriano (2007) 2-Visibly Pushdown automata. In: 11th International Conference on Development in Language Theory (DLT'07), 3-6 luglio 2007., Turku, Finland.

Peron, Adriano (2007) TPMC: A Model Checker for Time-Sensitive Security Protocols. In: High performance computing and simulation conference (HPCS 2007), June, 4-6, 2007, Prague.

Benerecetti, Massimo and Peron, Adriano (2006) Timed HLPSL for specification and verification of time sensitive protocols. In: Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis, 15-16 August, 2006, Seattle, USA.

Peron, Adriano (2006) Verification of Well-Formed Communicating Recursive State Machines. In: 7th International Conference, VMCAI 2006,, 8-10 gennaio 2006, Charleston, SC, USA,.

Capitolo di libro

Peron, Adriano and Valenti, Rossana (2009) Reti della cultura. In: Reti della cultura. Naus, Pozzuoli- Napoli, pp. 59-84.