Ivan Cibrario Bertolotti

	2012
21		Gianluca Cena, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino: Evaluation of EtherCAT Distributed Clock Performance. IEEE Trans. Industrial Informatics 8(1): 20-29 (2012)
	2011
20		Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio: Performance of a Real-Time EtherCAT Master Under Linux. IEEE Trans. Industrial Informatics 7(4): 679-687 (2011)
	2010
19		Gianluca Cena, Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino: A software implementation of IEEE 1588 on RTAI/RTnet platforms. ETFA 2010: 1-8
	2009
18		Wolfgang Betz, Marco Cereia, Ivan Cibrario Bertolotti: Experimental Evaluation of the Linux RT Patch for Real-time Applications. ETFA 2009: 1-4
17		Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino: A High-performance CAN-like Arbitration Scheme for EtherCAT. ETFA 2009: 1-8
16		Marco Cereia, Ivan Cibrario Bertolotti: Virtual machines for distributed real-time systems. Computer Standards & Interfaces 31(1): 30-39 (2009)
15		Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Tools for cryptographic protocols analysis: A technical and experimental comparison. Computer Standards & Interfaces 31(5): 954-961 (2009)
14		Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano: Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Industrial Informatics 5(2): 181-193 (2009)
	2008
13		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Asp. Comput. 20(3): 303-348 (2008)
	2007
12		Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX 2007: 11-18
11		Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX 2007: 153-160
10		Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano: Improving the security of industrial networks by means of formal verification. Computer Standards & Interfaces 29(3): 387-397 (2007)
9		Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano: A socket interface for CAN devices. Computer Standards & Interfaces 29(6): 662-673 (2007)
8		Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino: Evaluation of Response Times in Industrial WLANs. IEEE Trans. Industrial Informatics 3(3): 191-201 (2007)
	2006
7		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. 17(4): 815-832 (2006)
	2005
6		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84
5		Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano: Modelling CANopen communications according to the socket paradigm. ETFA 2005
4		Ivan Cibrario Bertolotti: Internal Architecture and Features of Real-Time Embedded Operation Systems. The Industrial Information Technology Handbook 2005: 1-23
	2004
3		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149
	2003
2		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239
1		Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298

Coauthor Index

1	Wolfgang Betz	[18]
2	Gianluca Cena	[5] [8] [9] [17] [19] [21]
3	Marco Cereia	[16] [18] [19] [20]
4	Manuel Cheminod	[11] [12] [14] [15]
5	Luca Durante	[1] [2] [3] [6] [7] [10] [11] [12] [13] [14] [15]
6	Paolo Maggi	[10] [14]
7	Davide Pozza	[14]
8	Stefano Scanzio	[19] [20] [21]
9	Riccardo Sisto	[1] [2] [3] [6] [7] [10] [11] [12] [13] [14] [15]
10	Adriano Valenzano	[1] [2] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [19] [21]
11	Claudio Zunino	[8] [17] [19] [21]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page