Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2016. XI. 02.
Personal data
Zoltán Imre Micskei
name Zoltán Imre Micskei
year of birth 1982
name of institution
doctoral school
BME Doctoral School of Informatics (Supervisor)
Contact details
E-mail address zoltan.micskeimit.bme.hu
phone number +36 1 463-3598
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 2013
discipline to which degree belongs computer sciences
institution granting the degree Budapest University of Technology and Economics
Employment
2008 - Budapest University of Technology and Economics
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 2
number of students who fulfilled course requirements 0
students who obtained their degrees:
present PhD students:
Ákos Hajdu (PhD) (2019/01)  DSI-BME
Dávid Honfi (PhD) (2018/08)  DSI-BME
  Thesis topic proposals
Research
research area software engineering, software testing, model-based development
research field in which current research is conducted computer sciences
Publications
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.
type of document: Part of book/Proceedings Paper
language: English
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.
type of document: Part of book/Proceedings Paper
language: English
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.
type of document: Journal paper/Article
number of independent citations: 1
language: English
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
type of document: Part of book/Proceedings Paper
number of independent citations: 1
language: English
Full text 
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)
type of document: Part of book/Könyvfejezet (to be translated)
number of independent citations: 1
language: English
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.
type of document: Journal paper/Article
number of independent citations: 47
language: English
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.
type of document: Journal paper/Article
language: English
Full text 
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.
type of document: Journal paper/Konferenciaközlemény
number of independent citations: 3
language: English
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
type of document: Part of book/Proceedings Paper
number of independent citations: 4
language: English
Full text 
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
type of document: Part of book/Proceedings Paper
number of independent citations: 7
language: English
DOI 
Number of independent citations to these publications:64 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
27
number of scientific publications:
30
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
0 
number of independent citations to scientific publications and creative works:
82

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )