Publications
]
"Model Based Automatic Code Generation for Embedded Systems",
Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 97 - 106, 2007.
"Modeling and analysis of exception handling by using UML statecharts",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005.
Abstract
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"A Data Mining Approach to Identify Key Factors in Dependability Experiments",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005.
Abstract
"Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements",
Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005): IEEE Computer Society Press, pp. 111 - 120, 2005.
"Application of Data Mining in Failure Data Analysis",
Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
"Workflow-Driven Tool Integration Using Model Transformation",
Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
"Empirical Assessment of Resilience",
Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"Ritka események",
Intelligens adatelemzés: Typotex Kft., 2014.
"Watchdog Processors in Parallel Systems",
MICROPROCESSING AND MICROPROGRAMMING, vol. 39, issue 2-5, pp. 69 - 74, 1993.
Abstract
Formális módszerek az informatikában,
: Typotex, 2004.
In Hungarian
Formal Methods in Computing,
: {Akadémiai Kiadó, pp. 357–425, 2005.
"Checking General Safety Criteria on UML Statecharts",
Computer Safety, Reliability and Security, Berlin ; Heidelberg, Springer-Verlag, pp. 46 - 55, 2001.
"Completeness and Consistency Analysis of UML Statechart Specifications",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.
"Static Safety Analysis of UML Action Semantics for Critical Systems Development",
GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Abstract
"Completeness and Consistency Analysis of UML Statechart Specifications",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
"Methods of Checking General Safety Criteria in Uml Statechart Specifications",
RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005.
Abstract
Transaction Tracking in Large Scale Datacenters,
, no. RZ3743: IBM Zürich Research Laboratory, 2009.
"Qualitative performance control in supervised IT infrastructures",
Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, pp. 59 -65, jun., 2010.
Benchmarking the Ethernet-Federated Datacenter,
, no. RZ3753: IBM Zürich Research Laboratory, 2009.
"Model-based Control of IT Infrastructures",
10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
"Sensor Selection for IT Infrastructure Monitoring",
Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
"Lessons Learned from Building Model-Driven Development Tools",
Software and Systems Modeling, 2012.
Abstract
"A Modell Based Framework for Specifying and Executing Fault Injection Experiments.",
Proc. of the 4th International Conference on Dependability of Computer Systems., Brunów, Poland, pp. 107-114, June, 2009.
"Test Data Generation Using Metaheuristics",
Proceedings of the 18th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2011.
