Lambers, Leen profile picture

Lambers, Leen

Is this your author profile? Create an account to customize it!

Stand Alone

Certifying Rule-Based Models Using Graph Transformation
Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
Symbolic model generation for graph properties
Automatic verification of behavior preservation at the transformation level for relational model transformation
A Logic-based Incremental Approach to Graph Repair
On the operationalization of graph queries with generalized discrimination networks