09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›9:00 (1h)
https://cmsb2015.sciencesconf.org/data/program/01_9H00_Fell.pdf›10:00 (30min)
Model-based Investigation of Bidirectional Coupling between the Cell Cycle and the Circadian Clock
Pauline Traynard, François Fages and Sylvain Soliman
Pauline Traynard, François Fages and Sylvain Soliman
›10:30 (30min)
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
Chris Banks, Daniel Seaton and Ian Stark
Chris Banks, Daniel Seaton and Ian Stark
›11:00 (30min)
›11:30 (30min)
Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets
Alexander Andreychenko, Morgan Magnin and Katsumi Inoue
Alexander Andreychenko, Morgan Magnin and Katsumi Inoue
›12:00 (30min)
Parameter Synthesis by Parallel Coloured CTL Model Checking
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva and David Šafránek
Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva and David Šafránek
›12:30 (30min)
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking
Heike Siebert, Adam Streck and Kirsten Thobe
Heike Siebert, Adam Streck and Kirsten Thobe
›13:00 (1h30)
›14:30 (4h)
