István Majzik

Position:
Associate Professor
Affiliation:
Budapest University of Technology and Economics,
Department of Measurement and Information Systems
,
Fault Tolerant Systems Research Group
Address:
Magyar Tudósok krt. 2, H-1117 Budapest, Hungary
Building I, Room B.421.
Phone:
+36 1 4633598
Fax:
+36 1 4632667
Web:
http://www.mit.bme.hu/~majzik/index.html
http://www.mit.bme.hu/~majzik/indexm.html
CV
E-mail:
majzik@mit.bme.hu
Magyar honlap
Skype:
imajzik


Research interests

Publications

Education


International research projects

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

Conferences and workshops

DSN:
Conference on Dependable Systems and Networks
EDCC:
European Dependable Computing Conference
SRDS:
Symposium on Reliable Distributed Systems
DEPCOS:
Conference on Dependability of Computer Systems
DADS:
Dependable and Adaptive Distributed Systems Track of the ACM Symposium on Applied Computing

Former research projects

HIDENETS:
Highly Dependable IP-based Networks and Services (FP6 IST STREP 26979)
RESIST:
Resilience for Survivability in IST (FP6 IST NoE 26764)
SCRTV:
Self-checking and run-time verification in computer programs (OTKA)
IMDP:
Intelligent measurement data processing for the construction of dependable IT systems (TÉT)
SARCS:
EU-conform, constructive safety assessment of railway control systems (GVOP)
FWSC:
Framework for the development and testing of dependable and safety-critical systems (IKTA)
ROOS:
Development of robust object-oriented systems (FKFP)
FVSR:
Formal verification of safety requirements in fault tolerant systems (OTKA)
HIDE:
High-level integrated design environment for dependability (IST)
WP:
Concurrent error detection in multiprocessor systems using watchdog processors (PhD)

Degrees and professional career history

CV:
Curriculum Vitae


Istvan Majzik, 2011.