Jürgen Dingel

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		Michael Baldamus, Jürgen Dingel: Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract). TAPSOFT 1997: 285-296
1996
2		Jürgen Dingel: Modular Verification for Shared-Variable Concurrent Programs. CONCUR 1996: 703-718
1995
1		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

Coauthor Index

1	Michael Baldamus	[3]
2	Jeremy S. Bradbury	[12] [13] [16] [17] [19] [27]
3	Manfred Broy	[22]
4	L. Ruhai Cai	[27]
5	Timothy Cassidy	[15]
6	James R. Cordy	[13] [15] [16] [17] [19]
7	Michelle L. Crane	[10] [18] [22] [25] [32] [35]
8	Craig Damon	[9]
9	Thomas R. Dean	[15]
10	Zinovy Diskin	[21] [23] [24] [28] [29] [33]
11	Christopher Dragert	[31]
12	Steve M. Easterbrook	[29]
13	Thomas Filkorn	[1]
14	David Garlan	[5] [9]
15	T. C. Nicholas Graham	[34]
16	Alan Hartman	[22]
17	Somesh Jha	[5]
18	Hongzhi Liang	[14] [21] [30] [33]
19	Barry Long	[34]
20	Jesse McGeachie	[26]
21	David Notkin	[5]
22	Ernesto Posse	[33]
23	Karen Rudie	[31]
24	Bernhard Rumpe	[22]
25	Bran Selic	[22]
26	Michel Wermelinger	[13]
27	Hongyu Zhang	[16] [19]
28	Alanna Zito	[24] [28]

Colors in the list of coauthors