Pubblicazioni dell'autore: Riccardo Sisto [Rubrica]

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: In corso di stampa | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989
Numero di pubblicazioni : 106.

In corso di stampa

Articolo di rivista Spinoso, Serena; Leogrande, Marco; Risso, Fulvio; Singh, Sushil; Sisto, Riccardo
Seamless configuration of virtual network functions in data center provider networks. In: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT. - ISSN 1064-7570 (In stampa) [Disponibilità ristretta]
Scopus: 0
[img]

2017

Articolo di rivista Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana (2017)
Formal verification of LTE-UMTS and LTE-LTE handover procedures. In: COMPUTER STANDARDS & INTERFACES, vol. 50, pp. 92-106. - ISSN 0920-5489 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 0
[img] [img]

Articolo di rivista Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo (2017)
Push applications and dynamic content generation over content-centric networking. In: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, vol. 30 n. 3, pp. 1-16. - ISSN 1099-1131 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo di rivista Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco (2017)
A formal approach for network security policy validation. In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS, vol. 8 n. 1, pp. 79-100. - ISSN 2093-5374
Scopus: 1

Articolo in atti di convegno Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin (2017)
A framework for user-friendly verification-oriented VNF modeling. In: IEEE Computer Software and Applications Conference (COMPSAC), Turin, Italy, July 4-8, 2017. pp. 517-522

2016

Articolo di rivista Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, F.; Sisto, R.; Vadalà, F. (2016)
DynNav: Toward Open and Interoperable Dynamic Navigation Services. In: IT PROFESSIONAL, vol. 18 n. 2, pp. 35-41. - ISSN 1520-9202
Scopus: 0
[img] [img]

Articolo di rivista M. Avalle; F. Risso; R. Sisto (2016)
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 24 n. 3, pp. 1704-1717. - ISSN 1063-6692
Web of Science: 0 - Scopus: 0
[img]
Preview
[img]

2015

Articolo in atti di convegno Kandl, Susanne; Elshuber, Martin; Gulan, Stefan; Nguyen, Thang; Rieger, Stefan; Schrammel, Peter; Sisto, Riccardo (2015)
Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262. In: Safety-critical Systems Symposium, Bristol (UK), 3rd-5th February 2015. pp. 95-115

Articolo in atti di convegno Valenza, F.; Spinoso, S.; Basile, C.; Sisto, R.; Lioy, A. (2015)
A Formal Model of Network Policy Analysis. In: RTSI 2015 - First International Forum on Research and Technologies for Society and Industry, Torino, Italy, 16-18 September 2015. pp. 516-522
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana (2015)
Formal Verification of LTE-UMTS Handover Procedures. In: 20th IEEE Symposium on Computers and Communications (ISCC), Larnaca, Cyprus, 6-9 July 2015. pp. 738-744
Web of Science: 2 - Scopus: 3
[img] [img]
Preview

Articolo in atti di convegno Spinoso, Serena; Virgilio, Matteo; John, Wolfgang; Manzalini, Antonio; Marchetto, Guido; Sisto, Riccardo (2015)
Formal verification of Virtual Network Function graphs in an SP-DevOps context. In: European Conference on Service-Oriented and Cloud Computing (ESOCC), Taormina, Italy, 15-17 September 2015. pp. 253-262
Web of Science: 0 - Scopus: 2
[img]
Preview
[img]

Articolo in atti di convegno Virgilio M.; Marchetto G.; Sisto R. (2015)
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking. In: International Conference on Information Technology: New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015. pp. 721-724
Web of Science: 1 - Scopus: 1
[img]
Preview
[img]

Articolo in atti di convegno Autolitano, A.; Brevi, D.; Cena, G.; Cultrona, P.; Marchetto, G.; Rusina, F.; Scanzio, S.; Scopigno, R.; Sisto, R. (2015)
Wireless for the factory: The Wi-Fact analysis. In: RTSI 2015 - First Int. Forum on Research and Technologies for Society and Industry, Torino, Italy, September 16-18, 2015. pp. 403-410
Web of Science: 0 - Scopus: 0

2014

Articolo in atti di convegno Bettassa Copet P.; Sisto R. (2014)
Automated Formal Verification of Application-specific Security Properties. In: Engineering Secure Software and Systems (ESSOS), Munich, Germany, 26-28/2/2014. pp. 45-59
Scopus: 1

Articolo in atti di convegno Spinoso S.; Leogrande M.; Risso F.; Singh S.; Sisto R. (2014)
Automatic Configuration of Opaque Network Functions in CMS. In: 1st International Workshop on Network Virtualization and Software-Defined Networks for Cloud Data Centres (NVSDN 2014), London, UK, 8-11 December, 2014. pp. 750-755
Web of Science: 0 - Scopus: 2
[img]
Preview
[img]

Articolo in atti di convegno Cerrato I.; Marchetto G.; Risso F.; Sisto R.; Virgilio M. (2014)
An Efficient Data Exchange Algorithm for Chained Network Functions. In: 2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR 2014), Vancouver, BC, Canada, July 2014. pp. 98-105
Web of Science: 2 - Scopus: 7
[img] [img]
Preview

Articolo di rivista Avalle M. ; Pironti A. ; Sisto R. (2014)
Formal Verification of Security Protocol Implementations: A Survey. In: FORMAL ASPECTS OF COMPUTING, vol. 26 n. 1, pp. 99-123. - ISSN 0934-5043
Web of Science: 5 - Scopus: 9
[img]
Preview

Articolo di rivista Pironti A.; Sisto R. (2014)
Safe abstractions of data encodings in formal security protocol models. In: FORMAL ASPECTS OF COMPUTING, vol. 26 n. 1, pp. 125-167. - ISSN 0934-5043
Web of Science: 0 - Scopus: 1
[img]
Preview

2013

Articolo in atti di convegno Virgilio M., Marchetto G., Sisto R. (2013)
PIT Overload Analysis in Content Centric Networks. In: ACM SIGCOMM Workshop on Information-Centric Networking (ICN 2013), Hong Kong, China, August 12, 2013. pp. 67-72
Scopus: 20
[img] [img]
Preview

Articolo in atti di convegno Marchetto G., Sisto R., Stanziano L. (2013)
Resource Management Policies for Cloud-based Interactive 3D Applications. In: IEEE International Conference on Communications Workshops - Workshop on Cloud Convergence (WCC 2013), Budapest, Hungary, June 9-13, 2013. pp. 1388-1392
Scopus: 0
[img] [img]
Preview

2012

Articolo in atti di convegno Avalle M.; Risso F.; Sisto R. (2012)
Efficient Multistriding of Large Non-deterministic Finite State Automata for Deep Packet Inspection. In: IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2012), Ottawa, Canada, June 10-15, 2012. pp. 1079-1084
Web of Science: 0 - Scopus: 2
[img] [img]
Preview

Articolo di rivista Pironti A.; Pozza D.; Sisto R. (2012)
Formally based semi-automatic implementation of an open security protocol. In: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 85 n. 4, pp. 835-849. - ISSN 0164-1212
Web of Science: 6 - Scopus: 9
[img]
Preview

Articolo in atti di convegno Ghinamo G.; Vadalà F.; Corbi C.; Bettassa Copet P.; Risso F.; Sisto R. (2012)
Vehicle Navigation Service Based on Real-Time Traffic Information. In: 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012), Helsinki (SF), October 3-4, 2012. pp. 1-8
Web of Science: 0 - Scopus: 2
[img]
Preview
[img]

Articolo in atti di convegno Bettassa Copet P., Pironti A., Pozza D., Sisto R., Vivoli P. (2012)
Visual Model-Driven Design, Verification and Implementation of Security Protocols. In: 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012), Omaha, Nebraska, October 25-27, 2012. pp. 62-65
Scopus: 1
[img]
Preview

2011

Capitolo di libro Pironti A.; Pozza D.; Sisto R. (2011)
Automated Formal Methods for Security Protocol Engineering. In: Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies / Zubairi J. A., Mahboob A. IGI Global, Hershey PA, pp. 138-166. ISBN 9781609608514
Scopus: 2

