Publications
"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.
"Design and implementation of an improved and reliable pressurizer controller at the Paks NPP",
Fault Detection, Supervision and Safety of Technical Processes: 7th IFAC International Symposium (SAFEPROCESS), Barcelona, IFAC, pp. 1162 - 1167, 2009.
"From assessment to standardised benchmarking: Will it happen? What could we do about it?",
Proc. 39th IEEE/IFIP Symposium on Dependable Systems and Networks (DSN 2009), pp. 295 - 296, 2009.
"Model-based Integration, Execution and Certification of Development Tool-chains",
Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
"Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach",
Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009), pp. 95 - 96, 2009.
"SecureChange: Security Engineering for Lifelong Evolvable Systems",
European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
"Standards-based Assessment of Development Toolchains in Safety-Critical Systems",
Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, pp. 1 - 4, 2009.
"BPMN to BPEL case study solution in VIATRA2",
5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
"BPEL2.0 munkafolyamatok formális verifikációja",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009.
Abstract
In Hungarian
"Modelltranszformációk statikus analízise",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.
"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%
"CSP(M): Constraint Satisfaction Problem over Models",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 107-121, 2009.
Abstract
Acceptance rate: 18%
"Efficient Model Transformations by Combining Pattern Matching Strategies",
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563: Springer, pp. 20-34, 2009.
Abstract
Acceptance rate: 22%
"Graph Transformation Based Constraint Solving",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 2009.
"Incremental Synchronization of IT Infrastructure Model",
Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
"Parallelization of Incremental Pattern Matching in Graph Transformation",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.
"Enhancing design-time model execution in domain-specific languages by incremental pattern matching",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 16–20, 2009.
"Modelltranszformációk integrált alkalmazása domain-specifikus nyelvekben",
Tavaszi Szél Konferenciakiadvány, 2009.
A framework for the Dependability analysis of UML-based system designs with maintenance,
: Budapest University of Technology and Economics, 05/2009.
Abstract
Static Analysis of Model Transformations,
: Budapest University of Technology and Economics, 2009.
Flow and Congestion Control for Datacenter Networks,
, no. RZ3742: IBM Zürich Research Laboratory, 2009.
Generic Static Analysis of Transformation Programs,
, no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
A model transformation-based approach for the Dependability analysis of UML-based system designs with maintenance,
, no. rcl090601: University of Florence, Dip. Sistemi Informatica, RCL group, 06/2009.
Abstract
Static Type Checking of Model Transformations by Constraint Satisfaction Programming,
, no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.
Benchmarking the Ethernet-Federated Datacenter,
, no. RZ3753: IBM Zürich Research Laboratory, 2009.