SISTO, Riccardo

SISTO, Riccardo  

Dipartimento di Automatica e Informatica  

001943  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.023 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 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.pdf2015RTSI_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.pdfmain.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.pdf14HPSR-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.pdfiscc07_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 -