Skip to Main content Skip to Navigation

hal-02962679v1  Directions of work or proceedings
Jérôme FeretLoïc PaulevéDavid Šafránek. Formal Verification and Static Analysis of Molecular Devices and Biological Systems
Jérôme Feret; Loïc Paulevé; David Šafránek. Theoretical Computer Science, 765, Elsevier, 2019
hal-00769447v3  Conference papers
Loïc PaulevéGeoffroy AndrieuxHeinz Koeppl. Under-approximating Cut Sets for Reachability in Large Scale Automata Networks
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, Jul 2013, Saint Petersburg, Russia. pp.69-84, ⟨10.1007/978-3-642-39799-8_4⟩
hal-01164751v1  Conference papers
Max OstrowskiLoïc PaulevéTorsten SchaubAnne SiegelCarito Guziolowski. Boolean Network Identification from Multiplex Time Series Data
CMSB 2015 - 13th conference on Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.170-181, ⟨10.1007/978-3-319-23401-4_15⟩
hal-02898841v1  Conference papers
Stefan HaarLoïc PaulevéStefan Schwoon. Drawing the Line: Basin Boundaries in Safe Petri Nets
CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany. ⟨10.1007/978-3-030-60327-4_17⟩
hal-00712557v1  Conference papers
Stefan JanssenLoïc PaulevéYann PontyBalaji RamanMatthias Zytnicki. Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?
IWBDA - 4th International Workshop on Bio-Design Automation - 2012, Jun 2012, San Francisco, United States
hal-00714481v1  Journal articles
Loïc PaulevéMagnin MorganOlivier Roux. Static analysis of Biological Regulatory Networks dynamics using abstract interpretation
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2012, 22 (04), pp 651-685. ⟨10.1017/S0960129511000739⟩
hal-02113864v1  Journal articles
Hugues MandonCui SuJun PangSoumya PaulStefan Haar et al.  Algorithms for the Sequential Reprogramming of Boolean Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2019, 16 (5), pp.1610-1619. ⟨10.1109/TCBB.2019.2914383⟩
hal-01392203v2  Conference papers
Thomas ChatainLoïc Paulevé. Goal-Driven Unfolding of Petri Nets
28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.14⟩
hal-01354109v2  Conference papers
Juraj KolčákDavid ŠafránekStefan HaarLoïc Paulevé. Unfolding of Parametric Boolean Networks
7th International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. pp.67-90, ⟨10.1016/j.entcs.2018.03.009⟩
hal-01768359v2  Conference papers
Thomas ChatainStefan HaarLoïc Paulevé. Boolean Networks: Beyond Generalized Asynchronicity
AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
hal-01580765v1  Journal articles
Loïc Paulevé. Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2018, 15 (4), pp.1167-1179. ⟨10.1109/TCBB.2017.2749225⟩
hal-01354079v1  Conference papers
Hugues MandonStefan HaarLoïc Paulevé. Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph
Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. pp.113-127, ⟨10.1007/978-3-319-47151-8_8⟩
hal-01589251v1  Conference papers
Hugues MandonStefan HaarLoïc Paulevé. Temporal Reprogramming of Boolean Networks
CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.179 - 195, ⟨10.1007/978-3-319-67471-1_11⟩
hal-00758168v1  Conference papers
Patrick AmarLoïc Paulevé. HSIM: an hybrid stochastic simulation system for systems biology
The Third International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. pp.3 -- 21, ⟨10.1016/j.entcs.2015.04.016⟩
hal-01940174v1  Conference papers
Stefan HaarJuraj KolčákLoïc Paulevé. Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩
hal-01753101v1  Book sections
Loïc PaulevéAdrien Richard. Analyse statique des réseaux booléens
Emmanuel Jeandel; Laurent Vigneron. Informatique Mathématique, Une photographie en 2018, CNRS Éditions, pp.157-194, 2018, 78-2-271-11974-2
hal-01893106v2  Journal articles
Thomas ChatainStefan HaarJuraj KolčákLoïc PaulevéAalok Thakkar. Concurrency in Boolean networks
Natural Computing, Springer Verlag, 2020, 19 (1), pp.91--109. ⟨10.1007/s11047-019-09748-4⟩
hal-01864693v2  Reports
Thomas ChatainStefan HaarJuraj KolčákLoïc Paulevé. Most Permissive Semantics of Boolean Networks
[Research Report] Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, F-33400 Talence, France; LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France). 2020