MARS@ETAPS

Keyphrases

Publications

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

Max J. Friese, Dirk Nowotka
Estimating End-to-End Latencies in Automotive Cyber-physical Systems. MARS@ETAPS (2020)
Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
Simulation-based Safety Assessment of High-level Reliability Models. MARS@ETAPS (2020)
Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. MARS@ETAPS (2020)
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek
Iterative Variable Reordering: Taming Huge System Families. MARS@ETAPS (2020)
Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger, Marcel Bengs, Alexander Schlaefer, Sibylle Schupp
Synthesizing Strategies for Needle Steering in Gelatin Phantoms. MARS@ETAPS (2020)
Hugues Evrard
Modeling the Raft Distributed Consensus Protocol in LNT. MARS@ETAPS (2020)
Ryan Barry, Rob van Glabbeek, Peter Höfner
Formalising the Optimised Link State Routing Protocol. MARS@ETAPS (2020)
Jack Drury, Peter Höfner, Weiyou Wang
Formal Models of the OSPF Routing Protocol. MARS@ETAPS (2020)
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál
Various Ways to Quantify BDMPs. MARS@ETAPS (2020)
Lina Marsso
Specifying a Cryptographical Protocol in Lustre and SCADE. MARS@ETAPS (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)