Tamás Bartha - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 18 from 18

2022

Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systemsGábor Lukács, Tamás Bartha. saci 2022: 283-288 [doi]

2018

Industrial applications of the PetriDotNet modelling and analysis toolAndrás Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik. SCP, 157:17-40, 2018. [doi]

2016

2015

Saturation-Based Incremental LTL Model Checking with Inductive ProofsVince Molnár, Dániel Darvas, András Vörös, Tamás Bartha. TACAS 2015: 643-657 [doi]

New Search Strategies for the Petri Net CEGAR ApproachÁkos Hajdu, András Vörös, Tamás Bartha. apn 2015: 309-328 [doi]

2014

Formal Verification of Complex Properties on PLC ProgramsDániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez. forte 2014: 284-299 [doi]

Extensions to the CEGAR Approach on Petri NetsÁkos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka. actaC, 21(3):401-417, 2014. [doi]

2009

Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri netsErzsébet Németh, Tamás Bartha, Cs. Fazekas, Katalin M. Hangos. ress, 94(5):942-953, 2009. [doi]

2008

Development of Safety Software for the Paks Nuclear Power PlantTamás Bartha, István Varga. ercim, 2008(75), 2008. [doi]

Formal Verification of Safety Functions by Reinterpretation of Functional Block Based SpecificationsErzsébet Németh, Tamás Bartha. fmics 2009: 199-214 [doi]

2006

Dependability Evaluation of Web Service-Based ProcessesLászló Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha. epew 2006: 166-180 [doi]

2005

Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection SystemTamás Bartha, István Varga, Alexandros Soumelidis, Géza Szabé. edcc 2005: 391-402 [doi]

On the Extension and Applicability of the P-Graph Modeling Paradigm to System-Level Diagnostic ProblemsBalázs Polgár, Endre Selényi, Tamás Bartha. scpe, 6(2), 2005. [doi]

1997

Probabilistic System-Level Fault Diagnostic Algorithms for MultiprocessorsTamás Bartha, Endre Selényi. pc, 22(13):1807-1821, 1997.

1996

Constraint Based System-Level Diagnosis of MultiprocessorsJörn Altmann, András Pataricza, Tamás Bartha, Péter Urbán, A. Petri. edcc 1996: 403-420

Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test InvalidationTamás Bartha. euromicro 1996: 379 [doi]

Sign in or sign up to see more results.

runs on WebDSL