Team Hycomes
Members
Overall Objectives
Highlights of the Year
Research Program
Introduction
Hybrid Systems Modeling
Contract-Based Design, Interfaces Theories, and Requirements Engineering
Background on non-standard analysis
Software and Platforms
Mica: A Modal Interface Compositional Analysis Toolbox
Flipflop: A Test and Flip Net Synthesis Tool for Maintenance and Surgical Process Mining
New Results
Hybrid Systems Modeling
Surgical Process Mining with Test and Flip Net Synthesis
Partnerships and Cooperations
Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
Dissemination
Scientific Animation
Teaching - Supervision - Juries
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2013
|
Presentation of the Team Hycomes
PDF
e-Pub
Previous |
Home
| Next
Creation of the Team:
2013 July 01
Section: Members
Research Scientists
Benoît Caillaud
[
Team leader, Inria, Researcher
, HdR]
Albert Benveniste
[
Inria, Senior Researcher
, HdR]
PhD Student
Ayman Aljarbouh
[
Inria, from Dec 2013, funded by the ITEA2 Modrio project and the Brittany Regional Council
]
Previous |
Home
| Next