Articolo in atti di convegno Makartetskiy D., Sisto R. (2011)
Combining SysML modelling with refinement checking in Eclipse. In: Proc. of the 6th Workshop of the Italian Eclipse Community, Eclipse-IT 2011, Milano, 22-23 Settembre 2011. pp. 290-293

Articolo di rivista Cheminod M.; Pironti A.; Sisto R. (2011)
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 7(1), pp. 30-40. - ISSN 1551-3203
Web of Science: 23 - Scopus: 23
[img]
Preview

Articolo in atti di convegno Avalle M., Pironti A., Sisto R., Pozza D. (2011)
The JavaSPI Framework for Security Protocol Implementation. In: Sixth International Conference on Availability, Reliability and Security (ARES), Vienna (Austria), 22-26 Aug. 2011. pp. 746-751
Scopus: 8
[img]
Preview

Articolo di rivista Avalle M., Pironti A., Pozza D., Sisto R. (2011)
JavaSPI: A Framework for Security Protocol Implementation. In: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING, vol. 2 n. 4, pp. 34-48. - ISSN 1947-3036

Articolo di rivista Rolando P.; Sisto R.; Risso F. (2011)
SPAF: Stateless FSA-Based Packet Filters. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 19 n. 1, pp. 14-27. - ISSN 1063-6692
Web of Science: 4 - Scopus: 4
[img] [img]
Preview

Articolo in atti di convegno Makartetskiy D.; Sisto R. (2011)
An approach to refinement checking of SysML requirements. In: IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), Toulouse (France), 5-9 Sept. 2011. pp. 1-4
Web of Science: 0 - Scopus: 2
[img]
Preview

2010

Articolo in atti di convegno Makartetskiy D., Pozza D., Sisto R. (2010)
An Overview of Software-based Support Tools for ISO 26262. In: Innovative Information Technologies: Theory and Practice, Dresden (GER), 06-10 Settembre 2010. pp. 132-137
[img]
Preview

Articolo di rivista Pironti A.; Sisto R. (2010)
Provably correct Java implementations of Spi Calculus security protocols specifications. In: COMPUTERS & SECURITY, vol. 29(3) n. 3, pp. 302-314. - ISSN 0167-4048
Web of Science: 7 - Scopus: 15
[img] [img]

Articolo di rivista Cascarano N.; Rolando P.; Risso F.; Sisto R. (2010)
iNFAnt: NFA pattern matching on GPGPU devices. In: COMPUTER COMMUNICATION REVIEW, vol. 40:5, pp. 20-26. - ISSN 0146-4833
Web of Science: 0 - Scopus: 20
[img] [img]

2009

Articolo di rivista Cheminod M; Cibrario Bertolotti I; Durante L; Maggi P; Pozza D; Sisto R.; And Valenzano A (2009)
Detecting Chains of Vulnerabilities in Industrial Networks. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 5 n. 2, pp. 181-193. - ISSN 1551-3203 [Disponibilità ristretta]
Web of Science: 20 - Scopus: 24
[img]

Articolo in atti di convegno Rolando P; Sisto R. (2009)
An Experience in Embedded Control Software Verification. In: IEEE ETFA 2009 - 14th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Palma, Spain, September 2009. pp. 1-4
Web of Science: 0 - Scopus: 1

Articolo di rivista Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2009)
Tools for cryptographic protocols analysis: A technical and experimental comparison. In: COMPUTER STANDARDS & INTERFACES, vol. 31(5), pp. 954-961. - ISSN 0920-5489
Web of Science: 5 - Scopus: 9

2008

Articolo di rivista Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2008)
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis. In: FORMAL ASPECTS OF COMPUTING, vol. 20 n. 3, pp. 303-348. - ISSN 0934-5043 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 1
[img]

Articolo in atti di convegno Pironti A.; Sisto R (2008)
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. In: High Assurance Systems Engineering Symposium (HASE 2008), Nanjing, China, 3-5 December 2008. pp. 241-250
Web of Science: 1 - Scopus: 2
[img]
Preview
[img]

