Logika: the Sireum verification framework RobbyJohn HatcliffJason Belt General 27 October 2025 Pages: 487 - 510
Formalising and analysing SMMT models using the mCRL2 toolset J. E. P. M. van LaarhovenO. BunteT. A. C. Willemse General Open access 22 October 2025 Pages: 511 - 532
Correct-by-construction instantiation of abstract scenarios Jan Steffen BeckerChristian Neurohr General Open access 17 October 2025 Pages: 465 - 485
DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations Valentina CastiglioniRuggero LanotteSimone Tini General Open access 16 October 2025 Pages: 443 - 464
Formal methods for industrial critical systems Anne E. HaxthausenWendelin Serwe General Open access 14 October 2025 Pages: 439 - 441
Reproducibility and replication of research results Dirk BeyerArnd Hartmanns Competitions and Challenges Open access 11 September 2025 Pages: 397 - 401
Formal methods in industrial critical systems Alessandro CimattiLaura Titolo General 06 June 2025 Pages: 309 - 311
Deterministic state space exploration Martin Nowack Competitions and Challenges Open access 26 May 2025 Pages: 415 - 429
Reproducible and hackable software benchmarking with(out) compute clusters Maximilian HeisingerMartina Seidl Competitions and Challenges Open access 19 May 2025 Pages: 403 - 409
What is the best algorithm for MDP model checking? Tim Quatmann Competitions and Challenges Open access 13 May 2025 Pages: 431 - 437
Replicable theory Benjamin Lucien Kaminski Competitions and Challenges Open access 13 May 2025 Pages: 411 - 414
Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern Andrea BombardaSilvia BonfantiAngelo Gargantini General Open access 12 May 2025
Modeling and verifying an arrival manager using the formal Event-B method Amel MammarMichael Leuschel General 12 May 2025
AutoHyper: leveraging language inclusion checking for hyperproperty model-checking Raven BeutnerBernd Finkbeiner General Open access 06 May 2025
Automated property-based testing from AADL component contracts John HatcliffJason BeltTodd Carpenter General 23 April 2025 Pages: 333 - 360
Pattern-based verification of ROS 2 applications using UPPAAL Lukas DustRong GuSaad Mubeen General Open access 23 April 2025 Pages: 313 - 332
WhyRel: an auto-active relational verifier Ramana NagasamudramAnindya BanerjeeDavid A. Naumann General Open access 23 April 2025
Conformance in the railway industry: Single-Input-Change testing a EULYNX controller Djurre van der WalMarcus GerholdArend Rensink General Open access 22 April 2025 Pages: 377 - 395
Optimal spare management via statistical model checking: a case study in research reactors Reza SoltaniMatthias VolkMariëlle Stoelinga General Open access 22 April 2025 Pages: 361 - 376
CFL-based methods for approximating interleaved Dyck reachability Giovanna Kobus ConradoAndreas Pavlogiannis General Open access 15 April 2025 Pages: 255 - 266
End-to-end development of product lines for web systems Maya R. A. SetyautamiReiner HähnleEko K. Budiardjo Foundation for Mastering Change Open access 08 April 2025 Pages: 201 - 219
Compositional runtime enforcement of safety and co-safety timed properties Saumya ShankarSrinivas Pinisetty General 04 April 2025 Pages: 169 - 199
Context Gas and friends: taming context-sensitivity on the fly Julian ErhardJohanna Franziska SchinabeckHelmut Seidl General Open access 07 May 2025 Pages: 289 - 307
Lightweight and modular resource leak checking (extended version) Narges ShadabPritam GharatManu Sridharan General 05 June 2025 Pages: 267 - 288
State of the art in program analysis Raphaël MonatCindy Rubio-González General 08 May 2025 Pages: 221 - 223
Static analysis to make the most of CHERI C/C++ for existing code: improving memory safety at scale Irina DudinaIan Stark General Open access 20 February 2025 Pages: 225 - 237
Analysing futex-based synchronisation primitives using model checking Hugues EvrardAlastair F. Donaldson General Open access 13 February 2025
Evaluation of a distributed explicit state space exploration algorithm with state reconstruction for RDMA networks Sami EvangelistaLars Michael KristensenLaure Petrucci General 10 February 2025 Pages: 149 - 168
Interleaving static analysis and LLM prompting with applications to error specification inference Patrick J. ChapmanCindy Rubio-GonzálezAditya V. Thakur General Open access 04 February 2025 Pages: 239 - 254
An adaptive, provable correct simplex architecture Benedikt MaderbacherStefan SchuppBettina Könighofer General Open access 04 February 2025
LLM-based code generation and system migration in language-driven engineering Daniel BuschAlexander BainczykBernhard Steffen General Open access 29 April 2025 Pages: 137 - 147
Assertions in software testing: survey, landscape, and trends Masoumeh TaromiradPer Runeson General Open access 22 April 2025 Pages: 117 - 135
Evolution of the continuous integration of neural networks in autonomous systems Bruno SteffenLeonard SondermannLukas Schütz General Open access 09 May 2025 Pages: 103 - 115
IoT backends in the Asset Administration Shell – four integration approaches Johannes KristanSven Erik JeroschewskiMax Grzanna General 28 April 2025 Pages: 93 - 102
Machine learning-based ambient temperature prediction in radio access network environments Selma RahmanMattias OlaussonIoannis Avgouleas General 20 May 2025 Pages: 81 - 92
Machine learning-based cache miss prediction Edin JelačićCristina SeceleanuTiberiu Seceleanu General Open access 22 April 2025 Pages: 53 - 80
Learning single and compound-protocol automata and checking behavioral equivalences Stefan MarksteinerDavid SchöglerMikael Sjödin General Open access 15 April 2025 Pages: 35 - 52
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT Miodrag DjukicIvan ProkićSimona Prokić General Open access 25 April 2025 Pages: 21 - 34
Formal verification and security analysis of MQTT-SN Wei LinSini ChenHuibiao Zhu General 22 April 2025 Pages: 5 - 19
Preface to the special issue on engineering of computer-based systems Jan KofroňTiziana MargariaCristina Seceleanu General 16 May 2025 Pages: 1 - 3
The digest framework: concurrency-sensitivity for abstract interpretation Michael SchwarzJulian Erhard General Open access 28 December 2024 Pages: 727 - 746
ccReact: a rewriting framework for the formal analysis of reaction systems Demis BallisLinda BrodoCarlos Olarte General 28 December 2024 Pages: 707 - 725
Inference of access policies through static analysis Giacomo ZanattaGianluca CaiazzaLuca Negrini General Open access 10 January 2025 Pages: 797 - 821
Leveraging static analysis for cost-aware serverless scheduling policies Giuseppe De PalmaSaverio GiallorenzoGianluigi Zavattaro General 02 January 2025 Pages: 781 - 796
Reformulating regression test suite optimization using quantum annealing - an empirical study Antonio TrovatoManuel De StefanoAndrea De Lucia General 20 January 2025 Pages: 767 - 780
IntraJ: an on-demand framework for intraprocedural Java code analysis Idriss RiouakNiklas ForsChristoph Reichenbach General Open access 08 January 2025 Pages: 687 - 705
Easing maintenance of academic static analyzers Raphaël MonatAbdelraouf OuadjaoutAntoine Miné General 14 January 2025 Pages: 673 - 686
