Uwe Glässer
Computing Science @ Simon Fraser University, B.C.
 

Current Students

  • Piper Jackson, Ph.D. candidate
    • Modelling of complex systems
    • Dynamic automated planning with uncertainty
    • Formal methods
    • Visualization
    • Interdisciplinary research software development
  • Narek Nalbandyan, Ph.D. candidate
    • Situation analysis models
  • Sara Namazi, Ph.D. candidate
    • Conceptual modeling of services
    • Ambient assistive living
  • Hamed Yaghoubi Shahir, Ph.D. candidate
    • Distributed information fusion software requirements
  • Mohammad Ali Tayebi, Ph.D. candidate
    • Co-offending network analysis

Former Students

  • Vladimir Radu Avram, M.Sc. Summer 2012
    • A Spatio-Temporal Data Representation Framework with Applications to Anomaly Detection in the Maritime Domain
    • NSERC USRA Award, Summer 2010
  • Ali Khalili Araghi, M.Sc. (Summer 2011)
    • Intelligent Decision Support for Marine Safety and Security Operation Centres
    • Peter Borwein Award, Spring 2011
  • Dr. Roozbeh Farahbod, (Ph.D., Summer 2009)
    • CoreASM: An Extensible Modeling Framework & Tool Environment for High-Level Design and Analysis of Distributed Systems
    • Dean of Graduate Studies Convocation Medal for best Ph.D. thesis, 2010
    • NSERC Visiting Fellowship with Defence R&D Canada - Valcartier, 2009-2011
    • NSERC Postgraduate Scholarship (Ph.D.), 2006-2008
    • Top Graduate Student award in Computing Science, SFU, 2006
  • Dr. Mona Vajihollahi, (Ph.D., Summer 2009)
    • Computational Modeling and Formal Analysis Techniques in Interdisciplinary Studies of Complex Systems
    • NSERC Postgraduate Scholarship (Ph.D.), 2005-2007
  • Sarah Rastkar, Ph.D. candidate
    • Verification and validation of process models
  • Ali Lotfi, M.Sc. (Spring 2009)
    • Open Source Software as a Scholarly Contribution
  • George Ma, M.Sc. (Summer 2007)
    • Model Checking Support for CoreASM: Model Checking Distributed Abstract State Machines Using SPIN
  • Chiyoko Kawano, M.Sc. (Fall 2006)
    • Extension of an Executable Formal Model of BPEL to Permit Comprehensive Validation
  • Mashaal Anwaar Memon, M.Sc. (Spring 2006)
    • Specification Language Design Concepts: Aggregation and Extensibility in CoreASM
  • Ming (Mike) Su, M.Sc. (Spring 2006)
    • Using Abstract State Machines to Model a Graphical User Interface System
  • Calvin Tang, M.Sc. (Spring 2006)
    • Model Checking Abstract State Machines with Answer Set Programming
  • Komal Singh, M.Sc. (Fall 2005)
    • An Abstract Mathematical Framework for Semantic Modeling and Simulation of Urban Crime Patterns
  • Charu Jain, M.Sc. (Spring 2005)
    • A Probabilistic Approach to Abstract Communication Models
  • Xianghua Jiang, M.Sc. (Fall 2004)
    • High Level Specification of a Geographic Routing Protocol for Ad Hoc Mobile Networks
  • Roozbeh Farahbod, M.Sc. (Summer 2004)
    • Extending and Refining an Abstract Operational Semantics of the Web Services Architecture for the Business Process Execution Language
  • Mona Vajihollahi, M.Sc. (Spring 2004)
    • High Level Specification and Validation of the Business Process Execution Language for Web Services
    • NSERC Postgraduate Scholarship (M.Sc.), 2003-2005

Copyright © 2011–2012 Uwe Glässer, Software Technology Lab, SFU.  All rights reserved.