Team Hycomes
Members
Overall Objectives
Research Program
Hybrid Systems Modeling
Background on non-standard analysis
Contract-Based Design, Interfaces Theories, and Requirements Engineering
Highlights of the Year
New Software and Platforms
Flipflop
MICA
TnF-C++
New Results
Embedded Systems Design
Hybrid Systems Modeling
Contracts for Systems Design
Partnerships and Cooperations
Regional Initiatives
National Initiatives
European Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2015
|
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, Senior Researcher
, HdR]
Albert Benveniste
[
Inria, Senior Researcher
, HdR]
Khalil Ghorbal
[
Inria, Researcher, from Oct 2015
]
PhD Student
Ayman Aljarbouh
[
Inria, granted by Conseil Régional de Bretagne
]
Administrative Assistant
Angélique Jarnoux
[
Inria
]
Other
Valentin Leblanc
[
Inria,Internship, from Feb 2015 until Mar 2015
]
Previous |
Home
| Next