1. Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation;Hausmann,2002
2. Graph-based specification of access control policies;Koch;J. Comput. Syst. Sci.,2005
3. Certifying rule-based models using graph transformation;Lambers,2009
4. Multi-granular conflict and dependency analysis in software engineering based on graph transformation;Lambers,2018
5. Efficient conflict detection in graph transformation systems by essential critical pairs;Lambers;Electron. Notes Theor. Comput. Sci.,2008