Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319340951, 9783319340968

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantitative Abstractions for Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_7 ◽

2016 ◽

pp. 202-232 ◽

Author(s):

Andrea Vandin ◽

Mirco Tribastone

Keyword(s):

Adaptive Systems

Download Full-text

Aggregate Programming: From Foundations to Applications

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_8 ◽

2016 ◽

pp. 233-260 ◽

Author(s):

Jacob Beal ◽

Mirko Viroli

Download Full-text

Spatial Logic and Spatial Model Checking for Closure Spaces

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_6 ◽

2016 ◽

pp. 156-201 ◽

Author(s):

Vincenzo Ciancia ◽

Diego Latella ◽

Michele Loreti ◽

Mieke Massink

Keyword(s):

Model Checking ◽

Spatial Model ◽

Spatial Logic ◽

Download Full-text

Spatial Representations and Analysis Techniques

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_5 ◽

2016 ◽

pp. 120-155 ◽

Author(s):

Vashti Galpin

Keyword(s):

Spatial Representations ◽

Analysis Techniques

Download Full-text

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_1 ◽

2016 ◽

pp. 1-35 ◽

Author(s):

Carolyn Talcott ◽

Vivek Nigam ◽

Farhad Arbab ◽

Tobias Kappé

Keyword(s):

Formal Specification ◽

Cyber Physical Systems ◽

Physical Systems ◽

Robust Adaptive

Download Full-text

Mean-Field Limits Beyond Ordinary Differential Equations

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_3 ◽

2016 ◽

pp. 61-82 ◽

Author(s):

Luca Bortolussi ◽

Nicolas Gast

Keyword(s):

Differential Equations ◽

Ordinary Differential Equations ◽

Mean Field Limits

Download Full-text

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_4 ◽

2016 ◽

pp. 83-119 ◽

Author(s):

Michele Loreti ◽

Jane Hillston

Keyword(s):

Adaptive Systems

Download Full-text

Dependability of Adaptable and Evolvable Distributed Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-34096-8_2 ◽

2016 ◽

pp. 36-60 ◽

Author(s):

Carlo Ghezzi

Keyword(s):

Distributed Systems

Download Full-text