MEXICO - 2019 - Annual activity report

MEXICO

MEXICO - 2019

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

Previous |

Home | Next next

Section: New Software and Platforms

CosyVerif

Functional Description: CosyVerif is a platform dedicated to the formal specification and verification of dynamic systems. It allows to specify systems using several formalisms (such as automata and Petri nets), and to run verification tools on these models.

Participants: Alban Linard, Fabrice Kordon, Laure Petrucci and Serge Haddad
Partners: LIP6 - LSV - LIPN (Laboratoire d'Informatique de l'Université Paris Nord)
Contact: Serge Haddad
URL: http://www.cosyverif.org/

Previous |

Home | Next next