Model-based code generation works: But how far does it go?—on the role of the generator Benoit CombemaleJeff GrayBernhard Rumpe Editorial Open access 08 April 2024 Pages: 267 - 268
Circular systems engineering Istvan DavidDominik BorkGerti Kappel Expert Voice 29 February 2024 Pages: 269 - 283
Guest editorial for the special section on SEFM 2020 and 2021 Frank S. de BoerAntonio Cerone Guest Editorial Open access 30 April 2024 Pages: 285 - 287
A framework for embedded software portability and verification: from formal models to low-level code Renata Martins GomesBernhard AichernigMarcel Baunach Special Section Paper Open access 01 February 2024 Pages: 289 - 315
Correction: A framework for embedded software portability and verification: from formal models to low-level code Renata Martins GomesBernhard AichernigMarcel Baunach Correction Open access 04 April 2024 Pages: 317 - 317
A lightweight approach to nontermination inference using Constrained Horn Clauses Bishoksan KafleGraeme GangePeter J. Stuckey Special Section Paper 14 March 2024 Pages: 319 - 342
Quantitative modelling and analysis of BDI agents Blair ArchibaldMuffy CalderMengwei Xu Special Section Paper Open access 28 August 2023 Pages: 343 - 367
Lazy model checking for recursive state machines Clemens DubslaffPatrick WienhöftAnsgar Fehnker Special Section Paper Open access 20 March 2024 Pages: 369 - 401
P-stable abstractions of hybrid systems Anna BecchiAlessandro CimattiEnea Zaffanella Special Section Paper Open access 29 January 2024 Pages: 403 - 426
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis Alessandro CimattiLuca GeattiStefano Tonetta Special Section Paper Open access 11 August 2023 Pages: 427 - 453
Counterexample classification Cole VickEunsuk KangStavros Tripakis Special Section Paper 26 July 2023 Pages: 455 - 472
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification Livia LestingiAndrea ManglavitiMatteo Rossi Special Section Paper Open access 17 August 2023 Pages: 473 - 502
Active model learning of stochastic reactive systems (extended version) Edi MuškardinMartin TapplerIngo Pill Special Section Paper Open access 23 March 2024 Pages: 503 - 524