Lanotte Ruggero
University researcher
SCIENCES AND HIGH TECHNOLOGY DEPARTMENT
Insubria University
Italy
Biography
Date of birth: October 29, 1974 Nationality: Italian Languages: French, English Laurea in Informatica cum laude, University of Pisa 1999; Title: ``Automi Temporizzati Comunicanti''; supervisors: Prof. Andrea Maggiolo-Schettini and Dr. Adriano Peron. PhD at University of Pisa, 2003, Title:``An automaton-theoretic approach to safety and security in real-time systems''; supervisor: Prof. Andrea Maggiolo-Schettini. Research Associate (2/1/2003 - 1/31/2004) Department of Computer Science, University of Pisa, Italy Guest Researcher (10/1/2003 - 12/15/2003, 1/06/2005-30/06/2005, 1/06/2007-1/07/2007, 1/06/2009-1/7/2009), LACL, University of Paris XII, France Assistant Professor (2/1/2004 - present ) University of Insubria, Italy
Research Interest
The general subject of the research carried on is automaton-theoretic modeling of distributed and real-time systems. The most recent results regard probability and security for these systems.
Publications
-
Catalin Dima, Ruggero Lanotte: A study on shuffle, stopwatches and independently evolving clocks. Distributed Computing 25(1): 5-33 (2012) 2010
-
Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte: Security policies enforcement using finite and pushdown edit automata. Int. J. Inf. Sec. 12(4): 319-336 (2013) 2012
-
Valentina Castiglioni, Ruggero Lanotte, Simone Tini: A Specification Format for Rooted Branching Bisimulation. Fundam. Inform. 135(4): 355-369 (2014) 2013
