1. Towards language-to-language transformation

   • Dawid Kopetzki
   • Michael Lybecait
   • Bernhard Steffen

   Foundation for Mastering Change Open access 18 June 2021 Pages: 655 - 677

   

2. On methods and tools for rigorous system design

   • Simon Bliudze
   • Panagiotis Katsaros
   • Martin Wirsing

   General Open access 22 June 2021 Pages: 679 - 684

   

3. Specifying and verifying usage control models and policies in TLA\(^+\)

   • Christos Grompanopoulos
   • Antonios Gouglidis
   • Anastasia Mavridou

   General 08 January 2021 Pages: 685 - 700

   

4. Programming dynamic reconfigurable systems

   • Rim El Ballouli
   • Saddek Bensalem
   • Joseph Sifakis

   General 05 January 2021 Pages: 701 - 719

   

5. Model-based optimization of ARINC-653 partition scheduling

   • Pujie Han
   • Zhengjun Zhai
   • Ulrik Nyman

   General Open access 07 February 2021 Pages: 721 - 740

   

6. Correct program parallelisations

   • S. Blom
   • S. Darabi
   • M. Safari

   General Open access 14 February 2021 Pages: 741 - 763

   

7. Energy characterization of IoT systems through design aspect monitoring

   • Alexios Lekidis
   • Panagiotis Katsaros

   General 13 January 2021 Pages: 765 - 781

   

8. CPSDebug: Automatic failure explanation in CPS models

   • Ezio Bartocci
   • Niveditha Manjunath
   • Dejan Ničković

   General Open access 08 January 2021 Pages: 783 - 796

   

9. Verification of randomized consensus algorithms under round-rigid adversaries

   • Nathalie Bertrand
   • Igor Konnov
   • Josef Widder

   General Open access 02 February 2021 Pages: 797 - 821

   

10. Correction to: Verification of randomized consensus algorithms under round-rigid adversaries

    • Nathalie Bertrand
    • Igor Konnov
    • Josef Widder

    Correction Open access 30 May 2021 Pages: 823 - 823

11. Correction to: An integrated specification and verification technique for highly concurrent data structures

    • Parosh Aziz Abdulla
    • Frédéric Haziza
    • Ahmed Rezine

    Correction 31 May 2021 Pages: 825 - 825

12. Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety

    • Jan-David Quesel
    • Stefan Mitsch
    • André Platzer

    Correction 01 October 2021 Pages: 827 - 827