Versione italiana
Versione italiana

Riccardo Sisto 
 

PUBLICATIONS 
 
Journals and Magazines
Books
Conference Proceedings
Technical Reports

Journals and Magazines 
R. Sisto
Using Binary Decision Diagrams for Representation and Analysis of Communication Protocols
Computer Networks, Vol. 32, No. 1, January 2000, pp. 81-98, Elsevier

C. Demartini, R. Iosif, R. Sisto
A Deadlock Detection Tool for Concurrent Java Programs
Software - Practice and Experience, Vol. 29, No. 7, July 1999, pp. 577-603, Wiley

G. Cena, L. Durante, R. Sisto, A. Valenzano
Adaptative Bandwidth Balancing Mechanisms for DQDB Networks
Computer Communications, Vol. 20, No. 9, September 1997, pp. 804-819

R. Sisto, A. Valenzano
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions
IEEE Transactions on Computers, Vol. 44, No. 12, December 1995, pp. 1361-1370

M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modeling of Distributed Systems
Rivista di Informatica AICA, Vol. 25, No. 3, September 1995, pp. 195-214

L. Durante, R. Sisto, A. Valenzano
Implementation of Static Semantic Analysis of LOTOS Specifications
IEE Software Engineering Journal, Vol. 9, No. 2, March 1994, pp. 55-66

M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano
A LOTOS Extension for the Performance Analysis of Distributed Systems
IEEE/ACM Transactions on Networking, Vol. 2, No. 2, April 1994, pp. 151-165

A. Valenzano, R. Sisto, L. Ciminiera
Rapid Prototyping of Protocols from LOTOS Specifications
Software Practice and Experience, Vol. 23, No. 1, January 1993, pp. 31-54

R. Sisto, L. Ciminiera, A. Valenzano
A Protocol for Multirendezvous of LOTOS Processes
IEEE Transactions on Computers, Vol. 40, No. 4, April 1991, pp. 437-447

A. Valenzano, R. Sisto, L. Ciminiera
An Abstract Execution Model for Basic LOTOS
IEE Software Engineering Journal, Vol. 5, No. 6, November 1990, pp. 311-318

G. Albertengo, R. Sisto
Parallel CRC Generation
IEEE Micro, Vol. 10, No. 5, October 1990, pp. 63-71

 [ Journals and Magazines ][ Books ][ Conference Proceedings ][ Technical Reports ][ Top ]

Books 
G. Cena, L. Durante, R. Sisto, E. Piccolo, A. Valenzano
Esercizi di Fondamenti di Informatica, (in Italian)
UTET, Torino, Italia, 1997, ISBN 88-7750-458-7

 [ Journals and Magazines ][ Books ][ Conference Proceedings ][ Technical Reports ][ Top ]

Conference Proceedings 
I. Cibrario B., L. Durante, R. Sisto, A. Valenzano
A new knowledge representation strategy for cryptographic protocol analysis
in Proc. TACAS 2003 - Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems , to appear, 2003

P. Maggi, R. Sisto
A Configurable Mobile Agent Data Protection Protocol
in Proc. AAMAS'03 - Int. Conf. on Autonomous Agents and Multiagent Systems, to appear, 2003

P. Maggi, R. Sisto
Using SPIN to Verify Security Protocols
in Proc. 9th Int. SPIN Workshop on Model Checking of Software, LNCS 2318, Grenoble, France, April 2002, pp. 187-204

P. Maggi, R. Sisto
Using Data Flow Analysis to Infer Type Information in Java Bytecode
in Proc. SCAM 2001 - 1st Int. Workshop on Source Code Analysis and Manipulation, Firenze, Italy, November 2001

R. Iosif, R. Sisto
Temporal Logic Properties of Java Objects
in Proc. SEKE'01 - 13th Int. Conf. on Software Engineering and Knowledge Engineering, Buenos Aires, Argentina, June 2001, pp. 120-127

L. Ciminiera, P. Maggi, R. Sisto
SCARAB: Innovative Services Supporting User Mobility
in Proc. IEEE ICDCS 2001 Workshops, Mesa, AZ, USA, April 2001, pp. 487-493

X. Hannotin, P. Maggi, R. Sisto
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study
in Proc. 5th Int. Conf. on Mobile Agents (MA 2001), LNCS 2240, Atlanta, Georgia, USA, December 2001, pp. 42-53

L. Durante, R. Sisto, A. Valenzano
Graphic LOTOS specification of an EN50254 system
in Proc. WFCS2000 WIP Proceedings, Porto, Portugal, September 2000, pp. 43-46

R. Iosif, R. Sisto
On the specification of source level properties in Java
in Proc. 1st International Workshop on Automated Program Analysis, Testing and Verification, Limerick, June 2000, pp. 83-88

R. Iosif, R. Sisto
Using Garbage Collection in Model Checking
in Proc. 7th Int. SPIN Workshop on Model Checking of Software, LNCS 1885, Stanford, CA, USA, September 2000, pp. 20-33

