Towards language-to-language transformation Dawid KopetzkiMichael LybecaitBernhard Steffen Foundation for Mastering Change Open access 18 June 2021 Pages: 655 - 677
On methods and tools for rigorous system design Simon BliudzePanagiotis KatsarosMartin Wirsing General Open access 22 June 2021 Pages: 679 - 684
Specifying and verifying usage control models and policies in TLA\(^+\) Christos GrompanopoulosAntonios GouglidisAnastasia Mavridou General 08 January 2021 Pages: 685 - 700
Programming dynamic reconfigurable systems Rim El BallouliSaddek BensalemJoseph Sifakis General 05 January 2021 Pages: 701 - 719
Model-based optimization of ARINC-653 partition scheduling Pujie HanZhengjun ZhaiUlrik Nyman General Open access 07 February 2021 Pages: 721 - 740
Correct program parallelisations S. BlomS. DarabiM. Safari General Open access 14 February 2021 Pages: 741 - 763
Energy characterization of IoT systems through design aspect monitoring Alexios LekidisPanagiotis Katsaros General 13 January 2021 Pages: 765 - 781
CPSDebug: Automatic failure explanation in CPS models Ezio BartocciNiveditha ManjunathDejan Ničković General Open access 08 January 2021 Pages: 783 - 796
Verification of randomized consensus algorithms under round-rigid adversaries Nathalie BertrandIgor KonnovJosef Widder General Open access 02 February 2021 Pages: 797 - 821
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries Nathalie BertrandIgor KonnovJosef Widder Correction Open access 30 May 2021 Pages: 823 - 823
Correction to: An integrated specification and verification technique for highly concurrent data structures Parosh Aziz AbdullaFrédéric HazizaAhmed Rezine Correction 31 May 2021 Pages: 825 - 825
Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety Jan-David QueselStefan MitschAndré Platzer Correction 01 October 2021 Pages: 827 - 827