Nebras Nassar

According to our database, Nebras Nassar authored at least 10 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools.

Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske

Proceedings of the Software Engineering 2021, 2021

2020

Consistency-by-Construction Techniques for Software Models and Model Transformations (Konsistenztechniken für Softwaremodelle und Modelltransformationen)

Nebras Nassar

PhD thesis, 2020

Java Bytecode Verification with OCL Why, How and Whenc.

Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra

J. Object Technol., 2020

Constructing optimized constraint-preserving application conditions for model transformation rules.

Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer

J. Log. Algebraic Methods Program., 2020

Generating Large EMF Models Efficiently - A Rule-Based, Configurable Approach.

Nebras Nassar, Jens Kosiol, Timo Kehrer, Gabriele Taentzer

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules.

Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer

Proceedings of the Graph Transformation - 12th International Conference, 2019

2018

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories.

Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer

Proceedings of the Recent Trends in Algebraic Development Techniques, 2018

OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules.

Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer

Proceedings of the Graph Transformation - 11th International Conference, 2018

2017

Rule-Based Repair of EMF Models: An Automated Interactive Approach.

Nebras Nassar, Hendrik Radke, Thorsten Arendt

Proceedings of the Theory and Practice of Model Transformation, 2017

2016

Deducing Model Metrics from Meta Models.

Nebras Nassar, Thorsten Arendt, Gabriele Taentzer

Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016