Time4Sys – Integrating Timing Verification in your Engineering Practices
Loïc Fejoz
(1)
,
Lionel Havet
(1)
,
Aurélien Didier
(2)
,
Benoit Viaud
(2)
,
Anh Toan Bui Long
(3, 4)
,
Thanh Dat Nguyen
(3, 4)
,
Yassine Ouhammou
(3, 4)
,
Emmanuel Grolleau
(3, 4)
,
Adriana Gogonel
(5, 6)
,
Cristian Maxim
(5, 6)
,
Liliana Cucu-Grosjean
(6, 5)
,
Rafik Henia
(7)
,
Laurent Rioux
(7)
,
Nicolas Sordon
(8)
,
Nicolas Ayache
(8)
,
Joris Rehm
(8)
1
RTaW -
Realtime-at-Work
2 ARTAL Technologies
3 LIAS - Laboratoire d'Informatique et d'Automatique pour les Systèmes
4 SETR - Systèmes Embarqués Temps Réel
5 KOPERNIC - Adapter le raisonnement pire cas à différentes criticités
6 AOSTE2 - Models and methods of analysis and optimization for systems with real-time and embedded contraints
7 Thales Research and Technology [Palaiseau]
8 ClearSy Systems Engineering
2 ARTAL Technologies
3 LIAS - Laboratoire d'Informatique et d'Automatique pour les Systèmes
4 SETR - Systèmes Embarqués Temps Réel
5 KOPERNIC - Adapter le raisonnement pire cas à différentes criticités
6 AOSTE2 - Models and methods of analysis and optimization for systems with real-time and embedded contraints
7 Thales Research and Technology [Palaiseau]
8 ClearSy Systems Engineering
Anh Toan Bui Long
- Function : Author
- PersonId : 1285399
Thanh Dat Nguyen
- Function : Author
- PersonId : 781952
- IdRef : 199319111
Yassine Ouhammou
- Function : Author
- PersonId : 1135781
Emmanuel Grolleau
- Function : Author
- PersonId : 746223
- IdHAL : emmanuel-grolleau
- ORCID : 0000-0001-7045-9819
- IdRef : 086811843
Adriana Gogonel
- Function : Author
- PersonId : 16686
- IdHAL : adriana-gogonel
- IdRef : 16797694X