JANI: Quantitative Model and Tool Interaction

Lecture notes in computer science

DOI: 10.1007/978-3-662-54580-5_9 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 29 stored of 115

Multi-objective Optimization of Long-run Average and Total Rewards
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

13

citations
Tweaking the Odds in Probabilistic Timed Automata
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

4

citations
ARCH-COMP20 Category Report: Stochastic Models
2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

10

citations
Various Ways to Quantify BDMPs
2020 Electronic Proceedings in Theoretical Computer Science article Decision Sciences Risk and Safety Analysis Open access

5

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

27

citations
Bayesian Inference by Symbolic Model Checking
2020 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

10

citations
A Compositional Semantics for Repairable BDMPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

5

citations
Various Ways to Quantify BDMPs
2020 RWTH Publications (RWTH Aachen) article Decision Sciences Risk and Safety Analysis Open access

3

citations
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

6

citations

JANI: Quantitative Model and Tool Interaction

Authors 0

Cited by 29 stored of 115

References 0