Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2016. XI. 02.
Személyes adatok
Micskei Zoltán Imre
név Micskei Zoltán Imre
születési év 1982
intézmény neve
doktori iskola
BME Informatikai Tudományok Doktori Iskola (témavezető)
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 0
témavezetettjei közül fokozatot szereztek:
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
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, modell-alapú fejlesztés
jelenlegi kutatásainak tudományága informatikai tudományok
Közlemények
2015

Lajos Cseppentő, Zoltán Micskei: Evaluating Symbolic Execution-based Test Tools, In: Szerk.: Gordon Fraser, Szerk.: Darko Marinov 8th International Conference on Software Testing, Verification and Validation (ICST). Red Hook NY: IEEE, 2015. Paper 7102587. 10 p.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
DOI 
2015

Dávid Honfi, András Vörös, Zoltán Micskei: SEViz: A Tool for Visualizing Symbolic Execution, In: Szerk.: Gordon Fraser, Szerk.: Darko Marinov 8th International Conference on Software Testing, Verification and Validation (ICST). Red Hook NY: IEEE, 2015. Paper 7102631. 8 p.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
DOI 
2013

Imre Kocsis, András Pataricza, Zoltán Micskei, András Kövi, Zsolt Kocsis: Analytics of Resource Transients in Cloud Based Applications, INTERNATIONAL JOURNAL OF CLOUD COMPUTING 2: (2/3) pp. 191-212.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
DOI 
2012

Hélene Waeselynck, Zoltán Micskei, Nicolas Riviere, Áron Hamvas, Irina Nitu: TERMOS: a Formal Language for Scenarios in Mobile Computing Systems, In: Szerk.: Sénac Patrick, Szerk.: Ott Max, Szerk.: Seneviratne Aruna Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Revised Selected Papers. Berlin; Heidelberg: Springer, 2012. pp. 285-296. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; 73.)
7th International ICST Conference, MobiQuitous 2010, Revised Selected Papers
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 1
nyelv: angol
Teljes szöveg 
2012

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

G Pintér, Z Micskei, I Majzik: Supporting design and development of safety critical applications by model based tools, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 30: pp. 61-78.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2009

László Gönczy, István Majzik, Akos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza: Tool Support for Engineering Certifiable Software, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 238: (4) pp. 79-85.
dokumentum típusa: Folyóiratcikk/Konferenciaközlemény
független idéző közlemények száma: 3
nyelv: angol
DOI 
2007

Zoltán Micskei, István Majzik, Francis Tam: Comparing Robustness of AIS-Based Middleware Implementations, In: Szerk.: Malek M, Szerk.: Reitenspieb M Service Availability, Proceedings: 4th International Service Availability Symposium, ISAS. Berlin; Heidelberg: Springer, 2007. pp. 20-30. (Lecture Notes in Computer Science; 4526.)
4th International Service Availability Symposium, ISAS
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 4
nyelv: angol
Teljes szöveg 
2006

Micskei Zoltan, Majzik Istvan: Model-based Automatic Test Generation For Event-driven Embedded Systems Using Model Checkers, In: Szerk.: Ceballos S Proc. of Dependability of Computer Systems: DepCoS-RELCOMEX'06. Los Alamitos: IEEE Computer Society Press, 2006. pp. 191-198. (Proc. of Dependability of Computer Systems)
DepCoS-RELCOMEX'06
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
független idéző közlemények száma: 7
nyelv: angol
DOI 
a legjelentősebbnek tartott 10 közleményre kapott független hivatkozások száma:64 
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:
27
összes tudományos és felsőoktatási közleményének száma:
30
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:
82

 
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ó: 1.2318 ( 2016. XI. 26. )