Publications

Ujhelyi, Z., Horváth, Á., and Varró, D., "Towards Dynamic Backward Slicing of Model Transformations", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.

• BibTex

Farkas, R., and Vörös, A., "Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, 2016.

• BibTex

Bergmann, G., Debreceni, C., Ráth, I., and Varró, D., "Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling", 2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.

• BibTex

Varró, D., "Towards Formal Verification of Model Transformations", PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems, Enschede, The Netherlands, March 20–22, 2002. Abstract

• BibTex

Varró, D., "Towards Symbolic Analysis of Visual Modelling Languages", Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002. Abstract

• BibTex

Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A. A., and Varró, D., "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles", IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.

• BibTex

Darabos, A., Pataricza, A., and Varró, D., "Towards Testing the Implementation of Graph Transformations", Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006. Abstract

• BibTex

Szárnyas, G., Kővári, Z., Salánki, Á., and Varró, D., "Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics", ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.

• BibTex

Rabatin, G., and Vörös, A., "Towards the Verification of Neural Networks for Critical Cyber-Physical Systems", 25th Minisymposium of the Department of Measurement and Information Systems, Budapest, 2018.

• BibTex

Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D-H., Geiss, R., Greenyer, J., Gorp, P V., Kniemeyer, O., Narayanan, A., et al., "Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008. Abstract

• BibTex

Szárnyas, G., Semeráth, O., Ráth, I., and Varró, D., "The TTC 2015 Train Benchmark Case for Incremental Model Validation", Transformation Tool Contest, 2015.

• BibTex

Varró, D., "UML Based Modeling and Development of J2EE Applications: Course Experiences", MODELS 2006: Educators Symposium, Genova, Italy, 2006. Abstract

• BibTex

Pataricza, A., Majzik, I., Huszerl, G., and Várnai, G., "UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.

• BibTex

Semeráth, O., Horváth, Á., and Varró, D., "Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver", ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems, Miami, US, Springer LNCS 8107, 09/2013. Abstract

• BibTex

Semeráth, O., and Varró, D., "Validation of Well-formedness Constraints on Uncertain Models", THE 10TH JUBILEE CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, Szeged, Hungary, 06/2016.

• BibTex

Bartha, T., Vörös, A., Jámbor, A., and Darvas, D., "Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.

• BibTex

Bergmann, G., Dávid, I., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "Viatra 3 : A Reactive Model Transformation Platform", 8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015. Abstract

• BibTex

Semeráth, O., Babikian, A., Pilarski, S., and Varró, D., "VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models", 41st International Conference on Software Engineering, Montreal, Canada, ACM/IEEE, 2019.

• BibTex

Varró, D., "Visual Automated Model Transformation", Mini–Symposium 2001, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 48–49, January 31 – Feb, 2001.

• BibTex

Varró, D., Varró, G., and Pataricza, A., "Visual Graph Transformation in System Verification", DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems, Bratislava, Slovakia, pp. 137–141, April 5–7, 2000. Abstract

• BibTex

Gáspár, P., Szászi, I., Bartha, T., Varga, I., Bokor, J., Palkovics, L., and Gianone, L., "Visual lane and obstruction detection system for commercial vehicles", 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints, Budapest, vol. 2: IFAC, pp. 908–913, 06.14–06.16., 2000.

• BibTex

Zündorf, A., and Varró, D., "Workshop on Graph-Based Tools.", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 465-466, 2006.

• BibTex

Schmidt, Á., and Varró, D., "CheckVML: A Tool for Model Checking Visual Modeling Languages", Proc. UML 2003: 6th International Conference on the Unified Modeling Language, vol. 2863, San Francisco, CA, USA, Springer, pp. 92–95, October 20-24, 2003. Abstract

• BibTex

Varró, D., "UML Action Semantics for Model Transformation Systems", Mini–Symposium 2003, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 22–23, February 4–5, 2003.

• BibTex

Varró, D., and Pataricza, A., "UML modellek automatikus transzformációi", OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.

• BibTex