Istvan Majzik

Cited by

	All	Since 2016
Citations	2568	534
h-index	22	11
i10-index	48	14

220

110

165

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 23 37 92 122 128 128 154 201 149 166 130 149 119 156 92 108 105 106 115 97 107 3

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
Zoltán MicskeiBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Gabor HuszerlBudapesti Műszaki és Gazdaságtudományi EgyetemVerified 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
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
Marco VieiraCISUC / University of CoimbraVerified email at dei.uc.pt
János OláhSenior Research EngineerVerified email at quanopt.com
Tamás TóthBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Tamás BarthaSZTAKI, BME KJITVerified email at sztaki.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	421	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	298	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	285	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	172	2001
Stochastic dependability analysis of system architecture based on UML models I Majzik, A Pataricza, A Bondavalli Architecting dependable systems, 219-244, 2003	93	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	72	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	65	2002
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	46	2012
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
Formal verification of safety PLC based control software D Darvas, I Majzik, EB Viñuela International Conference on Integrated Formal Methods, 508-522, 2016	36	2016
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
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	30	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	30	2001
Program code generation based on UML statechart models G Pintér, I Majzik Periodica Polytechnica Electrical Engineering 47 (3-4), 187-204, 2003	29	2003
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	28	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
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