Position:
Affiliation:
Department of Artificial Intelligence and Systems Engineering,
Critical Systems Research Group (ftsrg)
Address:
Building I, Room B.421.
Phone:
Fax:
Web:
E-mail:
Skype:
|
|
Position:
|
Associate Professor |
|
Affiliation:
|
Budapest University of Technology and Economics, Department of Artificial Intelligence and Systems Engineering, Critical Systems Research Group (ftsrg) |
|
|
Address:
|
Magyar Tudósok
krt. 2, H-1117 Budapest, Hungary Building I, Room B.421. |
|
|
Phone:
|
+36 1 4633598 | |
|
Fax:
|
+36 1 4632667 | |
|
Web:
|
https://www.mit.bme.hu/eng/general/staff/majzik | |
|
E-mail:
|
majzik@mit.bme.hu | |
|
Skype:
|
imajzik |
| Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (ARTEMIS-2013-1) | |
| Robust & Safe Mobile Co-operative Autonomous Systems (ARTEMIS-2009-1) | |
| Model-based Generation of Tests for Dependable Embedded Systems (FP7 ICT STREP 216679) | |
| Assessing, Measuring and Benchmarking Resilience (FP7 ICT CA 216295) | |
| Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control (FP6 SUSTDEV STREP 031413) |
|
DSN:
|
Conference on Dependable Systems and Networks |
|
EDCC:
|
European Dependable Computing Conference |
|
SRDS:
|
Symposium on Reliable Distributed Systems |
| Conference on Dependability of Computer Systems | |
|
DADS:
|
Dependable and Adaptive Distributed Systems Track of the ACM Symposium on Applied Computing |
| Highly Dependable IP-based Networks and Services (FP6 IST STREP 26979) | |
| Resilience for Survivability in IST (FP6 IST NoE 26764) | |
| Self-checking and run-time verification in computer programs (OTKA) | |
|
IMDP:
|
Intelligent measurement data processing for the construction of dependable IT systems (TÉT) |
| 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) |
|
CV:
|
Curriculum Vitae |