Publications

Tóth, T., Vörös, A., and Majzik, I., "Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics", Computer Safety, Reliability, and Security, vol. 8696: Springer International Publishing, pp. 207-218, 2014.

• BibTex

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

Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract

• 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

Oláh, J., and Majzik, I., "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.

• BibTex

Ráth, I., Bergmann, G., Ökrös, A., and Varró, D., "Live Model Transformations Driven by Incremental Pattern Matching", Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008. Abstract

• BibTex

Bergmann, G., Ökrös, A., Ráth, I., Varró, D., and Varró, G., "Incremental pattern matching in the VIATRA model transformation system", Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008. Abstract

• 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

Sakr, S., Bonifati, A., Voigt, H., Iosup, A., Ammar, K., Angles, R., Aref, W., Arenas, M., Besta, M., Boncz, P. A., et al., "The Future is Big Graphs! A Community View on Graph Processing Systems", Communications of the ACM, 2021.

• BibTex

Bergmann, G., and Ökrös, A., Event-based model transformations with incremental pattern matching, , October, 2007.

• BibTex

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.

• BibTex

Micskei, Z., Szatmári, Z., Oláh, J., and Majzik, I., "A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012. Abstract

• 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