Tamás Bartha
Cited by
Cited by
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
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
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
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
Formális módszerek az informatikában
P András
Typotex, 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
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
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
Probabilistic system-level fault diagnostic algorithms for multiprocessors
T Bartha, E Selényi
Parallel Computing 22 (13), 1807-1821, 1997
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
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
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
Parallel saturation based model checking
A Horv
2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011
Probabilistic fault diagnosis in large, heterogeneous computing systems
T Bartha, E Selényi
Periodica Polytechnica Electrical Engineering (Archives) 43 (2), 127-149, 1999
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
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 Applications and Theory of Petri Nets and …, 2016
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
Efficient system-level fault diagnosis of large multiprocessor systems
T Bartha
Ph. D thesis, BME-MIT, 2000
Industrial applications of the PetriDotNet modelling and analysis tool
A Vörös, D Darvas, Á Hajdu, A Klenik, K Marussy, V Molnár, T Bartha, ...
Science of Computer Programming 157, 17-40, 2018
Improving saturation-based bounded model checking
D Darvas, A Vörös, T Bartha
ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016
The system can't perform the operation now. Try again later.
Articles 1–20