E-LIB Suche - Ergebnisse für: Kohl, Maximilian A.

Biewer, Sebastian ; Finkbeiner, Bernd ; Hermanns, Holger...
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 205-218 , 2023

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

6

Configurable-by-Construction Runtime Monitoring:

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

Dubslaff, Clemens ; Köhl, Maximilian A. - p. 220-241 , 2022

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

7

MoGym: Using Formal Models for Training and Verifying Decis..:

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

Gros, Timo P. ; Hermanns, Holger ; Hoffmann, Jörg... - p. 430-443 , 2022

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

8

Momba: JANI Meets Python:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Köhl, Maximilian A. ; Klauck, Michaela ; Hermanns, Holger - p. 389-398 , 2021

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

9

RTLola on Board: Testing Real Driving Emissions on your Pho..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Biewer, Sebastian ; Finkbeiner, Bernd ; Hermanns, Holger... - p. 365-372 , 2021

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

10

Towards Dynamic Dependable Systems Through Evidence-Based C..:

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

Faqeh, Rasha ; Fetzer, Christof ; Hermanns, Holger... - p. 416-439 , 2020

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

11

Components in Probabilistic Systems: Suitable by Constructi..:

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

Baier, Christel ; Dubslaff, Clemens ; Hermanns, Holger... - p. 240-261 , 2020

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

12

Explainability as a Non-Functional Requirement:

, In: 2019 IEEE 27th International Requirements Engineering Conference (RE),

Kohl, Maximilian A. ; Baum, Kevin ; Langer, Markus... - p. 363-368 , 2019

Link: https://doi.org/10.1109/..

13

Efficient Monitoring of Real Driving Emissions:

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

Köhl, Maximilian A. ; Hermanns, Holger ; Biewer, Sebastian - p. 299-315 , 2018

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

14

Initiation at AUGUG and GUGUG sequences can lead to transla..:

Kohl, Maximilian P ; Kompatscher, Maria ; Clementi, Nina..
Nucleic Acids Research. 51 (2022) 1 - p. 271-289 , 2022

Link: https://doi.org/10.1093/..

15

Magnetic resonance imaging (MRI) study of jet formation in ..:

Köhl, Maximilian H. ; Lu, Guang ; Third, James R....
Chemical Engineering Science. 97 (2013) - p. 406-412 , 2013

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