509.604 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Mouftah, Hussein T. |
| |
| Dugay, Fabrice |
| |
| Rettenmeier, Max |
| |
| Tomasch, Ernst | Graz |
|
| Cornaggia, Greta |
| |
| Palacios-Navarro, Guillermo |
| |
| Uspenskyi, Borys V. |
| |
| Khan, Baseem |
| |
| Fediai, Natalia |
| |
| Derakhshan, Shadi |
| |
| Somers, Bart | Eindhoven |
|
| Anvari, B. |
| |
| Kraushaar, Sabine | Vienna |
|
| Kehlbacher, Ariane |
| |
| Das, Raj |
| |
| Werbińska-Wojciechowska, Sylwia |
| |
| Brillinger, Markus |
| |
| Eskandari, Aref |
| |
| Gulliver, J. |
| |
| Loft, Shayne |
| |
| Kud, Bartosz |
| |
| Matijošius, Jonas | Vilnius |
|
| Piontek, Dennis |
| |
| Kene, Raymond O. |
| |
| Barbosa, Juliana |
|
Boniol, Frédéric
in Cooperation with on an Cooperation-Score of 37%
Topics
Publications (10/10 displayed)
- 2024Assessing Unchecked Factors for Certification: An Experimental approach for GPU Cache Parameters
- 2024Invited Paper: Assessing Unchecked Factors for Certification: An Experimental Approach for GPU Cache Parameters
- 2023A Unified Model for Integrated Modular Architecture-TSN based Systemscitations
- 2022Modelling and analyzing multi-core COTS processors
- 2020Challenges in the Certification of Computer Vision-Based Systems
- 2019Identification of multi-core interferencecitations
- 2012New Challenges for Future Avionic Architectures.
- 2010Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems
- 2006Experiences in using model checking to verify real time properties of a landing gear control system
- 2004Integration of heterogeneous formal techniques for the design of avionics systems
Places of action
| Organizations | Location | People |
|---|