|
|
| Most recent
papers are linked to downloadable Adobe
Acrobat Reader portable document format (PDF) documents.
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. |
2008
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. (to appear)
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. (to
appear)
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. (to appear)
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. (to appear)
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. (to appear)
H. Liang and J. Dingel "A practical
evaluation of using TXL for Model Transformation". 1st
International Conference on Software Language Engineering
(SLE'08). Toulouse, France. Sept 2008. (accepted for
inclusion in pre-proceedings)
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). July 2008.
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. May 2008.
2007
M.L. Crane, "Slicing
the Three-layer Architecture: A Semantic Foundation for
Behavioural Specification", Presented at the
Grace Hopper Celebration
of Women in Computing (GHC 2007) PhD Symposium, October
2007.
M.L. Crane, Juergen Dingel, Bran Selic, "Semantics of UML:
Mapping UML Actions to the System Model" (poster),
CASCON 2007 Technology Showcase, October 2007.
J. Dingel, Z. Diskin and A. Zito.
"Understanding and Improving UML Package Merge." Journal of
Software and Systems Modeling (SoSym). Accepted for
publication, October 2007.
H. Liang. "Scenario Integration via the Transformation and
Manipulation of Higher-order Graphs." Doctoral Symposium at
the 10th International Conference on Model Driven
Engineering Languages and Systems (MoDELS 2007). Nashville,
TN, USA. October 2007.
M.L. Crane. "Slicing the Three-layer
Architecture: A Semantic Foundation for Behavioural
Specification." Doctoral Symposium at
the 10th International Conference on Model Driven
Engineering Languages and Systems (MoDELS 2007). Nashville,
TN, USA. October 2007.
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).
Online first DOI: 10.1007/s10270-006-0042-8, 2007.
J. S. Bradbury, J.
R. Cordy and J. Dingel. "Comparative
Assessment of Testing and Model Checking
Using Program Mutation". In Proc. of the 3rd Workshop
on Mutation Analysis (Mutation 2007).
Windsor, UK, Sept. 2007. To appear.
M.V. Cengarle, J. Dingel, H. Groenniger, and B. Rumpe.
"System-Model-Based Simulation of UML Models."
In Proceedings Nordic Workshop on Model Driven
Engineering (NW-MODE 2007), August 2007.
R. Cai, J.
Bradbury, 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'07).
LNCS 4468. Paphos, Cyprus, June 2007. Pages 44-58.
J. McGeachie and J.
Dingel. "Translate One, Analyze Many:
Leveraging the Microsoft
Intermediate Language and Source Code Transformation for Model
Checking". Second Workshop on Bytecode Semantics,
Verification, Analysis and Transformation (BYTECODE).
March 31, 2007 - Braga, Portugal. To appear in Electronic
Notes in Theoretical Computer Science.
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. Nov. 2006.
A. Zito and J. Dingel.
"Modeling UML 2 Package Merge With Alloy".
Proc. of the 1st Alloy Workshop (Alloy '06).
Portland, Oregon, USA.
November, 2006.
(to appear)
Jeremy S. Bradbury, James R. Cordy and Juergen Dingel, "Mutation Operators for Concurrent Java (J2SE 5.0)", In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), Raleigh, North Carolina, USA, November 2006, 10 pp. (to appear)
Jeremy S. Bradbury, James R. Cordy and Juergen Dingel. "ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis", In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006), Raleigh, North Carolina, USA, Nov. 2006, 6 pp. (to appear)
Z. Diskin, and J. Dingel, "Mappings, maps and tables: a formal semantics for UML2 associations", Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genoa, Italy, October 2006.
A. Zito, Z. Diskin, and J. Dingel, "Package Merge in UML 2: Practice vs. Theory?", Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genoa, Italy, October 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, Oct. 2006.
J.S. Bradbury, J.R. Cordy and J. Dingel. "Bugs
and Concurrency: A Quantitative Assessment of Bug Detection
Tools", Poster Presentation in Technology Showcase at the
16th Annual International Conference on Computer Science and
Software Engineering (CASCON 2006), Markham, Ontario,
Canada, Oct. 2006.
Z. Diskin and J. Dingel. "A metamodel-independent framework for model transformation: Towards generic model management patterns in reverse engineering". Proc. of 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.
J.S. Bradbury, "Using Mutation for the Assessment and Optimization of Tests and Properties" Doctoral Symposium being held in conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2006), Portland Maine, USA, July 2006, 4 pp. (to appear).
J. Dingel. "Compositional Analysis of C/C++
Programs with Verisoft". Acta Informatica, 43(1), pages
45-71, Springer Verlag, June 2006.
H. Liang, J. Dingel and Z. Diskin. ”A Comparative Survey of Scenario-based to State-based Model Synthesis ”. 5th Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), May 2006.
2005
M.L. Crane, J. Dingel. "UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal". Proc. of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML 2005), Montego Bay, Jamica, October, 2005 .
H. Zhang, J.S. Bradbury, J.R. Cordy, J. Dingel. "Implementation and Verification of Implicit-Invocation Systems Using Source Transformation". Proc. of the 5th International Workshop on Source Code Analysis and Manipulation (SCAM 2005), Budapest, Hungary, September/October 2005.
J.S. Bradbury, J.R. Cordy, J. Dingel. "An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis". Proc. of the International ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005), Lisbon, Portugal, September 2005.
T. Cassidy, J.R. Cordy, T. Dean and J. Dingel, "Source Transformation for Concurrency Analysis", Proc. of the ACM 5th International Workshop on Language Descriptions, Tools and Applications(LDTA 2005), Edinburgh, Scotland, April 2005, 18 pp.
2004
J.
Dingel and H. Liang. "Automating
Comprehensive Safety Analysis of Concurrent Programs Using VeriSoft
and TXL". Proc. of the International Symposium on
Foundations of Software Engineering (ACM SIGSOFT 2004/FSE-12),
Newport Beach, California, USA, November, 2004. J.
S. Bradbury, J. R. Cordy, J. Dingel, M. Wermelinger. "A
Survey of Self Management in Dynamic Software Architecture Specifications".
Proc. of the International Workshop on Self-Managed Systems
(WOSS'04), Newport Beach, California, USA, October/November
2004.
H.
Zhang, J.S. Bradbury, J.R. Cordy and J. Dingel, "A
Transformational Framework for Testing and Model Checking Implicit
Invocation Systems", Proc. of the 3rd International
Workshop on Distributed Event-Based Systems (DEBS'04), Edinburgh,
May 2004.
2003
J.
S. Bradbury, J. Dingel. "Evaluating
and Improving the Automatic Analysis of Implicit Invocation Systems",
Proc. of the European Software Engineering Conference and the
ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE 2003), Helsinki, Finland, Sept. 2003.
M.
L. Crane, J. Dingel. "Runtime
Conformance Checking of Objects Using Alloy". Proc.
of the Third Workshop on Runtime Verification (RV'03), Boulder,
Colorado, USA, July 2003.
J.
Dingel. "Computer-Assisted
Assume/Guarantee Reasoning With VeriSoft", Proc. of
the International Conference on Software Engineering (ICSE 2003),
Portland, Oregon, May, 2003.
2002
J.
Dingel. "A Refinement Calculus
for Shared-Variable Parallel and Distributed Programming".
Formal Aspects of Computing. 14:123-197. 2002.
J. Dingel,
D. Garlan and C. Damon. "Bridging
the HLA: Problems and Solutions''. Proc. of the Sixth
IEEE International Workshop on Distributed Simulation and Real
Time Applications (DS-RT'02). Dallas, Texas. October, 2002.
|
|
