Segui
Ruggero Lanotte
Ruggero Lanotte
Ricercatore in Informatica Università dell'Insubria
Email verificata su uninsubria.it - Home page
Titolo
Citata da
Citata da
Anno
Parametric probabilistic transition systems for system design and analysis
R Lanotte, A Maggiolo-Schettini, A Troina
Formal Aspects of Computing 19, 93-109, 2007
902007
A semantic theory of the Internet of Things
R Lanotte, M Merro
Information and Computation 259, 72-101, 2018
572018
A formal approach to cyber-physical attacks
R Lanotte, M Merro, R Muradore, L Viganò
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 436-450, 2017
572017
A formal approach to physics-based attacks in cyber-physical systems
R Lanotte, M Merro, A Munteanu, L Vigano
ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020
352020
Probabilistic bisimulation as a congruence
R Lanotte, S Tini
ACM Transactions on Computational Logic (TOCL) 10 (2), 1-48, 2009
342009
Design and verification of long-running transactions in a timed framework
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
Science of Computer Programming 73 (2-3), 76-94, 2008
322008
A calculus of cyber-physical systems
R Lanotte, M Merro
Language and Automata Theory and Applications: 11th International Conference …, 2017
302017
Semantic analysis of gossip protocols for wireless sensor networks
R Lanotte, M Merro
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
302011
Weak bisimulation for probabilistic timed automata and applications to security
R Lanotte, A Maggiolo-Schettini, A Troina
First International Conference onSoftware Engineering and Formal Methods …, 2003
292003
Taylor approximation for hybrid systems
R Lanotte, S Tini
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005
262005
Timed cooperating automata
R Lanotte, A Maggiolo-Schettini, A Peron
Fundamenta Informaticae 43 (1-4), 153-173, 2000
262000
Distributed time-asynchronous automata
C Dima, R Lanotte
Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007
252007
Modeling long–running transactions with communicating hierarchical timed automata
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006
252006
Automatic analysis of a non-repudiation protocol
R Lanotte, A Maggiolo-Schettini, A Troina
Electronic Notes in Theoretical Computer Science 112, 113-129, 2005
252005
Formal models of timing attacks on web privacy
R Focardi, R Gorrieri, R Lanotte, A Maggiolo-Schettini, F Martinelli, S Tini, ...
Electronic Notes in Theoretical Computer Science 62, 229-243, 2002
252002
A probabilistic calculus of cyber-physical systems
R Lanotte, M Merro, S Tini
Information and Computation 279, 104618, 2021
222021
Towards a formal notion of impact metric for cyber-physical attacks
R Lanotte, M Merro, S Tini
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
212018
Time and probability-based information flow analysis
R Lanotte, A Maggiolo-Schettini, A Troina
IEEE Transactions on Software Engineering 36 (5), 719-734, 2010
192010
Security policies enforcement using finite edit automata
D Beauquier, J Cohen, R Lanotte
Electronic Notes in Theoretical Computer Science 229 (3), 19-35, 2009
192009
Probabilistic congruence for semistochastic generative processes
R Lanotte, S Tini
Foundations of Software Science and Computational Structures: 8th …, 2005
182005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20