Accepted Papers
- Heike Siebert, Kirsten Thobe and Adam Streck. Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking (best paper award)
- Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao and Edmund Clarke. SReach: A Probabilistic Bounded ẟ-Reachability Analyzer for Stochastic Hybrid Systems
- Wassim Abou-Jaoudé, Jérôme Feret and Denis Thieffry. Derivation of dynamical qualitative models from biochemical networks
- Robert Rozanski, Oliver Ray, Ross King and Stefano Bragaglia. Automating development of metabolic network models (best student paper award)
- Curtis Madsen, Fedor Shmarov and Paolo Zuliani. BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models
- Luca Bortolussi, Dimitrios Milios and Guido Sanguinetti. Efficient stochastic simulation of systems with multiple time scales via statistical abstraction
- Luca Laurenti, Luca Cardelli and Marta Kwiatkowska. Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
- Carolin Loos, Carsten Marr, Fabian Theis and Jan Hasenauer. Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics
- Carolyn Talcott, Merrill Knapp, Vivek Nigam, Robin Donaldson and Tim McCarthy. Inferring Executable Models from Formalized Experimental Evidence
- Lubos Brim, Milan Ceska, Martin Demko, Samuel Pastva and David Šafránek. Parameter Synthesis by Parallel Coloured CTL Model Checking
- Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel and Carito Guziolowski. Boolean Network Identification from Multiplex Time Series Data
- Daniel Trejo Banos, Guido Sanguinetti and Andrew J. Millar. Experimental design for inference over the A. thaliana circadian clock networ
- Francy Camacho, Rodrigo Torres and Raúl Ramos. Feature Learning using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides
- Guillaume Madelaine, Cedric Lhoussaine and Joachim Niehren. Structural simplification of chemical reaction networks preserving deterministic semantics
- Morgan Magnin, Katsumi Inoue and Alexander Andreychenko. Modeling of Resilience Properties in Oscillatory Biological Systems using Parametric Time Petri Nets
- Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev and Andreas Weber. Symbolic dynamics of biochemical pathways as finite states machines
- Joachim Niehren, Mathias John, Cristian Versari, François Coutte and Philippe Jacques. Reasoning about Reaction Networks with Partial Kinetic Information
- Pauline Traynard, François Fages and Sylvain Soliman. Model-based Investigation of Bidirectional Coupling between the Cell Cycle and the Circadian Clock
- Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess and Christian Schilling. Adaptive moment closure for parameter inference of biochemical reaction networks
- Chris Banks, Daniel Seaton and Ian Stark. Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-temporal Logic
|