L. Durante, R. Sisto, A. Valenzano
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification
in Proc. FORTE/PSTV 2000, Pisa, October 2000, pp. 155-170

L. Durante, R. Sisto, A. Valenzano
Dynamic Data Management in STEP
in Proc. 32th Int. Conf. ISATA 1999, Wien, June 1999, pp. 231-238

F. Lerda, R. Sisto
Distributed-Memory Model Checking with SPIN
in Proc. 5th International SPIN Workshop, Theoretical and Practical Aspects of SPIN Model Checking, LNCS 1680, Trento, July 1999, pp. 22-39

C. Demartini, R. Iosif, R. Sisto
dSPIN: A Dynamic Extension of SPIN
in Proc. 6th International SPIN Workshop, Theoretical and Practical Aspects of SPIN Model Checking, LNCS 1680, Toulouse, September 1999, pp. 261-276

L. Bos, L. Ciminiera, E. De Blieck, R. Sisto
Exploiting smart cards and mobile agents for personalised service provisioning: A case study
in Proc. CLIMATE Workshop on Advanced Services in Fixed and Mobile Telecommunications Networks, Singapore, September 1999

C. Demartini, R. Iosif, R. Sisto
Modeling and Validation of Java Multi-threading applications using Spin
in Proc. SPIN'98, 4th Workshop on Automata Theoretic Verification with the Spin Model Checker, Paris, France, November 1998, pp. 5-19

C. Demartini, R. Sisto
Static Analysis of Java Mutithreaded and Distributed Applications
in Proc. PDSE 98, 1998 IEEE Int. Symp. on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, April 1998, pp. 215-222

C. Demartini, R. Iosif, R. Sisto
A Java-based Formal Development Environment for Factory Communication Systems
in Proc. CSD 98, 1998 IEEE Int. Conf. on Application of Concurrency to System Design, Fukushima, Japan, March 1998, pp. 273-281

L. Durante, R. Sisto, A. Valenzano
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems
in Proc. WFCS 97, 2nd IEEE Workshop on Factory Communications, Barcelona, Spain, October 1997, pp. 71-80

L. Durante, R. Sisto, A. Valenzano
Formal Specification and Verification of the Real-time Scheduler in FIP
in Proc. WFCS95, 1st IEEE Workshop on Factory communications Systems, Leysin, Switzerland, October 1995, pp. 99-106

G. Cena, L. Durante, R. Sisto, A. Valenzano
Comparison of Adaptative Fairness Control Mechanisms for DQDB Metropolitan Area Networks
in Proc. IPCCC 95, 14th IEEE International Phoenix Conference on Computers and Communications, Scottsdale (AZ, USA), March 1995, pp. 205-211

R. Sisto
A Method to Build Symbolic Representations of LOTOS Specifications
in Proc. PSTV95, 15th Int. Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995, pp. 331-346

L. Durante, R. Sisto, A. Valenzano
A LOTOS Specification of the SERCOS Field-bus Protocol
in Proc. SEKE 94, 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, June 1994, pp. 139-147

M. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto, A. Valenzano
Integrating Performance Analysis in the Context of LOTOS-based Design
in Proc. MASCOTS'94, 2nd IEEE Int. Workshop on Modeling , Analysis and Simulation of Computer and Telecommunication Systems, Durham, NC, USA, January 1994, pp. 292-298

L. Durante, R. Sisto, A. Valenzano
A Static Semantic Analyzer for LOTOS Specifications
in Proc. IPCCC'93, 12th IEEE International Phoenix Conference on Computers and Communications, Phoenix (AZ, USA), March 1993, pp. 585-592

C. Demartini, P. Montuschi, A. Valenzano, L. Ciminiera, R. Sisto
Throughput Analysis of Timed Token Protocols in Double Ring Networks
in Proc. IEEE 17th Int. Conference on Local Computer Networks, Minneapolis, Septembre 1993, pp. 466-472

R. Sisto, L. Ciminiera, A. Valenzano
Probabilistic Characterization of Algebraic Protocol Specifications
in Proc. IEEE 12th Int. Conference on Distributed Computing Systems, Yokohama, Japan, June 1992, pp. 348-353

R. Sisto, A. Valenzano
A Formalization of the FIP Protocol Using Estelle
in Proc. IEEE Int. Workshop on Emerging Technologies and Factory Automation, Melbourne, Australia, August 1992, pp. 348-353

 [ Journals and Magazines ][ Books ][ Conference Proceedings ][ Technical Reports ][ Top ]

Technical Reports 
L. Durante, R. Sisto, A. Valenzano
Automatic testing equivalence verification of spi-calculus specifications
I.R. Internal Report DAI/ARC 01/02, 2002

R. Iosif, R. Sisto
A Formal Execution Model for Java Programs
I.R. DAI-ARC, Politecnico di Torino, 2000

L. Durante, R. Sisto, A. Valenzano
On the Relationship of Time Petri Nets and TE-LOTOS
I.R. DAI/ARC 1-97, Politecnico di Torino, 1997

 [ Journals and Magazines ][ Books ][ Conference Proceedings ][ Technical Reports ][ Top ]