Comparative Branching-Time Semantics. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Verena Wolf 001 (CONCUR, 2003)

Testing Theory for Probabilistic Systems. - Verena Wolf 001 (Model-Based Testing of Reactive Systems, 2004)

Bisimulation and Simulation Relations for Markov Chains. - Christel Baier; Holger Hermanns; Joost-Pieter Katoen; Verena Wolf 001 (APC 25, 2005)

Trace Machines for Observing Continuous-Time Markov Chains. - Verena Wolf 001; Christel Baier; Mila E. Majster-Cederbaum (QAPL, 2005)

Comparative branching-time semantics for Markov chains. - Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Verena Wolf 001 (Inf. Comput., 2005)

A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. - Hauke Busch; Werner Sandmann; Verena Wolf 001 (CMSB, 2006)

Stochastic Reasoning About Channel-Based Component Connectors. - Christel Baier; Verena Wolf 001 (COORDINATION, 2006)

Don't Know in Probabilistic Systems. - Harald Fecher; Martin Leucker; Verena Wolf 001 (SPIN, 2006)

Modelling of Biochemical Reactions by Stochastic Automata Networks. - Verena Wolf 001 (MeCBIC@ICALP, 2006)

Trace Semantics for Stochastic Systems with Nondeterminism. - Verena Wolf 001; Christel Baier; Mila E. Majster-Cederbaum (QAPL, 2006)

Interaction Models for Biochemical Reactions. - Mila E. Majster-Cederbaum; Nils Semmelrock; Verena Wolf 001 (BIOCOMP, 2007)

Three-Valued Abstraction for Continuous-Time Markov Chains. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf 001 (CAV, 2007)

Abstraction for Stochastic Systems by Erlang's Method of Stages. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf 001 (CONCUR, 2008)

Computational Probability for Systems Biology. - Werner Sandmann; Verena Wolf 001 (FMSB, 2008)

Equivalences on Phase Type Processes - Verena Wolf 001 (2008)

Sliding Window Abstraction for Infinite Markov Chains. - Thomas A. Henzinger; Maria Mateescu; Verena Wolf 001 (CAV, 2009)

Approximation of Event Probabilities in Noisy Cellular Processes. - Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf 001 (CMSB, 2009)

Formalisms for Specifying Markovian Population Models. - Thomas A. Henzinger; Barbara Jobstmann; Verena Wolf 001 (RP, 2009)

Hybrid numerical solution of the chemical master equation. - Thomas A. Henzinger; Linar Mikeev; Maria Mateescu; Verena Wolf 001 (CMSB, 2010)

On the Numerical Analysis of Stochastic Lotka-Volterra Models. - Tugrul Dayar; Linar Mikeev; Verena Wolf 001 (IMCSIT, 2010)

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. - Frédéric Didier; Thomas A. Henzinger; Maria Mateescu; Verena Wolf 001 (QEST, 2010)

Solving the chemical master equation using sliding windows. - Verena Wolf 001; Rushil Goel; Maria Mateescu; Thomas A. Henzinger (BMC Syst. Biol., 2010)

Parameter Identification for Markov Models of Biochemical Reactions. - Aleksandr Andreychenko; Linar Mikeev; David Spieler; Verena Wolf 001 (CAV, 2011)

SHAVE: stochastic hybrid analysis of markov population models. - Maksim Lapin; Linar Mikeev; Verena Wolf 001 (HSCC, 2011)

Efficient calculation of rare event probabilities in Markovian queueing networks. - Linar Mikeev; Werner Sandmann; Verena Wolf 001 (VALUETOOLS, 2011)

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models - Aleksandr Andreychenko; Pepijn Crouzen; Verena Wolf 001 (QAPL, 2011)

Bounding the equilibrium distribution of Markov population models. - Tugrul Dayar; Holger Hermanns; David Spieler; Verena Wolf 001 (Numer. Linear Algebra Appl., 2011)

Parameter estimation for stochastic hybrid models of biochemical reaction networks. - Linar Mikeev; Verena Wolf 001 (HSCC, 2012)

Approximate maximum likelihood estimation for stochastic chemical kinetics. - Aleksandr Andreychenko; Linar Mikeev; David Spieler; Verena Wolf 001 (EURASIP J. Bioinform. Syst. Biol., 2012)

Three-valued abstraction for probabilistic systems. - Joost-Pieter Katoen; Daniel Klink; Martin Leucker; Verena Wolf 001 (J. Log. Algebraic Methods Program., 2012)

Quasi Product Form Approximation for Markov Models of Reaction Networks. - Alessio Angius; András Horváth; Verena Wolf 001 (Trans. Comp. Sys. Biology, 2012)

Approximate Transient Analysis of Queuing Networks by Quasi Product Forms. - Alessio Angius; András Horváth; Verena Wolf 001 (ASMTA, 2013)

Efficient Steady State Analysis of Multimodal Markov Chains. - David Spieler; Verena Wolf 001 (ASMTA, 2013)

Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems. - Linar Mikeev; Werner Sandmann; Verena Wolf 001 (CMSB, 2013)

On-the-fly verification and optimization of DTA-properties for large Markov chains. - Linar Mikeev; Martin R. Neuhäußer; David Spieler; Verena Wolf 001 (Formal Methods Syst. Des., 2013)

Optimal Observation Time Points in Stochastic Chemical Kinetics. - Charalampos Kyriakopoulos; Verena Wolf 001 (HSB, 2014)

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. - Christoph Bock; Luca Bortolussi; Thilo Krüger; Linar Mikeev; Verena Wolf 001 (HSB, 2015)

Rule-based modelling and simulation of drug-administration policies. - Luca Bortolussi; Thilo Krüger; Thorsten Lehr; Verena Wolf 001 (SpringSim (MSM), 2015)

Model Reconstruction for Moment-Based Stochastic Chemical Kinetics. - Alexandr Andreychenko; Linar Mikeev; Verena Wolf 001 (ACM Trans. Model. Comput. Simul., 2015)

Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. - Michael Backenköhler; Luca Bortolussi; Verena Wolf 001 (CMSB, 2016)

Hybrid Stochastic Simulation of Rule-Based Polymerization Models. - Thilo Krüger; Verena Wolf 001 (HSB, 2016)

Generalized method of moments for estimating parameters of stochastic reaction networks. - Alexander Lück; Verena Wolf 001 (BMC Syst. Biol., 2016)

The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach. - Pascal Giehr; Charalampos Kyriakopoulos; Gabriella Ficz; Verena Wolf 001; Jörn Walter (PLoS Comput. Biol., 2016)

A Stochastic Model for the Formation of Spatial Methylation Patterns. - Alexander Lück; Pascal Giehr; Jörn Walter; Verena Wolf 001 (CMSB, 2017)

Student Performance Prediction and Optimal Course Selection: An MDP Approach. - Michael Backenköhler; Verena Wolf 001 (SEFM Workshops, 2017)

H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data. - Charalampos Kyriakopoulos; Pascal Giehr; Verena Wolf 001 (Bioinform., 2017)

Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes. - Charalampos Kyriakopoulos; Gerrit Grossmann; Verena Wolf 001; Luca Bortolussi (CoRR, 2017)

Data-Driven Approach Towards a Personalized Curriculum. - Michael Backenköhler; Felix Scherzinger; Adish Singla; Verena Wolf 001 (EDM, 2018)

Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. - Gerrit Großmann; Charalampos Kyriakopoulos; Luca Bortolussi; Verena Wolf 001 (QEST, 2018)

Calliope mini. - Kerstin Reese; Verena Wolf 001 (LOG IN, 2018)

Calliope mini. - Pascal Schmidt; Anselm Lambert; Kerstin Reese; Verena Wolf 001 (LOG IN, 2018)

Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium. - Michael Backenköhler; Luca Bortolussi; Verena Wolf 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Simulating the Large-Scale Erosion of Genomic Privacy Over Time. - Michael Backes 001; Pascal Berrang; Mathias Humbert; Xiaoyu Shen 001; Verena Wolf 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

Control Variates for Stochastic Simulation of Chemical Reaction Networks. - Michael Backenköhler; Luca Bortolussi; Verena Wolf 001 (CMSB, 2019)

Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. - Michael Backenköhler; Luca Bortolussi; Verena Wolf 001 (CMSB, 2019)

Rejection-Based Simulation of Non-Markovian Agents on Complex Networks. - Gerrit Großmann; Luca Bortolussi; Verena Wolf 001 (COMPLEX NETWORKS (1), 2019)

Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks. - Gerrit Großmann; Verena Wolf 001 (HSB, 2019)

A Hybrid HMM Approach for the Dynamics of DNA Methylation. - Charalampos Kyriakopoulos; Pascal Giehr; Alexander Lück; Jörn Walter; Verena Wolf 001 (HSB, 2019)

Informatikunterricht in der Grundschule? - Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini. - Kevin Baum 001; Nadine Kirsch; Kerstin Reese; Pascal Schmidt; Lukas Wachter; Verena Wolf 001 (INFOS, 2019)

Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity. - Alexander Lück; Pascal Giehr; Karl Nordström; Jörn Walter; Verena Wolf 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Learning Vaccine Allocation from Simulations. - Gerrit Großmann; Michael Backenköhler; Jonas Klesen; Verena Wolf 001 (COMPLEX NETWORKS (1), 2020)

