Massimo Merro

According to our database1, Massimo Merro
  • authored at least 52 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Equational Reasonings in Wireless Network Gossip Protocols.
CoRR, 2017

A Probabilistic Calculus of Cyber-Physical Systems.
CoRR, 2017

A Calculus of Cyber-Physical Systems.
Proceedings of the Language and Automata Theory and Applications, 2017

Weak Simulation Quasimetric in a Gossip Scenario.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Formal Approach to Cyber-Physical Attacks.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
A Formal Approach to Cyber-Physical Attacks.
CoRR, 2016

A Calculus of Cyber-Physical Systems.
CoRR, 2016

Semantics for Locking Specifications.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

A Semantic Theory of the Internet of Things - (Extended Abstract).
Proceedings of the Coordination Models and Languages, 2016

2015
Semantics for Locking Specifications.
CoRR, 2015

Modelling MAC-Layer Communications in Wireless Systems.
Logical Methods in Computer Science, 2015

A Semantic Theory for the Internet of Things.
CoRR, 2015

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014
A semantic analysis of key management protocols for wireless sensor networks.
Sci. Comput. Program., 2014

2013
A calculus of trustworthy ad hoc networks.
Formal Asp. Comput., 2013

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

Modelling MAC-Layer Communications in Wireless Systems.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
A Semantic Analysis of Wireless Network Security Protocols.
Proceedings of the NASA Formal Methods, 2012

2011
A timed calculus for wireless systems.
Theor. Comput. Sci., 2011

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks
CoRR, 2011

Semantic Analysis of Gossip Protocols for Wireless Sensor Networks.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
On the observational theory of the CPS-calculus.
Acta Inf., 2010

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Calculus for the Analysis of Wireless Network Security Protocols.
Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009
An Observational Theory for Mobile Ad Hoc Networks (full version).
Inf. Comput., 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

A Calculus of Trustworthy Ad Hoc Networks.
Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

A Timed Calculus for Wireless Systems.
Proceedings of the Fundamentals of Software Engineering, 2009

2007
An Observational Theory for Mobile Ad Hoc Networks.
Electr. Notes Theor. Comput. Sci., 2007

Distributed Consensus, revisited.
Acta Inf., 2007

2006
A bisimulation-based semantic theory of Safe Ambients.
ACM Trans. Program. Lang. Syst., 2006

On the Observational Theory of the CPS-calculus: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2006

2005
Behavioral theory for mobile ambients.
J. ACM, 2005

Communication and mobility control in boxed ambients.
Inf. Comput., 2005

2004
Towards a behavioural theory of access and mobility control in distributed systems.
Theor. Comput. Sci., 2004

On asynchrony in name-passing calculi.
Mathematical Structures in Computer Science, 2004

Behavioural Theory for Mobile Ambients.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
Bisimulation Proof Methods for Mobile Ambients.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.
Proceedings of the Foundations of Software Science and Computational Structures, 2003

Modeling Consensus in a Process Calculus.
Proceedings of the CONCUR 2003, 2003

2002
Aliasing Models for Mobile Objects.
Inf. Comput., 2002

Mobile Objects as Mobile Processes.
Inf. Comput., 2002

Bisimulation congruences in safe ambients.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Communication Interference in Mobile Boxed Ambients.
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Typing and Subtyping Mobility in Boxed Ambients.
Proceedings of the CONCUR 2002, 2002

2000
Local pi-Calculus at Work: Mobile Objects as Mobile Processes.
Proceedings of the Theoretical Computer Science, 2000

Locality and Polyadicity in Asynchronous Name-Passing Calculi.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
On Equators in Asynchronous Name-passing Calculi without Matching.
Electr. Notes Theor. Comput. Sci., 1999

Aliasing Models for Object Migration.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
On the Expressiveness of Chi, Update, and Fusion calculi.
Electr. Notes Theor. Comput. Sci., 1998

On Asynchrony in Name-Passing Calculi.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1996
Prorities in Statecharts.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996


  Loading...