Publications
] Filters: First Letter Of Last Name is P [Clear All Filters]
"Lessons Learned from Building Model-Driven Development Tools",
Software and Systems Modeling, 2012.
Abstract
"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
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.
"Static Safety Analysis of UML Action Semantics for Critical Systems Development",
GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Abstract
"Methods of Checking General Safety Criteria in Uml Statechart Specifications",
RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005.
Abstract
"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.
"Completeness and Consistency Analysis of UML Statechart Specifications",
11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
"Watchdog Processors in Parallel Systems",
MICROPROCESSING AND MICROPROGRAMMING, vol. 39, issue 2-5, pp. 69 - 74, 1993.
Abstract
Formal Methods in Computing,
: {Akadémiai Kiadó, pp. 357–425, 2005.
"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.
Formális módszerek az informatikában,
: Typotex, 2004.
In Hungarian
"Ritka események",
Intelligens adatelemzés: Typotex Kft., 2014.
"Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services",
Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
"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.
"Checkpoint And Recovery in Diverse Software",
Proceedings of the 11th PhD mini-symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 20 - 21, 2004.
"Code Generation Based on UML Statecharts",
Proceedings of the 10th PhD Mini-Symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 18 - 19, 2003.
"Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments",
INTERNATIONAL JOURNAL OF KNOWLEDGE MANAGEMENT STUDIES, vol. 2, issue 4, pp. 480 - 498, 2008.
Abstract
"Run-time Verification of Statechart Implementations",
Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems: BME, pp. 46 - 47, 2005.
"High-level Supervision of Program Execution Based on Formal Specification",
Proceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume): IEEE Computer Society Press, pp. 292 - 296, 2004.
"Modeling and analysis of exception handling by using UML statecharts",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005.
Abstract
