English
Magyar
István Majzik
deputy head of department, habilitated associate professor
Contact information
Office:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB421
Phone:
+36 1 463-3598
Fax:
+36 1 463-4112
Email:
majzik (*) mit * bme * hu
Personal Web page:
http://home.mit.bme.hu/~majzik/indexe.html Education
PhD students:
Lectures:
- Design and Integration of Embedded Systems (VIMIMA11)
- Software Verification and Validation (vimmd052)
Research
Projects:
- Benchmarking Resilience (2008 - 2009)
- Dependable IT services (2004 - 2005)
- DMI for Automatic Train Control (2006 - 2008)
- Hidenets (2006 - 2008)
- I2RT Knowledge Center (2001 - 2002)
- Intelligent Data Processing (2004 - 2005)
- Model Based Test Generation (2008 - 2010)
- OO systems'' dependability (2000 - 2002)
- Resilience for Survivability (2006 - 2008)
- Robust object-oriented systems (2001 - 2003)
- Self-checking in programs (2004 - 2006)
- Software assessment (2003 - )
- Software diagnostics (1996 - 1997)
- UML Based Process-modelling (2000 - 2001)
- Verification of FT systems (1999 - 2001)
- Verification of UML-based models (1999 - 2001)
- Watchdog processor for PC (1995 - 1996)