Tamás Bartha

Citado por

	Total	Desde 2019
Citas	478	112
Índice h	11	5
Índice i10	14	4

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

Acceso público

Ver todo

5 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

András VörösCritical Systems Research Group, Budapest University of Technology and EconomicsDirección de correo verificada de mit.bme.hu
Darvas DánielDirección de correo verificada de cern.ch
András PatariczaBudapest University of Technology and EconomicsDirección de correo verificada de vik.bme.hu
Istvan MajzikAssociate Professor, Budapest University of Technology and EconomicsDirección de correo verificada de mit.bme.hu
Selényi EndreBudapest University of Technology and EconomicsDirección de correo verificada de mit.bme.hu
Vince MolnárBudapest University of Technology and EconomicsDirección de correo verificada de vik.bme.hu
Ákos HajduMeta / WhatsAppDirección de correo verificada de meta.com
Erzsébet NémethSenior research officer, The University of Queensland, AustraliaDirección de correo verificada de uq.edu.au
István VargaBME, MTA SZTAKIDirección de correo verificada de mail.bme.hu
Jörn AltmannTechnology Management, Economics, and Policy; College of Engineering; Seoul National UniversityDirección de correo verificada de acm.org
László GönczyAssociate Professor, Dept. of Measurement and Information Systems, BMEDirección de correo verificada de mit.bme.hu
andrea bondavalliProfessor of computer science, University of FirenzeDirección de correo verificada de unifi.it
Katalin HangosUniversity of Pannonia and Institute for Computer Science and Control (SZTAKI)Dirección de correo verificada de virt.uni-pannon.hu
Szabó, GézaBudapest University of Technoloogy and Economics, Dept. of Control for Transportation and VehicleDirección de correo verificada de kjk.bme.hu
Balazs Polgarresearch fellow, Budapest University of Technology and EconomicsDirección de correo verificada de mit.bme.hu
Peter GasparComputer and Automation Research InstituteDirección de correo verificada de sztaki.mta.hu
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information SystemsDirección de correo verificada de mit.bme.hu
Jozsef BokorProfessor of Control Theory, Hungarian Academy of Sciences, Budapest University of TechnologyDirección de correo verificada de sztaki.mta.hu
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGillDirección de correo verificada de liu.se
Bálint Kissassociate professor, Budapest University of Technology and EconomicsDirección de correo verificada de iit.bme.hu

Seguir

Tamás Bartha

SZTAKI, BME KJIT

Dirección de correo verificada de sztaki.hu - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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
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	9	2022
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
Efficient system-level fault diagnosis of large multiprocessor systems T Bartha Ph. D thesis, BME-MIT, 2000	7	2000

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores