Autore/Creatore: PERON, ADRIANO

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.

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 su rivista scientifica]

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.

PERON, ADRIANO (2006) Definability and decidability of binary predicates for time granularity. [Pubblicazione su rivista scientifica]

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

BOZZELLI, LAURA and MURANO, ANIELLO and PERON, ADRIANO (2010) Pushdown Module Checking. [Pubblicazione su rivista scientifica]

PERON, ADRIANO and VALENTI, ROSSANA (2009) Reti della cultura. In: Reti della cultura. Naus, Pozzuoli- Napoli, pp. 59-84.

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.

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.

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 CUOMO, NICOLA and PERON, ADRIANO (2009) TPMC: A model checker for time–sensitive security protocols. [Pubblicazione su rivista scientifica]

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

PERON, ADRIANO (2008) Verification of well-formed Communicating Recursive State Machines. [Pubblicazione su rivista scientifica]