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

Exemplare: Zentrale; TB BHV; TB Technik;

2

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/..

3

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/..

4

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/..

5

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

Körner, Philipp , 2023

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

6

New Applications and Techniques for Constraint Programming ..:

Schmidt, Joshua , 2023

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

7

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/..

8

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/..

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

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/..

11

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/..

12

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/..

13

Validation by Abstraction and Refinement:

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

Stock, Sebastian ; Vu, Fabian ; Geleßus, David... - p. 160-178 , 2023

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

14

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/..

15

Performance Fuzzing with Reinforcement-Learning and Well-De..:

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

Dunkelau, Jannik ; Leuschel, Michael - p. 237-256 , 2023

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