Publikációk
] Szűrők: A Cím Első Betűje = C [Minden szűrő visszaállítása]
"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.
"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.
"Comparison based diagnostics as a probabilistic deduction problem",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 3038, pp. 1153 - 1161, 2004.
Abstract
"Change-Driven Model Transformations",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 342-356, 2009.
Abstract
Springer Best Paper Award and ACM Distinguished Paper Award
Acceptance rate: 18%
"Challenges for Advanced Domain-Specific Modeling Frameworks",
International Workshop on Domain Specific Program Development (DSPD 2006), Nantes, France, July, 2006.
Abstract
"Challenges for advanced domain-specific modeling frameworks",
Proceedings of the 14th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 118-120, 2007.
"Change Propagation of View Models by Logic Synthesis Using SAT Solvers",
Fifth International Workshop on Bidirectional Transformations (Bx 2016), Eindhoven, The Netherlands, 04/2016.
