Priska Bauerstätter

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 2

Top Topics

Pspace Complete

Finite State Machines

Automated Verification

Top Venues

Softw. Qual. J.

Simul. Notes Eur.

Publications

Priska Bauerstätter
Compartment Modeling of Overweight in Toddler Age: Modeling and Simulating a Diets Effect with COPASI. Simul. Notes Eur. 32 (4) (2022)
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Learning and statistical model checking of system response times. Softw. Qual. J. 27 (2) (2019)