Gilles Bernot

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
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

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

2015
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

2012
Simplified Models for the Mammalian Circadian Clock.
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.
Theory in Biosciences, 2011

2009
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

2008
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

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

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

2006
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

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

2004
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

2003
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

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

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

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

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

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

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

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

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

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

1991
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

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

1987
Good Functors... are Those Preserving Philosophy.
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.
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


  Loading...