, 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
, Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237
, Bounded Model Checking, Highly Dependable Software No. 58 in Advances in Computers, pp.117-148, 2003.
DOI : 10.1016/S0065-2458(03)58003-2
, A Logic-Based Approach to Model Checking of Parameterized and Infinite-State Systems, 2002.
, 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
, A concurrent logical framework II: Examples and applications, 2003.
, 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
, A hybrid linear logic for constrained transition systems with applications to molecular biology, 2013.
URL : https://hal.archives-ouvertes.fr/inria-00402942
, 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
, 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
, Model checking, 1999.
, 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
, 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
, 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)
, 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
, 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
, Hybrid, Journal of Automated Reasoning, vol.18, issue.1, pp.43-105, 2012.
DOI : 10.1007/s10817-010-9194-x
, Investigations into logical deductions, The Collected Papers of Gerhard Gentzen, pp.68-131, 1935.
, 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
, 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
, 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
, Quantitative modeling of biochemical networks, In: In Silico Biology, vol.1, pp.39-53, 1998.
, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521
, 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
, 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
, 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
, Programming with Higher-Order Logic, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00776197
, 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.
, Petri net representations in metabolic pathways, First International Conference on Intelligent Systems for Molecular Biology, pp.328-336, 1993.
, 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
, Representation and simulation of biochemical processes using the ??-calculus process algebra, Biocomputing 2001, pp.459-470, 2001.
DOI : 10.1142/9789814447362_0045
, 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
, 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
, 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