Gilles Bernot

According to our database, Gilles Bernot authored at least 48 papers between 1986 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.

Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet

Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

2020

What is a Cell Cycle Checkpoint? The TotemBioNet Answer.

Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet

Proceedings of the Computational Methods in Systems Biology, 2020

2019

A genetically modified Hoare logic.

Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux

Theor. Comput. Sci., 2019

Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models.

Eman Ahmed, Reda A. El-Khoribi, Alexandre Muzy, Gilles Bernot, Gamal Darwish

Proceedings of the 8th International Conference on Pattern Recognition Applications and Methods, 2019

2018

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Proceedings of the Biomedical Engineering Systems and Technologies, 2018

Computer-aided Formal Proofs about Dendritic Integration within a Neuron.

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

2017

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes.

Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney

Proceedings of the Computational Methods in Systems Biology, 2017

A Qualitative Framework Dedicated to Toxicology.

Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2016

A hybrid model of cell cycle in mammals.

Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay

J. Bioinform. Comput. Biol., 2016

2015

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.

Gilles Bernot, Jean-Paul Comet, Olivier F. Roux

Proceedings of the Computational Methods in Systems Biology, 2015

2012

Simplified Models for the Mammalian Circadian Clock.

Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux

Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics, 2012

2011

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.

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

Theory Biosci., 2011

2010

A Formal Model for Gene Regulatory Networks with Time Delays.

Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux

Proceedings of the Computational Systems-Biology and Bioinformatics, 2010

2009

Enzymatic competition: Modeling and verification with timed hybrid petri nets.

Sylvie Troncale, Jean-Paul Comet, Gilles Bernot

Pattern Recognit., 2009

Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network.

Gilles Bernot, Fariza Tahi

Fundam. Informaticae, 2009

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.

Gilles Bernot, Jean-Paul Comet

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2009

2008

Analysing formal models of genetic regulatory networks with delays.

Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard

Int. J. Bioinform. Res. Appl., 2008

A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency.

Patrick Amar, Guillaume Legent, Michel Thellier, Camille Ripoll, Gilles Bernot, Thomas Nyström, Milton H. Saier Jr., Vic Norris

BMC Syst. Biol., 2008

Evaluation of time profile reconstruction from complex two-color microarray designs.

Ana Carolina Fierro, Raphael Thuret, Kristof Engelen, Gilles Bernot, Kathleen Marchal, Nicolas Pollet

BMC Bioinform., 2008

2007

Chronique : Le programme d'épigénomique.

Gilles Bernot, François Képès

Tech. Sci. Informatiques, 2007

2006

Epigenetic acquisition of inducibility of type III cytotoxicity in <i>P. aeruginosa</i>.

Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne LeBerre, Benoit Guery, Benoit Polack, Janine Guespin-Michel

BMC Bioinform., 2006

Delays in Biological Regulatory Networks (BRN).

Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux

Proceedings of the Computational Science, 2006

2005

R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics.

Adrien Richard, Jean-Paul Comet, Gilles Bernot

Fundam. Informaticae, 2005

2004

Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources. The MediaGrid Project.

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

Proceedings of the Semantics for Grid Databases, 2004

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.

Adrien Richard, Jean-Paul Comet, Gilles Bernot

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

Semantics of Biological Regulatory Networks.

Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata.

Vincent Bassano, Gilles Bernot

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

1999

The Role of Formal Specifications.

Marie-Claude Gaudel, Gilles Bernot

Proceedings of the Algebraic Foundations of Systems Specification, 1999

1998

Hierarchical Heterogeneous Specifications.

Sophie Coudert, Gilles Bernot, Pascale Le Gall

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

A Theory of Probabilistic Functional Testing.

Gilles Bernot, Laurent Bouaziz, Pascale Le Gall

Proceedings of the Pulling Together, 1997

1996

Towards Heterogeneous Formal Specification.

Gilles Bernot, Sophie Coudert, Pascale Le Gall

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Observational Specifications and the Indistinguishability Assumption.

Gilles Bernot, Michel Bidoit, Teodor Knapik

Theor. Comput. Sci., 1995

1994

Label Algebras and Exception Handling.

Gilles Bernot, Pascale Le Gall, Marc Aiguier

Sci. Comput. Program., 1994

Behavioural Approaches to Algebraic Specifications: A Comparative Study.

Gilles Bernot, Michel Bidoit, Teodor Knapik

Acta Informatica, 1994

1993

Exception Handling and Term Labelling.

Gilles Bernot, Pascale Le Gall

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Towards an Adequate Notion of Observation.

Gilles Bernot, Michel Bidoit, Teodor Knapik

Proceedings of the ESOP '92, 1992

1991

Software testing based on formal specifications: a theory and a tool.

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre

Softw. Eng. J., 1991

Testing Against Formal Specifications: A Theoretical View.

Gilles Bernot

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Label Algebras: A Systematic Use of Terms.

Gilles Bernot, Pascale Le Gall

Proceedings of the Recent Trends in Data Type Specification, 1991

A Formal Approach to Software Testing.

Gilles Bernot, Marie-Claude Gaudel, Bruno Marre

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.

Gilles Bernot, Michel Bidoit

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989

Correctness Proofs for Abstract Implementation

Gilles Bernot

Inf. Comput., February, 1989

1987

Good Functors... are Those Preserving Philosophy.

Gilles Bernot

Proceedings of the Category Theory and Computer Science, 1987

1986

Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors.

Gilles Bernot, Michel Bidoit, Christine Choppy

Theor. Comput. Sci., 1986

Abstract Implementations and Correctness Proofs.

Gilles Bernot, Michel Bidoit, Christine Choppy

Proceedings of the STACS 86, 1986

Algebraic Semantics of Exception Handling.

Gilles Bernot, Michel Bidoit, Christine Choppy

Proceedings of the ESOP 86, 1986

Correctness Proofs for Abstract Implementations.

Gilles Bernot

Proceedings of the 4st Workshop on Abstract Data Type, 1986

Abstract Implementation with Exception Handling.

Gilles Bernot

Proceedings of the 4st Workshop on Abstract Data Type, 1986