Amani Makhlouf

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 2

Top Topics

Graph Transformation

Symbolic Execution

Functional Programs

Top Venues

Publications

Amani Makhlouf, Christian Percebois, Hanh Nhi Tran
Two-Level Reasoning About Graph Transformation Programs. ICGT (2019)
Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. TAP@STAF (2016)