Ausgabe 2/2021
Inhalt (14 Artikel)
Software engineering and formal methods: SEFM 2019 special section
- Guest Editorial
Peter Csaba Ölveczky, Gwen Salaün
An epistemic approach to the formal specification of statistical machine learning
- Open Access
- Special Section Paper
Yusuke Kawamoto
Asynchronous session subtyping as communicating automata refinement
- Open Access
- Special Section Paper
Mario Bravetti, Gianluigi Zavattaro
An operational guide to monitorability with applications to regular properties
- Special Section Paper
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Reproducible execution of POSIX programs with DiOS
- Special Section Paper
Petr Ročkai, Zuzana Baranová, Jan Mrázek, Katarína Kejstová, Jiříí Barnat
Test model coverage analysis under uncertainty: extended version
- Open Access
- Special Section Paper
I. S. W. B. Prasetya, Rick Klomp
Mutation testing with hyperproperties
- Open Access
- Special Section Paper
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
An improved approach on the model checking for an agent-based simulation system
- Regular Paper
Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet
Modeling cultures of the embedded software industry: feedback from the field
- Regular Paper
Deniz Akdur, Bilge Say, Onur Demirörs
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review
- Open Access
- Regular Paper
Stefan Götz, Matthias Tichy, Raffaela Groner
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets
- Open Access
- Regular Paper
Estefanía Coronado, Valentín Valero, Luis Orozco-Barbosa, María-Emilia Cambronero, Fernando L. Pelayo
Consistent change propagation within models
- Open Access
- Regular Paper
Roland Kretschmer, Djamel Eddine Khelladi, Roberto Erick Lopez-Herrejon, Alexander Egyed
Specification and automated verification of atomic concurrent real-time transactions
- Open Access
- Regular Paper
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
