Tamás Bartha 个人学术档案

引用次数

	总计	2019 年至今
引用	465	102
h 指数	11	5
i10 指数	13	4

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

开放获取的出版物数量

查看全部

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

András VörösCritical Systems Research Group, Budapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
Darvas Dániel在 cern.ch 的电子邮件经过验证
András PatariczaBudapest University of Technology and Economics在 vik.bme.hu 的电子邮件经过验证
Istvan MajzikAssociate Professor, Budapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
Selényi EndreBudapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
Vince MolnárBudapest University of Technology and Economics在 vik.bme.hu 的电子邮件经过验证
Ákos HajduMeta / WhatsApp在 meta.com 的电子邮件经过验证
Erzsébet NémethSenior research officer, The University of Queensland, Australia在 uq.edu.au 的电子邮件经过验证
István VargaBME, MTA SZTAKI在 mail.bme.hu 的电子邮件经过验证
Jörn AltmannTechnology Management, Economics, and Policy; College of Engineering; Seoul National University在 acm.org 的电子邮件经过验证
László GönczyAssociate Professor, Dept. of Measurement and Information Systems, BME在 mit.bme.hu 的电子邮件经过验证
andrea bondavalliProfessor of computer science, University of Firenze在 unifi.it 的电子邮件经过验证
Katalin HangosUniversity of Pannonia and Institute for Computer Science and Control (SZTAKI)在 virt.uni-pannon.hu 的电子邮件经过验证
Szabó, GézaBudapest University of Technoloogy and Economics, Dept. of Control for Transportation and Vehicle在 kjk.bme.hu 的电子邮件经过验证
Balazs Polgarresearch fellow, Budapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
Peter GasparComputer and Automation Research Institute在 sztaki.mta.hu 的电子邮件经过验证
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information Systems在 mit.bme.hu 的电子邮件经过验证
Jozsef BokorProfessor of Control Theory, Hungarian Academy of Sciences, Budapest University of Technology在 sztaki.mta.hu 的电子邮件经过验证
Bálint Kissassociate professor, Budapest University of Technology and Economics在 iit.bme.hu 的电子邮件经过验证
Attila GaborComputational Biomedicine, Heidelberg University在 uni-heidelberg.de 的电子邮件经过验证

关注

Tamás Bartha

SZTAKI, BME KJIT

在 sztaki.hu 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	49	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	47	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	39	2009
Formális módszerek az informatikában P András Typotex, 2006	28*	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
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
Probabilistic fault diagnosis in large, heterogeneous computing systems T Bartha, E Selényi Periodica Polytechnica Electrical Engineering (Archives) 43 (2), 127-149, 1999	9	1999
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	7	2022
Efficient system-level fault diagnosis of large multiprocessor systems T Bartha Ph. D thesis, BME-MIT, 2000	7	2000

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用