Articolo in atti di convegno Pozza D; Sisto R. (2008)
A Lightweight Security Analyzer inside GCC. In: ARES 2008 - 3rd Int. Conf. on Availability, Reliability and Security, Barcelona, Spain, Marzo 2008. pp. 851-858
Web of Science: 0 - Scopus: 5

Articolo in atti di convegno Pironti A.; Sisto R (2008)
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. In: International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008), Szklarska Poręba, 26–28 June 2008. pp. 31-38
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Pironti A.; Sisto R (2008)
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. In: International Conference on Availability, Reliability and Security (ARES 08), Barcelona, Spain, 4-7 March 2008. pp. 72-79
Web of Science: 2 - Scopus: 5

Articolo in atti di convegno Maggi P; Pozza D; Sisto R. (2008)
Vulnerability Modelling for the Analysis of Network Attacks. In: DepCoS-RELCOMEX'08, 3rd Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, June 2008. pp. 15-22
Web of Science: 2 - Scopus: 11

2007

Articolo in atti di convegno Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2007)
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska, Poland, 14-16 June 2007. pp. 11-18
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Pironti A.; Sisto R (2007)
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. In: IEEE Symposium on Computers and Communications (ISCC 07), Aveiro, Portugal, 1-4 July 2007. pp. 839-844
Web of Science: 0 - Scopus: 10
[img] [img]

Articolo in atti di convegno Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2007)
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska, Poland, 14-16 June 2007. pp. 153-160
Web of Science: 3 - Scopus: 3

Articolo di rivista Maggi P; Sisto R. (2007)
A Grid-Powered Framework to Support Courses on Distributed Programming. In: IEEE TRANSACTIONS ON EDUCATION, vol. 50, pp. 27-33. - ISSN 0018-9359
Web of Science: 1 - Scopus: 2

Articolo di rivista Cibrario Bertolotti I; Durante L; Maggi P; Sisto R.; Valenzano A (2007)
Improving the Security of Industrial Networks by means of Formal Verification. In: COMPUTER STANDARDS & INTERFACES, vol. 29, pp. 387-397. - ISSN 0920-5489
Web of Science: 4 - Scopus: 4

2006

Articolo in atti di convegno Pozza D; Sisto R.; Durante L; Valenzano A (2006)
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software. In: COMSWARE 2006 - 1st Int. Conf. on Comunication System Software and Middleware, New Delhi, India, January 2006.
Web of Science: 0 - Scopus: 8

Articolo di rivista Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2006)
Exploiting symmetries for testing equivalence verification in the SPI calculus. In: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, vol. 4, pp. 815-832. - ISSN 0129-0541
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2006)
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols. In: Factory Communication Systems, 2006 IEEE International Workshop on, Torino, 28-30 June, 2006. pp. 273-282
Scopus: 0

Articolo in atti di convegno Beltrame F; Maggi P; Melato M; Molinari E; Sisto R.; Torterolo L (2006)
SRB Data Grid and Compute Grid integration via the EnginFrame Grid Portal. In: SRB Workshop. pp. 15-20

2005

Articolo in atti di convegno Cibrario Bertolotti I.; Durante L.; Sisto R.; Valenzano A. (2005)
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study. In: Second International Conference, DIMVA 2005, Vienna (AT), July 7-8, 2005. pp. 69-84
Web of Science: 0 - Scopus: 3

2004

Articolo in atti di convegno Cibrario Bertolotti I.; Durante L.; Sisto R.; Valenzano A. (2004)
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. In: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, Taipei (TW), October 31-November 3, 2004. pp. 135-149
Web of Science: 0 - Scopus: 1

Articolo di rivista Ciminiera L; Maggi P; Sisto R. (2004)
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. In: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 72, pp. 367-376. - ISSN 0164-1212
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Pozza D.; Sisto R.; Durante L. (2004)
Spi2Java: automatic cryptographic protocol java code generation from spi calculus. In: 18th Int. Conf. on Advanced Information, Networking and Applications, March 2004. pp. 400-405
Web of Science: 15 - Scopus: 34
[img]
Preview

2003

