default search action

combined dblp search
author search
venue search
publication search

ask others

4th MARS@ETAPS 2020: Dublin, Ireland

> 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
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-12403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-12403
Ansgar Fehnker, Hubert Garavel:
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. EPTCS 316, 2020
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13283
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13283
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcál:
Various Ways to Quantify BDMPs. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13284
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13284
Hugues Evrard:
Modeling the Raft Distributed Consensus Protocol in LNT. 15-39
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13285
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13285
Ryan Barry, Rob van Glabbeek, Peter Höfner:
Formalising the Optimised Link State Routing Protocol. 40-71
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13286
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13286
Jack Drury, Peter Höfner, Weiyou Wang:
Formal Models of the OSPF Routing Protocol. 72-120
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13287
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13287
Clemens Dubslaff, Andrey Morozov, Christel Baier, Klaus Janschek:
Iterative Variable Reordering: Taming Huge System Families. 121-133
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13288
Max J. Friese, Dirk Nowotka:
Estimating End-to-End Latencies in Automotive Cyber-physical Systems. 134-148
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-14212
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14212
Lina Marsso:
Specifying a Cryptographical Protocol in Lustre and SCADE. 149-199
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13289
Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin:
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. 200-239
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13290
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13290
Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös:
Simulation-based Safety Assessment of High-level Reliability Models. 240-260
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-13292
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-13292
Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger, Marcel Bengs, Alexander Schlaefer, Sibylle Schupp:
Synthesizing Strategies for Needle Steering in Gelatin Phantoms. 261-274

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.