Riccardo Sisto

136 papers A 3B 20C 12Misc 4Journal 59Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Intent-Driven Network Isolation for the Cloud Computing Continuum. J. Netw. Syst. Manag. Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2025	B	`conf`	A Demonstration of an Autonomous Approach for Cyberattack Mitigation. CNSM Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2025	—	`conf`	A demonstration of a network isolation solution for the computing continuum. NFV-SDN Francesco Pizzato, Daniele Bringhenti, Luca Cetino, Riccardo Sisto, Fulvio Valenza
2025	J	`jnl`	Atomizing Firewall Policies for Anomaly Analysis and Resolution. IEEE Trans. Dependable Secur. Comput. Daniele Bringhenti, Simone Bussa, Riccardo Sisto, Fulvio Valenza
2025	J	`jnl`	Automating VPN Configuration in Computer Networks. IEEE Trans. Dependable Secur. Comput. Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2025	J	`jnl`	Autonomous Attack Mitigation Through Firewall Reconfiguration. Int. J. Netw. Manag. Daniele Bringhenti, Francesco Pizzato, Riccardo Sisto, Fulvio Valenza
2025	Misc	`conf`	Design and implementation of a tool to improve error reporting for eBPF code. CSR Rosario Rizza, Riccardo Sisto, Fulvio Valenza
2025	J	`jnl`	Formal verification of a V2X scheme mixing traditional PKI and group signatures. J. Inf. Secur. Appl. Simone Bussa, Riccardo Sisto, Fulvio Valenza
2024	Misc	`conf`	A Looping Process for Cyberattack Mitigation. CSR Daniele Bringhenti, Francesco Pizzato, Riccardo Sisto, Fulvio Valenza
2024	J	`jnl`	A Two-Fold Traffic Flow Model for Network Security Management. IEEE Trans. Netw. Serv. Manag. Daniele Bringhenti, Simone Bussa, Riccardo Sisto, Fulvio Valenza
2024	B	`conf`	An intent-based solution for network isolation in Kubernetes. NetSoft Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2024	B	`conf`	Automatic and optimized firewall reconfiguration. NOMS Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2024	J	`jnl`	Automation for Network Security Configuration: State of the Art and Research Trends. ACM Comput. Surv. Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2024	B	`conf`	Security Automation in next-generation Networks and Cloud environments. NOMS Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	B	`conf`	A demonstration of VEREFOO: an automated framework for virtual firewall configuration. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	J	`jnl`	A novel abstraction for security configuration in virtual networks. Comput. Networks Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	J	`jnl`	Automated Firewall Configuration in Virtual Networks. IEEE Trans. Dependable Secur. Comput. Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2023	B	`conf`	Automating the configuration of firewalls and channel protection systems in virtual networks. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	J	`jnl`	Explicit Host-to-Network Flow Measurements Techniques. RFC Mauro Cociglio, Alexandre Ferrieux, Giuseppe Fioccola, Igor Lubashev, Fabio Bulgarella, Massimo Nilo, Isabelle Hamchaoui, Riccardo Sisto
2023	Misc	`conf`	Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. CSR Simone Bussa, Riccardo Sisto, Fulvio Valenza
2023	—	`conf`	Formal Verification of the FDO Protocol. CSCN Simone Bussa, Riccardo Sisto, Fulvio Valenza
2023	—	`ch.`	Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. Handb. Formal Anal. Verification Cryptogr. Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2023	B	`conf`	Security automation for multi-cluster orchestration in Kubernetes. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2023	B	`conf`	Towards Security Automation in Virtual Networks. NetSoft Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
2022	J	`jnl`	Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. Comput. Networks Daniele Bringhenti, Jalolliddin Yusupov, Alejandro Molina Zarca, Fulvio Valenza, Riccardo Sisto, Jorge Bernal Bernabé, Antonio F. Skarmeta
2022	J	`jnl`	Clustered Alternate-Marking Method. RFC Giuseppe Fioccola, Mauro Cociglio, Amedeo Sapio, Riccardo Sisto, Tianran Zhou
2022	B	`conf`	Security Automation using Traffic Flow Modeling. NetSoft Simone Bussa, Riccardo Sisto, Fulvio Valenza
2021	J	`jnl`	A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks. IEEE Trans. Ind. Informatics Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov, Adlen Ksentini
2021	B	`conf`	A novel approach for security function graph configuration and deployment. NetSoft Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2021	J	`jnl`	Improving the Formal Verification of Reachability Policies in Virtualized Networks. IEEE Trans. Netw. Serv. Manag. Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov
2020	B	`conf`	Automated optimal firewall orchestration and configuration in virtualized networks. NOMS Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2020	B	`conf`	Introducing programmability and automation in the synthesis of virtual firewall rules. NetSoft Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2020	J	`jnl`	Multipoint Alternate-Marking Method for Passive and Hybrid Performance Monitoring. RFC Giuseppe Fioccola, Mauro Cociglio, Amedeo Sapio, Riccardo Sisto
2020	J	`jnl`	Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware. IEEE Veh. Technol. Mag. Marco Iorio, Alberto Buttiglieri, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza
2020	J	`jnl`	Securing SOME/IP for In-Vehicle Service Protection. IEEE Trans. Veh. Technol. Marco Iorio, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza
2020	—	`conf`	Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. CYSARM@CCS Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2020	C	`conf`	Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. WFCS Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
2019	J	`jnl`	A Framework for Verification-Oriented User-Friendly Network Function Modeling. IEEE Access Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2019	—	`conf`	Detecting Injection Attacks on Cooperative Adaptive Cruise Control. VNC Marco Iorio, Fulvio Risso, Riccardo Sisto, Alberto Buttiglieri, Massimo Reineri
2019	J	`jnl`	Formally specifying and checking policies and anomalies in service function chaining. J. Netw. Comput. Appl. Fulvio Valenza, Serena Spinoso, Riccardo Sisto
2019	J	`jnl`	Multipoint Passive Monitoring in Packet Networks. IEEE/ACM Trans. Netw. Mauro Cociglio, Giuseppe Fioccola, Guido Marchetto, Amedeo Sapio, Riccardo Sisto
2019	—	`conf`	Performance measurements of QUIC communications. ANRW Fabio Bulgarella, Mauro Cociglio, Giuseppe Fioccola, Guido Marchetto, Riccardo Sisto
2019	—	`conf`	Towards a fully automated and optimized network security functions orchestration. ICCCS Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
2018	J	`jnl`	An efficient data exchange mechanism for chained network functions. J. Parallel Distributed Comput. Ivano Cerrato, Guido Marchetto, Fulvio Risso, Riccardo Sisto, Matteo Virgilio, Roberto Bonafiglia
2018	J	`jnl`	Formally sound implementations of security protocols with JavaSPI. Formal Aspects Comput. Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti
2018	C	`conf`	Formally verified latency-aware VNF placement in industrial Internet of things. WFCS Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini
2018	—	`conf`	Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks. CSCN Jalolliddin Yusupov, Adlen Ksentini, Guido Marchetto, Riccardo Sisto
2018	J	`jnl`	Seamless Configuration of Virtual Network Functions in Data Center Provider Networks. J. Netw. Syst. Manag. Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto
2018	B	`conf`	Virtual Network Embedding with Formal Reachability Assurance. CNSM Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini
2017	—	`conf`	A Framework for User-Friendly Verification-Oriented VNF Modeling. COMPSAC (1) Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov
2017	J	`jnl`	A formal approach for network security policy validation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Fulvio Valenza, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, Marco Vallini
2017	J	`jnl`	Formal verification of LTE-UMTS and LTE-LTE handover procedures. Comput. Stand. Interfaces Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
2017	J	`jnl`	Push applications and dynamic content generation over content-centric networking. Int. J. Commun. Syst. Matteo Virgilio, Guido Marchetto, Riccardo Sisto
2016	J	`jnl`	DynNav: Toward Open and Interoperable Navigation Services. IT Prof. Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto, Cecilia Corbi, Giorgio Ghinamo, Francesco Vadala, Pietro Leggero
2016	J	`jnl`	Final Service Provider DevOps concept and evaluation. CoRR Guido Marchetto, Riccardo Sisto, Wolfgang John, Pontus Sköldström, Bertrand Pechenot, Felicián Németh, István Pelle, Juhoon Kim, Xuejun Cai, Chunyan Fu, Catalin Meirosu, Kostas Pentikousis, Sachin Sharma, Ioanna Papafili, Serena Spinoso, Matteo Virgilio, Rebecca Steinert, Per Kreuger, Shaoteng Liu, Jan Ekman, Antonio Manzalini, Apoorv Shukla
2016	J	`jnl`	Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs. IEEE/ACM Trans. Netw. Matteo Avalle, Fulvio Risso, Riccardo Sisto
2015	—	`conf`	A formal model of network policy analysis. RTSI Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy
2015	—	`conf`	Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. ESOCC Serena Spinoso, Matteo Virgilio, Wolfgang John, Antonio Manzalini, Guido Marchetto, Riccardo Sisto
2015	C	`conf`	Formal verification of LTE-UMTS handover procedures. ISCC Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
2015	J	`jnl`	Initial Service Provider DevOps concept, capabilities and proposed tools. CoRR Wolfgang John, Catalin Meirosu, Pontus Sköldström, Felician Németh, András Gulyás, Mario Kind, Sachin Sharma, Ioanna Papafili, George Agapiou, Guido Marchetto, Riccardo Sisto, Rebecca Steinert, Per Kreuger, Henrik Abrahamsson, Antonio Manzalini, Nadi Sarrar
2015	—	`conf`	Interest Flooding Attack Countermeasures Assessment on Content Centric Networking. ITNG Matteo Virgilio, Guido Marchetto, Riccardo Sisto
2015	J	`jnl`	Service Provider DevOps network capabilities and tools. CoRR Rebecca Steinert, Wolfgang John, Pontus Sköldström, Bertrand Pechenot, András Gulyás, István Pelle, Tamás Lévai, Felicián Németh, Juhoon Kim, Catalin Meirosu, Xuejun Cai, Chunyan Fu, Kostas Pentikousis, Sachin Sharma, Ioanna Papafili, Guido Marchetto, Riccardo Sisto, Fulvio Risso, Per Kreuger, Jan Ekman, Shaoteng Liu, Antonio Manzalini, Apoorv Shukla, Stefan Schmid
2015	—	`conf`	Wireless for the factory: The Wi-Fact analysis. RTSI Alessia Autolitano, Daniele Brevi, Gianluca Cena, Pietro A. Cultrona, Guido Marchetto, Fulvio Rusina, Stefano Scanzio, Riccardo Scopigno, Riccardo Sisto
2014	C	`conf`	An efficient data exchange algorithm for chained network functions. HPSR Ivano Cerrato, Guido Marchetto, Fulvio Risso, Riccardo Sisto, Matteo Virgilio
2014	—	`conf`	Automated Formal Verification of Application-specific Security Properties. ESSoS Piergiuseppe Bettassa Copet, Riccardo Sisto
2014	Misc	`conf`	Automatic Configuration of Opaque Network Functions in CMS. UCC Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto
2014	J	`jnl`	Formal verification of security protocol implementations: a survey. Formal Aspects Comput. Matteo Avalle, Alfredo Pironti, Riccardo Sisto
2014	J	`jnl`	Safe abstractions of data encodings in formal security protocol models. Formal Aspects Comput. Alfredo Pironti, Riccardo Sisto
2013	—	`conf`	PIT overload analysis in content centric networks. ICN Matteo Virgilio, Guido Marchetto, Riccardo Sisto
2013	—	`conf`	Resource management policies for cloud-based interactive 3D applications. ICC Workshops Guido Marchetto, Riccardo Sisto, Luca Stanziano
2012	—	`conf`	Efficient multistriding of large non-deterministic finite state automata for deep packet inspection. ICC Matteo Avalle, Fulvio Risso, Riccardo Sisto
2012	J	`jnl`	Formally based semi-automatic implementation of an open security protocol. J. Syst. Softw. Alfredo Pironti, Davide Pozza, Riccardo Sisto
2012	—	`conf`	Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification. UPINLBS Giorgio Ghinamo, Francesco Vadala, Cecilia Corbi, Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto
2012	—	`conf`	Visual Model-Driven Design, Verification and Implementation of Security Protocols. HASE Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli
2011	C	`conf`	An approach to refinement checking of SysML requirements. ETFA Denis Makartetskiy, Riccardo Sisto
2011	J	`jnl`	Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Trans. Ind. Informatics Manuel Cheminod, Alfredo Pironti, Riccardo Sisto
2011	J	`jnl`	JavaSPI: A Framework for Security Protocol Implementation. Int. J. Secur. Softw. Eng. Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto
2011	J	`jnl`	SPAF: stateless FSA-based packet filters. IEEE/ACM Trans. Netw. Pierluigi Rolando, Riccardo Sisto, Fulvio Risso
2011	B	`conf`	The Java SPI Framework for Security Protocol Implementation. ARES Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza
2010	J	`jnl`	Provably correct Java implementations of Spi Calculus security protocols specifications. Comput. Secur. Alfredo Pironti, Riccardo Sisto
2010	J	`jnl`	iNFAnt: NFA pattern matching on GPGPU devices. Comput. Commun. Rev. Niccolo Cascarano, Pierluigi Rolando, Fulvio Risso, Riccardo Sisto
2009	C	`conf`	An Experience in Embedded Control Software Verification. ETFA Pierluigi Rolando, Riccardo Sisto
2009	J	`jnl`	Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
2009	J	`jnl`	Tools for cryptographic protocols analysis: A technical and experimental comparison. Comput. Stand. Interfaces Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2008	B	`conf`	A Lightweight Security Analyzer inside GCC. ARES Davide Pozza, Riccardo Sisto
2008	J	`jnl`	Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Aspects Comput. Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2008	—	`conf`	Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE Alfredo Pironti, Riccardo Sisto
2008	—	`conf`	Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. DepCoS-RELCOMEX Alfredo Pironti, Riccardo Sisto
2008	B	`conf`	Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES Alfredo Pironti, Riccardo Sisto
2008	—	`conf`	Vulnerability Modelling for the Analysis of Network Attacks. DepCoS-RELCOMEX Paolo Maggi, Davide Pozza, Riccardo Sisto
2007	J	`jnl`	A Grid-Powered Framework to Support Courses on Distributed Programming. IEEE Trans. Educ. Paolo Maggi, Riccardo Sisto
2007	C	`conf`	An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC Alfredo Pironti, Riccardo Sisto
2007	—	`conf`	Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2007	—	`conf`	Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2007	J	`jnl`	Improving the security of industrial networks by means of formal verification. Comput. Stand. Interfaces Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano
2006	—	`conf`	Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano
2006	J	`jnl`	Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2005	B	`conf`	Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2004	B	`conf`	Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2004	J	`jnl`	Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. J. Syst. Softw. Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
2004	—	`conf`	Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) Davide Pozza, Riccardo Sisto, Luca Durante
2003	A	`conf`	A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2003	A	`conf`	A configurable mobile agent data protection protocol. AAMAS Paolo Maggi, Riccardo Sisto
2003	J	`jnl`	Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. Luca Durante, Riccardo Sisto, Adriano Valenzano
2003	C	`conf`	Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
2003	J	`jnl`	Temporal logic properties of Java objects. J. Syst. Softw. Radu Iosif, Riccardo Sisto
2002	—	`conf`	Experiments on Formal Verification of Mobile Agent Data Integrity Properties. WOA Paolo Maggi, Riccardo Sisto
2002	—	`conf`	Using SPIN to Verify Security Properties of Cryptographic Protocols. SPIN Paolo Maggi, Riccardo Sisto
2001	—	`conf`	Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. Mobile Agents Xavier Hannotin, Paolo Maggi, Riccardo Sisto
2001	—	`conf`	SCARAB: Innovative Services Supporting User and Terminal Mobility. ICDCS Workshops Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
2001	C	`conf`	Temporal Logic Properties of Java Objects. SEKE Radu Iosif, Riccardo Sisto
2001	C	`conf`	Using Data Flow Analysis to Infer Type Information in Java Bytecode. SCAM Paolo Maggi, Riccardo Sisto
2001	—	`conf`	Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. WOA Xavier Hannotin, Paolo Maggi, Riccardo Sisto
2000	C	`conf`	A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE Luca Durante, Riccardo Sisto, Adriano Valenzano
2000	—	`conf`	Using Garbage Collection in Model Checking. SPIN Radu Iosif, Riccardo Sisto
2000	J	`jnl`	Using binary decision diagrams for representation and analysis of communication protocols. Comput. Networks Riccardo Sisto
1999	J	`jnl`	A Deadlock Detection Tool for Concurrent Java Programs. Softw. Pract. Exp. Claudio Demartini, Radu Iosif, Riccardo Sisto
1999	—	`conf`	Distributed-Memory Model Checking with SPIN. SPIN Flavio Lerda, Riccardo Sisto
1999	—	`conf`	dSPIN: A Dynamic Extension of SPIN. SPIN Claudio Demartini, Radu Iosif, Riccardo Sisto
1998	—	`conf`	A Java-based Formal Development Environment for Factory Communication Systems. ACSD Claudio Demartini, Riccardo Sisto
1998	—	`conf`	Static Analysis of Java Multithreaded and Distributed Applications. PDSE Claudio Demartini, Riccardo Sisto
1997	J	`jnl`	Adaptive bandwidth balancing mechanisms for DQDB networks. Comput. Commun. Gianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano
1995	—	`conf`	A method to build symbolic representations of LOTOS specifications. PSTV Riccardo Sisto
1995	J	`jnl`	Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. IEEE Trans. Computers Riccardo Sisto, Adriano Valenzano
1994	J	`jnl`	A LOTOS extension for the performance analysis of distributed systems. IEEE/ACM Trans. Netw. Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano
1994	C	`conf`	A LOTOS specification of the SERCOS field-bus protocol. SEKE Luca Durante, Riccardo Sisto, Adriano Valenzano
1994	J	`jnl`	Implementation of static semantic analysis of LOTOS specifications. Softw. Eng. J. Luca Durante, Riccardo Sisto, Adriano Valenzano
1994	B	`conf`	Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. MASCOTS Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano
1993	J	`jnl`	Rapid Prototyping of Protocols from LOTOS Specifications. Softw. Pract. Exp. Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera
1992	A	`conf`	Probabilistic Characterization of Algebraic Protocol Specifications. ICDCS Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano
1992	B	`conf`	Throughput analysis of timed token protocols in double ring networks. LCN Claudio Demartini, Paolo Montuschi, Adriano Valenzano, Luigi Ciminiera, Riccardo Sisto
1991	J	`jnl`	A Protocol for Multirendezvous of LOTOS Processes. IEEE Trans. Computers Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano
1990	J	`jnl`	An abstract execution model for basic LOTOS. Softw. Eng. J. Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera
1990	—	`conf`	Modeling the execution of LOTOS specifications by cooperating extended finite state machines. SPDP Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera
1990	J	`jnl`	Parallel CRC generation. IEEE Micro Guido Albertengo, Riccardo Sisto
1990	J	`jnl`	The use of Estelle to specify manufacturing systems. Microprocessing and Microprogramming Maurizio Morisio, Riccardo Sisto