متابعة
Juergen Dingel
Juergen Dingel
School of Computing, Queen's University, Canada
بريد إلكتروني تم التحقق منه على cs.queensu.ca - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
A survey of self-management in dynamic software architecture specifications
JS Bradbury, JR Cordy, J Dingel, M Wermelinger
Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, 28-33, 2004
3982004
Model transformation intents and their properties
L Lúcio, M Amrani, J Dingel, L Lambers, R Salay, GMK Selim, E Syriani, ...
Software & systems modeling 15 (3), 647-684, 2016
1322016
A comparative survey of scenario-based to state-based model synthesis approaches
H Liang, J Dingel, Z Diskin
Proceedings of the 2006 international workshop on Scenarios and state …, 2006
1322006
Mutation operators for concurrent Java (J2SE 5.0)
JS Bradbury, JR Cordy, J Dingel
Second Workshop on Mutation Analysis (Mutation 2006-ISSRE Workshops 2006), 11-11, 2006
1282006
Survey and classification of model transformation tools
N Kahani, M Bagherzadeh, JR Cordy, J Dingel, D Varró
Software & Systems Modeling 18 (4), 2361-2397, 2019
1122019
Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving
J Dingel, T Filkorn
International Conference on Computer Aided Verification, 54-69, 1995
1081995
UML vs. classical vs. Rhapsody statecharts: Not all models are created equal
ML Crane, J Dingel
International Conference on Model Driven Engineering Languages and Systems …, 2005
872005
A tridimensional approach for studying the formal verification of model transformations
M Amrani, L Lucio, G Selim, B Combemale, J Dingel, H Vangheluwe, ...
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
842012
UML vs. classical vs. rhapsody statecharts: not all models are created equal
ML Crane, J Dingel
Software & Systems Modeling 6 (4), 415-435, 2007
802007
Understanding and improving UML package merge
J Dingel, Z Diskin, A Zito
Software & Systems Modeling 7 (4), 443-467, 2008
732008
Reasoning about implicit invocation
D Garlan, S Jha, D Notkin, J Dingel
ACM SIGSOFT Software Engineering Notes 23 (6), 209-221, 1998
681998
On the semantics of uml state machines: Categorization and comparision
ML Crane, J Dingel
In Technical Report 2005-501, School of Computing, Queen’s, 2005
662005
Package merge in uml 2: Practice vs. theory?
A Zito, Z Diskin, J Dingel
International Conference on Model Driven Engineering Languages and Systems …, 2006
632006
Towards a model transformation intent catalog
M Amrani, J Dingel, L Lambers, L Lúcio, R Salay, G Selim, E Syriani, ...
Proceedings of the First Workshop on the Analysis of Model Transformations, 3-8, 2012
592012
2nd UML 2 Semantics Symposium: Formal Semantics for UML
M Broy, ML Crane, J Dingel, A Hartman, B Rumpe, B Selic
International Conference on Model Driven Engineering Languages and Systems …, 2006
592006
A survey of timed automata for the development of real-time systems
MTB Waez, J Dingel, K Rudie
Computer Science Review 9, 1-26, 2013
572013
An executable formal semantics for UML-RT
E Posse, J Dingel
Software & Systems Modeling 15 (1), 179-217, 2016
512016
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities
ML Crane, J Dingel
Proceedings of the 2008 conference of the center for advanced studies on …, 2008
472008
Bridging the HLA: Problems and solutions
J Dingel, D Garlan, C Damon
Proceedings. Sixth IEEE International Workshop on Distributed Simulation and …, 2002
472002
Formal verification techniques for model transformations: A tridimensional classification
M Amrani, B Combemale, L Lúcio, G Selim, J Dingel, H Vangheluwe, ...
The Journal of Object Technology 14 (3), 1: 1-43, 2015
442015
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20