July 05, 2016 conference-paper The Probabilistic Model Checking Landscape DOI: 10.1145/2933575.2934574 OpenAlex Authors 0 Author list not loaded yet. Cited by 29 stored of 159 Search Sort Most cited Newest Oldest Patent citations Title Any typearticle review book-chapter conference-paper preprint dissertation book dataset other Any fieldAgricultural and Biological Sciences Arts and Humanities Biochemistry, Genetics and Molecular Biology Business, Management and Accounting Chemical Engineering Chemistry Computer Science Decision Sciences Dentistry Earth and Planetary Sciences Economics, Econometrics and Finance Energy Engineering Environmental Science Health Professions Immunology and Microbiology Materials Science Mathematics Medicine Neuroscience Nursing Pharmacology, Toxicology and Pharmaceutics Physics and Astronomy Psychology Social Sciences Veterinary Open access Probabilistic Model Checking Taken by Storm 2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 0 citations Numerical Errors in Quantitative System Analysis With Decision Diagrams 2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 2 citations Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate 2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access 3 citations Riding the Storm in a Probabilistic Model Checking Landscape 2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 2 citations Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions 2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access 11 citations Natural Strategic Ability in Stochastic Multi-Agent Systems 2024 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access 1 citations Parameter synthesis for Markov models: covering the parameter space 2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access 20 citations Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs 2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access 11 citations Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains 2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access 2 citations Automatically Finding the Right Probabilities in Bayesian Networks 2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access 8 citations Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks 2023 International Joint Conference on Artificial Intelligence conference-paper Computer Science Bayesian Modeling and Causal Inference Open access 0 citations Development Use Cases for Semantics-Driven Modeling Languages 2023 Communications of the ACM article Computer Science Model-Driven Software Engineering Techniques Open access 10 citations Lower Bounds for Possibly Divergent Probabilistic Programs 2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access 14 citations A Compositional Semantics of Boolean-Logic Driven Markov Processes 2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification 3 citations DFT modeling approach for operational risk assessment of railway infrastructure 2022 International Journal on Software Tools for Technology Transfer article Decision Sciences Risk and Safety Analysis Open access 20 citations Parameter Synthesis in Markov Models: A Gentle Survey 2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 15 citations Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs 2021 IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) conference-paper Engineering Reliability and Maintenance Optimization 1 citations The probabilistic model checker Storm 2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access 246 citations Model Checking the Multi-Formalism Language FIGARO 2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification 7 citations Counterexample-guided inductive synthesis for probabilistic systems 2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access 7 citations 1–20 of 29 Page 1 / 2 Next → References 0