Articolo di rivista Durante L; Sisto R.; Valenzano A (2003)
Automatic testing equivalence verification of spi calculus specifications. In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 12, pp. 222-284. - ISSN 1049-331X
Web of Science: 33 - Scopus: 40

Articolo in atti di convegno Maggi P; Sisto R. (2003)
A Configurable Mobile Agent Data Protection Protocol. In: AAMAS'03 - 2nd ACM Int. Joint Conf. on Autonomous Agents and Multiagent Systems, July 2003. pp. 851-858
Scopus: 15

Articolo in atti di convegno Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2003)
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. In: 23rd IFIP WG 6.1 International Conference, Berlin (DE), September 29 – October 2. pp. 224-239
Web of Science: 2 - Scopus: 2

Articolo di rivista Iosif R; Sisto R. (2003)
Temporal Logic Properties of Java Objects. In: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 68, pp. 243-251. - ISSN 0164-1212
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2003)
A new knowledge representation strategy for cryptographic protocol analysis. In: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw (PL), April 7–11, 2003. pp. 284-298
Web of Science: 2 - Scopus: 5

2002

Articolo in atti di convegno Maggi P.; Sisto R. (2002)
Using SPIN to Verify Security Properties of Cryptographic Protocols. In: 9th International SPIN Workshop, Grenoble (FR), April 11–13, 2002. pp. 187-204
Web of Science: 25 - Scopus: 40

2001

Articolo in atti di convegno Hannotin X.; Maggi P.; Sisto R. (2001)
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. In: Mobile Agents 5th International Conference, MA 2001, Atlanta, GA (USA), December 2–4, 2001. pp. 42-53 [Disponibilità ristretta]
Scopus: 5
[img]

Articolo in atti di convegno Ciminiera L.; Maggi P.; Sisto R. (2001)
SCARAB: Innovative Services Supporting User and Terminal Mobility. In: IEEE ICDCS 2001 Workshop, Phoenix, AZ, 16-19 April 2001. pp. 487-493
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Iosif R.; Sisto R. (2001)
Temporal Logic Properties of Java Objects. In: SEKE 2001 - 13th Int. Conf. on Software Engineering and Knowledge Engineering, Buenos Aires, Argentina, June 2001. pp. 120-127

Articolo in atti di convegno Maggi P.; Sisto R. (2001)
Using Data Flow Analysis to Infer Type Information in Java Bytecode. In: SCAM 2001 - 1st Int. Workshop on Source Code Analysis and Manipulation, Florence, Italy, NOV 10, 2001. pp. 211-222
Web of Science: 0 - Scopus: 0

2000

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (2000)
Graphic LOTOS specification of an EN50254 system. In: IEEE WFCS2000, WIP Proceedings, September 2000. pp. 43-46

Articolo in atti di convegno Iosif R.; Sisto R. (2000)
On the specification of source level properties in Java. In: 1st Int. Workshop on Automated Program Analysis, Testing and Verification, June 2000. pp. 83-88

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (2000)
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification. In: FORTE/PSTV 2000 Joint Int. Conf, Pisa, October 2000. pp. 155-170

Articolo di rivista Sisto R. (2000)
Using Binary Decision Diagrams for Representation and Analysis of Communication Protocols. In: COMPUTER NETWORKS, vol. 32 (1), pp. 81-98. - ISSN 1389-1286
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Iosif R.; Sisto R. (2000)
Using Garbage Collection in Model Checking. In: 7th International SPIN Workshop, Stanford, CA (USA), August 30 - September 1, 2000. pp. 20-33 [Disponibilità ristretta]
Web of Science: 9 - Scopus: 10
[img]

1999

Articolo di rivista Demartini C.; Iosif R.; Sisto R. (1999)
A Deadlock Detection Tool for Concurrent Java Programs. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 29 (7), pp. 577-603. - ISSN 0038-0644
Web of Science: 41 - Scopus: 80

Articolo in atti di convegno Lerda F.; Sisto R. (1999)
Distributed-Memory Model Checking with SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 22-39 [Disponibilità ristretta]
Web of Science: 29 - Scopus: 88
[img]

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (1999)
Dynamic Data Management in STEP. In: 32th ISATA Int. Conf, June 1999. pp. 231-238

