Tamás Bartha

Cited by

	All	Since 2016
Citations	405	143
h-index	11	7
i10-index	13	4

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020211 5 7 6 2 3 11 7 6 5 9 3 10 13 10 17 21 36 20 29 30 48 17 31 19 15 13

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

András VörösFault Tolerant Systems Research Group, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Darvas DánielVerified email at cern.ch
András PatariczaBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Selényi EndreBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Vince MolnárAssociate Researcher, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Erzsébet NémethSenior research officer, The University of Queensland, AustraliaVerified email at uq.edu.au
Ákos HajduFacebookVerified email at fb.com
István VargaBME, MTA SZTAKIVerified email at mail.bme.hu
Jörn AltmannTechnology Management, Economics, and Policy; Engineering; Seoul National UniversityVerified email at acm.org
Laszlo GonczyResearch Associate, Department of Measurement and Information Systems, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Katalin HangosComputer and Automation Research Institute (SZTAKI) and University of PannoniaVerified email at sztaki.hu
Alexandros SoumelidisMTA SZTAKI, Széchenyi István Egyetem JKKVerified email at ga.sze.hu
Szabó, GézaBudapest University of Technoloogy and Economics, Dept. of Control for Transportation and VehiclesVerified email at mail.bme.hu
Peter GasparComputer and Automation Research InstituteVerified email at sztaki.mta.hu
Balazs Polgarresearch fellow, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
Bálint Kissassociate professor, Budapest University of Technology and EconomicsVerified email at iit.bme.hu
Attila GaborComputational Biomedicine, Heidelberg UniversityVerified email at uni-heidelberg.de

Tamás Bartha

SZTAKI, BME KJIT

Verified email at sztaki.hu - Homepage

fault-tolerant systems multi-processor systems system-level diagnosis distributed diagnosis formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	42	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	39	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	39	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	35	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	24	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	24	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
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	11	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	11	2013
Parallel saturation based model checking A Horv 2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011	11	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
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	9	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	8	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	7	2016
Efficient system-level fault diagnosis of large multiprocessor systems T Bartha Ph. D thesis, BME-MIT, 2000	7	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	6	2018
Improving saturation-based bounded model checking D Darvas, A Vörös, T Bartha ACTA CYBERNETICA-SZEGED 22 (3), 573-589, 2016	6	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors