MOD*

201420142014

Keyphrases

Publications

2014

Natalia Olegovna Garanina, Eugene V. Bodin, Elena A. Sidorova
An Approach to Model Checking of Multi-agent Data Analysis. MOD* (2014)
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* (2014)
Mario Bravetti, Gianluigi Zavattaro
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* (2014)
Masaya Suzuki, Takuo Watanabe
A Language Support for Exhaustive Fault-Injection in Message-Passing System Models. MOD* (2014)

volume 168, 2014

Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. MOD* 168 (2014)