1. Model-based code generation works: But how far does it go?—on the role of the generator

   • Benoit Combemale
   • Jeff Gray
   • Bernhard Rumpe

   Editorial Open access 08 April 2024 Pages: 267 - 268

2. Circular systems engineering

   • Istvan David
   • Dominik Bork
   • Gerti Kappel

   Expert Voice 29 February 2024 Pages: 269 - 283

   

3. Guest editorial for the special section on SEFM 2020 and 2021

   • Frank S. de Boer
   • Antonio Cerone

   Guest Editorial Open access 30 April 2024 Pages: 285 - 287

4. A framework for embedded software portability and verification: from formal models to low-level code

   • Renata Martins Gomes
   • Bernhard Aichernig
   • Marcel Baunach

   Special Section Paper Open access 01 February 2024 Pages: 289 - 315

   

5. Correction: A framework for embedded software portability and verification: from formal models to low-level code

   • Renata Martins Gomes
   • Bernhard Aichernig
   • Marcel Baunach

   Correction Open access 04 April 2024 Pages: 317 - 317

6. A lightweight approach to nontermination inference using Constrained Horn Clauses

   • Bishoksan Kafle
   • Graeme Gange
   • Peter J. Stuckey

   Special Section Paper 14 March 2024 Pages: 319 - 342

   

7. Quantitative modelling and analysis of BDI agents

   • Blair Archibald
   • Muffy Calder
   • Mengwei Xu

   Special Section Paper Open access 28 August 2023 Pages: 343 - 367

   

8. Lazy model checking for recursive state machines

   • Clemens Dubslaff
   • Patrick Wienhöft
   • Ansgar Fehnker

   Special Section Paper Open access 20 March 2024 Pages: 369 - 401

   

9. P-stable abstractions of hybrid systems

   • Anna Becchi
   • Alessandro Cimatti
   • Enea Zaffanella

   Special Section Paper Open access 29 January 2024 Pages: 403 - 426

   

10. Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis

    • Alessandro Cimatti
    • Luca Geatti
    • Stefano Tonetta

    Special Section Paper Open access 11 August 2023 Pages: 427 - 453

    

11. Counterexample classification

    • Cole Vick
    • Eunsuk Kang
    • Stavros Tripakis

    Special Section Paper 26 July 2023 Pages: 455 - 472

    

12. Analyzing the impact of human errors on interactive service robotic scenarios via formal verification

    • Livia Lestingi
    • Andrea Manglaviti
    • Matteo Rossi

    Special Section Paper Open access 17 August 2023 Pages: 473 - 502

    

13. Active model learning of stochastic reactive systems (extended version)

    • Edi Muškardin
    • Martin Tappler
    • Ingo Pill

    Special Section Paper Open access 23 March 2024 Pages: 503 - 524