Archivio Istituzionale della RicercaCIBRARIO BERTOLOTTI, IVAN
CIBRARIO BERTOLOTTI, IVAN
I. . Bertolotti
011741
Mostra
records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.015 secondi).
A Model for the Analysis of Security Policies in Industrial Networks
2013 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
A Unified Class Model for Checking Security Policies in ICT Infrastructures
2012 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo
2011 CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
Design, verification, and performance of a MODBUS-CAN adaptation layer
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Effect of jitter-reducing encoders on CAN error detection mechanisms
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Formal Verification of a Distributed Master Election Protocol
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols
2006 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems
2011 CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2013), pp. 66-77. ((Intervento presentato al convegno 1st International Symposium for ICS and SCADA Cyber Security Research nel 2013. | 1-gen-2013 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | - |
| A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-6. ((Intervento presentato al convegno International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications [10.1109/ESTEL.2012.6400068]. | 1-gen-2012 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | - |
| Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-10. ((Intervento presentato al convegno Congresso Nazionale AICA. | 1-gen-2011 | CIBRARIO BERTOLOTTI, IVANHU, TINGTING | - |
| Design, verification, and performance of a MODBUS-CAN adaptation layer / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. ((Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014 [10.1109/WFCS.2014.6837605]. | 1-gen-2014 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Effect of jitter-reducing encoders on CAN error detection mechanisms / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. ((Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014 [10.1109/WFCS.2014.6837604]. | 1-gen-2014 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 11-18. ((Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska, Poland nel 14-16 June 2007 [10.1109/DEPCOS-RELCOMEX.2007.22]. | 1-gen-2007 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
| Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 153-160. ((Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska, Poland nel 14-16 June 2007 [10.1109/DEPCOS-RELCOMEX.2007.24]. | 1-gen-2007 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
| Formal Verification of a Distributed Master Election Protocol / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2012), pp. 245-254. ((Intervento presentato al convegno IEEE International Workshop on Factory Communication Systems (WFCS 2012) [10.1109/WFCS.2012.6242572]. | 1-gen-2012 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTING | - |
| On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2006), pp. 273-282. ((Intervento presentato al convegno Factory Communication Systems, 2006 IEEE International Workshop on tenutosi a Torino nel 28-30 June, 2006. | 1-gen-2006 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
| Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. ((Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA). | 1-gen-2012 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. ((Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA). | 1-gen-2012 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-8. ((Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2011) [10.1109/ETFA.2011.6059000]. | 1-gen-2011 | CIBRARIO BERTOLOTTI, IVANHU, TINGTING | - |