| 2006 |
|---|
| 8 | EE | Y. Zhao,
Simon Oberthür,
Martin Kardos,
Franz-Josef Rammig:
Model-based Runtime Verification Framework for Self-optimizing Systems.
Electr. Notes Theor. Comput. Sci. 144(4): 125-145 (2006) |
| 2005 |
|---|
| 7 | EE | Yuhong Zhao,
Martin Kardos,
Simon Oberthür,
Franz J. Rammig:
Comprehensive Verification Framework for Dependability of Self-optimizing Systems.
ATVA 2005: 39-53 |
| 6 | EE | Martin Kardos:
An Approach to Model Checking AsmL Specifications.
Abstract State Machines 2005: 289-304 |
| 5 | EE | Yuhong Zhao,
Simon Oberthür,
Norma Montealegre,
Franz J. Rammig,
Martin Kardos:
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.
PPAM 2005: 1034-1041 |
| 2004 |
|---|
| 4 | | Martin Kardos,
Yuhong Zhao:
Verification Framework for UML-Based Design of Embedded Systems.
DIPES 2004: 21-30 |
| 3 | EE | Martin Kardos,
Franz J. Rammig:
Model Based Formal Verification of Distributed Production Control Systems.
SoftSpez Final Report 2004: 451-473 |
| 2003 |
|---|
| 2 | EE | Martin Kardos,
Ulrich Nickel:
ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.
Abstract State Machines 2003: 416 |
| 2002 |
|---|
| 1 | | Holger Giese,
Martin Kardos,
Ulrich Nickel:
Towards Design Verification and Validation at Multiple Levels of Abstraction.
DIPES 2002: 71-80 |
