1. Model-driven generation of runtime checks for system properties

   • Mauro Pezzé
   • Jochen Wuttke

   Regular Paper 24 June 2014 Pages: 1 - 19

   

2. A blueprint for system-level performance modeling of software-intensive embedded systems

   • Martijn Hendriks
   • Twan Basten
   • Lou Somers

   Regular Paper 29 August 2014 Pages: 21 - 40

   

3. Downward pattern refinement for timed automata

   • Martin Wehrle
   • Sebastian Kupferschmid

   Regular Paper Open access 04 September 2014 Pages: 41 - 56

   

4. Graphillion: software library for very large sets of labeled graphs

   • Takeru Inoue
   • Hiroaki Iwashita
   • Shin-ichi Minato

   Regular Paper Open access 16 October 2014 Pages: 57 - 66

   

5. How to model and prove hybrid systems with KeYmaera: a tutorial on safety

   • Jan-David Quesel
   • Stefan Mitsch
   • André Platzer

   Regular Paper Open access 27 February 2015 Pages: 67 - 91

   

6. Evaluating the effect of a lightweight formal technique in industry

   • Ammar Osaiweran
   • Mathijs Schuts
   • Bart van Rijnsoever

   Regular Paper Open access 02 April 2015 Pages: 93 - 108

   

7. Abstraction and refinement of mathematical functions toward SMT-based test-case generation

   • Takuro Kutsuna
   • Yoshinao Ishii
   • Akihiro Yamamoto

   Regular Paper 24 June 2015 Pages: 109 - 120