Follow
Tamás Bartha
Title
Cited by
Cited by
Year
Formal verification of complex properties on PLC programs
D Darvas, B Fernández Adiego, A Vörös, T Bartha, E Blanco Vińuela, ...
Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014
492014
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
462008
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
422006
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
392009
Formális módszerek az informatikában
P András
Typotex, 2006
28*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
252013
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
252011
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
161995
Probabilistic system-level fault diagnostic algorithms for multiprocessors
T Bartha, E Selényi
Parallel Computing 22 (13), 1807-1821, 1997
141997
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
132013
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
132012
New search strategies for the Petri net CEGAR approach
Á Hajdu, A Vörös, T Bartha
Application and Theory of Petri Nets and Concurrency: 36th International …, 2015
122015
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
112018
Parallel saturation based model checking
A Horv
2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011
112011
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, ...
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
92016
Saturation-based incremental LTL model checking with inductive proofs
V Molnár, D Darvas, A Vörös, T Bartha
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
92015
Probabilistic fault diagnosis in large, heterogeneous computing systems
T Bartha, E Selényi
Periodica Polytechnica Electrical Engineering (Archives) 43 (2), 127-149, 1999
91999
Component-wise incremental LTL model checking
V Molnár, A Vörös, D Darvas, T Bartha, I Majzik
Formal Aspects of Computing 28, 345-379, 2016
82016
Efficient system-level fault diagnosis of large multiprocessor systems
T Bartha
Ph. D thesis, BME-MIT, 2000
72000
Improving saturation-based bounded model checking
D Darvas, A Vörös, T Bartha
ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20