R. Alur, C. Belta, F. Ivani?-ci´cci´c, V. Kumar, M. Mintz et al., Hybrid Modeling and Simulation of Biomolecular Networks, Fourth International Workshop on Hybrid Systems: Computation and Control. Springer LNCS, pp.19-32, 2001.
DOI : 10.1007/3-540-45351-2_6

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Y. Zhu, Bounded Model Checking, Highly Dependable Software No. 58 in Advances in Computers, pp.117-148, 2003.
DOI : 10.1016/S0065-2458(03)58003-2

M. Bozzano, A Logic-Based Approach to Model Checking of Parameterized and Infinite-State Systems, 2002.

D. Campagna and C. Piazza, Hybrid Automata in Systems Biology: How Far Can We Go?, Electronic Notes in Theoretical Computer Science, vol.229, issue.1, pp.93-108, 2009.
DOI : 10.1016/j.entcs.2009.02.007

I. Cervesato, F. Pfenning, D. Walker, and K. Watkins, A concurrent logical framework II: Examples and applications, 2003.

N. Chabrier-rivier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter, Modeling and querying biomolecular interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004.
DOI : 10.1016/j.tcs.2004.03.063

K. Chaudhuri and J. Despeyroux, A hybrid linear logic for constrained transition systems with applications to molecular biology, 2013.
URL : https://hal.archives-ouvertes.fr/inria-00402942

A. Ciliberto, B. Novák, and J. J. Tyson, Steady States and Oscillations in the p53/Mdm2 Network, Cell Cycle, vol.4, issue.3, pp.488-493, 2005.
DOI : 10.4161/cc.4.3.1548

A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri, NuSMV: A New Symbolic Model Verifier, Eleventh International Conference on Computer Aided Verification . Springer LNCS, pp.495-499, 1999.
DOI : 10.1007/3-540-48683-6_44

J. Clarke, E. M. Grumberg, O. Peled, and D. A. , Model checking, 1999.

C. Courcoubetis, M. Y. Vardi, P. Wolper, and M. Yannakakis, Memory-efficient algorithms for the verification of temporal properties, Formal Methods in System Design, vol.64, issue.12, pp.275-288, 1992.
DOI : 10.1007/BF00121128

V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004.
DOI : 10.1016/j.tcs.2004.03.065

URL : https://hal.archives-ouvertes.fr/hal-00164591

J. Despeyroux and K. Chaudhuri, A hybrid linear logic for constrained transition systems (2014), to appear in Types for Proofs and Programs, post-proceedings of TYPES 2013, LIPIcs (Leibniz International Proceedings in Informatics)

F. Fages, S. Soliman, and N. Chabrier-rivier, Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM, Journal of Biological Physics and Chemistry, vol.4, issue.2, pp.64-73, 2004.
DOI : 10.4024/2040402.jbpc.04.02

URL : https://hal.archives-ouvertes.fr/hal-01431345

A. Felty, Implementing tactics and tacticals in a higher-order logic programming language, Journal of Automated Reasoning, vol.5, issue.3, pp.43-81, 1993.
DOI : 10.1007/BF00881900

A. P. Felty and A. Momigliano, Hybrid, Journal of Automated Reasoning, vol.18, issue.1, pp.43-105, 2012.
DOI : 10.1007/s10817-010-9194-x

G. Gentzen, Investigations into logical deductions, The Collected Papers of Gerhard Gentzen, pp.68-131, 1935.

J. Y. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4

URL : https://hal.archives-ouvertes.fr/inria-00075966

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, Twelfth International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer LNCS, pp.441-444, 2006.
DOI : 10.1007/11691372_29

J. S. Hodas and D. Miller, Logic Programming in a Fragment of Intuitionistic Linear Logic, Information and Computation, vol.110, issue.2, pp.327-365, 1994.
DOI : 10.1006/inco.1994.1036

R. Hofestädt and S. Thelen, Quantitative modeling of biochemical networks, In: In Silico Biology, vol.1, pp.39-53, 1998.

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

H. De-jong, J. L. Gouzé, C. Hernandez, M. Page, T. Sari et al., Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, vol.66, issue.2, pp.301-340, 2004.
DOI : 10.1016/j.bulm.2003.08.010

URL : https://hal.archives-ouvertes.fr/hal-00173849

E. D. Maria, F. Fages, A. Rizk, and S. Soliman, 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, vol.412, issue.21, pp.2108-2127, 2011.
DOI : 10.1016/j.tcs.2010.10.036

URL : https://hal.archives-ouvertes.fr/hal-01285815

D. Miller, The ??-calculus as a theory in linear logic: Preliminary results, 3rd Workshop on Extensions to Logic Programming. Springer LNCS, pp.242-265, 1993.
DOI : 10.1007/3-540-56454-3_13

D. Miller and G. Nadathur, Programming with Higher-Order Logic, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776197

A. Phillips and L. Cardelli, A correct abstract machine for the stochastic pi-calculus, In: BioConcur: Workshop on Concurrent Models in Molecular Biology. Electronic Notes in Theoretical Computer Science, 2004.

V. N. Reddy, M. L. Mavrovouniotis, and M. N. Liebman, Petri net representations in metabolic pathways, First International Conference on Intelligent Systems for Molecular Biology, pp.328-336, 1993.

A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Shapiro, BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004.
DOI : 10.1016/j.tcs.2004.03.061

A. Regev, W. Silverman, and E. Y. Shapiro, Representation and simulation of biochemical processes using the ??-calculus process algebra, Biocomputing 2001, pp.459-470, 2001.
DOI : 10.1142/9789814447362_0045

R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973.
DOI : 10.1016/0022-5193(73)90247-6

R. Thomas, D. Thieffry, and M. Kaufman, Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-276, 1995.
DOI : 10.1007/BF02460618

P. Wolper, Temporal logic can be more expressive, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), pp.72-99, 1983.
DOI : 10.1109/SFCS.1981.44