Statistics
Publications
10
Citations
339
H-Index
10
Active since
1998
Jürgen Dingel is an author at Queen's University specializing in computing, computer science, and systems modeling.
Publications per year
1998–2015
10
10
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Moussa Amrani, Lucio Levi, Gehan Selim et al. · 2012 · 56 citations · Full text
Reasoning about implicit invocation
David Garlan, Somesh Jha, David Notkin et al. · 1998 · 52 citations
Towards a model transformation intent catalog
Moussa Amrani, Jürgen Dingel, Leen Lambers et al. · 2012 · 33 citations · Full text
Engineering, Systems Engineering, Model-based Systems Engineering +14
1–5 of 10