Modeling & Analysis in
Software Engineering

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

 

Members

Current Members of the MASE Group:

CS Mail denotes a School of Computing Email, meaning it is follwed by "@cs.queensu.ca" 

Juergen Dingel (Group Leader)
Associate Professor

Contact Info:

Goodwin Hall 723
613-533-3071

CS Mail: dingel

Research: software modeling, model-driven engineering, analysis of software artifacts, formal specification and verification, formal methods, testing, software quality assurance, software engineering

Website: ~dingel
Ernesto Posse
Post Doctoral Fellow

Contact Info:

Goodwin Hall 235
613-533-6000
Ext. 74659


CS Mail: eposse

Research: formal methods in software
engineering, specifically process algebra



Website: ~eposse
Karolina Zurowska
PhD Candidate

Contact Info:

Goodwin Hall 624
613-533-6000
Ext. 78231

CS Mail: zurowska

Research: model-driven development, verification and analysis of models, formal abstraction, UML-RT


Website: none
Tawhid Bin Waez
PhD Candidate

joinltly supervised
by Dr Karen
Rudie

Contact Info:
Goodwin Hall 624
613-533-6000
Ext. 78231

CS Mail: waez

Research: code synthesis for real-time/hybrid models, real-time formal verifification, real-time control theory, and formal languages.


Website: none
Gehan Selim
PhD Candidate
joinltly supervised
by Dr Jim Cordy


Contact Info:
Goodwin Hall 624
613-533-6000
Ext. 78231

CS Mail: gehan
Research: modeling software systems (specifically real-time, embeded systems), model transformations, test-case generation for model transformations, studying the evolution of software and software clones
Website: none
Amal Khalil
PhD Candidate




Contact Info:

Goodwin Hall 624
613-533-6000
Ext. 78231

CS Mail: khalil

Research: Evolution of model-driven artifacts, model consistency, and usability of model-driven development tools and frameworks


Website: none
Eyrak Paen
MSc Student

Contact Info:

Goodwin Hall 624
613-533-6000
Ext. 78231

CS Mail: paen

Research: model transformations, applications of model driven development, usability of MDD Tools
Website: ~paen
Eric Rapos
MSc Student

Contact Info:

Goodwin Hall 624
613-533-6000
Ext. 78231

CS Mail: eric

Research:  incremental test case generation for UML-RT models, test case generation, model evolution
Website: ~eric
Nick Chausse
MSc Student

Contact Info:

Goodwin Hall 624
613-533-6000
Ext. 78231

CS Mail: chausse

Research: language analysis using generative language definition frameworks

Website: none
Mark Fischer
MSc Student

Contact Info:

Goodwin Hall 621
613-770-3414


CS Mail: fischer

Research:  Ontology Co-evolution
 

Website: none
Chris Price
Summer Research Student

Contact Info:

Goodwin Hall 631
613-533-6000
Ext. 32144

Research: work on symbolic execution and analysis of UML-RT

 

Website: none

 

Alumni of the MASE Group (formerly the Applied Formal Methods Group):

Post Doctoral Fellows Duration of Stay
Dr Zinovy Diskin 2005-2006
PhD Students Graduation Year
Ahmad Saifan 2010
Hongzhi Liang 2009
Michelle Crane 2008
Jeremy Bradburry, co-supervised with Dr Jim Cordy 2007
MSc Students Graduation Year
Miloud Eloumri 2011
Rezoanoor (Ruben) Rahman 2010
Yann Moffett, co-supervised with Dr Alain Beaulieu, RMC ECE 2010
Anthony Auer, co-supervised with Dr Karen Rudie, Queen's ECE 2010
Chris Dragert, co-supervised with Dr Karen Rudie, Queen's ECE 2008
Barry (Tao) Long, co-supervised with Dr Nick Graham 2007
Alanna Zito 2006
Ruhai Cai 2006
Dan Yau, co-supervised with Dr Jim Cordy 2006
Jesse McGeachie 2006
Natalie Bowles 2004
Hongzhi Liang 2004
Michelle Crane 2003
Songhui Zhu 2002
Jeremy Bradbury 2002
BSc Students
Alanna Zito Summer 2005
Ryan Eckbo Summer 2003
Natalie Bowles Summer 2002
Hongzhi Liang Summer 2002
Visitors
Francesco de Angelis Fall 2006

 

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