| * | 2009 |
|---|
| 36 | EE | Jürgen Dingel,
Karen Rudie,
Christopher Dragert:
Bridging the gap: Discrete-Event Systems for software engineering (short position paper).
C3S2E 2009: 67-71 |
| 2008 |
|---|
| 35 | EE | Michelle L. Crane,
Jürgen Dingel:
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities.
CASCON 2008: 8 |
| 34 | EE | Barry Long,
Jürgen Dingel,
T. C. Nicholas Graham:
Experience applying the SPIN model checker to an industrial telecommunications system.
ICSE 2008: 693-702 |
| 33 | EE | Hongzhi Liang,
Zinovy Diskin,
Jürgen Dingel,
Ernesto Posse:
A General Approach for Scenario Integration.
MoDELS 2008: 204-218 |
| 32 | EE | Michelle L. Crane,
Jürgen Dingel:
Towards a Formal Account of a Foundational Subset for Executable UML Models.
MoDELS 2008: 675-689 |
| 31 | EE | Christopher Dragert,
Jürgen Dingel,
Karen Rudie:
Generation of concurrency control code using discrete-event systems theory.
SIGSOFT FSE 2008: 146-157 |
| 30 | EE | Hongzhi Liang,
Jürgen Dingel:
A Practical Evaluation of Using TXL for Model Transformation.
SLE 2008: 245-264 |
| 29 | EE | Zinovy Diskin,
Steve M. Easterbrook,
Jürgen Dingel:
Engineering Associations: From Models to Code and Back through Semantics.
TOOLS (46) 2008: 336-355 |
| 28 | EE | Jürgen Dingel,
Zinovy Diskin,
Alanna Zito:
Understanding and improving UML package merge.
Software and System Modeling 7(4): 443-467 (2008) |
| 2007 |
|---|
| 27 | EE | L. Ruhai Cai,
Jeremy S. Bradbury,
Jürgen Dingel:
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking.
FMOODS 2007: 44-58 |
| 26 | EE | Jesse McGeachie,
Jürgen Dingel:
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking.
Electr. Notes Theor. Comput. Sci. 190(1): 3-18 (2007) |
| 25 | EE | Michelle L. Crane,
Jürgen Dingel:
UML vs. classical vs. rhapsody statecharts: not all models are created equal.
Software and System Modeling 6(4): 415-435 (2007) |
| 2006 |
|---|
| 24 | EE | Alanna Zito,
Zinovy Diskin,
Jürgen Dingel:
Package Merge in UML 2: Practice vs. Theory?
MoDELS 2006: 185-199 |
| 23 | EE | Zinovy Diskin,
Jürgen Dingel:
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.
MoDELS 2006: 230-244 |
| 22 | EE | Manfred Broy,
Michelle L. Crane,
Jürgen Dingel,
Alan Hartman,
Bernhard Rumpe,
Bran Selic:
2nd UML 2 Semantics Symposium: Formal Semantics for UML.
MoDELS Workshops 2006: 318-323 |
| 21 | EE | Hongzhi Liang,
Jürgen Dingel,
Zinovy Diskin:
A comparative survey of scenario-based to state-based model synthesis approaches.
SCESM 2006: 5-12 |
| 20 | EE | Jürgen Dingel:
Compositional Analysis of C/C++ Programs with VeriSoft.
Acta Inf. 43(1): 45-71 (2006) |
| 19 | EE | Hongyu Zhang,
Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel:
Using source transformation to test and model check implicit-invocation systems.
Sci. Comput. Program. 62(3): 209-227 (2006) |
| 2005 |
|---|
| 18 | EE | Michelle L. Crane,
Jürgen Dingel:
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.
MoDELS 2005: 97-112 |
| 17 | EE | Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel:
An empirical framework for comparing effectiveness of testing and property-based formal analysis.
PASTE 2005: 2-5 |
| 16 | EE | Hongyu Zhang,
Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel:
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.
SCAM 2005: 87-96 |
| 15 | EE | Timothy Cassidy,
James R. Cordy,
Thomas R. Dean,
Jürgen Dingel:
Source Transformation for Concurrency Analysis.
Electr. Notes Theor. Comput. Sci. 141(4): 57-75 (2005) |
| 2004 |
|---|
| 14 | EE | Jürgen Dingel,
Hongzhi Liang:
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
SIGSOFT FSE 2004: 13-22 |
| 13 | EE | Jeremy S. Bradbury,
James R. Cordy,
Jürgen Dingel,
Michel Wermelinger:
A survey of self-management in dynamic software architecture specifications.
WOSS 2004: 28-33 |
| 2003 |
|---|
| 12 | EE | Jeremy S. Bradbury,
Jürgen Dingel:
Evaluating and improving the automatic analysis of implicit invocation systems.
ESEC / SIGSOFT FSE 2003: 78-87 |
| 11 | EE | Jürgen Dingel:
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft.
ICSE 2003: 138-148 |
| 10 | EE | Michelle L. Crane,
Jürgen Dingel:
Runtime Conformance Checking of Objects Using Alloy.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 2002 |
|---|
| 9 | EE | Jürgen Dingel,
David Garlan,
Craig Damon:
Bridging the HLA: Problems and Solutions.
DS-RT 2002: 33-42 |
| 8 | EE | Jürgen Dingel:
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.
Formal Asp. Comput. 14(2): 123-197 (2002) |
| 2000 |
|---|
| 7 | EE | Jürgen Dingel:
Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs.
IFM 2000: 214-234 |
| 1998 |
|---|
| 6 | EE | Jürgen Dingel:
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs.
AMAST 1998: 231-247 |
| 5 | EE | Jürgen Dingel,
David Garlan,
Somesh Jha,
David Notkin:
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning.
Formal Asp. Comput. 10(3): 193-213 (1998) |
| 1997 |
|---|
| 4 | | Jürgen Dingel:
Approximating UNITY.
COORDINATION 1997: 320-337 |
| 3 | EE | Michael Baldamus,
Jürgen Dingel:
Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract).
TAPSOFT 1997: 285-296 |
| 1996 |
|---|
| 2 | EE | Jürgen Dingel:
Modular Verification for Shared-Variable Concurrent Programs.
CONCUR 1996: 703-718 |
| 1995 |
|---|
| 1 | EE | Jürgen Dingel,
Thomas Filkorn:
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.
CAV 1995: 54-69 |
