Ruggero Lanotte

2009
34	EE	Ruggero Lanotte, Simone Tini: Probabilistic bisimulation as a congruence. ACM Trans. Comput. Log. 10(2): (2009)
2008
33	EE	Laura Bozzelli, Ruggero Lanotte: Complexity and Succinctness Issues for Linear-Time Hybrid Logics. JELIA 2008: 48-61
32	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. 73(2-3): 76-94 (2008)
2007
31	EE	Catalin Dima, Ruggero Lanotte: Distributed Time-Asynchronous Automata. ICTAC 2007: 185-200
30	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Parametric probabilistic transition systems for system design and analysis. Formal Asp. Comput. 19(1): 93-109 (2007)
29	EE	Ruggero Lanotte, Simone Tini: Taylor approximation for hybrid systems. Inf. Comput. 205(11): 1575-1607 (2007)
28		Ruggero Lanotte: Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays. Journal of Automata, Languages and Combinatorics 12(3): 373-405 (2007)
2006
27	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS 2006: 108-122
26	EE	Danièle Beauquier, Ruggero Lanotte: Hiding Information in Multi Level Security Systems. Formal Aspects in Security and Trust 2006: 250-269
25	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: A Classification of Time and/or Probability Dependent Security Properties. Electr. Notes Theor. Comput. Sci. 153(2): 177-193 (2006)
2005
24	EE	Ruggero Lanotte, Simone Tini: Probabilistic Congruence for Semistochastic Generative Processes. FoSSaCS 2005: 63-78
23	EE	Ruggero Lanotte, Simone Tini: Taylor Approximation for Hybrid Systems. HSCC 2005: 402-416
22	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Timed Automata with Data Structures for Distributed Systems Design and Analysis. SEFM 2005: 44-53
21	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Automatic Analysis of a Non-Repudiation Protocol. Electr. Notes Theor. Comput. Sci. 112: 113-129 (2005)
20	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini: Monotonic hybrid systems. J. Comput. Syst. Sci. 71(1): 34-69 (2005)
2004
19	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Information Flow Analysis for Probabilistic Timed Automata. Formal Aspects in Security and Trust 2004: 13-26
18	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci: Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS 2004: 249-261
17	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron: Structural Model Checking for Communicating Hierarchical Machines. MFCS 2004: 525-536
16	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. SEFM 2004: 114-121
15	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Information flow in hybrid systems. ACM Trans. Embedded Comput. Syst. 3(4): 760-799 (2004)
14	EE	Ruggero Lanotte, Danièle Beauquier: A Decidable Probability Logic for Timed Probabilistic Systems CoRR cs.LO/0411100: (2004)
13	EE	Ruggero Lanotte: Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. Electr. Notes Theor. Comput. Sci. 96: 91-112 (2004)
12	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci: Automatic Analysis of the NRL Pump. Electr. Notes Theor. Comput. Sci. 99: 245-266 (2004)
11	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett. 89(1): 1-7 (2004)
10	EE	Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004)
2003
9	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. SEFM 2003: 34-43
8	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini: Dynamic Hierarchical Machines. Fundam. Inform. 54(2-3): 237-252 (2003)
7	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Concurrency in timed automata. Theor. Comput. Sci. 309(1-3): 503-527 (2003)
2001
6	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Concurrency in Timed Automata. FCT 2001: 240-251
5	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini: Privacy in Real-Time Systems. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
4	EE	Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: (2001)
3		Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron: Transformations of Timed Cooperating Automata. Fundam. Inform. 47(3-4): 271-282 (2001)
2000
2	EE	Ruggero Lanotte, Andrea Maggiolo-Schettini: Timed Automata with Monotonic Activities. MFCS 2000: 518-527
1		Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron: Timed Cooperating Automata. Fundam. Inform. 43(1-4): 153-173 (2000)

Coauthor Index

1	Danièle Beauquier	[14] [26]
2	Laura Bozzelli	[33]
3	Catalin Dima	[31]
4	Riccardo Focardi	[4]
5	Roberto Gorrieri	[4] [10]
6	Andrea Maggiolo-Schettini	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [16] [17] [18] [19] [20] [21] [22] [25] [27] [30] [32]
7	Fabio Martinelli	[4] [10]
8	Paolo Milazzo	[27] [32]
9	Adriano Peron	[1] [3] [8] [17]
10	Simone Tini	[3] [4] [5] [6] [7] [8] [10] [11] [12] [15] [18] [23] [24] [29] [34]
11	Angelo Troina	[9] [12] [16] [18] [19] [21] [22] [25] [27] [30] [32]
12	Enrico Tronci	[4] [10] [12] [18]

Colors in the list of coauthors