E-LIB Suche - Ergebnisse für: Merz, Stephan

1

Voerkel, Paul; Uphoff, Dörthe; Gruhn, Dorit Heike (Hrsg.): ..:

Merz, Stefan
Informationen Deutsch als Fremdsprache. 51 (2024) 2-3 - p. 258-262 , 2024

Link: https://doi.org/10.1515/..

2

Towards an Automatic Proof of the Bakery Algorithm:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Goel, Aman ; Merz, Stephan ; Sakallah, Karem A. - p. 21-28 , 2023

Link: https://doi.org/10.1007/..

3

Evaluative audiometry after cochlear implant provision. Ger..:

Dziemba, Oliver C. ; Merz, Stephan ; Hocke, Thomas
HNO. 71 (2023) 10 - p. 669-677 , 2023

Link: https://doi.org/10.1007/..

4

Extending PlusCal for Modeling Distributed Algorithms:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Cirstea, Horatiu ; Merz, Stephan - p. 321-340 , 2023

Link: https://doi.org/10.1007/..

5

Synchronization modulo P in dynamic networks:

Penet de Monterno, Louis ; Charron-Bost, Bernadette ; Merz, Stephan
Theoretical Computer Science. 942 (2023) - p. 200-212 , 2023

Link: https://doi.org/10.1016/..

6

Evaluative audiometry after cochlear implant provision; Zur..:

Dziemba, Oliver C. ; Merz, Stephan ; Hocke, Thomas
HNO. 72 (2023) S1 - p. 56-62 , 2023

Link: https://doi.org/10.1007/..

7

Specification and Verification with the TLA+ Trifecta: TLC,..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Konnov, Igor ; Kuppe, Markus ; Merz, Stephan - p. 88-105 , 2022

Link: https://doi.org/10.1007/..

8

Prophecy Made Simple:

Lamport, Leslie ; Merz, Stephan
ACM Transactions on Programming Languages and Systems (TOPLAS). 44 (2022) 2 - p. 1-27 , 2022

Link: https://dl.acm.org/doi/1..

9

Prophecy Made Simple:

Lamport, Leslie ; Merz, Stephan
ACM Transactions on Programming Languages and Systems. 44 (2022) 2 - p. 1-27 , 2022

Link: https://doi.org/10.1145/..

10

Die rheinland-pfälzische Landtagswahl vom 14. März 2021: Po..:

Heinrich, Roberto ; Merz, Stefan ; Simon, Anja Miriam
Zeitschrift für Parlamentsfragen. 52 (2021) 3 - p. 481-499 , 2021

Link: https://www.jstor.org/st..

11

Die rheinland-pfälzische Landtagswahl vom 14. März 2021: Po..:

Heinrich, Roberto ; Merz, Stefan ; Simon, Anja Miriam
Zeitschrift für Parlamentsfragen. 52 (2021) 3 - p. 481-499 , 2021

Link: https://doi.org/10.5771/..

12

Synchronization Modulo k in Dynamic Networks:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,

de Monterno, Louis Penet ; Charron-Bost, Bernadette ; Merz, Stephan - p. 425-439 , 2021

Link: https://doi.org/10.1007/..

13

A machine-checked correctness proof for Pastry:

Azmy, Noran ; Merz, Stephan ; Weidenbach, Christoph
Science of Computer Programming. 158 (2018) - p. 64-80 , 2018

Link: https://doi.org/10.1016/..

14

Selected Extended Papers of ITP 2016: Preface:

Blanchette, Jasmin Christian ; Merz, Stephan
Journal of Automated Reasoning. 62 (2018) 2 - p. 169-170 , 2018

Link: https://doi.org/10.1007/..

15

Encoding TLA+ into unsorted and many-sorted first-order log..:

Merz, Stephan ; Vanzetto, Hernán
Science of Computer Programming. 158 (2018) - p. 3-20 , 2018

Link: https://doi.org/10.1016/..