Tamás Bartha
TitleCited byYear
Dependability evaluation of web service-based processes
L Gönczy, S Chiaradonna, F Di Giandomenico, A Pataricza, A Bondavalli, ...
European Performance Engineering Workshop, 166-180, 2006
372006
Formal verification of safety functions by reinterpretation of functional block based specifications
E Németh, T Bartha
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
332008
Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets
E Németh, T Bartha, C Fazekas, KM Hangos
Reliability Engineering & System Safety 94 (5), 942-953, 2009
322009
Formal verification of complex properties on PLC programs
D Darvas, BF Adiego, A Vörös, T Bartha, EB Vinuela, VMG Suárez
International Conference on Formal Techniques for Distributed Objects …, 2014
272014
Formális módszerek az informatikában
P András
Typotex, 2006
26*2006
Bounded saturation-based CTL model checking
A Vörös, D Darvas, T Bartha
Proceedings of the Estonian Academy of Sciences 62 (1), 59-70, 2013
232013
Bounded saturation based CTL model checking
A Vörös, D Darvas, T Bartha
12th Symposium on Programming Languages and Software Tools, 149-160, 2011
232011
On integrating error detection into a fault diagnosis algorithm for massively parallel computers
J Altmann, T Bartha, A Pataricza
Proceedings of 1995 IEEE International Computer Performance and …, 1995
151995
Probabilistic system-level fault diagnostic algorithms for multiprocessors
T Bartha, E Selényi
Parallel Computing 22 (13), 1807-1821, 1997
141997
Verification of an industrial safety function using coloured Petri nets and model checking
T Bartha, A Vörös, A Jámbor, D Dániel
14th International Conference on Modern Information Technology in the …, 2012
122012
Probabilistic fault diagnosis in large, heterogeneous computing systems
T Bartha, E Selényi
Periodica Polytechnica Electrical Engineering 43 (2), 127-149, 2000
112000
New search strategies for the Petri net CEGAR approach
Á Hajdu, A Vörös, T Bartha
International Conference on Applications and Theory of Petri Nets and …, 2015
102015
Parallel saturation based model checking
A Horv
2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011
102011
Extensions to the CEGAR Approach on Petri Nets
Á Hajdu, A Vörös, T Bartha, Z Mártonka
The 13th Symposium on Programming Languages and Software Tools (SPLST'13 …, 2013
92013
Component-wise incremental LTL model checking
V Molnár, A Vörös, D Darvas, T Bartha, I Majzik
Formal Aspects of Computing 28 (3), 345-379, 2016
82016
Saturation-based incremental LTL model checking with inductive proofs
V Molnár, D Darvas, A Vörös, T Bartha
International Conference on Tools and Algorithms for the Construction and …, 2015
82015
Improving saturation-based bounded model checking
D Darvas, A Vörös, T Bartha
ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016
62016
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
A Vörös, D Darvas, V Molnár, A Klenik, Á Hajdu, A Jámbor, T Bartha, ...
International Conference on Application and Theory of Petri Nets and …, 2016
52016
Advanced saturation-based model checking of well-formed coloured Petri nets
A Vörös, D Darvas, A Jámbor, T Bartha
Periodica Polytechnica Electrical Engineering and Computer Science 58 (1), 3-13, 2014
52014
Constraint based system-level diagnosis of multiprocessors
J Altmann, T Bartha, A Pataricza, A Petri, P Urbán
European Dependable Computing Conference, 403-420, 1996
51996
The system can't perform the operation now. Try again later.
Articles 1–20