Micskei Zoltán

Pintér, G., Micskei, Z., and Majzik, I., "Supporting design and development of safety critical applications by model based tools", ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
Fabrice, B., Ruth, B., Jan, J., Fabio, M., Valentino, M., Micskei, Z., Frank, P., Ketil, S., and Varró, D., "SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
Pintér, G., Micskei, Z., Kövi, A., Égel, Z., Kocsis, I., Huszerl, G., and Pataricza, A., "Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services", Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
Micskei, Z., Majzik, I., and Tam, F., "Comparing Robustness of AIS-Based Middleware Implementations", Service Availability Symposium, pp. 20 - 30, 2007.
Majzik, I., Micskei, Z., and Pintér, G., "Development of Model Based Tools to Support the Design of Railway Control Applications", Computer Safety, Reliability, and Security, Berlin, Springer-Verlag, pp. 430 - 435, 2007.
Waeselynck, H., Micskei, Z., Nguyen, M D., and Rivière, N., "Mobile Systems from a Validation Perspective: a Case Study", Sixth International Symposium on Parallel and Distributed Computing (ISPDC07): IEEE Computer Society Press, pp. 85 - 92, 2007.
Micskei, Z., and Majzik, I., "Model-based Automatic Test Generation For Event-driven Embedded Systems Using Model Checkers", Proc. of Dependability of Computer Systems: IEEE Computer Society Press, pp. 191 - 198, 2006.
Micskei, Z., Majzik, I., and Tam, F., "Robustness Testing Techniques For High Availability Middleware Solutions", Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006): University of Luxembourg, pp. 55 - 66, 2006.