If you have trouble retrieving any of these publications,
please e-mail me for a copy.
|
2013
2011
2010
Mapping ORM to Datalog: An Overview
-
Appears in Proceedings of the ORM Workshop
- coauthors: T. Halpin, M. Curland, M. McGill,
N. Viswanath, S. Beck
2009
2008
-
Assessing the Benefits of Synchronization-Adorned
Sequence Diagrams: Two Controlled Experiments
- Appears in Proceedings of the ACM
Symposium on Software Visualization
(SOFTVIS'08)
- coauthors: S. Xie, E. T. Kraemer, L. K. Dillon,
and S. D. Fleming
-
On mechanisms for deadlock avoidance in SIP servlet
containers
- Appears in Proceedings of Principles,
Systems, and Applications of IP Telecommunications
(IPTComm'08)
- coauthors: Yi Huang and L. K. Dillon
-
Refining existing theories of program comprehension
during maintenance
for concurrent software
- Appears in Proceedings of the IEEE International
Conference on Program Comprehension (ICPC'08),
Amsterdam, June 2008
- coauthors: Scott D. Fleming,
Eileen T. Kraemer, Shaohua Xie, and
L. K. Dillon
-
A Study of Student Strategies for the
Corrective Maintenance of Concurrent Software
- Appears in Proceedings of the IEEE International
Conference on Software Engineering (ICSE'08),
Leipzig, Germany, May 2008
- coauthors: Scott D. Fleming,
Eileen T. Kraemer, Shaohua Xie, and
L. K. Dillon
-
Using Formal Models to Objectively Judge Quality of
Multi-Threaded Programs in Empirical Studies
- Appears in Proceedings of the ICSE Workshop
on Models in Software Engineering (MiSE'08),
Leipzig, Germany, May 2008
- coauthors:
L. K. Dillon,
Eileen T. Kraemer,
Shaohua Xie, and
Scott D. Fleming
2007
-
Toward a Task Model of Concurrent Software Maintenance
- Appears in Proceedings of the ASE Workshop
on Empirical Assessment of Software Engineering
Languages and Technologies (WEASELTech'07),
Atlanta, Georgia, November 2007
- coauthors: Scott D. Fleming and
Eileen T. Kraemer
-
A Model-based Design-for-Verification Approach to
Checking for Deadlock in Multi-Threaded Applications
- Appears in International Journal of Software
Engineering and Knowledge Engineering
17(2):207-230, 2007
- coauthors: Beata Sarna-Starosta and Laurie Dillon
-
Designing your Next Empirical Study on Program
Comprehension
- Appears in Proc. of the 15th
IEEE International Conference on Program
Comprehension (ICPC'07),
June 2007
- coauthors: Massimiliano Di Penta and Eileen T. Kraemer
-
Empirical Evaluation of a UML Sequence Diagram
with Adornments to Support Understanding of
Thread Interactions
- Appears in Proc. of the 15th
IEEE International Conference on Program
Comprehension (ICPC'07),
June 2007
- coauthors: Shaohua Xie and Eileen T. Kraemer
-
Using Program Families for
Maintenance Experiments
- Appears in Proc. of the
First Workshop on Assessment of Contemporary
Modularization Techniques (ACoM.07),
May 2007
- coauthor: Scott D. Fleming
-
Contracts and Middleware for Safe SOA Applications
- Appears in Proc. of the
International Workshop on Systems Development
in SOA Environments, May 2007
- coauthors: Beata Sarna-Starosta and Laura K. Dillon
-
Design and Evaluation of a Diagrammatic Notation to Aid
in the Understanding of Concurrency Concepts
- Appears in Proc. of the IEEE International
Conference on Software Engineering,
May 2007, pp. 727-731
- coauthors: Shaohua Xie and Eileen T. Kraemer
2006
2005
-
UML Formalization is a Traceability Problem
- Appears in Proc. of the Workshop
on Traceability in Emerging Forms of
Software Engineering (TEFSE'05),
November 2005
- coauthors: Min Deng and Betty Cheng
-
Retrieval by Construction: A Traceability Technique to
Support Verification and Validation of UML Formalizations
- Appears in International Journal of Software
Engineering and Knowledge Engineering,
15(5) 2005
- coauthors: Min Deng and Betty Cheng
-
Automated Invariant Maintenance via OCL Compilation
- Appears in Proc. of the 8th ACM/IEEE
Conference on Model Driven Engineering
Languages and Systems (MoDELS'05),
October 2005
- coauthors: Spencer Rugaber
-
A Component-Oriented Model for the Design of
Safe Multi-Threaded Applications
- coauthors: Reimer Behrends and Laura Dillon
- Appears in Proc. of the 8th International
ACM SIGSOFT Symposium on Component-Based
Software Engineering,
May 2005
-
An Approach to Implementing Dynamic Adaptation in C++
- coauthors: Scott Fleming, Betty Cheng,
and Phil McKinley
- Appers in Proc. of the ICSE Workshop on Design
and Evolution of Autonomic Application
Software, May 2005
-
Safe and Reliable use of Concurrency in Multi-Threaded
Shared-Memory Systems
- coauthors: Reimer Behrends and Laura Dillon
- Appears in Proc. of the 29th
Annual IEEE/NASA Software Engineering
Workshop (SEW'29),
April 2005
-
A Feature-Oriented Alternative to Implementing
Reliability Connector Wrappers
- coauthor: J. H. Sowell
- Appears in Architecting Dependable Systems III,
R. de Lemos, C. Gacek, and A. Romanovsky, editors,
Springer Lecture Notes in Computer Science,
Volume 3549,
September 2005, pages 232--256.
2004
2003
2002
-
An Aspect-Oriented Approach to Dynamic Adaptation
- coauthors: Zhenxiao Yang, Betty Cheng, Jesse Sowell,
Masoud Sadjadi, and Philip McKinley
- Appears in Proc. of ACM Workshop on Self Healing
Systems (WOSS'02), November 2002
-
Automatically Detecting and Visualizing Errors in UML
Diagrams
- coauthors: Laura Campbell, Betty Cheng,
and Bill McUmber
- Appears in Requirements Engineering Journal
7(4), 2002
-
Separating Introspection and Intercession in Metamorphic
Distributed Systems
- coauthors: Eric Kasten, Masoud Sadjadi, and
and Philip McKinley
- Appears in
Proc. of the IEEE Workshop on Aspect-Oriented
Programming for Distributed
Computing , 2002
-
Interactive Distributed Applications and the
Computer Science Curriculum
- coauthors: Betty Cheng, Laura Dillon, Sandeep Kulkarni,
and Philip McKinley
- Appears in IEEE Distributed Systems Online
3(10), 2002
2001
2000
1999
1998
1997
- The MASTERMIND User-interface Generation Project
- coauthors: T. Browne, D. Davila, and S. Rugaber
- Appears in: F. Paterno, G. D. Abowd, and
P. Palanque editors,
Applications of Formal Methods in
Human-Computer Interaction,
Springer 1997
1996
1995
Antiquity...
- Spatial-temporal analysis of program dependence graphs
- coauthors: D. H. Gill, T. J. Smith,
T. E. Gerasch, J. V. Warren,
and C. L. McCreary
- Appears in Journal of Parallel and
Distributed Computing 19, April 1993.
- PATCH---A new algorithm for rapid incremental dependence
analysis
- coauthors: W. F. Appelbe and K. S. Smith
- Appears in Proceedings of the International
Conference on Supercomputing,
Cologne, Germany, 1991
-
Incremental dependence analysis for interactive
parallelization
- coauthors: W. F. Appelbe and K. S. Smith
- Appears in Proceedings of the International
Conference on Supercomputing,
Amsterdam, 1990
|