- 2016
- Jacob Beal, Mirko Viroli:
Aggregate Programming: From Foundations to Applications. SFM 2016: 233-260 - Luca Bortolussi, Nicolas Gast:
Mean-Field Limits Beyond Ordinary Differential Equations. SFM 2016: 61-82 - Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - Vashti Galpin:
Spatial Representations and Analysis Techniques. SFM 2016: 120-155 - Carlo Ghezzi:
Dependability of Adaptable and Evolvable Distributed Systems. SFM 2016: 36-60 - Michele Loreti, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119 - Carolyn L. Talcott, Vivek Nigam, Farhad Arbab, Tobias Kappé:
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems. SFM 2016: 1-35 - Andrea Vandin, Mirco Tribastone:
Quantitative Abstractions for Collective Adaptive Systems. SFM 2016: 202-232 - Marco Bernardo, Rocco De Nicola, Jane Hillston:
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. Lecture Notes in Computer Science 9700, Springer 2016, ISBN 978-3-319-34095-1 [contents] - 2015
- Jade Alglave:
Modeling of Architectures. SFM 2015: 97-145 - Farhad Arbab, Sung-Shik T. Q. Jongmans:
Coordinating Multicore Computing. SFM 2015: 57-96 - Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang:
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM 2015: 1-56 - Elias Castegren, Johan Östlund, Tobias Wrigstad:
Refined Ownership: - Fine-Grained Controlled Internal Sharing. SFM 2015: 179-210 - Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178 - Marco Bernardo, Einar Broch Johnsen:
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. Lecture Notes in Computer Science 9104, Springer 2015, ISBN 978-3-319-18940-6 [contents] - 2014
- Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer:
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM 2014: 65-121 - Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas:
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM 2014: 263-309 - Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski:
Verification of Concurrent Systems with VerCors. SFM 2014: 172-216 - Frank S. de Boer, Stijn de Gouw:
Combining Monitoring with Run-Time Assertion Checking. SFM 2014: 217-262 - Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle:
Analysis of Executable Software Models. SFM 2014: 1-25 - Elena Giachino, Cosimo Laneve:
Deadlock Detection in Linear Recursive Programs. SFM 2014: 26-64 - Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM 2014: 122-171 - Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer:
Model-Based Testing. SFM 2014: 310-342 - Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer:
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. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - 2013
- Luca Bortolussi, Jane Hillston:
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. SFM 2013: 113-149 - Lubos Brim, Milan Ceska, David Safránek:
Model Checking of Biological Systems. SFM 2013: 63-112 - Diana-Elena Gratie, Bogdan Iancu, Ion Petre:
ODE Analysis of Biological Systems. SFM 2013: 29-62 - Boris Köpf, Andrey Rybalchenko:
Automation of Quantitative Information-Flow Analysis. SFM 2013: 1-28 - Jiannis K. Pachos:
Topological Quantum Computation. SFM 2013: 150-179 - Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky:
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. Lecture Notes in Computer Science 7938, Springer 2013, ISBN 978-3-642-38873-6 [contents]