Massimo Merro

Simone Tini

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

A Modest Security Analysis of Cyber-Physical Systems: A Case Study.

[BibT_eX]

[DOI]

Andrei Munteanu

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Compositional Weak Metrics for Group Key Update.

[BibT_eX]

[DOI]

Simone Tini

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

A Calculus of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2017

Weak Simulation Quasimetric in a Gossip Scenario.

[BibT_eX]

[DOI]

Simone Tini

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Formal Approach to Cyber-Physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Semantics for Locking Specifications.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

A Semantic Theory of the Internet of Things - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

2015

Modelling MAC-Layer Communications in Wireless Systems.

[BibT_eX]

[DOI]

Andrea Cerone

Log. Methods Comput. Sci., 2015

A Semantic Theory for the Internet of Things.

[BibT_eX]

[DOI]

Valentina Castiglioni

CoRR, 2015

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks.

[BibT_eX]

[DOI]

Alice Dal Corso

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

A semantic analysis of key management protocols for wireless sensor networks.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

2013

A calculus of trustworthy ad hoc networks.

[BibT_eX]

[DOI]

Eleonora Sibilio

Formal Aspects Comput., 2013

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.

[BibT_eX]

[DOI]

Luca Battisti

Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012

A Semantic Analysis of Wireless Network Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2012

2011

A timed calculus for wireless systems.

[BibT_eX]

[DOI]

Francesco Ballardin

Eleonora Sibilio

Theor. Comput. Sci., 2011

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks

[BibT_eX]

[DOI]

CoRR, 2011

Semantic Analysis of Gossip Protocols for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

On the observational theory of the CPS-calculus.

[BibT_eX]

[DOI]

Acta Informatica, 2010

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.

[BibT_eX]

[DOI]

Davide Benetti

Luca Viganò

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Calculus for the Analysis of Wireless Network Security Protocols.

[BibT_eX]

[DOI]

Francesco Ballardin

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

An Observational Theory for Mobile Ad Hoc Networks (full version).

[BibT_eX]

[DOI]

Inf. Comput., 2009

A Timed Calculus for Wireless Systems.

[BibT_eX]

[DOI]

Eleonora Sibilio

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Preface.

[BibT_eX]

[DOI]

Jens Chr. Godskesen

Proceedings of the First Workshop on Formal Methods for Wireless Systems, 2008

2007

An Observational Theory for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Distributed Consensus, revisited.

[BibT_eX]

[DOI]

Rachele Fuzzati

Acta Informatica, 2007

2006

A bisimulation-based semantic theory of Safe Ambients.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2006

On the Observational Theory of the CPS-calculus: (Extended Abstract).

[BibT_eX]

[DOI]

Corrado Biasi

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005

Behavioral theory for mobile ambients.

[BibT_eX]

[DOI]

Francesco Zappa Nardelli

J. ACM, 2005

Communication and mobility control in boxed ambients.

[BibT_eX]

[DOI]

Inf. Comput., 2005

2004

Towards a behavioural theory of access and mobility control in distributed systems.

[BibT_eX]

[DOI]

Julian Rathke

Theor. Comput. Sci., 2004

On asynchrony in name-passing calculi.

[BibT_eX]

[DOI]

Davide Sangiorgi

Math. Struct. Comput. Sci., 2004

Behavioural Theory for Mobile Ambients.

[BibT_eX]

[DOI]

Francesco Zappa Nardelli

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Bisimulation Proof Methods for Mobile Ambients.

[BibT_eX]

[DOI]

Francesco Zappa Nardelli

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Modeling Consensus in a Process Calculus.

[BibT_eX]

[DOI]

Rachele Fuzzati

Proceedings of the CONCUR 2003, 2003

2002

Aliasing Models for Mobile Objects.

[BibT_eX]

[DOI]

Inf. Comput., 2002

Mobile Objects as Mobile Processes.

[BibT_eX]

[DOI]

Josva Kleist

Inf. Comput., 2002

Bisimulation congruences in safe ambients.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Typing and Subtyping Mobility in Boxed Ambients.

[BibT_eX]

[DOI]

Vladimiro Sassone

Proceedings of the CONCUR 2002, 2002

2000

Local pi-Calculus at Work: Mobile Objects as Mobile Processes.

[BibT_eX]

[DOI]

Josva Kleist

Proceedings of the Theoretical Computer Science, 2000

Locality and Polyadicity in Asynchronous Name-Passing Calculi.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

On Equators in Asynchronous Name-passing Calculi without Matching.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

Aliasing Models for Object Migration.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Andrea Maggiolo-Schettini

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

1996

Prorities in Statecharts.

[BibT_eX]

[DOI]