Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
OxiDD: A Safe, Concurrent, Modular, and Performant Decision..:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
3
Matching Distributions Under Structural Constraints:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science ,
6
Configurable-by-Construction Runtime Monitoring:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7
MoGym: Using Formal Models for Training and Verifying Decis..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
8
Momba: JANI Meets Python:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
RTLola on Board: Testing Real Driving Emissions on your Pho..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
10
Towards Dynamic Dependable Systems Through Evidence-Based C..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science ,
11
Components in Probabilistic Systems: Suitable by Constructi..:
, In:
?
2019 IEEE 27th International Requirements Engineering Conference (RE) ,
12
Explainability as a Non-Functional Requirement:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
13