 | 2007 |
|---|
| 8 |       | 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 |
| 7 | | 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 |
| 2005 |
|---|
| 6 | | Gergely Pintér,
Henrique Madeira,
Marco Vieira,
István Majzik,
András Pataricza:
A Data Mining Approach to Identify Key Factors in Dependability Experiments.
EDCC 2005: 263-280 |
| 5 | | Gergely Pintér,
István Majzik:
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements.
HASE 2005: 111-120 |
| 2004 |
|---|
| 4 | | Gergely Pintér,
István Majzik:
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms.
EUROMICRO 2004: 136-143 |
| 3 | | Gergely Pintér,
István Majzik:
Modeling and Analysis of Exception Handling by Using UML Statecharts.
FIDJI 2004: 58-67 |
| 2 | | István Majzik,
Gergely Pintér,
Péter Tamás Kovács:
UML Based Design of Time Triggered Systems.
ISORC 2004: 60-63 |
| 1 | | Gergely Pintér,
István Majzik:
Runtime Verification of Statechart Implementations.
WADS 2004: 148-172 |
