Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2018. III. 27.
Személyes adatok
Micskei Zoltán Imre
név Micskei Zoltán Imre
intézmény neve
doktori iskola
BME Informatikai Tudományok Doktori Iskola (oktató)
Elérhetőségek
drótpostacím zoltan.micskeimit.bme.hu
telefonszám +36 1 463-3598
saját honlap
saját honlap (angol)
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2013
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve Budapesti Műszaki és Gazdaságtudományi Egyetem
Jelenlegi munkahelyek
2008 - Budapesti Műszaki és Gazdaságtudományi Egyetem
egyetemi oktató
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 2
ezek közül abszolutóriumot szerzettek száma 1
témavezetettjei közül fokozatot szereztek:
abszolutóriumot szerzett, de nincs folyamatban doktori cselekmény és nincs fokozat:
Hajdu Ákos (PhD) 2019/01  ITDI-BME
Honfi Dávid (PhD) 2018/08  ITDI-BME
  Témakiírások
Kutatás
kutatási terület szoftvertesztelés, szoftvertechnológia
jelenlegi kutatásainak tudományága informatikai tudományok
Közlemények
2017

Tóth Tamás, Hajdu Ákos, Vörös András, Micskei Zoltán, Majzik István: Theta: a Framework for Abstraction Refinement-Based Model Checking, In: Stewart, Daryl; Weissenbacher, Georg (szerk.) Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD Inc. (2017) pp. 176-179.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 1
nyelv: angol
URL 
2017

Dávid Honfi, Gábor Molnár, Zoltán Micskei, István Majzik: Model-Based Regression Testing of Autonomous Robots, In: Tibor, Csöndes; Gábor, Kovács; György, Réthy (szerk.) 18th System Design Languages Forum: Model-Driven Engineering for Future Internet, Springer International Publishing (2017) pp. 119-135.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
2017

Lajos Cseppentő, Zoltán Micskei: Evaluating code-based test input generator tools, SOFTWARE TESTING VERIFICATION & RELIABILITY 27: (6) e1627
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
2017

Honfi Dávid, Micskei Zoltán: Supporting Unit Test Generation via Automated Isolation, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE 61: (2) pp. 116-131.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
URL 
2015

Lajos Cseppentő, Zoltán Micskei: Evaluating Symbolic Execution-based Test Tools, In: Gordon, Fraser; Darko, Marinov (szerk.) 8th International Conference on Software Testing, Verification and Validation (ICST), IEEE (2015) 7102587
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 15
nyelv: angol
2012

Zoltan Micskei, Henrique Madeira, Alberto Avritzer, Istvan Majzik, Marco Vieira, Nuno Antunes: Robustness Testing Techniques and Tools, In: Wolter, K; Avritzer, A; Vieira, M; van Moorsel, A (szerk.) Resilience Assessment and Evaluation of Computing Systems, Springer (2012) pp. 323-339.
dokumentum típusa: Könyvrészlet/Könyvfejezet
független idéző közlemények száma: 3
nyelv: angol
2012

Zoltán Micskei, Zoltán Szatmári, János Oláh, István Majzik: A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems, In: Jezic, G; Kusek, M; Nguyen, N T; Howlett, R J; Jain, L C (szerk.) Agent and Multi-Agent Systems. Technologies and Applications, Springer Verlag (2012) pp. 504-513.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 19
nyelv: angol
2012

Hélene Waeselynck, Zoltán Micskei, Nicolas Riviere, Áron Hamvas, Irina Nitu: TERMOS: a Formal Language for Scenarios in Mobile Computing Systems, In: Sénac, Patrick; Ott, Max; Seneviratne, Aruna (szerk.) Mobile and Ubiquitous Systems: Computing, Networking, and Services, Springer (2012) pp. 285-296.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 1
nyelv: angol
2011

Zoltán Micskei, Helene Waeselynck: The many meanings of UML 2 Sequence Diagrams: a survey, SOFTWARE AND SYSTEMS MODELING 10: (4) pp. 489-514.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 55
nyelv: angol
URL 
2007

Zoltán Micskei, István Majzik, Francis Tam: Comparing Robustness of AIS-Based Middleware Implementations, In: Malek, M; Reitenspieb, M (szerk.) Service Availability, Proceedings, Springer (2007) pp. 20-30.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 5
nyelv: angol
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:100 
Tudománymetriai adatok
Tudományos közlemény- és idézőlista mycite adattárban
a 10 válogatott közlemény közé kiválasztható közleményeinek száma:
37
összes tudományos és felsőoktatási közleményének száma:
40
kiválasztható monográfiák és szakkönyvek:
0
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
0 
összes tudományos közleményének és alkotásainak független idézettségi száma:
128


2019. IV. 10.
ODT ülés
Az ODT következő ülésére 2019. május 17-én 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 2.2358 ( 2017. X. 31. )