Time4Sys – Integrating Timing Verification in your Engineering Practices

Loïc Fejoz ¹ AuthorId : 1315368
Mail :
Author

Lionel Havet ¹ AuthorId : 1311337
Mail :
Author

Aurélien Didier ² AuthorId : 11351979
Author

Benoit Viaud ² AuthorId : 11381968
Author

Anh-Toan Bui Long ³ AuthorId : 11351980
Author Employer institution : LIAS - ENSIP

Thanh Dat Nguyen ³ AuthorId : 1530008
Author

Yassine Ouhammou ³ AuthorId : 992211
Author

Emmanuel Grolleau ³ AuthorId : 365275
Mail :
Author

Adriana Gogonel ^{4, 5} AuthorId : 1321075
Mail :
Author Employer institution : Models and methods of analysis and optimization for systems with real-time and embedding constraints IdHAL : adriana-gogonel

Cristian Maxim ^{4, 5} AuthorId : 1321074
Mail :
Author Employer institution : Models and methods of analysis and optimization for systems with real-time and embedding constraints

Liliana Cucu-Grosjean ^{5, 4} AuthorId : 11350884
Mail :
Author

Rafik Henia ⁶ AuthorId : 219286
Author

Laurent Rioux ⁶ AuthorId : 393518
Mail :
Author Employer institution : THALES

Nicolas Sordon ⁷ AuthorId : 601580
Author

Nicolas Ayache ⁷ AuthorId : 532809
Author

Joris Rehm ⁷ AuthorId : 121205
Author