Gilles Bernot

51 papers A* 1A 3C 2Misc 1Journal 18Unranked 25
YearRankTypeTitle / Venue / Authors
2026 — conf
Modeling Cadmium Induced Metabolic Shifts in Human Pulmonary Cells.
BIOSTEC (2)
Valentin Vigeant, Jean-Paul Comet, Gilles Bernot, Jean-Yves Trosset
2024 — conf
Single-Objective Constrained Optimization for Gene Regulatory Networks Modeling.
EA
Guillaume Grataloup, Denis Pallez, Gilles Bernot, Jean-Paul Comet
2021 — conf
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism.
BIOINFORMATICS
Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
2020 — conf
What is a Cell Cycle Checkpoint? The TotemBioNet Answer.
CMSB
Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet
2019 J jnl
A genetically modified Hoare logic.
Theor. Comput. Sci.
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
2019 C conf
Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models.
ICPRAM
Eman Ahmed, Reda A. El-Khoribi, Alexandre Muzy, Gilles Bernot, Gamal Darwish
2018 — conf
Computer-aided Formal Proofs about Dendritic Integration within a Neuron.
BIOINFORMATICS
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
2018 — conf
Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.
BIOSTEC (Selected Papers)
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
2017 — conf
A Qualitative Framework Dedicated to Toxicology.
BIOINFORMATICS
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
2017 — conf
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes.
CMSB
Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney
2016 J jnl
A hybrid model of cell cycle in mammals.
J. Bioinform. Comput. Biol.
Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay
2015 — conf
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.
CMSB
Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
2015 J jnl
A Genetically Modified Hoare Logic.
CoRR
Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux
2012 — conf
Simplified Models for the Mammalian Circadian Clock.
CSBio
Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux
2011 J jnl
Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theory Biosci.
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
2010 — conf
A Formal Model for Gene Regulatory Networks with Time Delays.
CSBio
Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux
2009 J jnl
Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network.
Fundam. Informaticae
Gilles Bernot, Fariza Tahi
2009 J jnl
Enzymatic competition: Modeling and verification with timed hybrid petri nets.
Pattern Recognit.
Sylvie Troncale, Jean-Paul Comet, Gilles Bernot
2009 — conf
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.
CIBB
Gilles Bernot, Jean-Paul Comet
2008 J jnl
A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency.
BMC Syst. Biol.
Patrick Amar, Guillaume Legent, Michel Thellier, Camille Ripoll, Gilles Bernot, Thomas Nyström, Milton H. Saier Jr., Vic Norris
2008 J jnl
Analysing formal models of genetic regulatory networks with delays.
Int. J. Bioinform. Res. Appl.
Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard
2008 J jnl
Evaluation of time profile reconstruction from complex two-color microarray designs.
BMC Bioinform.
Ana Carolina Fierro, Raphael Thuret, Kristof Engelen, Gilles Bernot, Kathleen Marchal, Nicolas Pollet
2007 J jnl
Chronique : Le programme d'épigénomique.
Tech. Sci. Informatiques
Gilles Bernot, François Képès
2006 Misc conf
Delays in Biological Regulatory Networks (BRN).
International Conference on Computational Science (2)
Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux
2006 J jnl
Epigenetic acquisition of inducibility of type III cytotoxicity in
BMC Bioinform.
Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne LeBerre, Benoit Guery, Benoit Polack, Janine Guespin-Michel
2005 J jnl
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics.
Fundam. Informaticae
Adrien Richard, Jean-Paul Comet, Gilles Bernot
2004 — conf
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.
CMSB
Adrien Richard, Jean-Paul Comet, Gilles Bernot
2004 — conf
Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources. The MediaGrid Project.
ICSNW
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
2003 C conf
Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata.
IEEE International Workshop on Rapid System Prototyping
Vincent Bassano, Gilles Bernot
2003 — conf
Semantics of Biological Regulatory Networks.
BioConcur@CONCUR
Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux
1999 — ch.
The Role of Formal Specifications.
Algebraic Foundations of Systems Specification
Marie-Claude Gaudel, Gilles Bernot
1998 — conf
Hierarchical Heterogeneous Specifications.
WADT
Sophie Coudert, Gilles Bernot, Pascale Le Gall
1997 A* conf
A Theory of Probabilistic Functional Testing.
ICSE
Gilles Bernot, Laurent Bouaziz, Pascale Le Gall
1996 — conf
Towards Heterogeneous Formal Specification.
AMAST
Gilles Bernot, Sophie Coudert, Pascale Le Gall
1995 J jnl
Observational Specifications and the Indistinguishability Assumption.
Theor. Comput. Sci.
Gilles Bernot, Michel Bidoit, Teodor Knapik
1994 J jnl
Behavioural Approaches to Algebraic Specifications: A Comparative Study.
Acta Informatica
Gilles Bernot, Michel Bidoit, Teodor Knapik
1994 J jnl
Label Algebras and Exception Handling.
Sci. Comput. Program.
Gilles Bernot, Pascale Le Gall, Marc Aiguier
1993 — conf
Exception Handling and Term Labelling.
TAPSOFT
Gilles Bernot, Pascale Le Gall
1992 A conf
Towards an Adequate Notion of Observation.
ESOP
Gilles Bernot, Michel Bidoit, Teodor Knapik
1991 — conf
A Formal Approach to Software Testing.
AMAST
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
1991 — conf
Label Algebras: A Systematic Use of Terms.
COMPASS/ADT
Gilles Bernot, Pascale Le Gall
1991 — conf
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.
AMAST
Gilles Bernot, Michel Bidoit
1991 J jnl
Software testing based on formal specifications: a theory and a tool.
Softw. Eng. J.
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
1991 — conf
Testing Against Formal Specifications: A Theoretical View.
TAPSOFT, Vol.2
Gilles Bernot
1989 J jnl
Correctness Proofs for Abstract Implementation
Inf. Comput.
Gilles Bernot
1987 — conf
Good Functors... are Those Preserving Philosophy.
Category Theory and Computer Science
Gilles Bernot
1986 J jnl
Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors.
Theor. Comput. Sci.
Gilles Bernot, Michel Bidoit, Christine Choppy
1986 — conf
Abstract Implementation with Exception Handling.
ADT
Gilles Bernot
1986 A conf
Abstract Implementations and Correctness Proofs.
STACS
Gilles Bernot, Michel Bidoit, Christine Choppy
1986 A conf
Algebraic Semantics of Exception Handling.
ESOP
Gilles Bernot, Michel Bidoit, Christine Choppy
1986 — conf
Correctness Proofs for Abstract Implementations.
ADT
Gilles Bernot