Publications

Export 518 results:
Sort by: Author Title Type [ Year (Desc)]
2009
Fabrice, B., Ruth, B., Jan, J., Fabio, M., Valentino, M., Micskei, Z., Frank, P., Ketil, S., and Varró, D., "SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
Szatmári, Z., "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.
Bergmann, G., and Horváth, Á., "BPMN to BPEL case study solution in VIATRA2", 5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
Hegedüs, Á., "BPEL2.0 munkafolyamatok formális verifikációja", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009. Abstract
In Hungarian
Ujhelyi, Z., "Modelltranszformációk statikus analízise", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.

Ráth, I., Varró, G., and Varró, D., "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%
Horváth, Á., and Varró, D., "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%
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "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%
Horváth, Á., "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.
Szombath, I., "Incremental Synchronization of IT Infrastructure Model", Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
Bergmann, G., "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.
Ráth, I., "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.
Ráth, I., "Modelltranszformációk integrált alkalmazása domain-specifikus nyelvekben", Tavaszi Szél Konferenciakiadvány, 2009.
Hegedüs, Á., A framework for the Dependability analysis of UML-based system designs with maintenance, : Budapest University of Technology and Economics, 05/2009. Abstract
Ujhelyi, Z., Static Analysis of Model Transformations, : Budapest University of Technology and Economics, 2009.
Gusat, M., Minkenberg, C., and Paljak, G J., Flow and Congestion Control for Datacenter Networks, , no. RZ3742: IBM Zürich Research Laboratory, 2009.
Ujhelyi, Z., Horváth, Á., and Varró, D., Generic Static Analysis of Transformation Programs, , no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
Hegedüs, Á., 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
Ujhelyi, Z., Horváth, Á., and Varró, D., Static Type Checking of Model Transformations by Constraint Satisfaction Programming, , no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.
Paljak, G J., Benchmarking the Ethernet-Federated Datacenter, , no. RZ3753: IBM Zürich Research Laboratory, 2009.
Paljak, G J., Transaction Tracking in Large Scale Datacenters, , no. RZ3743: IBM Zürich Research Laboratory, 2009.
2008
Pintér, G., Micskei, Z., Kövi, A., Égel, Z., Kocsis, I., Huszerl, G., and Pataricza, A., "Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services", Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
Bretz, K., Vynohradskyi, B., Lopatyev, A., Antal, S., and Oláh, J., "Diagnostics of coordinate components of purposeful arm movements of a human.", Theory and Methods of Physical Education, issue 44, Ukraine, pp. 8-11, June, 2008.
Ukraine
Bartha, T., and Varga, I., "Development of safety software for the Paks Nuclear Power Plant", ERCIM News, issue 75, pp. 53 - 54, 2008.
Pintér, G., Madeira, H., Vieira, M., Majzik, I., and Pataricza, A., "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

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login