STL LINKS

About the Lab

Research Groups

Members

Recent Publications

Seminar Series

Contact Us

 

OTHER LINKS

School of
Computing


Queen's University

STL Laptop/Projector
Reservations


[ 2008 ]
[ 2007 ] [ 2006 ]
[ 2005 ]
[ 2004 ]
[ 2003 ]
[ 2002 ]
[ 2001 ]

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.

Recent Publications

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. (to appear)

C.K. Roy and J.R. Cordy, "NICAD: Accurate Detection of Near-Miss Intentional Clones Using Flexible Pretty-Printing and Code Normalization", Proc. ICPC 2008, IEEE International Conference on Program Comprehenson, Amsterdam, June 2008, 10 pp. (to appear)

C.K. Roy and J.R. Cordy, "Scenario-based Comparison of Clone Detection Techniques", Proc. ICPC 2008, IEEE International Conference on Program Comprehenson, Amsterdam, June 2008, 10 pp. (to appear)

N. Brake, J.R. Cordy, E. Dancy, M. Litoiu and V. Popescu, "Automating Discovery of Software Tuning Parameters", Proc. SEAMS 2008, ICSE Workshop on Software Engineering for Adaptive and Self-managing Systems, Leipzig, Germany, May 2008, 8 pp. (to appear)

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. (to appear)

S. Grant, D.B. Skillicorn and J.R. Cordy, "Topic Detection Using Independent Component Analysis", Proc. LACTS 2008, Workshop on Link Analysis, Counterterrorism and Security, Atlanta, April 2008, 6 pp. (to appear)

N. Zeni, N. Kiyavitskaya, J.R. Cordy, L. Mich and J. Mylopoulos, "Annotating Regulations Using Cerno: An Application to Italian Documents", Proc. SREIS 2008, Symposium on Requirements Engineering for Information Security, Barcelona, March 2008, pp. 1437-1442.


SOFTWARE TECHNOLOGY LABORATORY WEBSITE
LAST UPDATED: April 14, 2008
QUESTIONS OR COMMENTS? CONTACT THE STL WEBMASTER