Concepedia

Ruggero Lanotte

RL

17

Publications

390

Citations

13

H-Index

2000

Active since

Affiliations

University of Insubria(Current)

University of Pisa

University of Verona

University of Turin

University of Bologna

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

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationData SecuritySystems EngineeringInformation SecuritySecurityCryptography

Publications per year

2000–2022

17

Publications

17

Parametric probabilistic transition systems for system design and analysis

Ruggero Lanotte, Andrea Maggiolo–Schettini, Angelo Troina · Formal Aspects of Computing · 2006 · 72 citations · Full text

A Formal Approach to Physics-based Attacks in Cyber-physical Systems

Ruggero Lanotte, Massimo Merro, Andrei Munteanu et al. · ACM Transactions on Privacy and Security · 2020 · 52 citations · Full text

Engineering, Information Security, Formal Approach +17

A semantic theory of the Internet of Things

Ruggero Lanotte, Massimo Merro · Information and Computation · 2018 · 38 citations

Web Of Thing, Engineering, Smart City +9

Probabilistic bisimulation as a congruence

Ruggero Lanotte, Simone Tini · ACM Transactions on Computational Logic · 2009 · 25 citations

Rule Format, Probabilistic Bisimulation, Engineering +12

Design and verification of long-running transactions in a timed framework

Ruggero Lanotte, Andrea Maggiolo–Schettini, Paolo Milazzo et al. · Science of Computer Programming · 2008 · 25 citations

Hardware Security, Engineering, Transactional Application +10

Rows per page

1–5 of 17