Filters: Author is Zoltán Micskei [Clear All Filters]
"Comparing Robustness of AIS-Based Middleware Implementations", Service Availability Symposium, pp. 20 - 30, 2007.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
"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.
"Exploratory Analysis of the Performance of a Configurable CEGAR Framework", Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 34–37, 2017.
"Generating Unit Isolation Environment Using Symbolic Execution", Proceedings of the 23rd PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
Isolation and Pex: case study of cooperation, : Budapest University of Technology and Economics, 09/2013.
Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
"The many meanings of UML 2 Sequence Diagrams: a survey", Software and Systems Modeling, vol. 10, issue 4: Springer Berlin / Heidelberg, pp. 489-514, 2011.
"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 Approaches for Dependability in Ad-Hoc Mobile Networks and Services", Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"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.
"On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf", 1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
"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.
"Robustness Testing Techniques and Tools", Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"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.
"Scenario-based Automated Evaluation of Test Traces of Autonomous Systems", Proceedings of ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP'13, Toulouse, France, pp. 181-192, 09/2013.
"SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
"SEViz: A Tool for Visualizing Symbolic Execution", IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"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.
"Supporting Unit Test Generation via Automated Isolation", Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.
"TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012.
"Tool Support for Engineering Certifiable Software", Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
"User-defined Sandbox Behavior for Dynamic Symbolic Execution", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.