Ausgabe 2/2024
Inhalt (13 Artikel)
Model-based code generation works: But how far does it go?—on the role of the generator
- Open Access
- Editorial
Benoit Combemale, Jeff Gray, Bernhard Rumpe
Guest editorial for the special section on SEFM 2020 and 2021
- Open Access
- Guest Editorial
Frank S. de Boer, Antonio Cerone
A framework for embedded software portability and verification: from formal models to low-level code
- Open Access
- Special Section Paper
Renata Martins Gomes, Bernhard Aichernig, Marcel Baunach
Correction: A framework for embedded software portability and verification: from formal models to low-level code
- Open Access
- Correction
Renata Martins Gomes, Bernhard Aichernig, Marcel Baunach
A lightweight approach to nontermination inference using Constrained Horn Clauses
- Special Section Paper
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Quantitative modelling and analysis of BDI agents
- Open Access
- Special Section Paper
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu
Lazy model checking for recursive state machines
- Open Access
- Special Section Paper
Clemens Dubslaff, Patrick Wienhöft, Ansgar Fehnker
P-stable abstractions of hybrid systems
- Open Access
- Special Section Paper
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
- Open Access
- Special Section Paper
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
- Open Access
- Special Section Paper
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Active model learning of stochastic reactive systems (extended version)
- Open Access
- Special Section Paper
Edi Muškardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
