|
|
Beosztás:
|
Egyetemi docens |
|
Munkahely:
|
Budapesti
Műszaki és Gazdasgtudományi Egyetem, Méréstechnika és Információs Rendszerek Tanszék, Hibatűrő Rendszerek Kutatócsoport |
|
|
Cím:
|
1117 Budapest,
Magyar Tudósok krt. 2. Informatika épület, B.421. szoba |
|
|
Telefon:
|
(1) 463-3598 | |
|
Fax:
|
(1) 463-2667 | |
|
Web:
|
http://www.mit.bme.hu/~majzik/index.html http://www.mit.bme.hu/~majzik/indexm.html |
|
|
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) | |
| Önellenőrzés és futásidejű verifikáció számítógépes programokban (OTKA) | |
|
IMDP:
|
Intelligens mérésfeldolgozás
alkalmazása megbízható IT szolgáltatások tervezéséhez (magyar-portugál TéT) |
| Kötöttpályás közlekedési rendszerek konstruktív, EU-konform biztonsági minősítése (GVOP) | |
|
FWSC:
|
Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez (IKTA) |
|
ROOS:
|
Robusztus objektum-orientált rendszerek optimális kialakítása (FKFP) |
|
FVSR:
|
Biztonsági követelmények formális verifikációja hibatűrő rendszerekben (OTKA) |
|
HIDE:
|
Magasszintű, integrált tervezői rendszer kialakítása szolgáltatásbiztos rendszerek tervezéséhez (IST) |
|
WP:
|
Konkurens hibadetektálás többprocesszoros rendszerekben watchdog processzorok felhasználásával (PhD) |
|
CV:
|
Szakmai önéletrajz |
