Massimo Merro

Available identifiers

zbMath Open merro.massimoWikidataQ62036608 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
https://portal.mardi4nfdi.de/entity/Q2851329	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

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: Massimo Merro