1. Rajeev Alur, Tomás Feder & Thomas A. Henzinger (1996): The Benefits of Relaxing Punctuality. Journal of the ACM 43(1), pp. 116–146, doi:10.1145/227595.227602.
  2. Yashwanth Singh Rahul Annapureddy, Che Liu, Georgios E. Fainekos & Sriram Sankaranarayanan (2011): S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 6605. Springer, pp. 254–257, doi:10.1007/978-3-642-19835-9_21.
  3. Luboš Brim, Milan Češka & David Šafránek (2013): Model Checking of Biological Systems. In: Marco Bernardo, Erik Vink, Alessandra Pierro & Herbert Wiklicky: Formal Methods for Dynamical Systems, Lecture Notes in Computer Science 7938. Springer Berlin Heidelberg, pp. 63–112, doi:10.1007/978-3-642-38874-3_3.
  4. Laurence Calzone, François Fages & Sylvain Soliman (2006): BIOCHAM: An Environment for Modeling Biological Systems and Formalizing Experimental Knowledge. Bioinformatics 22(14), pp. 1805–1807, doi:10.1093/bioinformatics/btl172.
  5. Edmund M. Clarke, Orna Grumberg & Doron A. Peled (2000): Model Checking. MIT Press.
  6. Frank H. Clarke (1983): Optimization and Nonsmooth Analysis. S.I.A.M..
  7. Petr Dluhoš, Luboš Brim & David Šafránek (2012): On Expressing and Monitoring Oscillatory Dynamics. In: Proceedings First International Workshop on Hybrid Systems and Biology. Open Publ. Assoc., pp. 73–87, doi:10.4204/EPTCS.92.6.
  8. Alexandre Donzé (2010): Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In: Tayssir Touili, Byron Cook & Paul Jackson: Computer Aided Verification, Lecture Notes in Computer Science 6174. Springer Berlin Heidelberg, pp. 167–170, doi:10.1007/978-3-642-14295-6_17.
  9. Alexandre Donzé, Gilles Clermont, Axel Legay & Christopher J. Langmead (2009): Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. In: Research in Computational Molecular Biology, Lecture Notes in Computer Science 5541. Springer, pp. 155–169, doi:10.1007/978-3-642-02008-7_11.
  10. Alexandre Donzé, Thomas Ferrère & Oded Maler (2013): Efficient Robust Monitoring for STL. In: Natasha Sharygina & Helmut Veith: Computer Aided Verification, Lecture Notes in Computer Science 8044. Springer Berlin Heidelberg, pp. 264–279, doi:10.1007/978-3-642-39799-8_19.
  11. Alexandre Donzé & Oded Maler (2010): Robust Satisfaction of Temporal Logic over Real-Valued Signals. In: FORMATS 2010. Springer, pp. 92–106, doi:10.1007/978-3-642-15297-9_9.
  12. Faculty of Informatics, Masaryk University (2013): Parasim: Tool for Parallel Simulations and Verification. Available at
  13. Georgios Fainekos & George Pappas (2006): Robustness of Temporal Logic Specifications. In: Klaus Havelund, Manuel Nunez, Grigore Rosu & Burkhart Wolff: Formal Approaches to Software Testing and Runtime Verification, Lecture Notes in Computer Science 4262. Springer Berlin Heidelberg, pp. 178–192, doi:10.1007/11940197_12.
  14. Georgios E. Fainekos & George J. Pappas (2009): Robustness of Temporal Logic Specifications For Continuous-Time Signals. Theoretical Computer Science 410(42), pp. 4262–4291, doi:10.1016/j.tcs.2009.06.021.
  15. Leon Glass & JoelS. Pasternack (1978): Prediction of limit cycles in mathematical models of biological oscillations. Bulletin of Mathematical Biology 40(1), pp. 27–44, doi:10.1007/BF02463128.
  16. Radu Grosu, Gregory Batt, FlavioH. Fenton, James Glimm, Colas Guernic, ScottA. Smolka & Ezio Bartocci (2011): From Cardiac Cells to Genetic Regulatory Networks. In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification, Lecture Notes in Computer Science 6806. Springer Berlin Heidelberg, pp. 396–411, doi:10.1007/978-3-642-22110-1_31.
  17. Benno Hess (2000): Periodic Patterns in Biology. Naturwissenschaften 87(5), pp. 199–211, doi:10.1007/s001140050704.
  18. Shai Kaplan, Anat Bren, Erez Dekel & Uri Alon (2008): The incoherent feed-forward loop can generate non-monotonic input functions for genes. Molecular Systems Biology 4(1), doi:10.1038/msb.2008.43.
  19. William O. Kermack & Anderson G. McKendrick (1927): A Contribution to the Mathematical Theory of Epidemics. Proceedings of the Royal Society of London. Series A 115(772), pp. 700–721, doi:10.1098/rspa.1927.0118.
  20. Hiroaki Kitano (2004): Biological Robustness. Nature Reviews Genetics 5(11), pp. 826–837, doi:10.1038/nrg1471.
  21. Ron Koymans (1990): Specifying Real-Time Properties with Metric Temporal Logic. Real-Time Systems 2, pp. 255–299, doi:10.1007/BF01995674.
  22. Pavel Krejci, Vitezslav Bryja, Jiri Pachernik, Ales Hampl, Robert Pogue, Pertchoui Mekikian & William R Wilcox (2004): FGF2 inhibits proliferation and alters the cartilage-like phenotype of RCS cells. Experimental Cell Research 297(1), pp. 152 – 164, doi:10.1016/j.yexcr.2004.03.011.
  23. Alfred J. Lotka (1925): Elements of Physical Biology. Williams and Wilkins, Baltimore.
  24. Oded Maler & Dejan Nickovic (2004): Monitoring Temporal Properties of Continuous Signals. In: Yassine Lakhnech & Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Lecture Notes in Computer Science 3253. Springer Berlin Heidelberg, pp. 152–166, doi:10.1007/978-3-540-30206-3_12.
  25. Elisabetta De Maria, François Fages, Aurélien Rizk & Sylvain Soliman (2011): Design, Optimization and Predictions of a Coupled Model of the Cell Cycle, Circadian Clock, DNA Repair System, Irinotecan Metabolism and Exposure Control under Temporal Logic Constraints. Theoretical Computer Science 412(21), pp. 2108–2127, doi:10.1016/j.tcs.2010.10.036.
  26. Aurélien Rizk, Grégory Batt, François Fages & Sylvain Soliman (2011): Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor. Comput. Sci. 412(26), pp. 2827–2839, doi:10.1016/j.tcs.2010.05.008.
  27. Aurélien Rizk, Gregory Batt, François Fages & Sylvain Soliman (2009): A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12), pp. i169–i178, doi:10.1093/bioinformatics/btp200.
  28. Szymon Stoma et al. (2013): STL-based Analysis of TRAIL-induced Apoptosis Challenges the Notion of Type I/Type II Cell Line Classification. PLoS Comput Biol 9(5), pp. e1003056, doi:10.1371/journal.pcbi.1003056.
  29. Tomáš Vejpustek (2013): Robustness Analysis of Extended Signal Temporal Logic STL*. Masaryk University, Faculty of Informatics. Available at
  30. Vito Volterra (1928): Variations and Fluctuations of the Number of Individuals in Animal Species living together. Journal du Conseil 3(1), pp. 3–51, doi:10.1093/icesjms/3.1.3.

Comments and questions to:
For website issues: