Ruggero Lanotte

92 papers A 4B 13C 9Journal 44Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations.
Int. J. Softw. Tools Technol. Transf.
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
2025 A conf
Formal Robustness for Cyber-Physical Systems Under Timed Attacks.
CSF
Jian Xiang, Simone Tini, Ruggero Lanotte, Massimo Merro
2024 J jnl
Back to the format: A survey on SOS for probabilistic processes.
J. Log. Algebraic Methods Program.
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2024 C conf
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations.
FMICS
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
2024 J jnl
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks.
CoRR
Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro
2024 J jnl
Obfuscation strategies for industrial control systems.
Int. J. Crit. Infrastructure Prot.
Vittoria Cozza, Mila Dalla Preda, Ruggero Lanotte, Marco Lucchese, Massimo Merro, Nicola Zannone
2024 J jnl
Robustness for biochemical networks: Step-by-step approach.
Theor. Comput. Sci.
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Desiree Manicardi, Simone Tini
2023 C conf
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study.
FORTE
Ruggero Lanotte, Massimo Merro, Nicola Zannone
2023 J jnl
Industrial Control Systems Security via Runtime Enforcement.
ACM Trans. Priv. Secur.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2023 — conf
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems.
HSCC
Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang
2023 — conf
Step-by-step Robustness for Biochemical Networks.
ICTCS
Ruggero Lanotte, Desiree Manicardi, Simone Tini
2022 — conf
Towards Reverse Engineering of Industrial Physical Processes.
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Mariano Ceccato, Youssef Driouich, Ruggero Lanotte, Marco Lucchese, Massimo Merro
2021 J jnl
A probabilistic calculus of cyber-physical systems.
Inf. Comput.
Ruggero Lanotte, Massimo Merro, Simone Tini
2021 J jnl
A process calculus approach to detection and mitigation of PLC malware.
Theor. Comput. Sci.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2021 J jnl
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces.
Theor. Comput. Sci.
Ruggero Lanotte, Simone Tini
2021 A conf
Formal Impact Metrics for Cyber-physical Attacks.
CSF
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini
2021 J jnl
Runtime Enforcement of Programmable Logic Controllers.
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 J jnl
A Formal Approach to Physics-based Attacks in Cyber-physical Systems.
ACM Trans. Priv. Secur.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2020 — conf
A Process Calculus Approach to Correctness Enforcement of PLCs.
ICTCS
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 J jnl
A process calculus approach to correctness enforcement of PLCs (full version).
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2020 A conf
Runtime Enforcement for Control System Security.
CSF
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2019 J jnl
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version).
CoRR
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
2019 B conf
Computing Bisimilarity Metrics for Probabilistic Timed Automata.
IFM
Ruggero Lanotte, Simone Tini
2019 — conf
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.
The Art of Modelling Computational Systems
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2019 — conf
On the decidability of linear bounded periodic cyber-physical systems.
HSCC
Ruggero Lanotte, Massimo Merro, Fabio Mogavero
2018 C conf
A Modest Security Analysis of Cyber-Physical Systems: A Case Study.
FORTE
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2018 J jnl
A semantic theory of the Internet of Things.
Inf. Comput.
Ruggero Lanotte, Massimo Merro
2018 J jnl
Equational Reasonings in Wireless Network Gossip Protocols.
Log. Methods Comput. Sci.
Ruggero Lanotte, Massimo Merro, Simone Tini
2018 B conf
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks.
IFM
Ruggero Lanotte, Massimo Merro, Simone Tini
2018 J jnl
Towards a formal notion of impact metric for cyber-physical attacks (full version).
CoRR
Ruggero Lanotte, Massimo Merro, Simone Tini
2018 C conf
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.
ICTAC
Ruggero Lanotte, Simone Tini
2017 C conf
A Calculus of Cyber-Physical Systems.
LATA
Ruggero Lanotte, Massimo Merro
2017 A conf
A Formal Approach to Cyber-Physical Attacks.
CSF
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
2017 J jnl
A Probabilistic Calculus of Cyber-Physical Systems.
CoRR
Ruggero Lanotte, Massimo Merro, Simone Tini
2017 B conf
Compositional Weak Metrics for Group Key Update.
MFCS
Ruggero Lanotte, Massimo Merro, Simone Tini
2017 J jnl
Equational Reasonings in Wireless Network Gossip Protocols.
CoRR
Ruggero Lanotte, Massimo Merro, Simone Tini
2017 C conf
Weak Simulation Quasimetric in a Gossip Scenario.
FORTE
Ruggero Lanotte, Massimo Merro, Simone Tini
2016 J jnl
A Calculus of Cyber-Physical Systems.
CoRR
Ruggero Lanotte, Massimo Merro
2016 J jnl
A Formal Approach to Cyber-Physical Attacks.
CoRR
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
2016 J jnl
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.
Fundam. Informaticae
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2016 C conf
A Semantic Theory of the Internet of Things - (Extended Abstract).
COORDINATION
Ruggero Lanotte, Massimo Merro
2016 — conf
Extending Taylor Approximation to Hybrid Systems with Integrals.
CS&P
Ruggero Lanotte, Simone Tini
2015 J jnl
A Semantic Theory for the Internet of Things.
CoRR
Valentina Castiglioni, Ruggero Lanotte, Massimo Merro
2014 — conf
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.
CS&P
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2014 J jnl
A Specification Format for Rooted Branching Bisimulation.
Fundam. Informaticae
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2013 — conf
A Rule Format for Rooted Branching Bisimulation.
CS&P
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
2013 J jnl
Security policies enforcement using finite and pushdown edit automata.
Int. J. Inf. Sec.
Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte
2012 J jnl
A study on shuffle, stopwatches and independently evolving clocks.
Distributed Comput.
Catalin Dima, Ruggero Lanotte
2011 B conf
Hybrid and First-Order Complete Extensions of CaRet.
TABLEAUX
Laura Bozzelli, Ruggero Lanotte
2011 B conf
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks.
CONCUR
Ruggero Lanotte, Massimo Merro
2010 J jnl
Complexity and succinctness issues for linear-time hybrid logics.
Theor. Comput. Sci.
Laura Bozzelli, Ruggero Lanotte
2010 J jnl
Reachability results for timed automata with unbounded data structures.
Acta Informatica
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2010 J jnl
Time and Probability-Based Information Flow Analysis.
IEEE Trans. Software Eng.
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2010 J jnl
Weak bisimulation for Probabilistic Timed Automata.
Theor. Comput. Sci.
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2009 J jnl
A Decidable Probability Logic for Timed Probabilistic Systems.
Fundam. Informaticae
Ruggero Lanotte, Danièle Beauquier
2009 J jnl
Probabilistic bisimulation as a congruence.
ACM Trans. Comput. Log.
Ruggero Lanotte, Simone Tini
2009 — conf
Removing All Silent Transitions from Timed Automata.
FORMATS
Catalin Dima, Ruggero Lanotte
2008 B conf
Complexity and Succinctness Issues for Linear-Time Hybrid Logics.
JELIA
Laura Bozzelli, Ruggero Lanotte
2008 J jnl
Design and verification of long-running transactions in a timed framework.
Sci. Comput. Program.
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2008 — conf
Security Policies Enforcement Using Finite Edit Automata.
ICE@ICALP
Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte
2007 C conf
Distributed Time-Asynchronous Automata.
ICTAC
Catalin Dima, Ruggero Lanotte
2007 J jnl
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.
J. Autom. Lang. Comb.
Ruggero Lanotte
2007 J jnl
Parametric probabilistic transition systems for system design and analysis.
Formal Aspects Comput.
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2007 J jnl
Taylor approximation for hybrid systems.
Inf. Comput.
Ruggero Lanotte, Simone Tini
2006 — conf
Hiding Information in Multi Level Security Systems.
Formal Aspects in Security and Trust
Danièle Beauquier, Ruggero Lanotte
2006 — conf
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
FMOODS
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
2005 — conf
A Classification of Time and/or Probability Dependent Security Properties.
QAPL
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2005 J jnl
Monotonic hybrid systems.
J. Comput. Syst. Sci.
Ruggero Lanotte, Andrea Maggiolo-Schettini
2005 B conf
Probabilistic Congruence for Semistochastic Generative Processes.
FoSSaCS
Ruggero Lanotte, Simone Tini
2005 — conf
Taylor Approximation for Hybrid Systems.
HSCC
Ruggero Lanotte, Simone Tini
2005 B conf
Timed Automata with Data Structures for Distributed Systems Design and Analysis.
SEFM
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004 J jnl
A Decidable Probability Logic for Timed Probabilistic Systems
CoRR
Ruggero Lanotte, Danièle Beauquier
2004 J jnl
Automated analysis of timed security: a case study on web privacy.
Int. J. Inf. Sec.
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2004 — conf
Automatic Analysis of a Non-Repudiation Protocol.
QAPL
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004 C conf
Automatic Covert Channel Analysis of a Multilevel Secure Component.
ICICS
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2004 B conf
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.
SEFM
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004 J jnl
Epsilon-transitions in Concurrent Timed Automata.
Inf. Process. Lett.
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2004 — conf
Information Flow Analysis for Probabilistic Timed Automata.
Formal Aspects in Security and Trust
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2004 J jnl
Information flow in hybrid systems.
ACM Trans. Embed. Comput. Syst.
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2004 B conf
Structural Model Checking for Communicating Hierarchical Machines.
MFCS
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
2003 — —
An automaton-theoretic approach to safety and security in real-time systems.
Ruggero Lanotte
2003 — conf
Automatic Analysis of the NRL Pump.
MEFISTO
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2003 J jnl
Concurrency in timed automata.
Theor. Comput. Sci.
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2003 J jnl
Dynamic Hierarchical Machines.
Fundam. Informaticae
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
2003 — conf
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays.
EXPRESS
Ruggero Lanotte
2003 B conf
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.
SEFM
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
2001 B conf
Concurrency in Timed Automata.
FCT
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2001 — conf
Formal Models of Timing Attacks on Web Privacy.
TOSCA
Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2001 — conf
Privacy in Real-Time Systems.
MTCS
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
2001 J jnl
Transformations of Timed Cooperating Automata.
Fundam. Informaticae
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
2000 B conf
Timed Automata with Monotonic Activities.
MFCS
Ruggero Lanotte, Andrea Maggiolo-Schettini
2000 J jnl
Timed Cooperating Automata.
Fundam. Informaticae
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron