Tamás Bartha

Cited by

	All	Since 2017
Citations	415	108
h-index	12	6
i10-index	13	3

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120225 7 6 2 3 11 5 6 6 9 2 10 13 9 17 22 36 19 29 30 48 17 30 20 16 19 6

Public access

View all

7 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 vik.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árBudapest University of Technology and EconomicsVerified email at vik.bme.hu
Ákos HajduMeta / WhatsAppVerified email at fb.com
Erzsébet NémethSenior research officer, The University of Queensland, AustraliaVerified email at uq.edu.au
István VargaBME, MTA SZTAKIVerified email at mail.bme.hu
Jörn AltmannTechnology Management, Economics, and Policy; College of Engineering; Seoul National UniversityVerified email at acm.org
Laszlo GonczyAssistant Professor, Department of Measurement and Information Systems, Budapest University ofVerified email at mit.bme.hu
Katalin HangosUniversity of Pannonia and Institute for Computer Science and Control (SZTAKI)Verified email at virt.uni-pannon.hu
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Szabó, GézaBudapest University of Technoloogy and Economics, Dept. of Control for Transportation and VehicleVerified email at kjk.bme.hu
Alexandros SoumelidisMTA SZTAKI, Széchenyi István Egyetem JKKVerified email at ga.sze.hu
Balazs Polgarresearch fellow, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Peter GasparComputer and Automation Research InstituteVerified email at sztaki.mta.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
Formal verification of complex properties on PLC programs D Darvas, B Fernández Adiego, A Vörös, T Bartha, E Blanco Viñuela, ... International Conference on Formal Techniques for Distributed Objects …, 2014	38	2014
Dependability evaluation of web service-based processes L Gönczy, S Chiaradonna, FD Giandomenico, A Pataricza, A Bondavalli, ... European Performance Engineering Workshop, 166-180, 2006	38	2006
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	14	1997
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	12	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	12	2013
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	10	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
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	8	2018
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	8	2016
Efficient system-level fault diagnosis of large multiprocessor systems T Bartha Ph. D thesis, BME-MIT, 2000	7	2000
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