Timed Automata with Monotonic Activities. - Ruggero Lanotte; Andrea Maggiolo-Schettini (MFCS, 2000)

Timed Cooperating Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron (Fundam. Informaticae, 2000)

Formal Models of Timing Attacks on Web Privacy. - Riccardo Focardi; Roberto Gorrieri; Ruggero Lanotte; Andrea Maggiolo-Schettini; Fabio Martinelli; Simone Tini; Enrico Tronci (TOSCA, 2001)

Privacy in Real-Time Systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (MTCS, 2001)

Transformations of Timed Cooperating Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Adriano Peron (Fundam. Informaticae, 2001)

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2003)

Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. - Ruggero Lanotte (EXPRESS, 2003)

Automatic Analysis of the NRL Pump. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (MEFISTO, 2003)

Dynamic Hierarchical Machines. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (Fundam. Informaticae, 2003)

Concurrency in timed automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (Theor. Comput. Sci., 2003)

An automaton-theoretic approach to safety and security in real-time systems. - Ruggero Lanotte (2003)

Automatic Covert Channel Analysis of a Multilevel Secure Component. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (ICICS, 2004)

Information Flow Analysis for Probabilistic Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Formal Aspects in Security and Trust, 2004)

Structural Model Checking for Communicating Hierarchical Machines. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron (MFCS, 2004)

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2004)

Automatic Analysis of a Non-Repudiation Protocol. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (QAPL, 2004)

Automated analysis of timed security: a case study on web privacy. - Roberto Gorrieri; Ruggero Lanotte; Andrea Maggiolo-Schettini; Fabio Martinelli; Simone Tini; Enrico Tronci (Int. J. Inf. Sec., 2004)

Epsilon-transitions in Concurrent Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (Inf. Process. Lett., 2004)

Information flow in hybrid systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (ACM Trans. Embed. Comput. Syst., 2004)

Probabilistic Congruence for Semistochastic Generative Processes. - Ruggero Lanotte; Simone Tini (FoSSaCS, 2005)

Timed Automata with Data Structures for Distributed Systems Design and Analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2005)

A Classification of Time and/or Probability Dependent Security Properties. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (QAPL, 2005)

Monotonic hybrid systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini (J. Comput. Syst. Sci., 2005)

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (FMOODS, 2006)

Hiding Information in Multi Level Security Systems. - Danièle Beauquier; Ruggero Lanotte (Formal Aspects in Security and Trust, 2006)

Distributed Time-Asynchronous Automata. - Catalin Dima; Ruggero Lanotte (ICTAC, 2007)

Parametric probabilistic transition systems for system design and analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Formal Aspects Comput., 2007)

Taylor approximation for hybrid systems. - Ruggero Lanotte; Simone Tini (Inf. Comput., 2007)

Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays. - Ruggero Lanotte (J. Autom. Lang. Comb., 2007)

Security Policies Enforcement Using Finite Edit Automata. - Danièle Beauquier; Joëlle Cohen; Ruggero Lanotte (ICE@ICALP, 2008)

Design and verification of long-running transactions in a timed framework. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Sci. Comput. Program., 2008)

Removing All Silent Transitions from Timed Automata. - Catalin Dima; Ruggero Lanotte (FORMATS, 2009)

A Decidable Probability Logic for Timed Probabilistic Systems. - Ruggero Lanotte; Danièle Beauquier (Fundam. Informaticae, 2009)

Probabilistic bisimulation as a congruence. - Ruggero Lanotte; Simone Tini (ACM Trans. Comput. Log., 2009)

Reachability results for timed automata with unbounded data structures. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Acta Informatica, 2010)

Complexity and succinctness issues for linear-time hybrid logics. - Laura Bozzelli; Ruggero Lanotte (Theor. Comput. Sci., 2010)

Weak bisimulation for Probabilistic Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Theor. Comput. Sci., 2010)

Time and Probability-Based Information Flow Analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (IEEE Trans. Software Eng., 2010)

Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. - Ruggero Lanotte; Massimo Merro (CONCUR, 2011)

Hybrid and First-Order Complete Extensions of CaRet. - Laura Bozzelli; Ruggero Lanotte (TABLEAUX, 2011)

A study on shuffle, stopwatches and independently evolving clocks. - Catalin Dima; Ruggero Lanotte (Distributed Comput., 2012)

A Rule Format for Rooted Branching Bisimulation. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (CS&P, 2013)

Security policies enforcement using finite and pushdown edit automata. - Danièle Beauquier; Joëlle Cohen; Ruggero Lanotte (Int. J. Inf. Sec., 2013)

A Specification Format for Rooted Branching Bisimulation. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (Fundam. Informaticae, 2014)

