SFM

Keyphrases

Publications

2016

Andrea Vandin, Mirco Tribastone
Quantitative Abstractions for Collective Adaptive Systems. SFM (2016)
Carlo Ghezzi
Dependability of Adaptable and Evolvable Distributed Systems. SFM (2016)
Jacob Beal, Mirko Viroli
Aggregate Programming: From Foundations to Applications. SFM (2016)
Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM (2016)
Vashti Galpin
Spatial Representations and Analysis Techniques. SFM (2016)
Michele Loreti, Jane Hillston
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM (2016)
Luca Bortolussi, Nicolas Gast
Mean-Field Limits Beyond Ordinary Differential Equations. SFM (2016)

volume 9700, 2016

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures SFM 9700 (2016)

2015

volume 9104, 2015

Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures SFM 9104 (2015)

2014

volume 8483, 2014

Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures SFM 8483 (2014)

2013

volume 7938, 2013

Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures SFM 7938 (2013)

2012

volume 7320, 2012

Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures SFM 7320 (2012)

2011

volume 6659, 2011

Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures SFM 6659 (2011)