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.
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.
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.
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.
Edmund M. Clarke, Orna Grumberg & Doron A. Peled (2000):
Model Checking.
MIT Press.
Frank H. Clarke (1983):
Optimization and Nonsmooth Analysis.
S.I.A.M..
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.
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.
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.
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.
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.
Faculty of Informatics, Masaryk University (2013):
Parasim: Tool for Parallel Simulations and Verification.
Available at https://github.com/sybila/parasim/wiki.
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.
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.
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.
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.
Benno Hess (2000):
Periodic Patterns in Biology.
Naturwissenschaften 87(5),
pp. 199–211,
doi:10.1007/s001140050704.
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.
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.
Ron Koymans (1990):
Specifying Real-Time Properties with Metric Temporal Logic.
Real-Time Systems 2,
pp. 255–299,
doi:10.1007/BF01995674.
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.
Alfred J. Lotka (1925):
Elements of Physical Biology.
Williams and Wilkins,
Baltimore.
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.
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.
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.
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.
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.
Tomáš Vejpustek (2013):
Robustness Analysis of Extended Signal Temporal Logic STL*.
Masaryk University, Faculty of Informatics.
Available at http://is.muni.cz/th/324713/fi_m/.
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.