 | 2009 |
|---|
| 9 |       | Erzsébet Németh,
Tamás Bartha,
Cs. Fazekas,
Katalin M. Hangos:
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.
Rel. Eng. & Sys. Safety 94(5): 942-953 (2009) |
| 2008 |
|---|
| 8 | | Erzsébet Németh,
Tamás Bartha:
Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.
FMICS 2008: 199-214 |
| 7 | | Tamás Bartha,
István Varga:
Development of Safety Software for the Paks Nuclear Power Plant.
ERCIM News 2008(75): (2008) |
| 2006 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
| 4 | | Balázs Polgár,
Endre Selényi,
Tamás Bartha:
On the Extension and Applicability of the P-Graph Modeling Paradigm to System-Level Diagnostic Problems.
Scalable Computing: Practice and Experience 6(2): (2005) |
| 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- |
Data released under the ODC-BY 1.0 license — See also our legal information page