Articles

1. Certification of avionic software based on machine learning: the case for formal monotony analysis

   • Mélanie Ducoffe
   • Christophe Gabreau
   • Eric Guillaume Vidot

   General 12 March 2024 Pages: 189 - 205

2. Monitoring of spatio-temporal properties with nonlinear SAT solvers

   • André Matos Pedro
   • Tomás Silva
   • Carla Ferreira

   General Open access 22 February 2024 Pages: 169 - 188

3. Formally verifying decompositions of stochastic specifications

   • Anton Hampus
   • Mattias Nyberg

   General Open access 21 February 2024 Pages: 207 - 228

4. Reusable formal models for concurrency and communication in custom real-time operating systems

   • Julius Adelt
   • Julian Gebker
   • Paula Herber

   General Open access 20 February 2024 Pages: 229 - 245

5. Generating interactive documents for domain-specific validation of formal models

   • Fabian Vu
   • Christopher Happe
   • Michael Leuschel

   General Open access 20 February 2024 Pages: 147 - 168

6. Deductive verification of smart contracts with Dafny

   • Franck Cassez
   • Joanne Fuller
   • Horacio Mijail Antón Quiles

   General 20 February 2024 Pages: 131 - 145

7. Debugging convergence problems in probabilistic programs via program representation learning with SixthSense

   • Zixin Huang
   • Saikat Dutta
   • Sasa Misailovic

   General 19 February 2024

8. Formal Methods for Industrial Critical Systems

   • Jan Friso Groote
   • Marieke Huisman

   General Open access 15 February 2024 Pages: 127 - 129

9. Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool

   • Martijn Hendriks
   • Jacques Verriet
   • Twan Basten

   General Open access 08 February 2024 Pages: 101 - 126

10. A process for creating KDM2PSM transformation engines

    • Guisella Angulo
    • Daniel San Martín
    • Valter Vieira de Camargo

    Foundation for Mastering Change 26 January 2024 Pages: 1 - 20

11. A causal, time-independent synchronization pattern for collective adaptive systems

    • Peter Fettke
    • Wolfgang Reisig

    Foundations for Mastering Change Open access 24 November 2023 Pages: 659 - 673

12. A modal approach to conscious social agents

    • Chen Yifeng
    • J. W. Sanders

    Foundations for Mastering Change 14 November 2023 Pages: 707 - 716

13. Rigorous engineering of collective adaptive systems – 2nd special section

    • Martin Wirsing
    • Stefan Jähnichen
    • Rocco De Nicola

    Foundations for Mastering Change Open access 14 November 2023 Pages: 617 - 624

14. Generating adaptation rule-specific neural networks

    • Tomáš Bureš
    • Petr Hnětynka
    • Robert Heinrich

    Foundations for Mastering Change 07 November 2023 Pages: 733 - 746

15. Comparing perfomance abstractions for collective adaptive systems

    • Maurizio Murgia
    • Riccardo Pinciroli
    • Emilio Tuosto

    Foundations for Mastering Change Open access 02 November 2023 Pages: 785 - 798

16. Language support for verifying reconfigurable interacting systems

    • Yehia Abd Alrahman
    • Shaun Azzopardi
    • Nir Piterman

    Foundations for Mastering Change Open access 02 November 2023 Pages: 765 - 784

17. Coordinating and programming multiple ROS-based robots with X-KLAIM

    • Lorenzo Bettini
    • Khalid Bourr
    • Francesco Tiezzi

    Foundations for Mastering Change Open access 02 November 2023 Pages: 747 - 764

18. Machine-learning abstractions for component-based self-optimizing systems

    • Michal Töpfer
    • Milad Abdullah
    • Martin Kruliš

    Foundations for Mastering Change 02 November 2023 Pages: 717 - 731

19. A kinetic approach to investigate the collective dynamics of multi-agent systems

    • Stefania Monica
    • Federico Bergenti
    • Franco Zambonelli

    Foundations for Mastering Change 02 November 2023 Pages: 693 - 705

20. Modelling flocks of birds and colonies of ants from the bottom up

    • Rocco De Nicola
    • Luca Di Stefano
    • Serenella Valiani

    Foundations for Mastering Change Open access 02 November 2023 Pages: 675 - 691

21. A toolchain for strategy synthesis with spatial properties

    • Davide Basile
    • Maurice H. ter Beek
    • Vincenzo Ciancia

    Foundations for Mastering Change Open access 02 November 2023 Pages: 641 - 658

22. Correct by design coordination of autonomous driving systems

    • Marius Bozga
    • Joseph Sifakis

    Foundations for Mastering Change 02 November 2023 Pages: 625 - 639

23. RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics

    • Tomoya Yamaguchi
    • Bardh Hoxha
    • Dejan Ničković

    General 05 October 2023 Pages: 79 - 99

24. Publisher Correction: Algorithm selection for SMT

    • Joseph Scott
    • Aina Niemetz
    • Vijay Ganesh

    Publisher Correction 14 August 2023 Pages: 799 - 800

