Project-Contraintes:International contracts

Team Contraintes

Members

Overall Objectives

Introduction
Highlight: Model-checking generalized to constraint solving
Highlight: Robustness measure of temporal logic properties

Scientific Foundations

Concurrent constraint programming
Constraint solvers
Computational systems biology

Application Domains

Combinatorial optimization problems
In-silico cell processes

Software

BIOCHAM
Rules2CP
CHRat
CLPGUI

New Results

Linear Logic Concurrent Constraint Programming and Constraint Handling Rules
Rule-based Modeling of Constraint Satisfaction Problems
Modelling Search in Rules2CP
Symmetry Detection and Breaking in Constraint Satisfaction Problems
Trace Development Methodology
Petri Net Representation of Biological Networks
Model Reductions by Graph Transformations
Analysis of Interlocked Positive Feedback Loops
Temporal Logic Constraint Solving
Parameter Search w.r.t. Temporal Logic Properties
Robustness Analysis w.r.t. Temporal Logic Properties
Automated selection of PADE models by symbolic model checking
Modeling the Cell Cycle
Modeling G protein-Coupled Signal Transduction

Other Grants and Activities

National contracts
European contracts
International contracts
Invitations

Dissemination

Teaching
Leadership within scientific community

Bibliography

Publications of the year

Inria / Raweb 2009
Presentation of the Project Contraintes

Section: Other Grants and Activities

International contracts

FACEPE/INRIA project C4RBCP (2007-2009), with Jacques Robin from the UFPE, on “Constraint, Object and Rule based Reasoning Engine with Components and Tracing” in the framework of the bilateral cooperation with Brazil.

Logo Inria