Ruggero Lanotte

Available identifiers

zbMath Open lanotte.ruggeroWikidataQ62052520 ScholiaQ62052520MaRDI QIDQ606995

List of research outcomes

Publication	Date of Publication	Type
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	2024-02-21	Paper
Back to the format: a survey on SOS for probabilistic processes	2024-02-12	Paper
Weak Simulation Quasimetric in a Gossip Scenario	2022-06-15	Paper
A process calculus approach to detection and mitigation of PLC malware	2021-10-21	Paper
A probabilistic calculus of cyber-physical systems	2021-07-21	Paper
Modeling Long–Running Transactions with Communicating Hierarchical Timed Automata	2021-05-25	Paper
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces	2021-05-10	Paper
https://portal.mardi4nfdi.de/entity/Q5111289	2020-05-26	Paper
On the decidability of linear bounded periodic cyber-physical systems	2019-10-22	Paper
Weak bisimulation metrics in models with nondeterminism and continuous state spaces	2018-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4553277	2018-11-02	Paper
A semantic theory of the Internet of things	2018-03-21	Paper
A Calculus of Cyber-Physical Systems	2017-06-01	Paper
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics	2017-03-22	Paper
Probabilistic bisimulation as a congruence	2015-09-17	Paper
A Specification Format for Rooted Branching Bisimulation	2015-06-26	Paper
Security Policies Enforcement Using Finite Edit Automata	2014-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q2849849	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2847407	2013-09-09	Paper
Formal Models of Timing Attacks on Web Privacy	2013-07-24	Paper
A study on shuffle, stopwatches and independently evolving clocks	2013-02-04	Paper
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks	2011-09-02	Paper
Hybrid and First-Order Complete Extensions of CaRet	2011-07-01	Paper
Weak bisimulation for probabilistic timed automata	2010-11-19	Paper
Reachability results for timed automata with unbounded data structures	2010-10-08	Paper
A Decidable Probability Logic for Timed Probabilistic Systems	2010-02-05	Paper
Complexity and succinctness issues for linear-time hybrid logics	2009-12-15	Paper
Removing All Silent Transitions from Timed Automata	2009-12-01	Paper
\(\varepsilon\)-transitions in concurrent timed automata	2009-07-09	Paper
Design and verification of long-running transactions in a timed framework	2008-11-20	Paper
Complexity and Succinctness Issues for Linear-Time Hybrid Logics	2008-10-27	Paper
Distributed Time-Asynchronous Automata	2008-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3517258	2008-08-12	Paper
Taylor approximation for hybrid systems	2007-11-21	Paper
Parametric probabilistic transition systems for system design and analysis	2007-04-19	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
Information and Communications Security	2005-08-19	Paper
Monotonic hybrid systems	2005-08-05	Paper
Concurrency in timed automata	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4461959	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q2775864	2003-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4782713	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4536387	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4507819	2000-10-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ruggero Lanotte