Istvan Majzik 个人学术档案

引用次数

	总计	2019 年至今
引用	3101	632
h 指数	26	14
i10 指数	58	18

220

110

165

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202423 26 39 90 116 130 134 147 216 155 165 141 160 128 165 93 114 116 110 121 106 131 129 112 122 32

开放获取的出版物数量

查看全部

14 篇文章

3 篇文章

可查看的文章

无法查看的文章

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

合著作者

András PatariczaBudapest University of Technology and Economics在 vik.bme.hu 的电子邮件经过验证
andrea bondavalliProfessor of computer science, University of Firenze在 unifi.it 的电子邮件经过验证
Zoltán MicskeiBudapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
András VörösCritical Systems Research Group, Budapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
Daniel VarroProfessor of Software Engineering at Linköping University / Adjunct Professor at McGill在 liu.se 的电子邮件经过验证
Gabor HuszerlBudapesti Műszaki és Gazdaságtudományi Egyetem在 mit.bme.hu 的电子邮件经过验证
Darvas Dániel在 cern.ch 的电子邮件经过验证
Vince MolnárBudapest University of Technology and Economics在 vik.bme.hu 的电子邮件经过验证
Kristóf MarussyBudapest University of Technology and Economics, Department of Measurement and Information Systems在 mit.bme.hu 的电子邮件经过验证
Tamás TóthBudapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
Tamás BarthaSZTAKI, BME KJIT在 sztaki.hu 的电子邮件经过验证
Balazs Polgarresearch fellow, Budapest University of Technology and Economics在 mit.bme.hu 的电子邮件经过验证
Marco VieiraUniversity of North Carolina at Charlotte, University of Coimbra在 uncc.edu 的电子邮件经过验证
János OláhSenior Research Engineer在 quanopt.com 的电子邮件经过验证
Henrique MadeiraUniversity of Coimbra在 dei.uc.pt 的电子邮件经过验证
László GönczyAssociate Professor, Dept. of Measurement and Information Systems, BME在 mit.bme.hu 的电子邮件经过验证
Ákos HorváthCTO @IncQuery Labs, Honorary Associate Professor at the Fault Tolerant Research Group, Budapest在 incquerylabs.com 的电子邮件经过验证
Gergo HORANYICERN, Budapest University of Technology and Economics在 inf.mit.bme.hu 的电子邮件经过验证
Mohamed KaanicheLAAS-CNRS, Toulouse, France在 laas.fr 的电子邮件经过验证
Leonardo MontecchiAssociate Professor at NTNU / IDI在 ntnu.no 的电子邮件经过验证

关注

Istvan Majzik

Associate Professor, Budapest University of Technology and Economics

在 mit.bme.hu 的电子邮件经过验证

Dependable Computer Systems Software Verification Safety Critical Systems


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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, 637-664, 1999	454	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	322	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	321	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	195	2001
Stochastic dependability analysis of system architecture based on UML models I Majzik, A Pataricza, A Bondavalli Architecting dependable systems, 219-244, 2007	105	2007
Automated dependability analysis of UML designs A Bondavalli, I Majzik, I Mura Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999	80	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	75	1999
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	71	2017
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	70	2002
Formal verification of safety PLC based control software D Darvas, I Majzik, E Blanco Viñuela Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016	64	2016
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 Agent and Multi-Agent Systems. Technologies and Applications: 6th KES …, 2012	62	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	48	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), 48V, 2003	46	2003
Towards system-level testing with coverage guarantees for autonomous vehicles I Majzik, O Semeráth, C Hajdu, K Marussy, Z Szatmári, Z Micskei, A Vörös, ... 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019	41	2019
Program code generation based on UML statechart models G Pintér, I Majzik Periodica Polytechnica Electrical Engineering (Archives) 47 (3-4), 187-204, 2003	38	2003
The Gamma statechart composition framework: design, verification and code generation for component-based reactive systems V Molnár, B Graics, A Vörös, I Majzik, D Varró Proceedings of the 40th International Conference on Software Engineering …, 2018	36	2018
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	33	2005
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
Completeness and consistency analysis of UML statechart specifications Z Pap, I Majzik, A Pataricza, A Szegi Proc. of IEEE Design and Diagnostics of Electronic Circuits and Systems …, 2001	32	2001
Robustness testing techniques and tools Z Micskei, H Madeira, A Avritzer, I Majzik, M Vieira, N Antunes Resilience assessment and evaluation of computing systems, 323-339, 2012	30	2012

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用