Publications
Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. Hybrid Systems and Biology (HSB). 9271:141–155.
(3.5 MB)
.
2015. .
2006. 
Modeling Hybrid Systems with Stochastic Events in HYPE. PASTA 2010. :24–28.
.
2010. Multi-Agent Simulation of Protein Folding. MAS-BIOMED 2005. :91–106.
.
2005. Perspectives on Constraints, Process Algebras, and Hybrid Systems.. WCB 2010. :69–75.
(131.69 KB)
.
2010. 
Possibilistic channels for DNA word design. Soft Methods for Integrated Uncertainty Modelling.
.
2006. Possibilistic coding: error detection vs. error correction. Combining Soft Computing and Statistical Methods in Data Analysis. 77:41–48.
(127.99 KB)
.
2010. 
Programmable models of growth and mutation of cancer-cell populations. COMPMOD 2011. 67:19--33.
.
2011. Protein Folding Simulation in CCP. AI*IA 2004. :86–86.
.
2004. Protein Folding Simulation in CCP. 2nd Workshop On Concurrent Models In Molecular Biology, BIOCONCUR 2004. :110–123.
.
2004. Qualitative and quantitative monitoring of spatio-temporal properties. Runtime Verification (RV). 9333:21–37.
(775.26 KB)
.
2015. 
On the Robustness of Temporal Properties for Stochastic Models. 2nd International Workshop on Hybrid Systems and Biology, HSB 2013. 125:3-19.
(1.3 MB)
.
2003. 
On the Robustness of Temporal Properties for Stochastic Models. Proceedings Second International Workshop on Hybrid Systems and Biology. 125:3-19.
.
2013. A Rough guide to Hybrid Limits of Continuous Time Markov Chains. PASTA 2011. :74–79.
.
2011. Rule-Based Modelling and Simulation of Drug-Administration Policies. Modeling and Simulation in Medicine Symposium (MSM 2015). :53–60.
(477.5 KB)
.
2015. 
Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS2014. 1(4)
(380.08 KB)
.
2015. .
2006. 
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. 11th European Workshop on Computer Performance Engineering - {EPEW} 2014 . 8721:224–239.
(412.18 KB)
.
2014. 
Stochastic Concurrent Constraint Programming. 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). 164:65–80.
.
2006. Stochastic Concurrent Constraint Programming and Differential Equations. Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007). 190:27–42.
.
2007. Stochastic Process Algebra and Stability Analysis of Collective Systems. Coordination Models and Languages. 7890:1–15.
(399.44 KB)
.
2013. 
Stochastic Programs and Hybrid Automata for (Biological) Modeling.. Computability in Europe, CiE 2009. 5635:37–48.
.
2009. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. Hybrid Systems and Biology (HSB). 9271:156–172.
(1.1 MB)
.
2015. 
Tales of Spatiality in stochastic Concurrent Constraint Programming. Bio Logical 2009. :42–52.
(249.93 KB)
.
2009. 
A temporal logic approach to modular design of synthetic biological circuits. 11th Conference on Computational Methods in Systems Biology, CMSB 2013 . 8130:164-177.
(580.77 KB)
.
2013. 