Sfoglia per Autore
A Static Semantic Analyzer for LOTOS Specifications
1993 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A LOTOS Specification of the SERCOS Field-bus Protocol
1994 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Implementation of Static Semantic Analysis of LOTOS Specifications
1994 Durante, L; Sisto, Riccardo; Valenzano, A.
Formal Specification and Verification of the Real-time Scheduler in FIP
1995 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Standard field bus networks for industrial applications
1995 Cena, Gianluca; Durante, Luca; Valenzano, Adriano
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks
1995 Cena, Gianluca; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Real Time Systems Specification and Object Oriented Analysis
1996 G., Cena; Demartini, Claudio Giovanni; L., Durante
Communication Service and Protocol Specification using Object Oriented Analysis
1996 G., Cena; Demartini, Claudio Giovanni; L., Durante
Esercizi di Fondamenti di Informatica
1997 Cena, Gianluca; Durante, Luca; Piccolo, Elio; Sisto, Riccardo; Valenzano, Adriano
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks
1997 Cena, G; Durante, L; Sisto, Riccardo; Valenzano, A.
An Express Model for the Description of Fieldbus Devices
1997 G., Cena; Demartini, Claudio Giovanni; L., Durante; A., Valenzano
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems
1997 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Dynamic Data Management in STEP
1999 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
On the performance of the IEC 61158 Fieldbus
1999 Durante, Luca; Valenzano, Adriano
Graphic LOTOS specification of an EN50254 system
2000 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification
2000 Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
2003 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
A new knowledge representation strategy for cryptographic protocol analysis
2003 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
Automatic testing equivalence verification of spi calculus specifications
2003 Durante, L; Sisto, Riccardo; Valenzano, A.
Spi2Java: automatic cryptographic protocol java code generation from spi calculus
2004 Pozza, Davide; Sisto, Riccardo; Durante, L.
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 | - |
Standard field bus networks for industrial applications / Cena, Gianluca; Durante, Luca; Valenzano, Adriano. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 17:2(1995), pp. 155-167. [10.1016/0920-5489(94)00051-h] | 1-gen-1995 | Cena, GianlucaDurante, LucaValenzano, 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:9(1997), pp. 804-819. [10.1016/S0140-3664(97)00067-4] | 1-gen-1997 | CENA GDURANTE LSISTO, RiccardoVALENZANO A. | 06_11583_1659468.pdf; 1-s2.0-S0140366497000674-main.pdf |
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 + | - |
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 | - |
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 | - |
On the performance of the IEC 61158 Fieldbus / Durante, Luca; Valenzano, Adriano. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 21:3(1999), pp. 241-250. [10.1016/s0920-5489(99)00009-4] | 1-gen-1999 | Durante, LucaValenzano, 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 | - |
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 | - |
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:2(2003), pp. 222-284. [10.1145/941566.941570] | 1-gen-2003 | DURANTE LSISTO, RiccardoVALENZANO A. | 05_11583_1406236.pdf; 941566.941570.pdf |
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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile