Tamás Bartha

Cited by

	All	Since 2019
Citations	476	111
h-index	11	5
i10-index	14	4

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 7 6 2 3 11 3 5 5 10 2 11 12 13 18 21 36 20 33 31 49 20 30 21 16 23 19 16 16

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

András VörösCritical 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 meta.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
László GönczyAssociate Professor, Dept. of Measurement and Information Systems, BMEVerified email at mit.bme.hu
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Katalin HangosUniversity of Pannonia and Institute for Computer Science and Control (SZTAKI)Verified email at virt.uni-pannon.hu
Szabó, GézaBudapest University of Technoloogy and Economics, Dept. of Control for Transportation and VehicleVerified email at kjk.bme.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
Jozsef BokorProfessor of Control Theory, Hungarian Academy of Sciences, Budapest University of TechnologyVerified email at sztaki.mta.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 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	53	2014
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	50	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	42	2006
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	40	2009
Formális módszerek az informatikában P András Typotex, 2006	29*	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	25	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	25	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
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	13	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	13	2012
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	12	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	11	2018
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	10	1999
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	9	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, ... Application and Theory of Petri Nets and Concurrency: 37th International …, 2016	9	2016
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	9	2015
Formal modeling and verification of the functionality of electronic urban railway control systems through a case study G Lukács, T Bartha Urban Rail Transit 8 (3), 217-245, 2022	8	2022
Efficient system-level fault diagnosis of large multiprocessor systems T Bartha Ph. D thesis, BME-MIT, 2000	7	2000

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

Cited by

Co-authors