Jürgen Dingel

	2012
48		Karolina Zurowska, Jürgen Dingel: Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines. NASA Formal Methods 2012: 39-53
	2011
47		Jürgen Dingel, Arnor Solberg: Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers Springer 2011
46		Roberto Bruni, Jürgen Dingel: Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings Springer 2011
45		Karolina Zurowska, Jürgen Dingel: SAUML: A tool for symbolic analysis of UML-RT models. ASE 2011: 604-607
44		Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse: Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST 2011: 269-278
43		Yann Moffett, Alain Beaulieu, Jürgen Dingel: Verifying UML-RT Protocol Conformance Using Model Checking. MoDELS 2011: 410-424
42		Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie: Combining Model Checking and Discrete-Event Supervisor Synthesis. ECEASST 46: (2011)
	2010
41		Ernesto Posse, Jürgen Dingel: Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation. DS-RT 2010: 87-96
40		Ernesto Posse, Jürgen Dingel: Theory and Implementation of a Real-Time Extension to the pi-Calculus. FMOODS/FORTE 2010: 125-139
	2009
39		Jürgen Dingel, Karen Rudie, Christopher Dragert: Bridging the gap: Discrete-Event Systems for software engineering (short position paper). C3S2E 2009: 67-71
38		Jürgen Dingel: The Doctoral Symposium at MODELS 2009. MoDELS Workshops 2009: 1-4
37		Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel: Run-time conformance checking of mobile and distributed systems using executable models. PADTAD 2009
	2008
36		Michelle L. Crane, Jürgen Dingel: Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. CASCON 2008: 8
35		Barry Long, Jürgen Dingel, T. C. Nicholas Graham: Experience applying the SPIN model checker to an industrial telecommunications system. ICSE 2008: 693-702
34		Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse: A General Approach for Scenario Integration. MoDELS 2008: 204-218
33		Michelle L. Crane, Jürgen Dingel: Towards a Formal Account of a Foundational Subset for Executable UML Models. MoDELS 2008: 675-689
32		Ahmad A. Saifan, Jürgen Dingel: A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems. SCSS (2) 2008: 283-288
31		Christopher Dragert, Jürgen Dingel, Karen Rudie: Generation of concurrency control code using discrete-event systems theory. SIGSOFT FSE 2008: 146-157
30		Hongzhi Liang, Jürgen Dingel: A Practical Evaluation of Using TXL for Model Transformation. SLE 2008: 245-264
29		Zinovy Diskin, Steve M. Easterbrook, Jürgen Dingel: Engineering Associations: From Models to Code and Back through Semantics. TOOLS (46) 2008: 336-355
28		Jürgen Dingel, Zinovy Diskin, Alanna Zito: Understanding and improving UML package merge. Software and System Modeling 7(4): 443-467 (2008)
	2007
27		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		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		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		Alanna Zito, Zinovy Diskin, Jürgen Dingel: Package Merge in UML 2: Practice vs. Theory? MoDELS 2006: 185-199
23		Zinovy Diskin, Jürgen Dingel: Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. MoDELS 2006: 230-244
22		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		Hongzhi Liang, Jürgen Dingel, Zinovy Diskin: A comparative survey of scenario-based to state-based model synthesis approaches. SCESM 2006: 5-12
20		Jürgen Dingel: Compositional Analysis of C/C++ Programs with VeriSoft. Acta Inf. 43(1): 45-71 (2006)
19		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		Michelle L. Crane, Jürgen Dingel: UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. MoDELS 2005: 97-112
17		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		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		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		Jürgen Dingel, Hongzhi Liang: Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. SIGSOFT FSE 2004: 13-22
13		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		Jeremy S. Bradbury, Jürgen Dingel: Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE 2003: 78-87
11		Jürgen Dingel: Computer-Assisted Assume/Guarantee Reasoning with VeriSoft. ICSE 2003: 138-148
10		Michelle L. Crane, Jürgen Dingel: Runtime Conformance Checking of Objects Using Alloy. Electr. Notes Theor. Comput. Sci. 89(2): 2-21 (2003)
	2002
9		Jürgen Dingel, David Garlan, Craig Damon: Bridging the HLA: Problems and Solutions. DS-RT 2002: 33-42
8		Jürgen Dingel: A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. Formal Asp. Comput. 14(2): 123-197 (2002)
	2000
7		Jürgen Dingel: Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. IFM 2000: 214-234
	1998
6		Jürgen Dingel: A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. AMAST 1998: 231-247
5		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	Alain Beaulieu	[43]
3	Jeremy S. Bradbury	[12] [13] [16] [17] [19] [27] [44]
4	Manfred Broy	[22]
5	Roberto Bruni	[46]
6	L. Ruhai Cai	[27]
7	Timothy Cassidy	[15]
8	Nicolas Chausse	[42]
9	James R. Cordy	[13] [15] [16] [17] [19]
10	Michelle L. Crane	[10] [18] [22] [25] [33] [36]
11	Craig Damon	[9]
12	Thomas R. Dean (Thomas Roy Dean)	[15]
13	Zinovy Diskin	[21] [23] [24] [28] [29] [34]
14	Christopher Dragert	[31] [39]
15	Steve M. Easterbrook	[29]
16	Thomas Filkorn	[1]
17	David Garlan	[5] [9]
18	T. C. Nicholas Graham	[35]
19	Alan Hartman	[22]
20	Somesh Jha	[5]
21	Hongzhi Liang	[14] [21] [30] [34]
22	Barry Long	[35]
23	Jesse McGeachie	[26]
24	Yann Moffett	[43]
25	David Notkin	[5]
26	Ernesto Posse	[34] [37] [40] [41] [44]
27	Karen Rudie	[31] [39] [42]
28	Bernhard Rumpe	[22]
29	Ahmad A. Saifan	[32] [37] [44]
30	Bran Selic	[22]
31	Arnor Solberg	[47]
32	Michel Wermelinger	[13]
33	Helen Xu	[42]
34	Hongyu Zhang	[16] [19]
35	Alanna Zito	[24] [28]
36	Karolina Zurowska	[45] [48]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page