Ausgabe 1/2016
Inhalt (7 Artikel)
Regular Paper
Model-driven generation of runtime checks for system properties
Mauro Pezzé, Jochen Wuttke
Regular Paper
A blueprint for system-level performance modeling of software-intensive embedded systems
Martijn Hendriks, Twan Basten, Jacques Verriet, Marco Brassé, Lou Somers
Open Access
Regular Paper
Downward pattern refinement for timed automata
Martin Wehrle, Sebastian Kupferschmid
Open Access
Regular Paper
Graphillion: software library for very large sets of labeled graphs
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato
Open Access
Regular Paper
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Jan-David Quesel, Stefan Mitsch, Sarah Loos, Nikos Aréchiga, André Platzer
Open Access
Regular Paper
Evaluating the effect of a lightweight formal technique in industry
Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jan Friso Groote, Bart van Rijnsoever
Regular Paper
Abstraction and refinement of mathematical functions toward SMT-based test-case generation
Takuro Kutsuna, Yoshinao Ishii, Akihiro Yamamoto