Ausgabe 1/2018
Extended versions of papers presented at FASE'16
Inhalt (7 Artikel)
Open Access
Original Article
A formal verification technique for behavioural model-to-model transformations
Sander de Putter, Anton Wijs
Original Article
ProFeat: feature-oriented engineering for family-based probabilistic model checking
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
Open Access
Original Article
Model-based testing of probabilistic systems
Marcus Gerhold, Mariëlle Stoelinga
Original Article
Cut branches before looking for bugs: certifiably sound verification on relaxed slices
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
Original Article
Variability-based model transformation: formal foundation and application
D. Strüber, J. Rubin, T. Arendt, M. Chechik, G. Taentzer, J. Plöger
Original Article
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt