E-LIB Suche - Ergebnisse für: Leuschel, Michael

1

Compiler

Prinzipien, Techniken und Werkzeuge it informatik

Sethi, Ravi ; Leuschel, Michael ; Aho, Alfred V... - 2., aktualisierte Aufl. [der engl. Ausg.] . , 2008

2

Trace preservation in B and Event-B refinements:

Stock, Sebastian ; Mashkoor, Atif ; Leuschel, Michael.
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100943 , 2024

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

3

Validation of Reinforcement Learning Agents and Safety Shie..:

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

Vu, Fabian ; Dunkelau, Jannik ; Leuschel, Michael - p. 279-297 , 2024

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

4

Rigorous State-Based Methods: 10th International Conference..

Lecture Notes in Computer Science, 14759

Bonfanti, Silvia ; Gargantini, Angelo ; Leuschel, Michael.. - 1st ed. 2024 . , 2024

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

5

Generating interactive documents for domain-specific valida..:

Vu, Fabian ; Happe, Christopher ; Leuschel, Michael
International Journal on Software Tools for Technology Transfer. 26 (2024) 2 - p. 147-168 , 2024

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

6

On Executing State-Based Specifications and Partial Order R..:

Körner, Philipp , 2023

Link: https://nbn-resolving.de..

7

New Applications and Techniques for Constraint Programming ..:

Schmidt, Joshua , 2023

Link: https://nbn-resolving.de..

8

Modeling and Analysis of a Safety-Critical Interactive Syst..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Geleßus, David ; Stock, Sebastian ; Vu, Fabian.. - p. 284-302 , 2023

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

9

ProB: Harnessing the Power of Prolog to Bring Formal Models..:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Leuschel, Michael - p. 239-247 , 2023

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

10

Validation of Formal Models by Interactive Simulation:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Vu, Fabian ; Leuschel, Michael - p. 59-69 , 2023

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

11

Towards Practical Partial Order Reduction for High-Level Fo..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Körner, Philipp ; Leuschel, Michael - p. 72-91 , 2023

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

12

A Formal Model of Train Control with AI-Based Obstacle Dete..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Gruteser, Jan ; Geleßus, David ; Leuschel, Michael.. - p. 128-145 , 2023

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

13

Modelling, Visualisation and Proof of an ETCS Level 3 Movin..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Leuschel, Michael ; Nayeri, Nader - p. 193-210 , 2023

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

14

Smartphone-Based Videonystagmography Using Artificial Intel..:

Reinhardt, Sophia ; Schmidt, Joshua ; Schneider, Jonas...
Current Directions in Biomedical Engineering. 9 (2023) 1 - p. 528-531 , 2023

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

15

Modeling and Verifying an Arrival Manager Using Event-B:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Mammar, Amel ; Leuschel, Michael - p. 321-339 , 2023

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