| 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 | 37 | 2009 |
| 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 | 37 | 2008 |
| 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 | 37 | 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 | 30 | 2014 |
| Formális módszerek az informatikában P András Typotex, 2006 | 27* | 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 | 23 | 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 | 23 | 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 | 16 | 1995 |
| Probabilistic system-level fault diagnostic algorithms for multiprocessors T Bartha, E Selényi Parallel Computing 22 (13), 1807-1821, 1997 | 15 | 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 | 12 | 2012 |
| Parallel saturation based model checking A Horv 2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011 | 12 | 2011 |
| Probabilistic fault diagnosis in large, heterogeneous computing systems T Bartha, E Selényi Periodica Polytechnica Electrical Engineering (Archives) 43 (2), 127-149, 1999 | 11 | 1999 |
| 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 | 10 | 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 | 9 | 2013 |
| 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 | 8 | 2015 |
| Efficient system-level fault diagnosis of large multiprocessor systems T Bartha Ph. D thesis, BME-MIT, 2000 | 8 | 2000 |
| 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 | 7 | 2016 |
| 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 | 6 | 2016 |
| Improving saturation-based bounded model checking D Darvas, A Vörös, T Bartha ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016 | 6 | 2016 |
| 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 | 6 | 1996 |
András VörösFault Tolerant Systems Research Group, Budapest University of Technology and EconomicsE-mail megerősítve itt: mit.bme.hu
