default search action

combined dblp search
author search
venue search
publication search

ask others

2nd MARS 2017: Uppsala, Sweden

> Home > Conferences and Workshops > MARS

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/HermannsH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HermannsH17
Holger Hermanns, Peter Höfner:
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SainiF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SainiF17
Shruti Saini, Ansgar Fehnker:
Evaluating the Stream Control Transmission Protocol Using Uppaal. 1-13
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GlabbeekH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GlabbeekH17
Rob J. van Glabbeek, Peter Höfner:
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. 14-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ChaudharyFM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChaudharyFM17
Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta:
Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. 53-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AchermannHCR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AchermannHCR17
Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe:
Formalizing Memory Accesses and Interrupts. 66-116
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TalebiGD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TalebiGD17
Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski:
Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode. 117-128
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GaravelM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GaravelM17
Hubert Garavel, Lina Marsso:
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. 129-183
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MostowskiAH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MostowskiAH17
Wojciech Mostowski, Thomas Arts, John Hughes:
Modelling of Autosar Libraries for Large Scale Testing. 184-199
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Bouissou17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Bouissou17
Marc Bouissou:
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant. 200-216
- view
  authority control:
- export record
  dblp key:
  - journals/corr/YildizRBA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/YildizRBA17
Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit:
A Model-Derivation Framework for Software Analysis. 217-229
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GaravelS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GaravelS17
Hubert Garavel, Wendelin Serwe:
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. 230-270
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SardarH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SardarH17
Muhammad Usama Sardar, Osman Hasan:
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems. 271-282

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.