MARS/VPT@ETAPS

Keyphrases

Publications

2018

Robert Glück
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. MARS/VPT@ETAPS (2018)
Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
A Formal TLS Handshake Model in LNT. MARS/VPT@ETAPS (2018)
Hubert Garavel, Lina Marsso
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. MARS/VPT@ETAPS (2018)
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. MARS/VPT@ETAPS (2018)
Franco Mazzanti, Alessio Ferrari
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. MARS/VPT@ETAPS (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT@ETAPS (2018)
Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz
Modeling a Cache Coherence Protocol with the Guarded Action Language. MARS/VPT@ETAPS (2018)

volume 268, 2018

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. MARS/VPT@ETAPS 268 (2018)