 | 2011 |
|---|
| 8 |       | Zoltán Micskei,
Hélène Waeselynck:
The many meanings of UML 2 Sequence Diagrams: a survey.
Software and System Modeling 10(4): 489-514 (2011) |
| 2010 |
|---|
| 7 | | András Kövi,
Zoltán Micskei:
Robustness Testing of Standard Specifications-Based HA Middleware.
ICDCS Workshops 2010: 302-306 |
| 2009 |
|---|
| 6 | | László Gönczy,
István Majzik,
Ákos Horváth,
Dániel Varró,
András Balogh,
Zoltán Micskei,
András Pataricza:
Tool Support for Engineering Certifiable Software.
Electr. Notes Theor. Comput. Sci. 238(4): 79-85 (2009) |
| 2007 |
|---|
| 5 | | Zoltán Micskei,
István Majzik,
Francis Tam:
Comparing Robustness of AIS-Based Middleware Implementations.
ISAS 2007: 20-30 |
| 4 | | 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 | | 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 | | 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 | | Zoltán Micskei,
István Majzik:
Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers.
DepCoS-RELCOMEX 2006: 191-198 |
Data released under the ODC-BY 1.0 license — See also our legal information page