Searching for authors named "Riccardo Sisto" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

Using SPIN to Verify Security Properties of Cryptographic Protocols
by Paolo Maggi, Riccardo Sisto — 2002 — In LNCS
…Using SPIN to Verify Security Properties of Cryptographic Protocols Paolo Maggi and Riccardo Sisto…
Cited by 7 (0 self) – Add To MetaCart

A Configurable Mobile Agent Data Protection Protocol
by Paolo Maggi, Riccardo Sisto — 2003 — in Proc. of the 2nd Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03
… Politecnico di Torino Corso Duca degli Abruzzi, 24 I-10129 Torino, ITALY Riccardo Sisto riccardo.sisto…
Cited by 4 (0 self) – Add To MetaCart

On the Specification and Semantics of Source Level Properties in Java
by Radu Iosif, Riccardo Sisto — 2000 — In Proceedings of the First International Workshop on Automated Program Analysis Testing and Verification, June 2000. (Held in conjunction with the 22nd International Conference on Software Engineering
…@(email omitted); Riccardo Sisto Dipartimento di Automatica, Politecnico di Torino corso Duca degli Abruzzi 24, 10129 Torino…
Cited by 2 (0 self) – Add To MetaCart

Distributed-Memory Model Checking with SPIN
by Flavio Lerda, Riccardo Sisto — 1999 — In Proceedings of the 6th International SPIN Workshop on Model Checking of Software (SPIN’99), volume 1680 of LNCS
…Distributed-Memory Model Checking with SPIN Flavio Lerda and Riccardo Sisto Dipartimento di…
Cited by 39 (1 self) – Add To MetaCart

Using Garbage Collection in Model Checking
by Radu Iosif, Riccardo Sisto — 2000 — In Proc. of the 7th International SPIN Workshop, volume 1885 of LNCS
…Using Garbage Collection in Model Checking Radu Iosif 1 and Riccardo Sisto 1 Dipartimento di…
Cited by 4 (0 self) – Add To MetaCart

Formal Specification and Verification of Mobile Agent Data Integrity Properties: a Case Study
by Xavier Hannotin, Paolo Maggi, Riccardo Sisto — 2001 — Lecture Notes in Computer Science
… Xavier Hannotin, Paolo Maggi, and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di…
Cited by 2 (1 self) – Add To MetaCart

Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: a Case Study
by Xavier Hannotin, Paolo Maggi, Riccardo Sisto — 2001 — In Andrea Omicini and Mirko Viroli, editors, WOA 2001 – Dagli
… Xavier Hannotin, Paolo Maggi and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di Torino…
Cited by 1 (1 self) – Add To MetaCart

dSPIN: A Dynamic Extension of SPIN
by Claudio Demartini, Radu Iosif, Riccardo Sisto — 1999 — In Theoretical and Applied Aspects of SPIN Model Checking (LNCS 1680
…dSPIN: A Dynamic Extension of SPIN Claudio Demartini 1 , Radu Iosif 1 , and Riccardo Sisto 1…
Cited by 34 (2 self) – Add To MetaCart

Automatic testing equivalence verification of spi calculus specifications
by Luca Durante, Riccardo Sisto, Adriano V Alenzano — 2003 — ACM Transactions on Software Engineering and Methodology
… † , Riccardo Sisto ∗ and Adriano V alenzano † ∗ Dipartimento di Automatica e Informatica, Politecnico di Torino…
Cited by 3 (0 self) – Add To MetaCart

Outline
by Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
… , Luca Durante 1 , Riccardo Sisto 2 , Adriano Valenzano 1 1 IEIIT - CNR 2 Dipartimento di Automatica e…
Add To MetaCart

Showing 1 through 10.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB