Zoltan Micskei's publications

Journal paper

• Z. Micskei and H. Waeselynck: The many meanings of UML 2 Sequence Diagrams: a survey
  Software and Systems Modeling, Volume 10, Number 4, pp. 489-514, Springer, 2011. DOI:10.1007/s10270-010-0157-9
  Link, BibTex

• G. Pintér, Z. Micskei, and I. Majzik: Supporting design and development of safety critical applications by model based tools
  Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös nominatae Sectio Computatorica, tomus XXX:61-78, 2009
  Link, BibTex, PDF

Book chapter

• G. Pintér, Z. Micskei, A. Kövi, Z. Égel, I. Kocsis, G. Huszerl, and A. Pataricza: Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
  In R. de Lemos et al. (Eds.): Architecting Dependable Systems V, pp. 150-174, Springer-Verlag, 2008. DOI: 10.1007/978-3-540-85571-2
  Link, BibTex

Conference paper

• Hélene Waeselynck, Zoltán Micskei, Nicolas Riviere, Áron Hamvas, Irina Nitu: TERMOS: a Formal Language for Scenarios in Mobile Computing Systems
  In Proc. 7th International ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous 2010), Sydney, Australia, 6-9 December 2010. DOI: 10.1007/978-3-642-29154-8_24
  Link, BibTex

• A. Kövi, Z. Micskei: Robustness Testing of Standard Specifications-based HA Middleware
  2nd Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (RDCS 2010), Geneva, Italy, 21-15 June 2010. DOI: 10.1109/ICDCSW.2010.73
  Link, BibTex

• F. Bouquet, R. Breu, J. Jurjens, F. Massacci, V. Meduri, Z. Micskei, F. Piessens, K. Stolen, D. Varro: SecureChange: Security Engineering for Lifelong Evolvable Systems
  First European Future Technologies Conference and Exhibition (FET09), poster session, Prague, Czech Republic, 21-23 April 2009.
  Link, BibTex

• L. Gönczy, I. Majzik, A. Horváth, D. Varró, A. Balogh, Z. Micskei, and A. Pataricza: Tool Support for Engineering Certifiable Software
  In Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008), Electronic Notes in Theoretical Computer Science, vol. 238, issue 4, Sep. 2009, pp. 79-85., DOI: 10.1016/j.entcs.2009.09.008
  Link, BibTex

• H. Waeselynck, Z. Micskei, M. D. Nguyen, N. Rivière: Mobile Systems from a Validation Perspective: a Case Study
  In Proceedings of 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), IEEE Press, Hagenberg, Austria, July 5-8, 2007. DOI: 10.1109/ISPDC.2007.37
  Link, BibTex

• I. Majzik, Z. Micskei, G. Pintér: Development of Model Based Tools to Support the Design of Railway Control Applications
  In Proceedings of the 26th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2007), pp 430-435, Nuremberg, Germany, September 18-21, 2007. DOI: 10.1007/978-3-540-75101-4_41
  Link, BibTex

• G. Pintér, Z. Micskei, I. Majzik: Supporting Design and Development of Safety Critical Applications by Model Based Tools
  In Proceedings of the 10th Symposium on Programming Languages and Software Tools (SPLST 2007), pp 61-75, Dobogókő, Hungary, June 14-16, 2007.
  PDF, BibTex

• Z. Micskei, I. Majzik, F. Tam: Comparing Robustness of AIS-Based Middleware Implementations,
  In Proceedings of International Service Availability Symposium (ISAS 2007), LNCS 4526, Durham, New Hampshire, USA, May 21-22, 2007. DOI: 10.1007/978-3-540-72736-1_3
  Link, BibTex

• Z. Micskei, I. Majzik, F. Tam: Robustness Testing Techniques For High Availability Middleware Solutions,
  In Proceedings of International Workshop on Engineering of Fault Tolerant Systems (EFTS 2006), Luxembourg, Luxembourg, June 12-14, 2006.
  PDF, BibTex

• Z. Micskei, I. Majzik: Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers,
  In Proceedings of International Conference on Dependability of Computer Systems (DepCoS '06), IEEE Press, Szklarska Poręba, Poland, May 25-27, 2006. DOI: 10.1109/DEPCOS-RELCOMEX.2006.37
  Link, Slides, BibTex

Technical report

• Z. Micskei and H. Waeselynck: A survey of UML 2.0 sequence diagrams' semantics,
  LAAS Technical Report no. 08389, 37 pages, August 2008.
  PDF, Link, BibTex

• Z. Micskei, H. Waeselynck, M. D. Nguyen, N. Riviere: Analysis of a group membership protocol for Ad-hoc networks,
  LAAS Technical Report no. 06797, 42 pages, November 2006.
  Link, BibTex

Local event

• Z. Micskei: Specifying Tests for Ad-Hoc Mobile Systems,
  In Proceedings of 15th PhD Mini-Symposium, Budapest, Hungary, February 4-5. 2008.
  PDF, BibTex

• Z. Micskei, I. Majzik: Robustness Comparison of High Availability Middleware Systems,
  In Proceedings of 14th PhD Mini-Symposium, pp 70-73, Budapest, Hungary, February 5-6. 2007.
  PDF, BibTex

• Z. Micskei: Nagy Rendelkezésre Állást Biztosító Köztes Rétegek Robusztusság Tesztelése,
  Tavaszi Szél 2006, ISBN  963-229-773-3, pp 295-298, Kaposvár, Hungary, 4-6 May, 2006.
  PDF (in Hungarian), BibTex

• Z. Micskei, I. Majzik: Robustness Testing of High Availability Middleware Solutions,
  In Proceedings of 13th PhD Mini-Symposium, pp 36-37, Budapest, Hungary, February 6-7. 2006.
  (Best presentation award in the category of 1st year PhD students)
  PDF, BibTex

• Z. Micskei: Automatikus tesztgenerálás modell ellenőrzővel,
  X. Fiatal Műszakiak Tudományos Ülésszaka (FMTU), pages 47-50. Kolozsvar, Romania, ISBN 973-8231-44-2, 2005.
  PDF (in Hungarian), BibTex

• Z. Micskei: Microsoft Digital Rights Management,
  NetworkShop 2005, National Information Infrastructure Development Program, Szeged, Hungary, 2005.
  Abstract, Video (WMV)

Master's thesis

• Z. Micskei: Model-based Automatic Test Genearation
  Budapest University of Technology and Economics, 2005.
  PDF (in Hungarian), BibTex