default search action

combined dblp search
author search
venue search
publication search

ask others

SFM 2014: Bertinoro, Italy

> Home > Conferences and Workshops > SFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/2014
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

Modeling and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BubelMH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BubelMH14
Richard Bubel, Antonio Flores-Montoya, Reiner Hähnle:
Analysis of Executable Software Models. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/GiachinoL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/GiachinoL14
Elena Giachino, Cosimo Laneve:
Deadlock Detection in Linear Recursive Programs. 26-64
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AbrahamBDJKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AbrahamBDJKW14
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer:
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. 65-121
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/GmeinerKSVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/GmeinerKSVW14
Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. 122-171
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AmighiBDHMZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AmighiBDHMZ14
Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski:
Verification of Concurrent Systems with VerCors. 172-216

Run-Time Assessment and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/sfm/BoerG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/BoerG14
Frank S. de Boer, Stijn de Gouw:
Combining Monitoring with Run-Time Assertion Checking. 217-262
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AlbertAGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AlbertAGR14
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. 263-309
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/LochauPKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/LochauPKS14
Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer:
Model-Based Testing. 310-342

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.