| 2007 |
|---|
| 5 | EE | Zoltán Micskei,
István Majzik,
Francis Tam:
Comparing Robustness of AIS-Based Middleware Implementations.
ISAS 2007: 20-30 |
| 4 | EE | Hélène Waeselynck,
Zoltán Micskei,
Minh Duc Nguyen,
Nicolas Riviere:
Mobile Systems from a Validation Perspective: a Case Study.
ISPDC 2007: 85-92 |
| 3 | EE | István Majzik,
Zoltán Micskei,
Gergely Pintér:
Development of Model Based Tools to Support the Design of Railway Control Applications.
SAFECOMP 2007: 430-435 |
| 2 | EE | Gergely Pintér,
Zoltán Micskei,
András Kövi,
Zoltán Égel,
Imre Kocsis,
Gábor Huszerl,
András Pataricza:
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services.
WADS 2007: 150-174 |
| 2006 |
|---|
| 1 | EE | Zoltán Micskei,
István Majzik:
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.
DepCoS-RELCOMEX 2006: 191-198 |
