EN FR
Homepage Inria website


2019 Project-Team Activity Report
MEXICO
Modeling and Exploitation of Interaction and Concurrency
Research centre: Saclay - Île-de-France
In partnership with: CNRS, Ecole normale supérieure de Cachan

In collaboration with: Laboratoire specification et vérification (LSV)



Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • A2.3. - Embedded and cyber-physical systems
  • A2.3.2. - Cyber-physical systems
  • A2.3.3. - Real-time systems
  • A2.4.1. - Analysis
  • A2.4.2. - Model-checking
  • A6.4.1. - Deterministic control
  • A6.4.3. - Observability and Controlability
  • A7.1. - Algorithms
  • A7.1.1. - Distributed algorithms
  • A7.2. - Logic in Computer Science
  • A7.3.1. - Computational models and calculability
  • A8.1. - Discrete mathematics, combinatorics
  • A8.2. - Optimization
  • A8.7. - Graph theory
  • A8.8. - Network science
  • A8.9. - Performance evaluation
  • A8.11. - Game Theory
Other Research Topics and Application Domains:
  • B1.1.2. - Molecular and cellular biology
  • B1.1.7. - Bioinformatics
  • B1.1.10. - Systems and synthetic biology
  • B7.1. - Traffic management
  • B7.2.1. - Smart vehicles