Tamás Bartha

Cited by

	All	Since 2018
Citations	434	106
h-index	11	5
i10-index	14	4

199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 7 6 2 3 11 5 6 6 9 2 10 11 10 18 22 36 19 30 31 49 18 30 20 16 21 18 1

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 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
István VargaBME, MTA SZTAKIVerified email at mail.bme.hu
Erzsébet NémethSenior research officer, The University of Queensland, AustraliaVerified email at uq.edu.au
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
Alexandros SoumelidisMTA SZTAKI, Széchenyi István Egyetem JKKVerified email at ga.sze.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
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillVerified email at liu.se
Bálint Kissassociate professor, Budapest University of Technology and EconomicsVerified email at iit.bme.hu

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 Formal Methods for Industrial Critical Systems: 13th International Workshop …, 2009	42	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, ... Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014	41	2014
Dependability evaluation of web service-based processes L Gönczy, S Chiaradonna, F Di Giandomenico, A Pataricza, A Bondavalli, ... Formal Methods and Stochastic Models for Performance Evaluation: Third …, 2006	41	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	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 Application and Theory of Petri Nets and Concurrency: 36th International …, 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
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
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
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	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

Cited by

Co-authors