Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

MARS/VPT@ETAPS 2018: Thessaloniki, Greece

> Home > Conferences and Workshops > VPT
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-08668
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-08668
John P. Gallagher, Rob van Glabbeek, Wendelin Serwe:
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. EPTCS 268, 2018

MARS'18

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10319
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10319
Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa:
A Formal TLS Handshake Model in LNT. 1-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10322
Hubert Garavel, Lina Marsso:
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm. 41-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10323
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10323
Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz:
Modeling a Cache Coherence Protocol with the Guarded Action Language. 88-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10324
Franco Mazzanti, Alessio Ferrari:
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. 104-149
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-11050
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-11050
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. 150-168

VPT'18

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10327
Robert Glück:
An Experiment in Ping-Pong Protocol Verification by Nondeterministic Pushdown Automata. 169-184
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10328
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. 185-199

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.