Ráth István Zoltán
"Model Checking as a Service: Towards Pragmatic Hidden Formal Methods",
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
"Secure Views for Collaborative Modeling",
IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
"The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Queries",
Software and Systems Modeling, vol. 17, issue 4, 2018.
"MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems",
NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018.
Abstract
"Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations",
Software and Systems Modeling, 2017.
"Property-based Locking in Collaborative Modeling",
20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, 09/2017.
"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.
"The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems",
11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Paderborn, Germany, ACM, 2017.
"Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework",
Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016.
Abstract
"Query-based Access Control for Secure Collaborative Modeling using Bidirectional Transformations",
ACM/IEEE 19th Int. Conf. on Model Driven Engineering Languages and Systems, Saint-Malo, France, 2016.
Acceptance rate: 23.7%. Received ACM Distinguished Paper Award.
"Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules",
1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/2016.
"Automated Model Merge by Design Space Exploration",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"EMF-IncQuery: An Integrated Development Environment for Live Model Queries",
Science of Computer Programming, vol. 98, issue 1, 02/2015.
Abstract
"Property-Based Methods for Collaborative Model Development",
3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
"Viatra 3 : A Reactive Model Transformation Platform",
8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015.
Abstract
"Java Refactoring Case: a VIATRA Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"Optimization of Incremental Queries in the Cloud",
CloudMDE, 2015.
"Train Benchmark Case: an EMF-IncQuery Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"The TTC 2015 Train Benchmark Case for Incremental Model Validation",
Transformation Tool Contest, 2015.
"Query-driven soft traceability links for models",
Software & Systems Modeling, vol. 15, issue 3, pp. 733-756, 2014.
Abstract
"Query-driven incremental synchronization of view models",
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, York, United Kingdom, ACM, pp. 31, 07/2014.
"Scalable Query Evaluation in the Cloud",
STAF Doctoral Symposium, 07/2014.
"IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"MONDO-SAM: A Framework to Systematically Assess MDE Scalability",
BigMDE 2014 2nd Workshop on Scalable Model Driven Engineering: ACM, 2014.
"Streaming Model Transformations By Complex Event Processing",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%