SISTO, Riccardo
SISTO, Riccardo
Dipartimento di Automatica e Informatica
001943
A Configurable Mobile Agent Data Protection Protocol
2003 Maggi, Paolo; Sisto, Riccardo
A Formal Model of Network Policy Analysis
2015 Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio
A Formalization Of The FIP Protocol Using Estelle
1992 Sisto, Riccardo; Valenzano, Adriano
A framework for user-friendly verification-oriented VNF modeling
2017 Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin
A Graphical Tool for Protocol Design with Estelle
1991 Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano
A Java-based Formal Development Environment for Factory Communication Systems
1998 Demartini, Claudio Giovanni; R., Iosif; Sisto, Riccardo
A Lightweight Security Analyzer inside GCC
2008 Pozza, Davide; Sisto, Riccardo
A LOTOS Specification of the SERCOS Field-bus Protocol
1994 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Method to Build Symbolic Representations of LOTOS Specifications
1995 Sisto, Riccardo
A new knowledge representation strategy for cryptographic protocol analysis
2003 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
A novel approach for security function graph configuration and deployment
2021 Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification
2000 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A Static Semantic Analyzer for LOTOS Specifications
1993 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
An approach to refinement checking of SysML requirements
2011 Makartetskiy, Denis; Sisto, Riccardo
An Efficient Data Exchange Algorithm for Chained Network Functions
2014 Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo
An Experience in Embedded Control Software Verification
2009 Rolando, Pierluigi; Sisto, Riccardo
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
2007 Pironti, Alfredo; Sisto, Riccardo
An Overview of Software-based Support Tools for ISO 26262
2010 Makartetskiy, Denis; Pozza, Davide; Sisto, Riccardo
Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262
2015 Kandl, Susanne; Elshuber, Martin; Gulan, Stefan; Nguyen, Thang; Rieger, Stefan; Schrammel, Peter; Sisto, Riccardo
Automated Formal Verification of Application-specific Security Properties
2014 BETTASSA COPET, Piergiuseppe; Sisto, Riccardo
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 Formal Model of Network Policy Analysis / Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio. - STAMPA. - (2015), pp. 516-522. ((Intervento presentato al convegno RTSI 2015 - First International Forum on Research and Technologies for Society and Industry tenutosi a Torino, Italy nel 16-18 September 2015 [10.1109/RTSI.2015.7325150]. | 1-gen-2015 | VALENZA, FULVIOSPINOSO, SERENABASILE, CATALDOSISTO, RiccardoLIOY, ANTONIO | 2015RTSI.pdf; 2015RTSI_author.pdf |
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 framework for user-friendly verification-oriented VNF modeling / Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin. - ELETTRONICO. - 1:(2017), pp. 517-522. ((Intervento presentato al convegno IEEE Computer Software and Applications Conference (COMPSAC) tenutosi a Turin, Italy nel July 4-8, 2017 [10.1109/COMPSAC.2017.16]. | 1-gen-2017 | MARCHETTO, GUIDOSISTO, RiccardoVIRGILIO, MATTEOYUSUPOV, JALOLLIDDIN | - |
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 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 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 novel approach for security function graph configuration and deployment / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.. - ELETTRONICO. - (2021), pp. 457-463. ((Intervento presentato al convegno 7th IEEE International Conference on Network Softwarization, NetSoft 2021 nel 2021 [10.1109/NetSoft51509.2021.9492654]. | 1-gen-2021 | Bringhenti D.Marchetto G.Sisto R.Valenza F. | secsoft2021.pdf; main.pdf |
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 | - |
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 Efficient Data Exchange Algorithm for Chained Network Functions / Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo. - STAMPA. - (2014), pp. 98-105. ((Intervento presentato al convegno 2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR 2014) tenutosi a Vancouver, BC, Canada nel July 2014 [10.1109/HPSR.2014.6900888]. | 1-gen-2014 | CERRATO, IVANOMARCHETTO, GUIDORISSO, FULVIO GIOVANNI OTTAVIOSISTO, RiccardoVIRGILIO, MATTEO | 14HPSR-SharedBuffer.pdf; 14HPSR-SharedBuffer-published.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.pdf; iscc07_author_postprint.pdf |
An Overview of Software-based Support Tools for ISO 26262 / Makartetskiy, Denis; Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2010), pp. 132-137. ((Intervento presentato al convegno Innovative Information Technologies: Theory and Practice tenutosi a Dresden (GER) nel 06-10 Settembre 2010. | 1-gen-2010 | MAKARTETSKIY, DENISPOZZA, DAVIDESISTO, Riccardo | iit10.pdf |
Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262 / Kandl, Susanne; Elshuber, Martin; Gulan, Stefan; Nguyen, Thang; Rieger, Stefan; Schrammel, Peter; Sisto, Riccardo. - STAMPA. - 23:(2015), pp. 95-115. ((Intervento presentato al convegno Safety-critical Systems Symposium tenutosi a Bristol (UK) nel 3rd-5th February 2015. | 1-gen-2015 | SISTO, Riccardo + | - |
Automated Formal Verification of Application-specific Security Properties / BETTASSA COPET, Piergiuseppe; Sisto, Riccardo. - STAMPA. - 8364:(2014), pp. 45-59. ((Intervento presentato al convegno Engineering Secure Software and Systems (ESSOS) tenutosi a Munich, Germany nel 26-28/2/2014 [10.1007/978-3-319-04897-0_4]. | 1-gen-2014 | BETTASSA COPET, PIERGIUSEPPESISTO, Riccardo | - |