Juergen Dingel
Juergen Dingel
School of Computing, Queen's University, Canada
Bestätigte E-Mail-Adresse bei cs.queensu.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
3572004
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
1252006
Reviews of environmental contamination and toxicology
DM Whitacre
Springer, 2008
1182008
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
1112006
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
1021995
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
992016
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
762012
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
742005
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
73*2011
UML vs. classical vs. rhapsody statecharts: not all models are created equal
ML Crane, J Dingel
Software & Systems Modeling 6 (4), 415-435, 2007
682007
Reasoning about implicit invocation
D Garlan, S Jha, D Notkin, J Dingel
ACM SIGSOFT Software Engineering Notes 23 (6), 209-221, 1998
671998
Understanding and improving UML package merge
J Dingel, Z Diskin, A Zito
Software & Systems Modeling 7 (4), 443-467, 2008
652008
Package merge in uml 2: Practice vs. theory?
A Zito, Z Diskin, J Dingel
International Conference on Model Driven Engineering Languages and Systems …, 2006
572006
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
572005
2 nd 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
502006
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
492012
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
462013
Bridging the HLA: Problems and solutions
J Dingel, D Garlan, C Damon
Proceedings. Sixth IEEE International Workshop on Distributed Simulation and …, 2002
452002
Towards a formal treatment of implicit invocation using rely/guarantee reasoning
J Dingel, D Garlan, S Jha, D Notkin
Formal Aspects of Computing 10 (3), 193-213, 1998
44*1998
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
382008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20