2008 |
5 | EE | Imre Kocsis,
György Csertán,
Péter László Pásztor,
András Pataricza:
Dependability and Security Metrics in Controlling Infrastructure.
SECURWARE 2008: 368-374 |
2006 |
4 | EE | Erwin Schoitsch,
Egbert Althammer,
Henrik Eriksson,
Jonny Vinter,
László Gönczy,
András Pataricza,
György Csertán:
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.
SAFECOMP 2006: 372-385 |
2002 |
3 | EE | György Csertán,
Gábor Huszerl,
István Majzik,
Zsigmond Pap,
András Pataricza,
Dániel Varró:
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.
ASE 2002: 267-270 |
2 | EE | György Csertán,
András Pataricza,
Péter Harang,
Orsolya Dobán,
Gabor Biros,
András Dancsecz,
Ferenc Friedler:
BPM Based Robust E-business Application Development (Practical Experience Report).
EDCC 2002: 32-43 |
1996 |
1 | EE | B. Antal,
György Csertán,
István Majzik,
Andrea Bondavalli,
Luca Simoncini:
Reachability and Timing Analysis in Data Flow Networks: A Case Study.
EUROMICRO 1996: 193- |