380.250 PEOPLE
| People | Locations | Statistics |
|---|---|---|
| Tekkaya, A. Erman |
| |
| Förster, Peter |
| |
| Mudimu, George T. |
| |
| Shibata, Lillian Marie |
| |
| Talabbeydokhti, Nasser |
| |
| Laffite, Ernesto Dante Rodriguez |
| |
| Schöpke, Benito |
| |
| Gobis, Anna |
| |
| Alfares, Hesham K. |
| |
| Münzel, Thomas |
| |
| Joy, Gemini Velleringatt |
| |
| Oubahman, Laila |
| |
| Filali, Youssef |
| |
| Philippi, Paula |
| |
| George, Alinda |
| |
| Lucia, Caterina De |
| |
| Avril, Ludovic |
| |
| Belachew, Zigyalew Gashaw |
| |
| Kassens-Noor, Eva | Darmstadt |
|
| Cho, Seongchul |
| |
| Tonne, Cathryn |
| |
| Hosseinlou, Farhad |
| |
| Ganvit, Harsh |
| |
| Schmitt, Konrad Erich Kork |
| |
| Grimm, Daniel |
|
Kästner, Daniel
in Cooperation with on an Cooperation-Score of 37%
Topics
Publications (12/12 displayed)
- 2020High-Precision Sound Analysis to Find Safety and Cybersecurity Defects
- 2020Using Generic Software Components for Safety-Critical Embedded Systems - An Engineering Framework
- 2017Finding All Potential Run-Time Errors and Data Races in Automotive Softwarecitations
- 2012The WCET Tool Challenge 2011
- 2012The WCET Tool Challenge 2011
- 2012Safety Standards and WCET Analysis Tools
- 2011WCET Tool Challenge 2011: Report
- 2011WCET Tool Challenge 2011: Report
- 2011WCET Tool Challenge 2011 : Report
- 2011WCET Tool Challenge 2011
- 2011WCET tool challenge 2011:Report
- 2010Astree: Proving the Absence of Runtime Errors
Places of action
| Organizations | Location | People |
|---|