E-LIB Suche - Ergebnisse für: Lambers, Leen

1

Taint Analysis for Graph APIs Focusing on Broken Access Con..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Lambers, Leen ; Sakizloglou, Lucas ; Al-Wardi, Osama. - p. 180-200 , 2024

Link: https://doi.org/10.1007/..

2

Foundations for Query-based Runtime Monitoring of Temporal ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Sakizloglou, Lucas ; Giese, Holger ; Lambers, Leen - p. 22-55 , 2024

Link: https://doi.org/10.1007/..

3

On the Application of Model-Driven Optimization to Business..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Taentzer, Gabriele ; Kosiol, Jens ; Lambers, Leen - p. 24-35 , 2024

Link: https://doi.org/10.1007/..

4

A graph-based framework for model-driven optimization facil..:

John, Stefan ; Kosiol, Jens ; Lambers, Leen.
Software and Systems Modeling. 22 (2023) 4 - p. 1281-1318 , 2023

Link: https://doi.org/10.1007/..

5

Evaluation diversity for graph conditions:

Schneider, Sven ; Lambers, Leen
Journal of Logical and Algebraic Methods in Programming. 133 (2023) - p. 100862 , 2023

Link: https://doi.org/10.1016/..

6

Tool support for the teaching of state-based behavior model..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Zöllner, Christian ; Adriano, Christian M. ; Wietheger, Simon.. - p. 87-94 , 2022

Link: https://dl.acm.org/doi/1..

7

What Is the Future of Modeling?:

Bucchiarone, Antonio ; Ciccozzi, Federico ; Lambers, Leen...
IEEE Software. 38 (2021) 2 - p. 119-127 , 2021

Link: https://doi.org/10.1109/..

8

A logic-based incremental approach to graph repair featurin..:

Schneider, Sven ; Lambers, Leen ; Orejas, Fernando
International Journal on Software Tools for Technology Transfer. 23 (2021) 3 - p. 369-410 , 2021

Link: https://doi.org/10.1007/..

9

Evaluation Diversity for Graph Conditions:

, In: Graph Transformation; Lecture Notes in Computer Science,

Schneider, Sven ; Lambers, Leen - p. 122-141 , 2021

Link: https://doi.org/10.1007/..

10

A navigational logic for reasoning about graph properties:

Navarro, Marisa ; Orejas, Fernando ; Pino, Elvira.
Journal of Logical and Algebraic Methods in Programming. 118 (2021) - p. 100616 , 2021

Link: https://doi.org/10.1016/..

11

Transformation rules with nested application conditions: Cr..:

Lambers, Leen ; Orejas, Fernando
Theoretical Computer Science. 884 (2021) - p. 44-67 , 2021

Link: https://doi.org/10.1016/..

12

From classic to agile : experiences from more than a dec..:

, In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Giese, Holger ; Lambers, Leen ; Zöllner, Christian - p. 1-10 , 2020

Link: https://dl.acm.org/doi/1..

13

Initial Conflicts for Transformation Rules with Nested Appl..:

, In: Graph Transformation; Lecture Notes in Computer Science,

Lambers, Leen ; Orejas, Fernando - p. 109-127 , 2020

Link: https://doi.org/10.1007/..

14

Preface to the special issue on the 11th International Conf..:

Lambers, Leen ; Weber, Jens
Journal of Logical and Algebraic Methods in Programming. 112 (2020) - p. 100525 , 2020

Link: https://doi.org/10.1016/..

15

How to Teach Software Testing? Experiences with a Sandwich ..:

, In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Lambers, Leen - p. 425-428 , 2020

Link: https://doi.org/10.1109/..