A Semantic Theory for the Internet of Things. - Valentina Castiglioni; Ruggero Lanotte; Massimo Merro (CoRR, 2015)

A Semantic Theory of the Internet of Things - (Extended Abstract). - Ruggero Lanotte; Massimo Merro (COORDINATION, 2016)

Extending Taylor Approximation to Hybrid Systems with Integrals. - Ruggero Lanotte; Simone Tini (CS&P, 2016)

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (Fundam. Informaticae, 2016)

A Formal Approach to Cyber-Physical Attacks. - Ruggero Lanotte; Massimo Merro; Riccardo Muradore; Luca Viganò 001 (CSF, 2017)

Weak Simulation Quasimetric in a Gossip Scenario. - Ruggero Lanotte; Massimo Merro; Simone Tini (FORTE, 2017)

A Calculus of Cyber-Physical Systems. - Ruggero Lanotte; Massimo Merro (LATA, 2017)

Compositional Weak Metrics for Group Key Update. - Ruggero Lanotte; Massimo Merro; Simone Tini (MFCS, 2017)

A Modest Security Analysis of Cyber-Physical Systems: A Case Study. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (FORTE, 2018)

Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. - Ruggero Lanotte; Simone Tini (ICTAC, 2018)

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. - Ruggero Lanotte; Massimo Merro; Simone Tini (IFM, 2018)

Towards a formal notion of impact metric for cyber-physical attacks (full version). - Ruggero Lanotte; Massimo Merro; Simone Tini (CoRR, 2018)

A semantic theory of the Internet of Things. - Ruggero Lanotte; Massimo Merro (Inf. Comput., 2018)

Equational Reasonings in Wireless Network Gossip Protocols. - Ruggero Lanotte; Massimo Merro; Simone Tini (Log. Methods Comput. Sci., 2018)

Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (The Art of Modelling Computational Systems, 2019)

On the decidability of linear bounded periodic cyber-physical systems. - Ruggero Lanotte; Massimo Merro; Fabio Mogavero (HSCC, 2019)

Computing Bisimilarity Metrics for Probabilistic Timed Automata. - Ruggero Lanotte; Simone Tini (IFM, 2019)

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Luca Viganò 001 (CoRR, 2019)

Runtime Enforcement for Control System Security. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (CSF, 2020)

A Process Calculus Approach to Correctness Enforcement of PLCs. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (ICTCS, 2020)

A process calculus approach to correctness enforcement of PLCs (full version). - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (CoRR, 2020)

A Formal Approach to Physics-based Attacks in Cyber-physical Systems. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Luca Viganò 001 (ACM Trans. Priv. Secur., 2020)

Formal Impact Metrics for Cyber-physical Attacks. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu; Simone Tini (CSF, 2021)

Runtime Enforcement of Programmable Logic Controllers. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (CoRR, 2021)

A probabilistic calculus of cyber-physical systems. - Ruggero Lanotte; Massimo Merro; Simone Tini (Inf. Comput., 2021)

A process calculus approach to detection and mitigation of PLC malware. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (Theor. Comput. Sci., 2021)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. - Ruggero Lanotte; Simone Tini (Theor. Comput. Sci., 2021)

Towards Reverse Engineering of Industrial Physical Processes. - Mariano Ceccato; Youssef Driouich; Ruggero Lanotte; Marco Lucchese; Massimo Merro (CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, 2022)

Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. - Ruggero Lanotte; Massimo Merro; Nicola Zannone (FORTE, 2023)

Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. - Stephen Chong; Ruggero Lanotte; Massimo Merro; Simone Tini; Jian Xiang (HSCC, 2023)

Step-by-step Robustness for Biochemical Networks. - Ruggero Lanotte; Desiree Manicardi; Simone Tini (ICTCS, 2023)

Industrial Control Systems Security via Runtime Enforcement. - Ruggero Lanotte; Massimo Merro; Andrei Munteanu (ACM Trans. Priv. Secur., 2023)

Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Simone Tini (FMICS, 2024)

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. - Jian Xiang; Ruggero Lanotte; Simone Tini; Stephen Chong; Massimo Merro (CoRR, 2024)

Obfuscation strategies for industrial control systems. - Vittoria Cozza; Mila Dalla Preda; Ruggero Lanotte; Marco Lucchese; Massimo Merro; Nicola Zannone (Int. J. Crit. Infrastructure Prot., 2024)

Robustness for biochemical networks: Step-by-step approach. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Desiree Manicardi; Simone Tini (Theor. Comput. Sci., 2024)

Back to the format: A survey on SOS for probabilistic processes. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (J. Log. Algebraic Methods Program., 2024)

Formal Robustness for Cyber-Physical Systems Under Timed Attacks. - Jian Xiang; Simone Tini; Ruggero Lanotte; Massimo Merro (CSF, 2025)