Publikációk
] Szűrők: Szerző = Zoltán Micskei [Minden szűrő visszaállítása]
"The many meanings of UML 2 Sequence Diagrams: a survey",
Software and Systems Modeling: Springer Berlin / Heidelberg, pp. 1-26, 2010.
Abstract
"Robustness Testing of Standard Specifications-based HA Middleware",
Proceedings of the 2010 International Conferenceon Distributed Computing Systems Workshops: IEEE Computer Society Press, pp. 302 - 306, 2010.
"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.
"SecureChange: Security Engineering for Lifelong Evolvable Systems",
European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"Comparing Robustness of AIS-Based Middleware Implementations",
Service Availability Symposium, pp. 20 - 30, 2007.
"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.
"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.
"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.
"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.
