I am looking for partners in the research area.

I am looking for partners interested in the Horizon Europe Call.

I am looking for partners for the Horizon Europe research area.

I am looking for laboratory facilities in the research/application area.

Associate Professor

Dr. István Majzik

PhD, habil.

H-1117 Budapest, Magyar Tudósok krt. 2.

+3614633598

majzik@mit.bme.hu

Groups

Critical Systems Research Group (ftsrg)

Faculty

Faculty of Electrical Engineering and Informatics

Department

Department of Measurement and Information Systems

Research keywords: · Software verification and validation · Safety-critical computer systems · Formal methods
Horizon Europe keywords: · Artificial Intelligence and Robotics · Disaster-resilient physical and digital infrastructures · Next generation computing and data technologies · Smart and sustainable transport and mobility

https://www.mit.bme.hu/eng/general/staff/majzik

https://scholar.google.hu/citations?user=z8LwwiAAAAAJ

https://www.researchgate.net/profile/Istvan-Majzik

Publications Awards Projects Conferences Other activities

Publications

• Tamás Tóth, István Majzik: Configurable Verification of Timed Automata with Discrete Variables. ACTA INFORMATICA 59, pp 1–35, Springer Nature (2022)
• Kristóf Marussy, István Majzik: Constructing Dependability Analysis Models of Reconfigurable Production Systems. In: Birgit Vogel-Heuser, Bengt Lennartson (eds.) 14th IEEE International Conference on Automation Science and Engineering, pp. 1158-1163, IEEE Robotics and Automation Society (2018)
• Dániel Darvas, István Majzik, Enrique Blanco Viñulea: Formal Verification of Safety PLC Based Control Software. In: Erika Ábrahám, Marieke Huisman (eds.) Integrated Formal Methods, pp. 508-522, Springer International Publishing (2016)
• István Majzik, András Pataricza, Andrea Bondavalli: Stochastic Dependability Analysis of System Architecture Based on UML Models. LECTURE NOTES IN COMPUTER SCIENCE 2677: pp. 219-244, Springer (2003)
• Diego Latella, István Majzik, Mieke Massink: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. FORMAL ASPECTS OF COMPUTING 11: (6) pp. 637-664, Springer (1999)

Awards

• Gold Medal for Distinguished Tutors from the National Council for Student Research, 2011
• Medal for supporting student research (TDK), Budapest University of Technology and Economics, 2010
• Gold Medal, Scientific Association for Infocommunications, 2004
• Bolyai János Research Fellowship from the Hungarian Academy of Sciences, 2003-2006, 1998-2001
• CNR-NATO Guest Fellowship in CNUCE, Pisa (National Research Council, Italy), 1998

Projects

• Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (R5-COP), 2014-2017, ARTEMIS 621447, BME leader
• Robust & Safe Mobile Co-operative Autonomous Systems (R3-COP), 2010-2013, ARTEMIS 100233, BME leader
• Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES), 2008-2011, FP7 ICT STREP 216679, BME leader
• Assessing, Measuring and Benchmarking Resilience (AMBER), 2008-2009, FP7 ICT CA 216295, BME leader
• Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control (SAFEDMI), 2006-2008, FP6 SUSTDEV STREP 031413, BME leader

Conferences

• IEEE Symposium on Reliable Distributed Systems (SRDS) 2016: General co-chair
• Int. Workshop on Software Engineering for Resilient Systems (SERENE), PC co-chair
• IEEE Symposium on Reliable Distributed Systems (SRDS) 2012: PC co-chair
• ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS): regular PC member
• European Dependable Computing Conference (EDCC): regular PC member

Other activities

Hungarian Academy of Sciences, Committee on Automation and Computer Science, elected member