Abstract Implementation with Exception Handling. - Gilles Bernot (ADT, 1986)

Correctness Proofs for Abstract Implementations. - Gilles Bernot (ADT, 1986)

Algebraic Semantics of Exception Handling. - Gilles Bernot; Michel Bidoit; Christine Choppy (ESOP, 1986)

Abstract Implementations and Correctness Proofs. - Gilles Bernot; Michel Bidoit; Christine Choppy (STACS, 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)

Good Functors... are Those Preserving Philosophy. - Gilles Bernot (Category Theory and Computer Science, 1987)

Correctness Proofs for Abstract Implementation - Gilles Bernot (Inf. Comput., 1989)

Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. - Gilles Bernot; Michel Bidoit (AMAST, 1991)

A Formal Approach to Software Testing. - Gilles Bernot; Marie-Claude Gaudel; Bruno Marre (AMAST, 1991)

Label Algebras: A Systematic Use of Terms. - Gilles Bernot; Pascale Le Gall (COMPASS/ADT, 1991)

Testing Against Formal Specifications: A Theoretical View. - Gilles Bernot (TAPSOFT, Vol.2, 1991)

Software testing based on formal specifications: a theory and a tool. - Gilles Bernot; Marie-Claude Gaudel; Bruno Marre (Softw. Eng. J., 1991)

Towards an Adequate Notion of Observation. - Gilles Bernot; Michel Bidoit; Teodor Knapik (ESOP, 1992)

Exception Handling and Term Labelling. - Gilles Bernot; Pascale Le Gall (TAPSOFT, 1993)

Behavioural Approaches to Algebraic Specifications: A Comparative Study. - Gilles Bernot; Michel Bidoit; Teodor Knapik (Acta Informatica, 1994)

Label Algebras and Exception Handling. - Gilles Bernot; Pascale Le Gall; Marc Aiguier (Sci. Comput. Program., 1994)

Observational Specifications and the Indistinguishability Assumption. - Gilles Bernot; Michel Bidoit; Teodor Knapik (Theor. Comput. Sci., 1995)

Towards Heterogeneous Formal Specification. - Gilles Bernot; Sophie Coudert; Pascale Le Gall (AMAST, 1996)

A Theory of Probabilistic Functional Testing. - Gilles Bernot; Laurent Bouaziz; Pascale Le Gall (ICSE, 1997)

Hierarchical Heterogeneous Specifications. - Sophie Coudert; Gilles Bernot; Pascale Le Gall (WADT, 1998)

The Role of Formal Specifications. - Marie-Claude Gaudel; Gilles Bernot (Algebraic Foundations of Systems Specification, 1999)

Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata. - Vincent Bassano; Gilles Bernot (IEEE International Workshop on Rapid System Prototyping, 2003)

Semantics of Biological Regulatory Networks. - Gilles Bernot; Franck Cassez; Jean-Paul Comet; Franck Delaplace; Céline Müller; Olivier F. Roux (BioConcur@CONCUR, 2003)

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. - Adrien Richard; Jean-Paul Comet; Gilles Bernot (CMSB, 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; et al. (ICSNW, 2004)

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)

Delays in Biological Regulatory Networks (BRN). - Jamil Ahmad; Adrien Richard; Gilles Bernot; Jean-Paul Comet; Olivier F. Roux (International Conference on Computational Science (2), 2006)

Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. - Didier Filopon; Annabelle Mérieau; Gilles Bernot; Jean-Paul Comet; Rozenne LeBerre; Benoit Guery; Benoit Polack; Janine Guespin-Michel (BMC Bioinform., 2006)

Chronique : Le programme d'épigénomique. - Gilles Bernot; François Képès (Tech. Sci. Informatiques, 2007)

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)

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)

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)

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks. - Gilles Bernot; Jean-Paul Comet (CIBB, 2009)

Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network. - Gilles Bernot; Fariza Tahi (Fundam. Informaticae, 2009)

Enzymatic competition: Modeling and verification with timed hybrid petri nets. - Sylvie Troncale; Jean-Paul Comet; Gilles Bernot (Pattern Recognit., 2009)

A Formal Model for Gene Regulatory Networks with Time Delays. - Jean-Paul Comet; Jonathan Fromentin; Gilles Bernot; Olivier F. Roux (CSBio, 2010)

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; et al. (Theory Biosci., 2011)

Simplified Models for the Mammalian Circadian Clock. - Jean-Paul Comet; Gilles Bernot; Aparna Das; Francine Diener; Camille Massot; Amélie Cessieux (CSBio, 2012)

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. - Gilles Bernot; Jean-Paul Comet; Olivier F. Roux (CMSB, 2015)

A hybrid model of cell cycle in mammals. - Jonathan Behaegel; Jean-Paul Comet; Gilles Bernot; Emilien Cornillon; Franck Delaunay (J. Bioinform. Comput. Biol., 2016)

A Qualitative Framework Dedicated to Toxicology. - Benjamin Miraglio; Gilles Bernot; Jean-Paul Comet; Christine Risso-de Faverney (BIOINFORMATICS, 2017)

Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. - Benjamin Miraglio; Gilles Bernot; Jean-Paul Comet; Christine Risso-de Faverney (CMSB, 2017)

Computer-aided Formal Proofs about Dendritic Integration within a Neuron. - Ophélie Guinaudeau; Gilles Bernot; Alexandre Muzy; Daniel Gaffé; Franck Grammont (BIOINFORMATICS, 2018)

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free. - Ophélie Guinaudeau; Gilles Bernot; Alexandre Muzy; Daniel Gaffé; Franck Grammont (BIOSTEC (Selected Papers), 2018)

Modeling of Goal-oriented Human Motion Evolution using Hidden Markov Models. - Eman Ahmed; Reda A. El-Khoribi; Alexandre Muzy; Gilles Bernot; Gamal Darwish (ICPRAM, 2019)

A genetically modified Hoare logic. - Gilles Bernot; Jean-Paul Comet; Zohra Khalis; Adrien Richard; Olivier F. Roux (Theor. Comput. Sci., 2019)

What is a Cell Cycle Checkpoint? The TotemBioNet Answer. - Déborah Boyenval; Gilles Bernot; Hélène Collavizza; Jean-Paul Comet (CMSB, 2020)

TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. - Laetitia Gibart; Gilles Bernot; Hélène Collavizza; Jean-Paul Comet (BIOINFORMATICS, 2021)