| Rule-based repair of EMF models: An automated interactive approach N Nassar, H Radke, T Arendt Theory and Practice of Model Transformation: 10th International Conference …, 2017 | 45 | 2017 |
| Rule-based repair of EMF models: formalization and correctness proof N Nassar, J Kosiol, H Radke Electronic Pre-Proc. Intl. Workshop on Graph Computation Models, 2017 | 20 | 2017 |
| Mofuzz: A fuzzer suite for testing model-driven software engineering tools HL Nguyen, N Nassar, T Kehrer, L Grunske Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 18 | 2020 |
| OCL2AC: automatic translation of OCL constraints to graph constraints and application conditions for transformation rules N Nassar, J Kosiol, T Arendt, G Taentzer International Conference on Graph Transformation, 171-177, 2018 | 18 | 2018 |
| Generating large EMF models efficiently: A rule-based, configurable approach N Nassar, J Kosiol, T Kehrer, G Taentzer International Conference on Fundamental Approaches to Software Engineering …, 2020 | 15 | 2020 |
| Constructing optimized constraint-preserving application conditions for model transformation rules N Nassar, J Kosiol, T Arendt, G Taentzer Journal of Logical and Algebraic Methods in Programming 114, 100564, 2020 | 11 | 2020 |
| Constructing optimized validity-preserving application conditions for graph transformation rules N Nassar, J Kosiol, T Arendt, G Taentzer International Conference on Graph Transformation, 177-194, 2019 | 11 | 2019 |
| Constructing constraint-preserving interaction schemes in adhesive categories J Kosiol, L Fritsche, N Nassar, A Schürr, G Taentzer Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019 | 9 | 2019 |
| Java bytecode verification with OCL: Why how and when C Bockisch, G Taentzer, N Nassar, L Wydra J. Object Technol. 19 (3), 1-16, 2020 | 3 | 2020 |
| Consistency-by-Construction Techniques for Software Models and Model Transformations N Nassar Philipps-Universität Marburg, 2020 | 2 | 2020 |
| Towards Establishing Consistency between Graph Transformation Rules and Atomic Graph Constraints Using Multi-Amalgamation J Kosiol, L Fritsche, N Nassar, A Schürr, G Taentzer Workshop on Algebraic Development Techniques (WADT), London, UK, 165, 2018 | 1 | 2018 |
| Deriving Model Metrics from Meta Models N Nassar, T Arendt, G Taentzer Conference: http://dblp. org/rec/conf/modellierung/NassarAT16, Volume 254, 2016 | 1 | 2016 |
| Deducing model metrics from meta models N Nassar, T Arendt, G Taentzer Gesellschaft für Informatik eV, 2016 | 1 | 2016 |
| Augmented and Virtual Reality for Ground Station and Telescope Maintenance at ESOC N Nassar, S Martin, R Gada, P Haschemia, M Olbrich, F Rücker 17th International Conference on Space Operations, 2023 | | 2023 |
| Java Bytecode Verification with OCL Why, How and Whenc. C Bockisch, G Taentzer, N Nassar, L Wydra J. Object Technol. 19 (3), 3:1-16, 2020 | | 2020 |
| Graph Constraints and Application Conditions for Transformation Rules N Nassar | | 2018 |
Gabriele TaentzerPhilipps-Universität MarburgVerified email at mathematik.uni-marburg.de
