E-LIB Suche - Ergebnisse für: Olderog, Ernst-Rüdiger

1

Concurrent Hyperproperties:

, In: Theories of Programming and Formal Methods; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Olderog, Ernst-Rüdiger - p. 211-231 , 2023

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

2

Time for Traffic Manoeuvres:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

Bischopink, Christopher ; Olderog, Ernst-Rüdiger - p. 163-179 , 2023

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

3

The Synthesis Problem for Repeatedly Communicating Petri Ga..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Hannibal, Paul ; Olderog, Ernst-Rüdiger - p. 236-257 , 2022

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

4

Spatial and Timing Properties in Highway Traffic:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Bischopink, Christopher ; Olderog, Ernst-Rüdiger - p. 114-131 , 2022

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

5

Model Checking, Synthesis, and Learning:

, In: Model Checking, Synthesis, and Learning; Lecture Notes in Computer Science,

Olderog, Ernst-Rüdiger ; Steffen, Bernhard ; Yi, Wang - p. 1-7 , 2021

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

6

High-Level Representation of Benchmark Families for Petri G..:

, In: Model Checking, Synthesis, and Learning; Lecture Notes in Computer Science,

Gieseking, Manuel ; Olderog, Ernst-Rüdiger - p. 115-137 , 2021

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

7

Model Checking, Synthesis, and Learning: Essays Dedicated t..

Theoretical Computer Science and General Issues, 13030

Olderog, Ernst-Rüdiger ; Steffen, Bernhard ; Yi, Wang - 1st ed. 2021 . , 2021

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

8

Assessing the Success and Impact of Hoare's Logic:

, In: Theories of Programming,

Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger - p. 41-76 , 2021

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

9

Correction to: Solving high-level Petri games:

Gieseking, Manuel ; Olderog, Ernst-Rüdiger ; Würdemann, Nick
Acta Informatica. 58 (2021) 6 - p. 675-676 , 2021

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

10

Model Checking Branching Properties on Petri Nets with Tran..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Gieseking, Manuel ; Hecking-Harbusch, Jesko. - p. 394-410 , 2020

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

11

Solving high-level Petri games:

Gieseking, Manuel ; Olderog, Ernst-Rüdiger ; Würdemann, Nick
Acta Informatica. 57 (2020) 3-5 - p. 591-626 , 2020

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

12

AdamMC: A Model Checker for Petri Nets with Transits agains..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Gieseking, Manuel ; Hecking-Harbusch, Jesko. - p. 64-76 , 2020

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

13

Fifty years of Hoare's logic:

Apt, Krzysztof R. ; Olderog, Ernst-Rüdiger
Formal Aspects of Computing. 31 (2019) 6 - p. 751-807 , 2019

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

14

Model Checking Data Flows in Concurrent Network Updates:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Gieseking, Manuel ; Hecking-Harbusch, Jesko. - p. 515-533 , 2019

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

15

Space for Traffic Manoeuvres: An Overview:

, In: Lecture Notes in Computer Science; Symposium on Real-Time and Hybrid Systems,

Olderog, Ernst-Rüdiger - p. 211-230 , 2018

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