Gilles Bernot

Publication Activity (10 Years)

Years Active: 1986-2021
Publications (10 Years): 9

Top Topics

Top Venues

Publications

Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. BIOINFORMATICS (2021)
Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
What is a Cell Cycle Checkpoint? The TotemBioNet Answer. CMSB (2020)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A genetically modified Hoare logic. Theor. Comput. Sci. 765 (2019)
Eman Ahmed, Reda A. El-Khoribi, Alexandre Muzy, Gilles Bernot, Gamal Darwish
Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models. ICPRAM (2019)
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
Computer-aided Formal Proofs about Dendritic Integration within a Neuron. BIOINFORMATICS (2018)
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free. BIOSTEC (Selected Papers) (2018)
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. CMSB (2017)
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
A Qualitative Framework Dedicated to Toxicology. BIOINFORMATICS (2017)
Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay
A hybrid model of cell cycle in mammals. J. Bioinform. Comput. Biol. 14 (1) (2016)
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
A Genetically Modified Hoare Logic. CoRR (2015)
Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. CMSB (2015)
Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux
Simplified Models for the Mammalian Circadian Clock. CSBio (2012)
Vic Norris, Abdallah Zemirline, Patrick Amar, Jean Nicolas Audinot, Pascal Ballet, Eshel Ben-Jacob, Gilles Bernot, Guillaume Beslon, Armelle Cabin, Eric Fanchon, Jean-Louis Giavitto, Nicolas Glade, Patrick Greussay, Yohann Grondin, James A. Foster, Guillaume Hutzler, Jürgen Jost, François Képès, Olivier Michel, Franck Molina, Jacqueline Signorini, Pasquale Stano, Alain R. Thierry
Computing with bacterial constituents, cells and populations: from bioputing to bactoputing. Theory Biosci. 130 (3) (2011)
Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux
A Formal Model for Gene Regulatory Networks with Time Delays. CSBio (2010)
Gilles Bernot, Fariza Tahi
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network. Fundam. Informaticae 91 (3-4) (2009)
Sylvie Troncale, Jean-Paul Comet, Gilles Bernot
Enzymatic competition: Modeling and verification with timed hybrid petri nets. Pattern Recognit. 42 (4) (2009)
Gilles Bernot, Jean-Paul Comet
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks. CIBB (2009)
Patrick Amar, Guillaume Legent, Michel Thellier, Camille Ripoll, Gilles Bernot, Thomas Nyström, Milton H. Saier Jr., Vic Norris
A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency. BMC Syst. Biol. 2 (2008)
Ana Carolina Fierro, Raphael Thuret, Kristof Engelen, Gilles Bernot, Kathleen Marchal, Nicolas Pollet
Evaluation of time profile reconstruction from complex two-color microarray designs. BMC Bioinform. 9 (2008)
Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard
Analysing formal models of genetic regulatory networks with delays. Int. J. Bioinform. Res. Appl. 4 (3) (2008)
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux
Semantics of Biological Regulatory Networks. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Gilles Bernot, François Képès
Chronique : Le programme d'épigénomique. Tech. Sci. Informatiques 26 (1-2) (2007)
Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
Delays in Biological Regulatory Networks (BRN). International Conference on Computational Science (2) (2006)
Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne LeBerre, Benoit Guery, Benoit Polack, Janine Guespin-Michel
. BMC Bioinform. 7 (2006)
Adrien Richard, Jean-Paul Comet, Gilles Bernot
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. Fundam. Informaticae 65 (4) (2005)
Christine Collet, Khalid Belhajjame, Gilles Bernot, Christophe Bobineau, Gennaro Bruno, Béatrice Finance, Fabrice Jouanot, Zoubida Kedad, David Laurent, Fariza Tahi, Genoveva Vargas-Solar, Tuyet-Trinh Vu, Xiaohui Xue
Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources. The MediaGrid Project. ICSNW (2004)
Adrien Richard, Jean-Paul Comet, Gilles Bernot
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. CMSB (2004)
Vincent Bassano, Gilles Bernot
Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata. IEEE International Workshop on Rapid System Prototyping (2003)
Sophie Coudert, Gilles Bernot, Pascale Le Gall
Hierarchical Heterogeneous Specifications. WADT (1998)
Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
A Theory of Probabilistic Functional Testing. ICSE (1997)
Gilles Bernot, Sophie Coudert, Pascale Le Gall
Towards Heterogeneous Formal Specification. AMAST (1996)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Observational Specifications and the Indistinguishability Assumption. Theor. Comput. Sci. 139 (1&2) (1995)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Informatica 31 (7) (1994)
Gilles Bernot, Pascale Le Gall, Marc Aiguier
Label Algebras and Exception Handling. Sci. Comput. Program. 23 (2-3) (1994)
Gilles Bernot, Pascale Le Gall
Exception Handling and Term Labelling. TAPSOFT (1993)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Towards an Adequate Notion of Observation. ESOP (1992)
Gilles Bernot
Testing Against Formal Specifications: A Theoretical View. TAPSOFT, Vol.2 (1991)
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6 (6) (1991)
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
A Formal Approach to Software Testing. AMAST (1991)
Gilles Bernot, Michel Bidoit
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. AMAST (1991)
Gilles Bernot, Pascale Le Gall
Label Algebras: A Systematic Use of Terms. COMPASS/ADT (1991)
Gilles Bernot
Correctness Proofs for Abstract Implementation Inf. Comput. 80 (2) (1989)
Gilles Bernot
Good Functors... are Those Preserving Philosophy. Category Theory and Computer Science (1987)
Gilles Bernot, Michel Bidoit, Christine Choppy
Algebraic Semantics of Exception Handling. ESOP (1986)
Gilles Bernot, Michel Bidoit, Christine Choppy
Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors. Theor. Comput. Sci. 46 (3) (1986)
Gilles Bernot
Correctness Proofs for Abstract Implementations. ADT (1986)
Gilles Bernot
Abstract Implementation with Exception Handling. ADT (1986)
Gilles Bernot, Michel Bidoit, Christine Choppy
Abstract Implementations and Correctness Proofs. STACS (1986)