2007 |
8 | 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 |
7 | 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 |
2005 |
6 | EE | 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 | EE | Gergely Pintér,
István Majzik:
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements.
HASE 2005: 111-120 |
2004 |
4 | EE | Gergely Pintér,
István Majzik:
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms.
EUROMICRO 2004: 136-143 |
3 | EE | Gergely Pintér,
István Majzik:
Modeling and Analysis of Exception Handling by Using UML Statecharts.
FIDJI 2004: 58-67 |
2 | EE | István Majzik,
Gergely Pintér,
Péter Tamás Kovács:
UML Based Design of Time Triggered Systems.
ISORC 2004: 60-63 |
1 | EE | Gergely Pintér,
István Majzik:
Runtime Verification of Statechart Implementations.
WADS 2004: 148-172 |