Follow
Ruggero Lanotte
Ruggero Lanotte
Ricercatore in Informatica UniversitÓ dell'Insubria
Verified email at uninsubria.it - Homepage
Title
Cited by
Cited by
Year
Parametric probabilistic transition systems for system design and analysis
R Lanotte, A Maggiolo-Schettini, A Troina
Formal Aspects of Computing 19 (1), 93-109, 2007
902007
A semantic theory of the Internet of Things
R Lanotte, M Merro
Information and Computation 259, 72-101, 2018
552018
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
542017
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
332008
A formal approach to physics-based attacks in cyber-physical systems
R Lanotte, M Merro, A Munteanu, L Vigan˛
ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020
302020
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
302003
A calculus of cyber-physical systems
R Lanotte, M Merro
International Conference on Language and Automata Theory and Applicationsá…, 2017
282017
Semantic analysis of gossip protocols for wireless sensor networks
R Lanotte, M Merro
International Conference on Concurrency Theory, 156-170, 2011
282011
Taylor approximation for hybrid systems
R Lanotte, S Tini
International Workshop on Hybrid Systems: Computation and Control, 402-416, 2005
262005
Distributed time-asynchronous automata
C Dima, R Lanotte
International Colloquium on Theoretical Aspects of Computing, 185-200, 2007
252007
Modeling long–running transactions with communicating hierarchical timed automata
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
International Conference on Formal Methods for Open Object-Based Distributedá…, 2006
252006
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
Timed cooperating automata
R Lanotte, A Maggiolo-Schettini, A Peron
Fundamenta Informaticae 43 (1-4), 153-173, 2000
252000
Automatic analysis of a non-repudiation protocol
R Lanotte, A Maggiolo-Schettini, A Troina
Electronic Notes in Theoretical Computer Science 112, 113-129, 2005
242005
Towards a formal notion of impact metric for cyber-physical attacks
R Lanotte, M Merro, S Tini
International Conference on Integrated Formal Methods, 296-315, 2018
222018
A probabilistic calculus of cyber-physical systems
R Lanotte, M Merro, S Tini
Information and Computation 279, 104618, 2021
212021
Time and probability-based information flow analysis
R Lanotte, A Maggiolo-Schettini, A Troina
IEEE Transactions on Software Engineering 36 (5), 719-734, 2010
202010
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
International Conference on Foundations of Software Science and Computationá…, 2005
182005
The system can't perform the operation now. Try again later.
Articles 1–20