PORTO @ Archivio Istituzionale della Ricerca

DURANTE, LUCA

DURANTE, LUCA  

002178  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.023 secondi).
Citazione Data di pubblicazione Autori File
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 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 -
Implementation of Static Semantic Analysis of LOTOS Specifications / Durante, L; Sisto, Riccardo; Valenzano, A.. - In: SOFTWARE ENGINEERING JOURNAL. - ISSN 0268-6961. - 9:(1994), pp. 55-66. 1-gen-1994 DURANTE LSISTO, Riccardo + -
Formal Specification and Verification of the Real-time Scheduler in FIP / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 99-106. (Intervento presentato al convegno 1995 IEEE International Workshop on Factory Communication Systems, WFCS '95 tenutosi a Leysin, Switzerland nel 4-6 October 1995) [10.1109/WFCS.1995.482655]. 1-gen-1995 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks / Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1995), pp. 205-211. (Intervento presentato al convegno 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications tenutosi a Scottsdale, AZ, USA nel 28-31 March 1995) [10.1109/PCCC.1995.472490]. 1-gen-1995 CENA, GianlucaDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Real Time Systems Specification and Object Oriented Analysis / G., Cena; Demartini, Claudio Giovanni; L., Durante. - (1996), pp. 39-44. (Intervento presentato al convegno IEEE Computational Engineering in Systems Applications IMACS Multiconference). 1-gen-1996 DEMARTINI, Claudio GiovanniL. DURANTE + -
Communication Service and Protocol Specification using Object Oriented Analysis / G., Cena; Demartini, Claudio Giovanni; L., Durante. - (1996), pp. 1043-1048. (Intervento presentato al convegno IEEE International Symposium on Industrial Electronics). 1-gen-1996 DEMARTINI, Claudio GiovanniL. DURANTE + -
Esercizi di Fondamenti di Informatica / Cena, Gianluca; Durante, Luca; Piccolo, Elio; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1997), pp. 1-313. 1-gen-1997 CENA, GianlucaDURANTE, LUCAPICCOLO, ElioSISTO, 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 DURANTE LSISTO, Riccardo + -
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1997), pp. 71-80. (Intervento presentato al convegno WFCS'97 - 1997 IEEE International Workshop on Factory Communication Systems tenutosi a Barcelona, Spain nel 1-3 October 1997) [10.1109/WFCS.1997.634358]. 1-gen-1997 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
An Express Model for the Description of Fieldbus Devices / G., Cena; Demartini, Claudio Giovanni; L., Durante; A., Valenzano. - (1997), pp. 81-90. (Intervento presentato al convegno 2nd IEEE Workshop on Factory Communications Systems). 1-gen-1997 DEMARTINI, Claudio GiovanniL. DURANTE + -
Dynamic Data Management in STEP / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1999), pp. 231-238. (Intervento presentato al convegno 32th ISATA Int. Conf. nel June 1999). 1-gen-1999 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
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 -
Graphic LOTOS specification of an EN50254 system / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 43-46. (Intervento presentato al convegno IEEE WFCS2000, WIP Proceedings nel September 2000). 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 2767:(2003), pp. 224-239. (Intervento presentato al convegno 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003) tenutosi a Berlin (DE) nel September 29 – October 2 2003) [10.1007/978-3-540-39979-7_15]. 1-gen-2003 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. 978-3-540-39979-7_15.pdf
A new knowledge representation strategy for cryptographic protocol analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 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 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. 3-540-36577-X_21.pdf
Automatic testing equivalence verification of spi calculus specifications / Durante, L; Sisto, Riccardo; Valenzano, A.. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 12:(2003), pp. 222-284. 1-gen-2003 DURANTE LSISTO, Riccardo + -
Spi2Java: automatic cryptographic protocol java code generation from spi calculus / Pozza, Davide; Sisto, Riccardo; Durante, L.. - STAMPA. - 1:(2004), pp. 400-405. (Intervento presentato al convegno 18th International Conference on Advanced Information, Networking and Applications tenutosi a Fukuoka, Japan nel March 2004) [10.1109/AINA.2004.1283943]. 1-gen-2004 POZZA, DAVIDESISTO, RiccardoDURANTE L. AINA2004_author_postprint.pdf; Spi2Java_automatic_cryptographic_protocol_Java_code_generation_from_spi_calculus.pdf
Exploiting Symmetries for Testing Equivalence in the Spi Calculus / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3299:(2004), pp. 135-149. (Intervento presentato al convegno Second International Conference, ATVA 2004, Taipei, Taiwan, ROC tenutosi a Taipei (TW) nel October 31-November 3, 2004) [10.1007/978-3-540-30476-0_15]. 1-gen-2004 CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. 978-3-540-30476-0_15.pdf
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3548:(2005), pp. 69-84. (Intervento presentato al convegno Second International Conference, DIMVA 2005 tenutosi a Vienna (AT) nel July 7-8, 2005) [10.1007/11506881_5]. 1-gen-2005 CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. document.pdf