Gilles Bernot

According to our database1, Gilles Bernot
  • authored at least 42 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes.
Proceedings of the Computational Methods in Systems Biology, 2017

A Qualitative Framework Dedicated to Toxicology.
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

A hybrid model of cell cycle in mammals.
J. Bioinformatics and Computational Biology, 2016

A Genetically Modified Hoare Logic.
CoRR, 2015

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network.
Proceedings of the Computational Methods in Systems Biology, 2015

Simplified Models for the Mammalian Circadian Clock.
Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics, 2012

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theory in Biosciences, 2011

Enzymatic competition: Modeling and verification with timed hybrid petri nets.
Pattern Recognition, 2009

Behaviour Preservation of a Biological Regulatory Network when Embedded into a Larger Network.
Fundam. Inform., 2009

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.
Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2009

Analysing formal models of genetic regulatory networks with delays.
IJBRA, 2008

A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency.
BMC Systems Biology, 2008

Evaluation of time profile reconstruction from complex two-color microarray designs.
BMC Bioinformatics, 2008

Chronique : Le programme d'épigénomique.
Technique et Science Informatiques, 2007

Semantics of Biological Regulatory Networks.
Electr. Notes Theor. Comput. Sci., 2007

Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa.
BMC Bioinformatics, 2006

Delays in Biological Regulatory Networks (BRN).
Proceedings of the Computational Science, 2006

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

Towards a Mediation System Framework for Transparent Access to Largely Distributed Sources. The MediaGrid Project.
Proceedings of the Semantics for Grid Databases, 2004

Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

Marked Regulatory Graphs: A Formal Framework to Simulate Biological Regulatory Networks with Simple Automata.
Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

The Role of Formal Specifications.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Hierarchical Heterogeneous Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

A Theory of Probabilistic Functional Testing.
Proceedings of the Pulling Together, 1997

Towards Heterogeneous Formal Specification.
Proceedings of the Algebraic Methodology and Software Technology, 1996

Observational Specifications and the Indistinguishability Assumption.
Theor. Comput. Sci., 1995

Label Algebras and Exception Handling.
Sci. Comput. Program., 1994

Behavioural Approaches to Algebraic Specifications: A Comparative Study.
Acta Inf., 1994

Exception Handling and Term Labelling.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Towards an Adequate Notion of Observation.
Proceedings of the ESOP '92, 1992

Software testing based on formal specifications: a theory and a tool.
Software Engineering Journal, 1991

Testing Against Formal Specifications: A Theoretical View.
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.
Proceedings of the Recent Trends in Data Type Specification, 1991

A Formal Approach to Software Testing.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

Correctness Proofs for Abstract Implementation
Inf. Comput., February, 1989

Good Functors... are Those Preserving Philosophy.
Proceedings of the Category Theory and Computer Science, 1987

Abstract Data Types with Exception Handling: An Initial Approach Based on a Distinction Between Exceptions and Errors.
Theor. Comput. Sci., 1986

Abstract Implementations and Correctness Proofs.
Proceedings of the STACS 86, 1986

Algebraic Semantics of Exception Handling.
Proceedings of the ESOP 86, 1986

Correctness Proofs for Abstract Implementations.
ADT, 1986

Abstract Implementation with Exception Handling.
ADT, 1986