25. A compositional framework for algebraic quantitative online monitoring over continuous-time signals

    • Konstantinos Mamouras
    • Agnishom Chattopadhyay
    • Zhifu Wang

    General 05 October 2023 Pages: 557 - 573

26. Predicate monitoring in distributed cyber-physical systems

    • Anik Momtaz
    • Niraj Basnet
    • Borzoo Bonakdarpour

    General 02 November 2023 Pages: 541 - 556

27. Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs

    • Vimuth Fernando
    • Keyur Joshi
    • Sasa Misailovic

    General 02 November 2023 Pages: 521 - 539

28. Introduction to the Special Issue on Runtime Verification

    • Lu Feng
    • Dana Fisman

    General 03 November 2023 Pages: 519 - 520

29. Introduction to the Special Issue on Runtime Verification

    • Jyotirmoy Deshmukh
    • Dejan Ničković

    General Open access 02 November 2023 Pages: 427 - 429

30. Monitoring with verified guarantees

    • Jan Baumeister
    • Johann C. Dauer
    • Sebastian Schirmer

    General Open access 11 July 2023 Pages: 593 - 616

31. Program analysis using empirical abstraction

    • Vivian M. Ho
    • Chris Alvin
    • Brian Peterson

    General 06 July 2023 Pages: 431 - 452

32. Into the unknown: active monitoring of neural networks (extended version)

    • Konstantin Kueffner
    • Anna Lukina
    • Thomas A. Henzinger

    General Open access 30 June 2023 Pages: 575 - 592

33. On the applicability of hybrid systems safety verification tools from the automotive perspective

    • Stefan Schupp
    • Erika Ábrahám
    • Zeng Qiu

    General Open access 30 June 2023 Pages: 49 - 78

34. Efficient and expressive bytecode-level instrumentation for Java programs

    • Chukri Soueidi
    • Marius Monnier
    • Yliès Falcone

    General 29 June 2023 Pages: 453 - 479

35. Concurrent runtime verification of data rich events

    • Nastaran Shafiei
    • Klaus Havelund
    • Peter Mehlitz

    General 26 June 2023 Pages: 481 - 501

36. MoonLight: a lightweight tool for monitoring spatio-temporal properties

    • Laura Nenzi
    • Ezio Bartocci
    • Michele Loreti

    General Open access 22 June 2023 Pages: 503 - 517

37. Programming event monitors

    • Klaus Havelund
    • Gerard J. Holzmann

    General 22 June 2023 Pages: 33 - 47

38. Knowledge representation of the state of a cloud-native application

    • Joanna Kosińska
    • Grzegorz Brotoń
    • Maciej Tobiasz

    General Open access 22 June 2023 Pages: 21 - 32

39. Algebraically explainable controllers: decision trees and support vector machines join forces

    • Florian Jüngermann
    • Jan Křetínský
    • Maximilian Weininger

    EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION Open access 10 August 2023 Pages: 249 - 266

40. Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)

    • Nils Jansen
    • Gerrit Nolte
    • Bernhard Steffen

    Explanation Paradigms Leveraging Analytic Intuition Open access 01 September 2023 Pages: 241 - 247

41. Decision-making under uncertainty: beyond probabilities

    • Thom Badings
    • Thiago D. Simão
    • Nils Jansen

    Explanation Paradigms Leveraging Analytic Intuition Open access 30 May 2023 Pages: 375 - 391

42. First three years of the international verification of neural networks competition (VNN-COMP)

    • Christopher Brix
    • Mark Niklas Müller
    • Changliu Liu

    Explanation Paradigms Leveraging Analytic Intuition Open access 30 May 2023 Pages: 329 - 339

43. Towards rigorous understanding of neural networks via semantics-preserving transformations

    • Maximilian Schlüter
    • Gerrit Nolte
    • Bernhard Steffen

    Explanation Paradigms Leveraging Analytic Intuition Open access 30 May 2023 Pages: 301 - 327

44. Forest GUMP: a tool for verification and explanation

    • Alnis Murtovi
    • Alexander Bainczyk
    • Bernhard Steffen

    EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION Open access 30 May 2023 Pages: 287 - 299

45. The power of typed affine decision structures: a case study

    • Gerrit Nolte
    • Maximilian Schlüter
    • Bernhard Steffen

    EXPLANATION PARADIGMS LEVERAGING ANALYTIC INTUITION Open access 21 April 2023 Pages: 355 - 374

    

46. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

    • Rosa Abbasi
    • Jonas Schiffl
    • Wolfgang Ahrendt

    General Open access 08 March 2023 Pages: 185 - 204

    

47. Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

    • Yong Kiam Tan
    • Marijn J. H. Heule
    • Magnus O. Myreen

    General Open access 27 February 2023 Pages: 167 - 184

    

48. Introduction to the special issue for SPIN 2021

    • Alfons Laarman
    • Ana Sokolova

    General Open access 25 February 2023 Pages: 75 - 76

49. Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021

    • Peter Gjøl Jensen
    • Thomas Neele

    General Open access 17 February 2023 Pages: 129 - 131

50. Algorithm selection for SMT

    • Joseph Scott
    • Aina Niemetz
    • Vijay Ganesh

    General 15 February 2023 Pages: 219 - 239