Efficient Checking of Individual Rewards Properties in Markov Population Models. Quantitative Aspects of Programming Languages and Systems (QAPL). 194:32–47.. 2015.
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction. Computational Methods in Systems Biology (CMSB). 9308:40–51.. 2015.
Fluid Model Checking of Timed Properties. Formal Modeling and Analysis of Timed Systems (FORMATS). 9268:172–188.. 2015.
Fluid Performability Analysis of Nested Automata Models. Practical Application of Stochastic Modelling (PASM14). 310:27–47.. 2015.
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Computational biology and chemistry. 56:98–108.. 2015.
Learning and designing stochastic processes from logical constraints. LOGICAL METHODS IN COMPUTER SCIENCE. 11:1–24.. 2015.
Machine Learning Methods in Statistical Model Checking and System Design-Tutorial. Runtime Verification (RV). 9333:323–341.. 2015.
Model checking single agent behaviours by fluid approximation. Information and Computation. 242:183-226.. 2015.
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. Hybrid Systems and Biology (HSB). 9271:141–155.. 2015.
Qualitative and quantitative monitoring of spatio-temporal properties. Runtime Verification (RV). 9333:21–37.. 2015.
Rule-Based Modelling and Simulation of Drug-Administration Policies. Modeling and Simulation in Medicine Symposium (MSM 2015). :53–60.. 2015.
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS2014. 1(4). 2015.
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. Hybrid Systems and Biology (HSB). 9271:156–172.. 2015.
System design of stochastic models using robustness of temporal properties. Theoretical Computer Science. 587:3-25.. 2015.
U-Check: model checking and parameter synthesis under uncertainty. Quantitative Evaluation of Systems (QEST). 9259:89–104.. 2015.
Hybrid behaviour of Markov population models. Information and Computation. :-.. In Press.
Smoothed model checking for uncertain Continuous-Time Markov Chains. Information and Computation. :-.. In Press.