Istvan Majzik

Cited by

	All	Since 2017
Citations	2849	634
h-index	24	13
i10-index	51	15

220

110

165

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202224 25 41 94 117 134 131 155 206 151 163 140 160 119 158 93 119 110 111 119 104 130 122 47

Public access

View all

13 articles

1 article

available

not available

Based on funding mandates

Co-authors

András PatariczaBudapest University of Technology and EconomicsVerified email at vik.bme.hu
andrea bondavalliProfessor of computer science, University of FirenzeVerified email at unifi.it
Zoltán MicskeiBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Daniel VarroProfessorVerified email at mcgill.ca
András VörösFault Tolerant Systems Research Group, Budapest University of Technology and EconomicsVerified email at mit.bme.hu
Gabor HuszerlBudapesti Műszaki és Gazdaságtudományi EgyetemVerified email at mit.bme.hu
Darvas DánielVerified email at cern.ch
Vince MolnárBudapest University of Technology and EconomicsVerified email at vik.bme.hu
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information SystemsVerified email at mit.bme.hu
Tamás BarthaSZTAKI, BME KJITVerified email at sztaki.hu
Tamás TóthBudapest University of Technology and EconomicsVerified email at mit.bme.hu
Balazs Polgarresearch fellow, Budapest University of Technology and EconomicsVerified 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
Henrique MadeiraUniversity of CoimbraVerified email at dei.uc.pt
Laszlo GonczyAssistant Professor, Department of Measurement and Information Systems, Budapest University ofVerified email at mit.bme.hu
Andrea CeccarelliResearch Associate at University of FirenzeVerified email at unifi.it
Gergo HORANYICERN, Budapest University of Technology and EconomicsVerified email at inf.mit.bme.hu
Ákos HorváthResearch Associate at the Fault Tolerant Research Group, Budapest University of Technology andVerified email at 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	443	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	318	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	305	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	183	2001
Stochastic dependability analysis of system architecture based on UML models I Majzik, A Pataricza, A Bondavalli Architecting dependable systems, 219-244, 2003	99	2003
Automated dependability analysis of UML designs A Bondavalli, I Majzik, I Mura Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999	78	1999
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
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	69	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	57	2012
Formal verification of safety PLC based control software D Darvas, I Majzik, E Blanco Viñuela International Conference on Integrated Formal Methods, 508-522, 2016	48	2016
Checking general safety criteria on UML statecharts Z Pap, I Majzik, A Pataricza International Conference on Computer Safety, Reliability, and Security, 46-55, 2001	46	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	45	2003
Theta: a framework for abstraction refinement-based model checking T Tóth, Á Hajdu, A Vörös, Z Micskei, I Majzik 2017 Formal Methods in Computer Aided Design (FMCAD), 176-179, 2017	38	2017
Program code generation based on UML statechart models G Pintér, I Majzik Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 187-204, 2003	37	2003
Watchdog processors in parallel systems A Pataricza, I Majzik, W Hohl, J Hönig Microprocessing and Microprogramming 39 (2-5), 69-74, 1993	34	1993
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	32	2001
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	31	2005
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	30	2009
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
Formális módszerek az informatikában P András Typotex, 2006	27*	2006

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 this author

Cited by

Co-authors