Articolo in atti di convegno De Blieck E.; Bos L.; Ciminiera L.; Sisto R. (1999)
Exploiting smart cards and mobile agents for personalized service provisioning: A case study. In: Proc. ACTS CAMALEON Workshop, 01-JAN-99-.

Articolo in atti di convegno Demartini C.G.; R. Iosif; R. Sisto (1999)
dSPIN: A Dynamic Extension of SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 261-276 [Disponibilità ristretta]
Web of Science: 16 - Scopus: 55
[img]

1998

Articolo in atti di convegno Demartini C.G.; R. Iosif; R. Sisto (1998)
A Java-based Formal Development Environment for Factory Communication Systems. In: IEEE Int. Conf. on Application of Concurrency to System Design. pp. 273-281
Web of Science: 0

Articolo in atti di convegno Demartini C.; Iosif R.; Sisto R. (1998)
Modeling and Validation of Java Multi-threading applications using Spin. In: 4th Int. SPIN Workshop, November 1998. pp. 5-19

Articolo in atti di convegno Demartini C.G.; R. Sisto (1998)
Static Analysis of Java Mutithreaded and Distributed Applications. In: IEEE Int. Symp. on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, APR 20-21, 1998. pp. 215-222
Web of Science: 3

1997

Articolo di rivista Cena G; Durante L; Sisto R.; Valenzano A (1997)
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks''. In: COMPUTER COMMUNICATIONS, vol. 20, pp. 804-819. - ISSN 0140-3664
Web of Science: 0 - Scopus: 0

Libro Cena G., Durante L., Piccolo E., Sisto R., Valenzano A. (1997)
Esercizi di Fondamenti di Informatica. UTET Libreria, Torino, pp. 1-313. ISBN 8877504587

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1997)
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems. In: WFCS'97 - 1997 IEEE International Workshop on Factory Communication Systems, Barcelona, Spain, 1-3 October 1997. pp. 71-80
Web of Science: 0 - Scopus: 3

1995

Articolo in atti di convegno Cena G., Durante L., Sisto R., Valenzano A. (1995)
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks. In: 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications, Scottsdale, AZ, USA, 28-31 March 1995. pp. 205-211
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1995)
Formal Specification and Verification of the Real-time Scheduler in FIP. In: 1995 IEEE International Workshop on Factory Communication Systems, WFCS '95, Leysin, Switzerland, 4-6 October 1995. pp. 99-106
Scopus: 2

Articolo di rivista Sisto R.; Valenzano A (1995)
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 44, pp. 1361-1370. - ISSN 0018-9340
Web of Science: 4 - Scopus: 7

Articolo in atti di convegno Sisto R. (1995)
A Method to Build Symbolic Representations of LOTOS Specifications. In: Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. pp. 331-346

Articolo di rivista Ajmone Marsan M., Bianco A., Ciminiera L., Sisto R., Valenzano A. (1995)
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems. In: RIVISTA DI INFORMATICA, vol. 25 n. 3, pp. 195-214. - ISSN 0390-668X

1994

Articolo di rivista Durante L; Sisto R.; Valenzano A (1994)
Implementation of Static Semantic Analysis of LOTOS Specifications. In: SOFTWARE ENGINEERING JOURNAL, vol. 9, pp. 55-66. - ISSN 0268-6961
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Ajmone Marsan M; Bianco A.; Ciminiera L; Sisto R; Valenzano A (1994)
Integrating Performance Analysis in the Context of LOTOS-Based Design. In: MASCOTS, Durham, NC, USA, February 1994. pp. 292-298
Scopus: 3
[img]
Preview

Articolo di rivista Ajmone Marsan M; Bianco A; Ciminiera L.; Sisto R.; Valenzano A (1994)
A LOTOS Extension for the Performance Analysis of Distributed Systems. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 2 n. 2, pp. 151-165. - ISSN 1063-6692
Web of Science: 20 - Scopus: 27
[img]
Preview

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1994)
A LOTOS Specification of the SERCOS Field-bus Protocol. In: SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, 21-23 June. pp. 139-147
Web of Science: 0

