Non-numerical weakly relational domains Helmut SeidlJulian ErhardMichael Schwarz General Open access 14 June 2024
The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 Swen JacobsGuillermo A. PérezAdam Walker Competitions and Challenges 11 June 2024
Strong Simple Policies for POMDPs Leonore WintererRalf WimmerNils Jansen Explanation Paradigms Leveraging Analytic Intuition Open access 09 June 2024
A verified low-level implementation and visualization of the adaptive exterior light and speed control system Sebastian KringsPhilipp KörnerKristin Rutenkolk General Open access 27 May 2024
Validating multiple variants of an automotive light system with Alloy 6 Alcino CunhaNuno MacedoChong Liu General Open access 23 May 2024
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features Paolo ArcainiSilvia BonfantiPatrizia Scandurra General Open access 17 May 2024
An Event-B model of an automotive adaptive exterior light system Amel MammarMarc FrappierRégine Laleau General 14 May 2024
State of the CArt: evaluating covering array generators at scale Manuel LeithnerAndrea BombardaDimitris E. Simos Competitions and Challenges 06 May 2024
Certification of avionic software based on machine learning: the case for formal monotony analysis Mélanie DucoffeChristophe GabreauEric Guillaume Vidot General 12 March 2024 Pages: 189 - 205
Monitoring of spatio-temporal properties with nonlinear SAT solvers André Matos PedroTomás SilvaCarla Ferreira General Open access 22 February 2024 Pages: 169 - 188
Formally verifying decompositions of stochastic specifications Anton HampusMattias Nyberg General Open access 21 February 2024 Pages: 207 - 228
Reusable formal models for concurrency and communication in custom real-time operating systems Julius AdeltJulian GebkerPaula Herber General Open access 20 February 2024 Pages: 229 - 245
Generating interactive documents for domain-specific validation of formal models Fabian VuChristopher HappeMichael Leuschel General Open access 20 February 2024 Pages: 147 - 168
Deductive verification of smart contracts with Dafny Franck CassezJoanne FullerHoracio Mijail Antón Quiles General 20 February 2024 Pages: 131 - 145
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense Zixin HuangSaikat DuttaSasa Misailovic General 19 February 2024
Formal Methods for Industrial Critical Systems Jan Friso GrooteMarieke Huisman General Open access 15 February 2024 Pages: 127 - 129
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool Martijn HendriksJacques VerrietTwan Basten General Open access 08 February 2024 Pages: 101 - 126
A process for creating KDM2PSM transformation engines Guisella AnguloDaniel San MartínValter Vieira de Camargo Foundation for Mastering Change 26 January 2024 Pages: 1 - 20
A causal, time-independent synchronization pattern for collective adaptive systems Peter FettkeWolfgang Reisig Foundations for Mastering Change Open access 24 November 2023 Pages: 659 - 673
A modal approach to conscious social agents Chen YifengJ. W. Sanders Foundations for Mastering Change 14 November 2023 Pages: 707 - 716
Rigorous engineering of collective adaptive systems – 2nd special section Martin WirsingStefan JähnichenRocco De Nicola Foundations for Mastering Change Open access 14 November 2023 Pages: 617 - 624
Generating adaptation rule-specific neural networks Tomáš BurešPetr HnětynkaRobert Heinrich Foundations for Mastering Change 07 November 2023 Pages: 733 - 746
Comparing perfomance abstractions for collective adaptive systems Maurizio MurgiaRiccardo PinciroliEmilio Tuosto Foundations for Mastering Change Open access 02 November 2023 Pages: 785 - 798
Language support for verifying reconfigurable interacting systems Yehia Abd AlrahmanShaun AzzopardiNir Piterman Foundations for Mastering Change Open access 02 November 2023 Pages: 765 - 784
Coordinating and programming multiple ROS-based robots with X-KLAIM Lorenzo BettiniKhalid BourrFrancesco Tiezzi Foundations for Mastering Change Open access 02 November 2023 Pages: 747 - 764
Machine-learning abstractions for component-based self-optimizing systems Michal TöpferMilad AbdullahMartin Kruliš Foundations for Mastering Change 02 November 2023 Pages: 717 - 731
A kinetic approach to investigate the collective dynamics of multi-agent systems Stefania MonicaFederico BergentiFranco Zambonelli Foundations for Mastering Change 02 November 2023 Pages: 693 - 705
Modelling flocks of birds and colonies of ants from the bottom up Rocco De NicolaLuca Di StefanoSerenella Valiani Foundations for Mastering Change Open access 02 November 2023 Pages: 675 - 691
A toolchain for strategy synthesis with spatial properties Davide BasileMaurice H. ter BeekVincenzo Ciancia Foundations for Mastering Change Open access 02 November 2023 Pages: 641 - 658
Correct by design coordination of autonomous driving systems Marius BozgaJoseph Sifakis Foundations for Mastering Change 02 November 2023 Pages: 625 - 639
RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics Tomoya YamaguchiBardh HoxhaDejan Ničković General 05 October 2023 Pages: 79 - 99
Publisher Correction: Algorithm selection for SMT Joseph ScottAina NiemetzVijay Ganesh Publisher Correction 14 August 2023 Pages: 799 - 800
A compositional framework for algebraic quantitative online monitoring over continuous-time signals Konstantinos MamourasAgnishom ChattopadhyayZhifu Wang General 05 October 2023 Pages: 557 - 573
Predicate monitoring in distributed cyber-physical systems Anik MomtazNiraj BasnetBorzoo Bonakdarpour General 02 November 2023 Pages: 541 - 556
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs Vimuth FernandoKeyur JoshiSasa Misailovic General 02 November 2023 Pages: 521 - 539
Introduction to the Special Issue on Runtime Verification Lu FengDana Fisman General 03 November 2023 Pages: 519 - 520
Introduction to the Special Issue on Runtime Verification Jyotirmoy DeshmukhDejan Ničković General Open access 02 November 2023 Pages: 427 - 429
Monitoring with verified guarantees Jan BaumeisterJohann C. DauerSebastian Schirmer General Open access 11 July 2023 Pages: 593 - 616
Program analysis using empirical abstraction Vivian M. HoChris AlvinBrian Peterson General 06 July 2023 Pages: 431 - 452
Into the unknown: active monitoring of neural networks (extended version) Konstantin KueffnerAnna LukinaThomas A. Henzinger General Open access 30 June 2023 Pages: 575 - 592
On the applicability of hybrid systems safety verification tools from the automotive perspective Stefan SchuppErika ÁbrahámZeng Qiu General Open access 30 June 2023 Pages: 49 - 78
Efficient and expressive bytecode-level instrumentation for Java programs Chukri SoueidiMarius MonnierYliès Falcone General 29 June 2023 Pages: 453 - 479
Concurrent runtime verification of data rich events Nastaran ShafieiKlaus HavelundPeter Mehlitz General 26 June 2023 Pages: 481 - 501
MoonLight: a lightweight tool for monitoring spatio-temporal properties Laura NenziEzio BartocciMichele Loreti General Open access 22 June 2023 Pages: 503 - 517
Knowledge representation of the state of a cloud-native application Joanna KosińskaGrzegorz BrotońMaciej Tobiasz General Open access 22 June 2023 Pages: 21 - 32
Algebraically explainable controllers: decision trees and support vector machines join forces Florian JüngermannJan KřetínskýMaximilian Weininger EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION Open access 10 August 2023 Pages: 249 - 266