Ruggero Lanotte - Concepedia

Author

Ruggero Lanotte

University of Insubria ORCID

Also Known As

LANOTTE, RUGGERO, Lanotte, Ruggero, R. Lanotte, Ruggero Lanotte

Publications

791

Citations

H-Index

Concepts

All Affiliations

University of Insubria University of Pisa University of Verona University of Turin University of Bologna

About

Ruggero Lanotte is an author at University of Insubria specializing in formal verification, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	15	304
2	Computer Science	12	14	292
3	Systems Engineering	8	8	171
4	Communication	1	1	15
5	Computer Engineering	1	1	52

Ruggero Lanotte

Publications

390

Citations

H-Index

Page 1

	Year	Citations
Parametric probabilistic transition systems for system design and analysis Ruggero Lanotte, Andrea Maggiolo–Schettini, Angelo Troina Formal Aspects of Computing	2006	72
A Formal Approach to Physics-based Attacks in Cyber-physical Systems Ruggero Lanotte, Massimo Merro, Andrei Munteanu, ACM Transactions on Privacy and Security EngineeringInformation SecurityFormal ApproachVerificationSoftware Analysis	2020	52
A semantic theory of the Internet of Things Ruggero Lanotte, Massimo Merro Information and Computation Web Of ThingEngineeringSmart CitySemantic TheoryInternet Of Things	2018	38
Probabilistic bisimulation as a congruence Ruggero Lanotte, Simone Tini ACM Transactions on Computational Logic Rule FormatProbabilistic BisimulationEngineeringReactive ModelAutomated Reasoning	2009	25
Design and verification of long-running transactions in a timed framework Ruggero Lanotte, Andrea Maggiolo–Schettini, Paolo Milazzo, Science of Computer Programming Hardware SecurityEngineeringTransactional ApplicationVerificationFormal Methods	2008	25
Weak bisimulation for probabilistic timed automata and applications to security Ruggero Lanotte, A. Maggiolo‐Schettini, Angelo Troina EngineeringVerificationProbabilistic ComputationFormal VerificationTimed Setting	2003	23
Formal Models of Timing Attacks on Web Privacy Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Electronic Notes in Theoretical Computer Science Privacy ProtectionEngineeringInformation SecurityVerificationInformation Forensics	2002	17
Timed Cooperating Automata Ruggero Lanotte, Andrea Maggiolo–Schettini, Adriano Peron Fundamenta Informaticae Logical AutomatonEngineeringAutomated ReasoningAutomationVerification	2000	16
Time and Probability-Based Information Flow Analysis Ruggero Lanotte, A. Maggiolo‐Schettini, Angelo Troina IEEE Transactions on Software Engineering EngineeringInformation SecurityVerificationInformation ForensicsSoftware Analysis	2010	16
Security Policies Enforcement Using Finite Edit Automata Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte Electronic Notes in Theoretical Computer Science EngineeringInformation SecurityVerificationPushdown AutomatonFinite Edit Automaton	2009	15

Page 1