1993

Articolo di rivista Valenzano A; Sisto R.; Ciminiera L (1993)
Rapid Prototyping of Protocols from LOTOS Specifications. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 23, pp. 31-54. - ISSN 0038-0644
Web of Science: 2 - Scopus: 3

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1993)
A Static Semantic Analyzer for LOTOS Specifications. In: IEEE Phoenix Conference on Computers and Communications, 23-26 March 1993. pp. 585-592
Web of Science: 0

1992

Articolo in atti di convegno Sisto R., Valenzano A. (1992)
A Formalization Of The FIP Protocol Using Estelle. In: IEEE International Workshop on Emerging Technologies and Factory Automation, Melbourne, Australia, 11-14 August 1992. pp. 348-353

Articolo in atti di convegno Sisto R., Ciminiera L., Valenzano A. (1992)
Probabilistic Characterization of Algebraic Protocol Specifications. In: 12th International Conference on Distributed Computing Systems, Yokohama, Japan, 9-12 June 1992. pp. 260-268
Web of Science: 1

Articolo in atti di convegno Demartini C., Montuschi P., Valenzano A., Ciminiera L., Sisto R. (1992)
Throughput Analysis of Timed Token Protocols in Double Ring Networks. In: 17th Conference on Local Computer Networks, Minneapolis, MN, USA, 13-16 September 1992. pp. 473-482
Web of Science: 0

1991

Articolo in atti di convegno Valenzano A., Sisto R., Ciminiera L. (1991)
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS. In: Tenth Annual International Phoenix Conference on Computers and Communications, Scottsdale, Arizona, USA, March 1991. pp. 346-352
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Ciminiera L., Sisto R., Valenzano A. (1991)
A Graphical Tool for Protocol Design with Estelle. In: CompEuro '91. 5th Annual European Computer Conference, Bologna, Italy, 13-16 May 1991. pp. 552-556
Web of Science: 0 - Scopus: 0

Articolo di rivista Sisto R.; Ciminiera L; Valenzano A (1991)
A Protocol for Multirendezvous of LOTOS Processes. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 40, pp. 437-447. - ISSN 0018-9340
Web of Science: 4 - Scopus: 7

1990

Articolo di rivista Valenzano A; Sisto R.; Ciminiera L (1990)
An Abstract Execution Model for Basic LOTOS. In: SOFTWARE ENGINEERING JOURNAL, vol. 5, pp. 311-318. - ISSN 0268-6961
Web of Science: 2 - Scopus: 3

Articolo in atti di convegno Morisio M.; R. Sisto (1990)
Formal description of manufacturing systems: an experiment with Estelle. In: Second European Conference on Software Quality Assuranc, May.

Articolo in atti di convegno Valenzano A., Sisto R., Ciminiera L. (1990)
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines. In: Second IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, USA, December 1990. pp. 780-785

Articolo di rivista Albertengo G; Sisto R. (1990)
Parallel CRC Generation. In: IEEE MICRO, vol. 10, pp. 63-71. - ISSN 0272-1732
Web of Science: 35 - Scopus: 60

Articolo in atti di convegno Sisto R. (1990)
SPRINT: A DSP-based Electrical Simulator. In: IASTED International Conference on Signal Processing and Digital Filtering, Lugano, Switzerland, June 18-21, 1990. pp. 48-51

Articolo di rivista Morisio M., Sisto R. (1990)
The use of Estelle to specify manufacturing systems. In: MICROPROCESSING AND MICROPROGRAMMING, vol. 28 n. 1-5, pp. 253-258. - ISSN 0165-6074
Web of Science: 0 - Scopus: 0

1989

Articolo in atti di convegno Albertengo G., Sisto R. (1989)
On the Implementation of an Interface for a Multichannel Local Area Network. In: Melecon'89 - Mediterranean Electrotechnical Conference, Lisboa, April 1989. pp. 649-653
Scopus: 4

Questa lista è stata generata il Sat Sep 23 16:35:35 2017 CEST.