## Statistical model checking for biological systems

STTT - 2015, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:

## Uppaal SMC tutorial.

STTT - 2015, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

## Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.

ACSD - 2014,Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

## Statistical Model Checking of Dynamic Networks of Stochastic Hybrid Automata.

AVOCS - 2013, Alexandre David, Kim G. Larsen, Axel Legay, Danny Bøgsted Poulsen

## Runtime Verification of Biological Systems.

ISOLA - 2012, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards

## Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

LPAR - 2012, Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer

## Checking and Distributing Statistical Model Checking.

NFM - 2012, Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen

## Rewrite-Based Statistical Model Checking of WMTL.

RV - 2012, Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen

## UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata.

QAPL - 2012, Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang

## Statistical Model Checking for Stochastic Hybrid Systems

HSB - 2012, Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards:

## Statistical Model Checking for Networks of Priced Timed Automata

FORMATS - 2011, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang