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 |
|
Enoiu, Eduard Paul
in Cooperation with on an Cooperation-Score of 37%
Topics
Publications (11/11 displayed)
- 2018Combinatorial modeling and test case generation for industrial control software using ACTScitations
- 2017An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models
- 2017Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADLcitations
- 2015Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADLcitations
- 2013A Methodology for Formal Analysis and Verification of EAST-ADL Modelscitations
- 2013A methodology for formal analysis and verification of EAST-ADL modelscitations
- 2013Model-based test suite generation for function block diagrams using the UPPAAL model checkercitations
- 2013MOS : An Integrated Model-based and Search-based Testing Tool for Function Block Diagramscitations
- 2012ViTAL : A Verification Tool for EAST-ADL Models using UPPAAL PORTcitations
- 2012Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT
- 2012Extending EAST-ADL for modeling and analysis of system's resource-usagecitations
Places of action
| Organizations | Location | People |
|---|