|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Courtney Darville, Peter Höfner, Franc Ivankovic, Adam Pam |
Advanced Models for the OSPF Routing Protocol.  |
MARS@ETAPS  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lina Marsso, Radu Mateescu 0001, Lucie Muller, Wendelin Serwe |
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. |
MARS@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Dubslaff, Bas Luttik (eds.) |
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. |
MARS@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Mazzanti, Dimitri Belli |
Formal Modeling and Initial Analysis of the 4SECURail Case Study. |
MARS@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnd Hartmanns |
An Overview of Modest Models and Tools for Real Stochastic Timed Systems. |
MARS@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer, Sibylle Schupp |
Modeling R3 Needle Steering in Uppaal. |
MARS@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Johnson, David Hyland-Wood, Anders L. Madsen, Kerrie L. Mengersen |
Stateful to Stateless: Modelling Stateless Ethereum. |
MARS@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Max J. Friese, Dirk Nowotka |
Estimating End-to-End Latencies in Automotive Cyber-physical Systems. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös 0001 |
Simulation-based Safety Assessment of High-level Reliability Models. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Mateescu 0001, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin |
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Hubert Garavel (eds.) |
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Dubslaff, Andrey Morozov 0001, Christel Baier, Klaus Janschek |
Iterative Variable Reordering: Taming Huge System Families. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Antje Rogalla, Sascha Lehmann, Maximilian Neidhardt, Johanna Sprenger, Marcel Bengs, Alexander Schlaefer, Sibylle Schupp |
Synthesizing Strategies for Needle Steering in Gelatin Phantoms. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugues Evrard |
Modeling the Raft Distributed Consensus Protocol in LNT. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Barry, Rob van Glabbeek, Peter Höfner |
Formalising the Optimised Link State Routing Protocol. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Drury, Peter Höfner, Weiyou Wang |
Formal Models of the OSPF Routing Protocol. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bouissou, Shahid Khan 0002, Joost-Pieter Katoen, Pavel Krcál |
Various Ways to Quantify BDMPs. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lina Marsso |
Specifying a Cryptographical Protocol in Lustre and SCADE. |
MARS@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bouissou |
A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Usama Sardar, Osman Hasan |
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Wendelin Serwe |
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta |
Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Mostowski, Thomas Arts, John Hughes 0001 |
Modelling of Autosar Libraries for Large Scale Testing. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob J. van Glabbeek, Peter Höfner |
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Peter Höfner (eds.) |
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe |
Formalizing Memory Accesses and Interrupts. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bugra M. Yildiz, Arend Rensink, Christoph Bockisch, Mehmet Aksit |
A Model-Derivation Framework for Software Analysis. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Garavel, Lina Marsso |
A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shruti Saini, Ansgar Fehnker |
Evaluating the Stream Control Transmission Protocol Using Uppaal. |
MARS@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license