A Stochastic Automata Network Description for Spatial DNA-Methylation Models. - Alexander Lück; Verena Wolf 001 (MMB, 2020)

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. - Michael Backenköhler; Luca Bortolussi; Verena Wolf 001 (QEST, 2020)

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. - Timo P. Gros; Daniel Höller; Jörg Hoffmann 001; Verena Wolf 001 (QEST, 2020)

Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. - Gerrit Großmann; Michael Backenköhler; Verena Wolf 001 (QEST, 2020)

Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning. - Timo P. Gros; Joschka Groß; Verena Wolf 001 (WSC, 2020)

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version. - Timo P. Gros; Daniel Höller; Jörg Hoffmann 001; Verena Wolf 001 (CoRR, 2020)

InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes. - Nadine Kirsch; Kerstin Reese; Verena Wolf 001 (GI-Jahrestagung, 2021)

Epidemic overdispersion strengthens the effectiveness of mobility restrictions. - Gerrit Großmann; Michael Backenköhler; Verena Wolf 001 (HSCC, 2021)

Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models. - Michael Backenköhler; Luca Bortolussi; Gerrit Großmann; Verena Wolf 001 (QEST, 2021)

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. - Timo P. Gros; Daniel Höller; Jörg Hoffmann 001; Michaela Klauck; Hendrik Meerkamp; Verena Wolf 001 (QEST, 2021)

Analysis of Markov Jump Processes under Terminal Constraints. - Michael Backenköhler; Luca Bortolussi; Gerrit Großmann; Verena Wolf 001 (TACAS (1), 2021)

GINA: Neural Relational Inference From Independent Snapshots. - Gerrit Großmann; Julian Zimmerlin; Michael Backenköhler; Verena Wolf 001 (CoRR, 2021)

Introduction to the Special Issue on QEST 2019. - David Parker 001; Verena Wolf 001 (ACM Trans. Model. Comput. Simul., 2021)

Variance Reduction in Stochastic Reaction Networks Using Control Variates. - Michael Backenköhler; Luca Bortolussi; Verena Wolf 001 (Principles of Systems Design, 2022)

MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf 001 (CAV (2), 2022)

Artifact for the Tool Paper: MoGym: Using Formal Models for Training and Verifying Decision-making Agents. - Timo P. Gros; Holger Hermanns; Jörg Hoffmann 001; Michaela Klauck; Maximilian A. Köhl; Verena Wolf 001 (Zenodo, 2022)

XAI Requirements in Smart Production Processes: A Case Study. - Deborah Baum; Kevin Baum 001; Timo P. Gros; Verena Wolf 001 (xAI (1), 2023)

DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning - Extended Version. - Timo P. Gros; Joschka Groß; Daniel Höller; Jörg Hoffmann 001; Michaela Klauck; Hendrik Meerkamp; Nicola J. Müller; Lukas Schaller; Verena Wolf 001 (ACM Trans. Model. Comput. Simul., 2023)

Unsupervised relational inference using masked reconstruction. - Gerrit Großmann; Julian Zimmerlin; Michael Backenköhler; Verena Wolf 001 (Appl. Netw. Sci., 2023)

Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. - Timo P. Gros; Nicola J. Müller; Daniel Höller; Verena Wolf 001 (Principles of Verification (3), 2024)

Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents. - Kevin Baum 001; Lisa Dargasz; Felix Jahn; Timo P. Gros; Verena Wolf 001 (CoRR, 2024)

Enhancing GNNs with Architecture-Agnostic Graph Transformations: A Systematic Analysis. - Zhifei Li; Gerrit Großmann; Verena Wolf 001 (CoRR, 2024)

Guided Docking as a Data Generation Approach Facilitates Structure-Based Machine Learning on Kinases. - Michael Backenköhler; Joschka Groß; Verena Wolf 001; Andrea Volkamer (J. Chem. Inf. Model., 2024)

Motion Primitives as the Action Space of Deep Q-Learning for Planning in Autonomous Driving. - Tristan Schneider; Matheus V. A. Pedrosa; Timo P. Gros; Verena Wolf 001; Kathrin Flaßkamp (IEEE Trans. Intell. Transp. Syst., 2024)

PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface. - Timo P. Gros; Arnd Hartmanns; Ivo Hoese; Joshua Meyer 001; Nicola J. Müller; Verena Wolf 001 (QEST+FORMATS, 2025)

Exploring Molecule Generation Using Latent Space Graph Diffusion. - Prashanth Pombala; Gerrit Grossmann; Verena Wolf 001 (CoRR, 2025)

Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior: Code and Data. - Timo P. Gros; Nicola J. Müller; Daniel Fiser; Isabel Valera; Verena Wolf 001; Jörg Hoffmann 001 (Zenodo, 2025)

Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior: Code and Data. - Timo Philipp Gros; Nicola J. Müller; Daniel Fiser; Isabel Valera; Verena Wolf 001; Jörg Hoffmann 001 (Zenodo, 2025)

Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior. - Timo P. Gros; Nicola J. Müller; Daniel Fiser; Isabel Valera; Verena Wolf 001; Jörg Hoffmann 001 (CoRR, 2025)