Massimo Merro

Available identifiers

zbMath Open merro.massimoDBLP63/1360WikidataQ62036608 ScholiaQ62036608MaRDI QIDQ470041

List of research outcomes

Publication	Date of Publication	Type
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems	2024-02-21	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
Compositional weak metrics for group key update	2020-05-26	Paper
On the decidability of linear bounded periodic cyber-physical systems	2019-10-22	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
Behavioral theory for mobile ambients	2015-12-04	Paper
An Observational Theory for Mobile Ad Hoc Networks	2015-07-10	Paper
Modelling MAC-Layer Communications in Wireless Systems	2015-04-22	Paper
Bisimulation congruences in safe ambients	2015-03-17	Paper
A calculus of trustworthy ad hoc networks	2014-11-11	Paper
On the observational theory of the CPS-calculus (extended abstract)	2013-10-10	Paper
A timed calculus for wireless systems	2011-12-07	Paper
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks	2011-09-02	Paper
On the observational theory of the CPS-calculus	2010-05-05	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
A Timed Calculus for Wireless Systems	2010-01-28	Paper
An observational theory for mobile ad hoc networks (full version)	2009-04-14	Paper
Distributed consensus, revisited	2007-10-31	Paper
Mobile objects as mobile processes	2006-08-03	Paper
Communication and mobility control in boxed ambients	2005-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4673432	2005-04-29	Paper
On asynchrony in name-passing calculi	2005-02-28	Paper
Towards a behavioural theory of access and mobility control in distributed systems	2004-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449205	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4417865	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4415245	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4484495	2003-06-12	Paper
Aliasing models for mobile objects	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536438	2002-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4499201	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4508306	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4223012	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4219055	1998-11-15	Paper

Research outcomes over time

This page was built for person: Massimo Merro