Modeling & Analysis in
Software Engineering

 About     |     Members     |     Research     |     Publications     |     Software     |     Contact Us

 

Selected Publications

All papers are copyright by their respective publishers (IEEE, ACM, Elsevier, Springer and so on) - see the publishers' websites for copyright restrictions and definitive published versions.

G.M.K. Selim, S. Wang, J.R. Cordy and J. Dingel. "Model Transformations for Migrating Legacy Models: An Industrial Case Study". ECMFA'12. LNCS 7349. pp 90-101. Springer. July 2012.

E.J. Rapos and J. Dingel. "Incremental Test Case Generation for UML-RT Models Using Symbolic Execution". Poster at IEEE International Conference on Software Testing, Verification and Validation (ICST'12). Montreal, Canada. April 2012.

L. Lucio, M. Amrani, J. Dingel, G. Selim, B. Combemale, H. Vangheluwe, Y. Le Traon and J.R. Cordy. "A Tridimensional Approach for Studying the Formal Verification of Model Transformations". ICST Workshop on Verification and Validation of Model Transformations (VOLT'12). Montreal, Canada, April 21, 2012. To appear.

K. Zurowska and J. Dingel. "Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines". 4th NASA Formal Methods Symposium (NFM'12). Norvolk, VA, USA. April 3-5, 2012. To appear.

K. Zurowska and J. Dingel. "Symbolic Execution of UML-RT State Machines". 27th ACM Symposium on Applied Computing, Track on Software Verification and Testing (SAC-SVT'12). Riva del Garda, Italy, March 25-29, 2012. To appear.

K. Zurowska and J. Dingel. "SAUML - a Tool for Symbolic Analysis of UML-RT Models". Tool Demonstration Paper. 26th IEEE/ACM International Conference On Automated Software Engineering (ASE'11). Lawrence, Kansas, USA, Nov 6-10, 2011. Pages 604-607.

N. Chausse, H. Xu, J. Dingel, and K. Rudie. "Combining Model Checking and Discrete-Event Supervisor Synthesis". 11th International Workshop on Automated Verification of Critical Systems (AVoCS'11). Newcastle, UK, Sept 12-14, 2011. To appear.

Y. Moffett, A. Beaulieu, and J. Dingel. "Verifying UML-RT Protocol Conformance using Model Checking". ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS'11). Wellington, NZ, October 16-21, 2011. LNCS 6981. Pages 410-424.

J. Dingel and A. Solberg (Eds.). "Models in Software Engineering: Workshops and Symposia at MoDELS 2010, Reports and Revised Selected Papers". ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10). LNCS 6627. Oslo, Norway, October 3-8, 2010. http://dx.doi.org/10.1007/978-3-642-21210-9

R. Bruni and J. Dingel (Eds.). "Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011 (FMOODS/FORTE'11)". 6th International Federated Conferences on Distributed Computing Techniques (DisCoTec'11). LNCS 6722. Reykjavik, Island, June 6-9, 2011.

A. Saifan, J. Dingel, J.S. Bradbury, and E. Posse. "Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems". 4th IEEE International Conference on Software Testing, Verification and Validation (ICST'11). Berlin, Germany, March 21-25, 2011. (to appear)

E. Posse and J. Dingel. "kiltera: a language for timed, event-driven, mobile and distributed simulation". 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'10). October 17-20, 2010. Fairfax, VA. (to appear)

J. Dingel, E. Paen, E. Posse, R. Rahman and K. Zurowska. "Definition and Implementation of a Semantic Mapping for UML-RT Using a Timed Pi-calculus". 2nd Workshop on Behavioural Modelling - Foundations and Application (BM-FA'10) . June 15, 2010. Paris, France. Pages 1-8.

E. Posse and J. Dingel. "Theory and implementation of a real-time extension to the pi-calculus". IFIP International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS'10) . June 7-10, 2010. Amsterdam, NL. LNCS 6117, pages 125-139.

J. Dingel. "The Doctoral Symposium at MODELS 2009". Models in Software Engineering, Workshops and Symposia at ACM/IEEE MODELS 2009, Reports and Revised Selected Papers.. October 4-9, 2009. Denver, CO, USA. LNCS 6002, pages 1-4.

A. Auer, J. Dingel, and K. Rudie. "Concurrency Control Generation for Dynamic Threads". Forty-Seventh Annual Allerton Conference on Communication, Control, and Computing. September 30 - October 2, 2009. Allerton Retreat Center, Monticello, Illinois.

A. Saifan, E. Posse and J. Dingel. "Run-Time Conformance Checking of Mobile and Distributed Systems Using Executable Models". Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD - VII). July 19-20, 2009. Chicago, Illinois. pages 1 - 11.

J. Dingel, K. Rudie and C Dragert. "Bridging the Gap: Discrete-Event Systems for Software Engineering (Short Position Paper)". Proceedings of C3S2E-09, ACM, pages 67-71. Montreal, May 19-21, 2009.

A. Saifan and J. Dingel. "A Survey of Using Model-Based Testing to Improve Quality Attributes in Distributed Systems". International Joint Conferences on Computer, Information, System Sciences and Engineering (CISSE'08). Bridgeport, CT, USA. December, 2008.

E. Posse and J. Dingel. "A Foundation for MDE". First International Workshop on Challenges in Model-Driven Software Engineering (ChaMDE'08). Toulouse, France. Sept 2008. Pages 15-19.

H. Liang and J. Dingel. "A practical evaluation of using TXL for Model Transformation". 1st International Conference on Software Language Engineering (SLE'08). LNCS 5452. Toulouse, France. Sept 2008. Springer Verlag, pages 245-264.

M.L. Crane and J. Dingel. "Towards a UML Virtual Machine: Implementing an Interpreter for UML 2 Actions and Activities". 18th IBM Centre for Advanced Studies International Conference on Computer Science and Software Engineering (CASCON'08). Toronto, Canada. October 2008. ACM, pages 96-110.

H. Liang, Z. Diskin, J. Dingel, and E. Posse. "A General Approach for Scenario Integration". ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS'08). Toulouse, France. October 2008. Springer, LNCS 5301, pages 204-218.

M.L. Crane and J. Dingel. "Towards a Formal Account of a Foundational Subset for Executable UML Models". ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS'08). Toulouse, France. October 2008. Springer, LNCS 5301, pages 675-689.

C. Dragert, J. Dingel, and K. Rudie. "Generation of Concurrency Control Code using Discrete-Event Systems Theory". 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 16). Atlanta, Georgia. November 2008. ACM, pages 146-157. http://doi.acm.org/10.1145/1453101.1453122

Z. Diskin, S. Easterbrook, and J. Dingel. "Engineering associations: from models to code through semantics". 46th International Conference on Objects, Models, Components, Patterns (TOOLS '08). Zurich, Switzerland. July 2008. Springer, Lecture Notes in Business Information Processing, Vol. 11, pages 336-355.

B. Long, J. Dingel and N. Graham. "Experience Applying the SPIN Model Checker to an Industrial Telecommunications System". 30th International Conference on Software Engineering (ICSE'08), Experience Track on Telecommunications. Leipzig, Germany, May 2008. ACM, pages 693-702. http://doi.acm.org/10.1145/1368088.1368187.

J. Dingel, Z. Diskin and A. Zito. "Understanding and Improving UML Package Merge". Journal of Software and Systems Modeling (SoSym). Volume 7, Number 4, pages 443-467. October 2008. DOI 10.1007/s10270-007-0073-9.

J. Bradbury, J.R. Cordy and J. Dingel. "Comparative Assessment of Testing and Model Checking Using Program Mutation". 3rd Workshop on Mutation Analysis (Mutation 2007). Windsor, U.K., September 2007. 10 pp. (to appear)

M.V. Cengarle, J. Dingel, H. Groenniger and B. Rumpe. "System-Model-Based Simulation of UML Models". Nordic Workshop on Model Driven Engineering (NW-MODE 2007). Ronneby, Sweden. Pages 112-126. August 2007.

L.R. Cai, J. Bradbury and J. Dingel. "Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking". 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007). LNCS 4468. Pages 44-58. Paphos, Cyprus. June 2007.

J. McGeachie and J. Dingel. "Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking". 2nd Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007). Braga, Portugal. March 31, 2007. Appeared in Electronic Notes in Theoretical Computer Science (ENTCS), Volume 190, Issue 1, July 2007, pages 3-18.

M.L. Crane and J. Dingel. "UML vs. Classical vs. Rhapsody statecharts: Not all models are created equal". Journal for Software and Systems Modelling (SoSym). Volume 6. Number 4. Pages 412-435. December 2007.

J. Bradbury, J. Cordy, and J. Dingel. "Mutation Operators for Concurrent Java (J2SE 5.0)". 2nd Workshop on Mutation Analysis (Mutation 2006). Pages 83-92. Raleigh, NC, USA. November 2006.

J. Bradbury, J. Cordy, and J. Dingel. "ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis". 2nd Workshop on Mutation Analysis (Mutation 2006). Pages 57-62. Raleigh, NC, USA. November 2006.

A. Zito and J. Dingel. "Modeling UML 2 Package Merge With Alloy". 1st Alloy Workshop (Alloy '06), pages 86-95. Portland, OR, USA. November 2006.

M. Broy, M. Crane, J. Dingel, A. Hartman, B. Rumpe, and B. Selic. 2nd UML 2 Semantics Symposium: A Formal Semantics for UML. Proceedings of Workshops and Symposia at MoDELS 2006. Springer Verlag, LNCS 4364, pages 783-790. May 2007.

Z. Diskin and J. Dingel. "Mappings, maps and tables: a formal semantics for UML2 associations". 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006). Pages 230-244. Genoa, Italy. October 2006.

A. Zito, Z. Diskin and J. Dingel, "Package Merge in UML 2: Practice vs. Theory?". 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006). Pages 185-199. Genoa, Italy. October 2006.

Z. Diskin and J. Dingel. "A metamodel-independent framework for model transformation: Towards generic model management patterns in reverse engineering". 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ATEM '06). Genoa, Italy. Appeared as Technical Report of University of Mainz, Germany, Number 1/2006.

H. Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel. "Using Source Transformation to Test and Model Check Implicit-Invocation Systems". Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming, 62(3), pages 209-227. October 2006.

J. Dingel. "Compositional Analysis of C/C++ Programs With Verisoft". Acta Informatica, 43(1), pages 45-71. Spinger Verlag. June 2006.

H. Liang, J. Dingel and Z. Diskin. "A Comparative Survey of Scenario-based to State-based Model Synthesis". 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06). May 2006.

J.S. Bradbury, J.R. Cordy, and J. Dingel. "An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis". Short paper. 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE '05). Lisbon, Portugal. September 2005.

M.L. Crane, J. Dingel. "UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal". ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML'05). Montego Bay, Jamaica. October 2005.

H. Zhang, J.S. Bradbury, J.R. Cordy, J. Dingel. "Implementation and Verification of Implicit-Invocation Systems Using Source Transformation". 5th International Workshop on Source Code Analysis and Manipulation (SCAM 2005). Budapest, Hungary. September/October 2005.

T. Cassidy, J. Cordy, T. Dean, J. Dingel. "Source Transformation for Concurrency Analysis". Fifth Workshop on Language Descriptions, Tools and Applications (LDTA 2005). Edinburgh, Scotland. April 2005.

Jeremy S. Bradbury, James R. Cordy, Juergen Dingel, Michel Wermelinger. "A Survey of Self Management Support in Dynamic Software Architecture Specifications". ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04). Newport Beach, California. November 2004.

Juergen Dingel and Hongzhi Liang. "Automating comprehensive safety analysis of concurrent programs using VeriSoft and TXL". International Symposium on Foundations of Software Engineering (FSE'04). Newport Beach, California. November, 2004.

Hongyu Zhang, Jeremy Bradbury, Jim Cordy, and Juergen Dingel. "A Transformational Framework for Testing and Model Checking Implicit Invocation Systems". International Workshop on Distributed Event-based Systems (DEBS'04). Edinburgh, Scotland. May 2004.

Michelle Crane and Juergen Dingel. "Runtime Conformance Checking of Objects Using Alloy". Third Workshop on Runtime Verification (RV'03). Boulder, Colorado. July 2003. [ps]

Jeremy Bradbury and Juergen Dingel. "Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems". European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ((ESEC/FSE'03). Helsinki, Finland. September 2003. [pdf]

Juergen Dingel. "Computer-Assisted Assume/Guarantee Reasoning With VeriSoft". ICSE '03. Portland, Oregon. May 2003. [pdf]

Juergen Dingel, David Garlan and Craig Damon. "Bridging the HLA: Problems and Solutions". Sixth IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT'02). Dallas, Texas. October 2002.

Juergen Dingel. "A Refinement Calculus for Shared-variable Parallel and Distributed Programming". Formal Aspects of Computing. 14:123-197. 2002.

Juergen Dingel. "Systematic Parallel Programming". Ph.D. Thesis. Carnegie Mellon University. 1999.

Juergen Dingel, David Garlan, Somesh Jha and David Notkin. "Reasoning about Implicit Invocation". In Foundations of Software Engineering (FSE 6). 1998.

Juergen Dingel. "A trace-based refinement calculus for shared-variable parallel programs". In International Conference on Algebraic Methodology and Software Technology (AMAST '98). 1998.

Juergen Dingel, David Garlan, Somesh Jha and David Notkin. "Towards a Formal Treatment of Implicit Invocation using Rely/Guarantee Reasoning". In Formal Aspects of Computing 10:193--213. 1998.

Michael Baldamus and Juergen Dingel. "Modal Characterization of Weak Bisimulation for Higher-order Processes". In International Joint Conference on the Theory and Practice of Software Development (TAPSOFT '97). 1997.

Juergen Dingel. "Approximating UNITY". 2nd International Conference on Coordination Models and Languages (COORDINATION '97). Berlin, Germany. LNCS 1282, pages 320--337. September, 1997.

Michael Baldamus and Juergen Dingel. "Modal Characterization of Weak Bisimulation for Higher-order Processes". 7th International Joint Conference on the Theory and Practice of Software Development (TAPSOFT '97). Lille, France. LNCS 1214, pages 285--296. April, 1997.

Juergen Dingel. "Modular Verification for Shared-variable Concurrent Programs". 7th International Conference on Concurrency Theory (CONCUR '96). Pisa, Italy. LNCS 1119, pages 703--718. August, 1996.

Juergen Dingel and Thomas Filkorn. "Model Checking for Infinite State Systems using Data Abstraction, Assumption-commitment style Reasoning and Theorem Proving". InInternational Conference on Computer Aided Verification (CAV '95). 1995.

Michael Loewe and Juergen Dingel. "Canonical Derivations for the Single-Pushout Approach for Graph Transformation". Proceedings of the Dagstuhl Seminar on Graph Transformations in Computer Science. LNCS 776, pages 248--264. January, 1993. Revised version of: Juergen Dingel. M.Sc. thesis (German: Diplomarbeit). Department of Computer Science, Berlin University of Technology, Berlin. September, 1992.

 

 

 

 

Software Technology Lab     |     School of Computing    |     Queen's University