Project-Team Mexico
Team, Visitors, External Collaborators
Overall Objectives
Scientific Objectives
Research Program
Concurrency
Management of Quantitative Behavior
Application Domains
Telecommunications
Biological Regulation Networks
Metabolic Networks
Transportation Systems
Highlights of the Year
New Software and Platforms
COSMOS
CosyVerif
Mole
New Results
Generalized Alignment-Based Trace Clustering of Process Behavior
The involution tool for accurate digital timing and power analysis
Transistor-level analysis of dynamic delay models
A faithful binary circuit model
Concurrency in Boolean networks
Sequential Reprogramming of Boolean Networks Made Practical
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Autonomous Transitions Enhance CSLTA Expressiveness and Conciseness
Coverability and Termination in Recursive Petri Nets
Partnerships and Cooperations
Regional Initiatives
National Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2019
|
Presentation of the Project-Team MEXICO
|
MEXICO Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Dissemination
Popularization
Internal or external Inria responsibilities
Stefan Haar
has been the president of COST-GTRI.
Previous |
Home
| Next