 | 2008 |
|---|
| 6 |       | Erzsébet Németh,
Tamás Bartha:
Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.
FMICS 2008: 199-214 |
| 2006 |
|---|
| 5 | | László Gönczy,
Silvano Chiaradonna,
Felicita Di Giandomenico,
András Pataricza,
Andrea Bondavalli,
Tamás Bartha:
Dependability Evaluation of Web Service-Based Processes.
EPEW 2006: 166-180 |
| 2005 |
|---|
| 4 | | Tamás Bartha,
István Varga,
Alexandros Soumelidis,
Géza Szabé:
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System.
EDCC 2005: 391-402 |
| 1997 |
|---|
| 3 |  | Tamás Bartha,
Endre Selényi:
Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors.
Parallel Computing 22(13): 1807-1821 (1997) |
| 1996 |
|---|
| 2 | | Jörn Altmann,
András Pataricza,
Tamás Bartha,
Péter Urbán,
A. Petri:
Constraint Based System-Level Diagnosis of Multiprocessors.
EDCC 1996: 403-420 |
| 1 | | Tamás Bartha:
Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test Invalidation.
EUROMICRO 1996: 379- |
