Publikációk
"Graph Transformation with Incremental Updates",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 71-83, 2004.
Abstract
"Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time",
Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004.
Abstract
"Model Checking Graph Transformations: A Comparison of Two Approaches",
Proc. ICGT 2004: Second International Conference on Graph Transformation, vol. 3256, Rome, Italy, Springer, pp. 226–241, 2004.
Abstract
"Style-Based Refinement of Dynamic Software Architectures",
Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004.
Abstract
Acceptance rate: 30%
"Abstract Model-based Checkpoint And Recovery",
Proceedings of the 2nd Conference of Phd Students in Computer Science, Szeged, University of Szeged, pp. 96 - 97, 2004.
"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.
"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.
"Impact of Statechart Implementation Techniques on The Effectiveness of Fault Detection Mechanisms",
Proceedings of The EUROMICRO'04 Workshop on Component Based Software Engineering: IEEE Computer Society Press, pp. 136 - 143, 2004.
"Megbízhatósági modellek automatikus generálása gráftranszformációval",
Fiatal Műszakiak Tudományos Ülésszaka IX., Kolozsvár, pp. 101 - 104, 2004.
"Status and Actual Risk Monitoring in a NPP Reactor Protection System",
Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin, Springer, pp. 2654 - 2659, 2004.
UT: 000223579900425
"UML Based Design of Time Triggered Systems",
Proceedings of The 7th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC-2004): IEEE Computer Society Press, pp. 60 - 63, 2004.
"UML Based Visual Design of Embedded Systems",
Proceedings of the 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'04), pp. 115 - 120, 2004.
"Graph Transformations in Relational Databases",
Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004.
Abstract
In press
"Generic and Meta-Transformations for Model Transformation Engineering",
Proc. UML 2004: 7th International Conference on the Unified Modeling Language, vol. 3273, Lisbon, Portugal, Springer, pp. 290–304, October 10–15, 2004.
Abstract
Acceptance rate: 22%
"Static Safety Analysis of UML Action Semantics for Critical Systems Development",
GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Abstract
Automated Model Transformations for the Analysis of IT Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004.
Abstract
Formal Methods in Computing,
: {Akadémiai Kiadó, pp. 357–425, 2005.
Model Driven Software Engineering,
: Springer, pp. 91–118, 2005.
Abstract
"A Data Mining Approach to Identify Key Factors in Dependability Experiments",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005.
Abstract
"Implementation of a testing and diagnostic concept for an NPP reactor protection system",
Lecture Notes in Computer Science, vol. 3463, pp. 391 - 402, 2005.
"Methods of Checking General Safety Criteria in Uml Statechart Specifications",
RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005.
Abstract
"Modeling and analysis of exception handling by using UML statecharts",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005.
Abstract
"On The Extension And Applicability of The P-graph Modeling Paradigm to System-level Diagnostic Problems",
SCALABLE COMPUTING PRACTICE AND EXPERIENCE, vol. 6, issue 2, pp. 45 - 57, 2005.
"Runtime verification of statechart implementations",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005.
Abstract
"Model Transformation by Graph Transformation: A Comparative Study",
MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005.
Abstract