| Publication | Date of Publication | Type |
|---|
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Weak simulation quasimetric in a gossip scenario
Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
A process calculus approach to detection and mitigation of PLC malware
Theoretical Computer Science | 2021-10-21 | Paper |
A probabilistic calculus of cyber-physical systems
Information and Computation | 2021-07-21 | Paper |
Compositional weak metrics for group key update
| 2020-05-26 | Paper |
On the decidability of linear bounded periodic cyber-physical systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Equational reasonings in wireless network gossip protocols
| 2018-11-02 | Paper |
A semantic theory of the Internet of Things
Information and Computation | 2018-03-21 | Paper |
A calculus of cyber-physical systems
Language and Automata Theory and Applications | 2017-06-01 | Paper |
Behavioral theory for mobile ambients
Journal of the ACM | 2015-12-04 | Paper |
An Observational Theory for Mobile Ad Hoc Networks
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
Modelling MAC-layer communications in wireless systems
Logical Methods in Computer Science | 2015-04-22 | Paper |
Bisimulation congruences in safe ambients
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
A calculus of trustworthy ad hoc networks
Formal Aspects of Computing | 2014-11-11 | Paper |
On the observational theory of the CPS-calculus (extended abstract)
| 2013-10-10 | Paper |
A timed calculus for wireless systems
Theoretical Computer Science | 2011-12-07 | Paper |
Semantic analysis of gossip protocols for wireless sensor networks
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
On the observational theory of the CPS-calculus
Acta Informatica | 2010-05-05 | Paper |
Modeling consensus in a process calculus.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
A timed calculus for wireless systems
Fundamentals of Software Engineering | 2010-01-28 | Paper |
An observational theory for mobile ad hoc networks (full version)
Information and Computation | 2009-04-14 | Paper |
Distributed consensus, revisited
Acta Informatica | 2007-10-31 | Paper |
Mobile objects as mobile processes
Information and Computation | 2006-08-03 | Paper |
Communication and mobility control in boxed ambients
Information and Computation | 2005-11-07 | Paper |
scientific article; zbMATH DE number 2163045 (Why is no real title available?)
| 2005-04-29 | Paper |
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
Towards a behavioural theory of access and mobility control in distributed systems
Theoretical Computer Science | 2004-10-04 | Paper |
scientific article; zbMATH DE number 2038740 (Why is no real title available?)
| 2004-02-08 | Paper |
scientific article; zbMATH DE number 1956519 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1954374 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1927570 (Why is no real title available?)
| 2003-06-12 | Paper |
Aliasing models for mobile objects
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1759484 (Why is no real title available?)
| 2002-11-25 | Paper |
scientific article; zbMATH DE number 1497784 (Why is no real title available?)
| 2001-03-05 | Paper |
scientific article; zbMATH DE number 1512621 (Why is no real title available?)
| 2000-10-03 | Paper |
scientific article; zbMATH DE number 1231683 (Why is no real title available?)
| 1999-01-07 | Paper |
scientific article; zbMATH DE number 1223739 (Why is no real title available?)
| 1998-11-15 | Paper |
