Publications

Oláh, J., "Test Data Generation Using Metaheuristics", Proceedings of the 18th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2011.

• BibTex

Vörös, A., Darvas, D., and Bartha, T., "Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.

• BibTex

Bergmann, G., Ujhelyi, Z., Ráth, I., and Varró, D., "A Graph Query Language for EMF models", Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707: Springer, pp. 167-182, 2011. Abstract

• BibTex

Szombath, I., "Sampling and Parameter Testing in Large IT Infrastructure Graphs", Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.

• BibTex

Szárnyas, G., "Multidimenziós adatkezelés és bitmap indexelés", Department of Telecommunications and Media Informatics, vol. BSc: Budapest University of Technology and Economics, pp. 82, 12/2011.

• BibTex

Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I., and Varró, D., "Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing", Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.

• BibTex

Pataricza, A., Varró, D., Majzik, I., Polgár, B., Ráth, I., and Horváth, Á., "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.

• BibTex

Paljak, G J., Kocsis, I., Égel, Z., Tóth, D., and Pataricza, A., "Sensor Selection for IT Infrastructure Monitoring", Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.

• BibTex

Horváth, Á., Bergmann, G., Ráth, I., and Varró, D., "Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2", International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010. Abstract

• BibTex

Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., and Varró, D., "Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010. Abstract

• BibTex

Torrini, P., Heckel, R., Ráth, I., and Bergmann, G., "Stochastic Graph Transformation with Regions", Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 2010.

• BibTex

Ráth, I., Ökrös, A., and Varró, D., "Synchronization of abstract and concrete syntax in domain-specific modeling languages", Software and Systems Modeling, vol. 9, issue 4, pp. 453-471, 2010. Abstract

• BibTex

Suri, N., Jhumka, A., Hiller, M., Pataricza, A., Islam, S., and Sârbu, C., "A software integration approach for designing and assessing dependable embedded systems", Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.

• BibTex

Paljak, G J., Égel, Z., Tóth, D., Kocsis, I., Kovácsházy, T., and Pataricza, A., "Qualitative performance control in supervised IT infrastructures", Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, pp. 59 -65, jun., 2010.

• BibTex

Oláh, J., "Automated Robustness Test Generation using OCL Constraints", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32-33, February, 2010.

• BibTex

Szatmári, Z., "Fejlesztési folyamatok ontológia alapú ellenőrzése", XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.

• BibTex

Szatmári, Z., Izsó, B., Polgár, B., and Majzik, I., "Ontology-based assessment of software models and development processes for safety-critical systems", Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.

• BibTex

Kövi, A., and Micskei, Z., "Robustness Testing of Standard Specifications-based HA Middleware", Proceedings of the 2010 International Conferenceon Distributed Computing Systems Workshops: IEEE Computer Society Press, pp. 302 - 306, 2010.

• BibTex

Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A., "Incremental Evaluation of Model Queries over EMF Models", Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.

• BibTex

Horváth, Á., Varró, D., and Schoofs, T., "Model-Driven Development of ARINC 653 Configuration Tables", 29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010. Abstract

• BibTex

Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.

• BibTex

Hegedüs, Á., Bergmann, G., Ráth, I., and Varró, D., "Back-annotation of Simulation Traces with Change-Driven Model Transformations", Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010. Abstract

• BibTex

Hegedüs, Á., Ujhelyi, Z., Bergmann, G., and Horváth, Á., "Ecore to Genmodel case study solution using the Viatra2 framework", Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010. Abstract

• BibTex

Szombath, I., "Online Infrastructure Dependency Detection and Tracking", Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.

• BibTex

Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.

• BibTex