SISTO, Riccardo

SISTO, Riccardo  

Dipartimento di Automatica e Informatica  

001943  

Mostra records
Risultati 1 - 20 di 133 (tempo di esecuzione: 0.032 secondi).
Citazione Data di pubblicazione Autori File
A Configurable Mobile Agent Data Protection Protocol / Maggi, Paolo; Sisto, Riccardo. - STAMPA. - (2003), pp. 851-858. ((Intervento presentato al convegno AAMAS'03 - 2nd ACM Int. Joint Conf. on Autonomous Agents and Multiagent Systems nel July 2003 [10.1145/860575.860712]. 1-gen-2003 MAGGI, PAOLOSISTO, Riccardo -
A Deadlock Detection Tool for Concurrent Java Programs / Demartini, Claudio Giovanni; Iosif, R.; Sisto, Riccardo. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 29 (7):(1999), pp. 577-603. 1-gen-1999 DEMARTINI, Claudio GiovanniSISTO, Riccardo + -
A Formalization Of The FIP Protocol Using Estelle / Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1992), pp. 348-353. ((Intervento presentato al convegno IEEE International Workshop on Emerging Technologies and Factory Automation tenutosi a Melbourne, Australia nel 11-14 August 1992 [10.1109/ETFA.1992.683278]. 1-gen-1992 SISTO, RiccardoVALENZANO, ADRIANO -
A Graphical Tool for Protocol Design with Estelle / Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1991), pp. 552-556. ((Intervento presentato al convegno CompEuro '91. 5th Annual European Computer Conference tenutosi a Bologna, Italy nel 13-16 May 1991 [10.1109/CMPEUR.1991.257446]. 1-gen-1991 CIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
A Grid-Powered Framework to Support Courses on Distributed Programming / Maggi, P; Sisto, Riccardo. - In: IEEE TRANSACTIONS ON EDUCATION. - ISSN 0018-9359. - 50:(2007), pp. 27-33. [10.1109/TE.2006.879806] 1-gen-2007 SISTO, Riccardo + -
A Java-based Formal Development Environment for Factory Communication Systems / Demartini, Claudio Giovanni; R., Iosif; Sisto, Riccardo. - (1998), pp. 273-281. ((Intervento presentato al convegno IEEE Int. Conf. on Application of Concurrency to System Design. 1-gen-1998 DEMARTINI, Claudio GiovanniSISTO, Riccardo + -
A Lightweight Security Analyzer inside GCC / Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2008), pp. 851-858. ((Intervento presentato al convegno ARES 2008 - 3rd Int. Conf. on Availability, Reliability and Security tenutosi a Barcelona, Spain nel Marzo 2008 [10.1109/ARES.2008.26]. 1-gen-2008 POZZA, DAVIDESISTO, Riccardo -
A LOTOS Extension for the Performance Analysis of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, A.. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 2:2(1994), pp. 151-165. [10.1109/90.298433] 1-gen-1994 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, Riccardo + ton_lotos.pdf
A LOTOS Specification of the SERCOS Field-bus Protocol / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1994), pp. 139-147. ((Intervento presentato al convegno SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering tenutosi a Jurmala, Latvia nel 21-23 June. 1-gen-1994 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Method to Build Symbolic Representations of LOTOS Specifications / Sisto, Riccardo. - STAMPA. - (1995), pp. 331-346. ((Intervento presentato al convegno Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification tenutosi a Warsaw, Poland nel June 1995. 1-gen-1995 SISTO, Riccardo -
A new knowledge representation strategy for cryptographic protocol analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - 2619:(2003), pp. 284-298. ((Intervento presentato al convegno 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 tenutosi a Warsaw (PL) nel April 7–11, 2003 [10.1007/3-540-36577-X_21]. 1-gen-2003 SISTO, Riccardo + -
A Protocol for Multirendezvous of LOTOS Processes / Sisto, Riccardo; Ciminiera, Luigi; Valenzano, A.. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - 40:(1991), pp. 437-447. 1-gen-1991 SISTO, RiccardoCIMINIERA, Luigi + -
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 155-170. ((Intervento presentato al convegno FORTE/PSTV 2000 Joint Int. Conf. tenutosi a Pisa nel October 2000. 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Static Semantic Analyzer for LOTOS Specifications / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1993), pp. 585-592. ((Intervento presentato al convegno IEEE Phoenix Conference on Computers and Communications nel 23-26 March 1993 [10.1109/PCCC.1993.344534]. 1-gen-1993 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - In: RIVISTA DI INFORMATICA. - ISSN 0390-668X. - STAMPA. - 25:3(1995), pp. 195-214. 1-gen-1995 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks'' / Cena, G; Durante, L; Sisto, Riccardo; Valenzano, A.. - In: COMPUTER COMMUNICATIONS. - ISSN 0140-3664. - 20:(1997), pp. 804-819. 1-gen-1997 SISTO, Riccardo + -
An Abstract Execution Model for Basic LOTOS / Valenzano, A; Sisto, Riccardo; Ciminiera, L.. - In: SOFTWARE ENGINEERING JOURNAL. - ISSN 0268-6961. - 5:(1990), pp. 311-318. 1-gen-1990 SISTO, Riccardo + -
An approach to refinement checking of SysML requirements / Makartetskiy, Denis; Sisto, Riccardo. - STAMPA. - (2011), pp. 1-4. ((Intervento presentato al convegno IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA) tenutosi a Toulouse (France) nel 5-9 Sept. 2011 [10.1109/ETFA.2011.6059147]. 1-gen-2011 MAKARTETSKIY, DENISSISTO, Riccardo 2460420-mod.pdf
An Experience in Embedded Control Software Verification / Rolando, Pierluigi; Sisto, Riccardo. - STAMPA. - (2009), pp. 1-4. ((Intervento presentato al convegno IEEE ETFA 2009 - 14th IEEE Int. Conf. on Emerging Technologies and Factory Automation tenutosi a Palma, Spain nel September 2009 [10.1109/ETFA.2009.5347235]. 1-gen-2009 ROLANDO, PIERLUIGISISTO, Riccardo -
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation / Pironti, Alfredo; Sisto, Riccardo. - STAMPA. - (2007), pp. 839-844. ((Intervento presentato al convegno IEEE Symposium on Computers and Communications (ISCC 07) tenutosi a Aveiro, Portugal nel 1-4 July 2007 [10.1109/ISCC.2007.4381508]. 1-gen-2007 PIRONTI, ALFREDOSISTO, Riccardo 1659069.pdfiscc07_author_postprint.pdf