Tamás Bartha

19 papers A 1B 2C 3Misc 3Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2022 Misc conf
Conception of a formal model-based methodology to support railway engineers in the specification and verification of interlocking systems.
SACI
Gábor Lukács, Tamás Bartha
2018 J jnl
Industrial applications of the PetriDotNet modelling and analysis tool.
Sci. Comput. Program.
András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
2016 J jnl
Component-wise incremental LTL model checking.
Formal Aspects Comput.
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
2016 J jnl
Improving Saturation-based Bounded Model Checking.
Acta Cybern.
Dániel Darvas, András Vörös, Tamás Bartha
2016 B conf
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.
Petri Nets
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
2015 B conf
New Search Strategies for the Petri Net CEGAR Approach.
Petri Nets
Ákos Hajdu, András Vörös, Tamás Bartha
2015 A conf
Saturation-Based Incremental LTL Model Checking with Inductive Proofs.
TACAS
Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha
2014 J jnl
Extensions to the CEGAR Approach on Petri Nets.
Acta Cybern.
Ákos Hajdu, András Vörös, Tamás Bartha, Zoltán Mártonka
2014 C conf
Formal Verification of Complex Properties on PLC Programs.
FORTE
Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
2011 C conf
Parallel Saturation Based Model Checking.
ISPDC
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha
2009 J jnl
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets.
Reliab. Eng. Syst. Saf.
Erzsébet Németh, Tamás Bartha, Csaba Fazekas, Katalin M. Hangos
2008 J jnl
Development of Safety Software for the Paks Nuclear Power Plant.
ERCIM News
Tamás Bartha, István Varga
2008 C conf
Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.
FMICS
Erzsébet Németh, Tamás Bartha
2006 — conf
Dependability Evaluation of Web Service-Based Processes.
EPEW
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
2005 Misc conf
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System.
EDCC
Tamás Bartha, István Varga, Alexandros Soumelidis, Géza Szabé
2005 J jnl
On the Extension and Applicability of the P-Graph Modeling Paradigm to System-Level Diagnostic Problems.
Scalable Comput. Pract. Exp.
Balázs Polgár, Endre Selényi, Tamás Bartha
1997 J jnl
Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors.
Parallel Comput.
Tamás Bartha, Endre Selényi
1996 Misc conf
Constraint Based System-Level Diagnosis of Multiprocessors.
EDCC
Jörn Altmann, András Pataricza, Tamás Bartha, Péter Urbán, A. Petri
1996 — conf
Effective Approximate Fault Diagnosis of Systems with Inhomogeneous Test Invalidation.
EUROMICRO
Tamás Bartha