default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th MARS 2022: Munich, Germany
- Clemens Dubslaff, Bas Luttik:
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 355, 2022 - Arnd Hartmanns:
An Overview of Modest Models and Tools for Real Stochastic Timed Systems. 1-12 - Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam:
Advanced Models for the OSPF Routing Protocol. 13-26 - Sandra Johnson, David Hyland-Wood, Anders L. Madsen
, Kerrie L. Mengersen:
Stateful to Stateless: Modelling Stateless Ethereum. 27-39 - Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp:
Modeling R3 Needle Steering in Uppaal. 40-59 - Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe:
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. 60-117 - Franco Mazzanti, Dimitri Belli:
Formal Modeling and Initial Analysis of the 4SECURail Case Study. 118-144
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.
last updated on 2026-07-30 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
