MARS@ETAPS

Keyphrases

Publications

2024

Kevin H. J. Jilissen, Peter Dieleman, Jan Friso Groote
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment. MARS@ETAPS (2024)
Philippe Ledent, Radu Mateescu, Wendelin Serwe
Testing Resource Isolation for System-on-Chip Architectures. MARS@ETAPS (2024)
Hubert Garavel, Bas Luttik
Four Formal Models of IEEE 1394 Link Layer. MARS@ETAPS (2024)
Parth Bora, Pham Duc Minh, Tim A. C. Willemse
Modelling the Raft Distributed Consensus Protocol in mCRL2. MARS@ETAPS (2024)
Lars Beckers, Stefan Gerlach, Ole Lübke, Alexander Schlaefer, Sibylle Schupp
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy. MARS@ETAPS (2024)
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi, Alessandro Papadopoulos, Marjan Sirjani
Formal Verification of Consistency for Systems with Redundant Controllers. MARS@ETAPS (2024)

volume 399, 2024

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. MARS@ETAPS 399 (2024)

2022

volume 355, 2022

Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. MARS@ETAPS 355 (2022)

2020

volume 316, 2020

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. MARS@ETAPS 316 (2020)

2017

volume 244, 2017

Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. MARS@ETAPS 244 (2017)