Istvan Majzik - Google Scholar

Cited by

	All	Since 2015
Citations	2488	578
h-index	22	12
i10-index	48	15

200

100

150

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202023 23 37 92 122 129 126 154 198 147 163 129 148 118 156 92 108 104 105 111 98 51

Co-authors

András PatariczaBudapest University of Technology and EconomicsVerified email at mit.bme.hu
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Daniel VarroProfessorVerified email at mcgill.ca
Gabor HuszerlBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Zoltán MicskeiBudapest University of Technology and EconomicsVerified email at mit.bme.hu
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
Vince MolnárAssociate Researcher, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Balazs Polgarresearch fellow, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Tamás BarthaMTA SZTAKI, BME KJITVerified email at sztaki.hu
Marco VieiraCISUC / University of CoimbraVerified email at dei.uc.pt
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
János OláhSenior Research EngineerVerified email at quanopt.com
Tamás TóthBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Henrique MadeiraUniversity of CoimbraVerified email at dei.uc.pt
Andrea CeccarelliResearch Associate at University of FirenzeVerified email at unifi.it
Ákos HorváthResearch Associate at the Fault Tolerant Research Group, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Laszlo GonczyResearch Associate, Department of Measurement and Information Systems, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Gergo HORANYICERN, Budapest University of Technology and EconomicsVerified email at inf.mit.bme.hu
Mohamed KaanicheLAAS-CNRS, ANITI, Univ. ToulouseVerified email at laas.fr

Istvan Majzik

Associate Professor, Budapest University of Technology and Economics

Verified email at mit.bme.hu

Dependable Computer Systems Software Verification Safety Critical Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker D Latella, I Majzik, M Massink Formal aspects of computing 11 (6), 637-664, 1999	410	1999
Towards a formal operational semantics of UML statechart diagrams D Latella, I Majzik, M Massink International Conference on Formal Methods for Open Object-Based Distributed …, 1999	296	1999
VIATRA-visual automated transformations for formal verification and validation of UML models G Csertán, G Huszerl, I Majzik, Z Pap, A Pataricza, D Varró Proceedings 17th IEEE International Conference on Automated Software …, 2002	278	2002
Dependability analysis in the early phases of UML-based system design A Bondavalli, M Dal Cin, D Latella, I Majzik, A Pataricza, G Savoia Comput. Syst. Sci. Eng. 16 (5), 265-275, 2001	170	2001
Stochastic dependability analysis of system architecture based on UML models I Majzik, A Pataricza, A Bondavalli Architecting dependable systems, 219-244, 2003	92	2003
Automatic dependability analysis for supporting design decisions in UML A Bondavalli, I Majzik, I Mura Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999	73	1999
Automated dependability analysis of UML designs A Bondavalli, I Majzik, I Mura Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999	70	1999
Quantitative analysis of UML statechart models of dependable systems G Huszerl, I Majzik, A Pataricza, K Kosmidis, M Dal Cin The computer journal 45 (3), 260-277, 2002	64	2002
Checking general safety criteria on UML statecharts Z Pap, I Majzik, A Pataricza International Conference on Computer Safety, Reliability, and Security, 46-55, 2001	45	2001
UML-based design and formal analysis of a safety-critical railway control software module A Pataricza, I Majzik, G Huszerl, G Várnai Safety 48, 48V, 2003	43	2003
A concept for testing robustness and safety of the context-aware behaviour of autonomous systems Z Micskei, Z Szatmári, J Oláh, I Majzik KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2012	41	2012
Watchdog processors in parallel systems A Pataricza, I Majzik, W Hohl, J Hönig Microprocessing and Microprogramming 39 (2-5), 69-74, 1993	33	1993
Formal verification of safety PLC based control software D Darvas, I Majzik, EB Viñuela International Conference on Integrated Formal Methods, 508-522, 2016	31	2016
Methods of checking general safety criteria in UML statechart specifications Z Pap, I Majzik, A Pataricza, A Szegi Reliability Engineering & System Safety 87 (1), 89-107, 2005	29	2005
Completeness and consistency analysis of UML statechart specifications Z Pap, I Majzik, A Pataricza, A Szegi proceedings IEEE design and diagnostics of electronic circuits and systems …, 2001	29	2001
Workflow-driven tool integration using model transformations A Balogh, G Bergmann, G Csertán, L Gönczy, Á Horváth, I Majzik, ... Graph transformations and model-driven engineering, 224-248, 2010	27	2010
Model-based integration, execution and certification of development tool-chains B Polgár, I Ráth, Z Szatmári, A Horvath, I Majzik Model Driven Tool and Process Integration 35, 2009	27	2009
Formális módszerek az informatikában P András Typotex, 2006	27*	2006
Program code generation based on UML statechart models G Pintér, I Majzik Periodica Polytechnica Electrical Engineering 47 (3-4), 187-204, 2003	27	2003
Multiprocessor checking using watchdog processors I Majzik, W Hohl, A Pataricza, V Sieh Computer Systems Science and Engineering 11 (5), 301-310, 1996	25	1996

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

Upload PDF

Follow this author

Cited by

Co-authors