Daniel Amyot - Students

Daniel Amyot: Students and Projects

Currently Funded Projects

CyPreSS: Software Techniques for the Engineering of Cyber-Physical Systems
(ORF-RE, 2021-2026, P.I. K. Kontogiannis)
Autonomisation des acteurs judiciaires par la Cyberjustice (AJC) - Autonomy through Cyberjustice Technologies (ACT)
(SSHRC Partnership Grant, 2018-2025, P.I.: Karim Benyekhlef)
Making IT Count : Decisions for Affordable/Social Housing (DASH) System
(SSHRC Partnership Grant, 2022-2025, P.I.: Katrine Sauvé-Schenk)
Requirements Engineering for Emerging Healthcare Software Systems
(NSERC Discovery, 2018-2024, Investigator: Daniel Amyot)

Past Projects

Securing an IIoT SaaS platform using blockchain and machine learning methods
(MITACS-Accelerate, 2022-2023, P.I.: Daniel Amyot)
Configure and redesign Hyperledger Fabric to protect data in IoT applications
(MITACS-Accelerate, 2022-2023, P.I.: Daniel Amyot)
An Automatic Tool for Developing Transactive Energy Smart-Contracts: Development, Validation and Integration with the IEMS Blockchain Platform
(MITACS-Accelerate, 2019-2020, P.I.: Daniel Amyot)
Design and Implementation of a Framework for the Detection and Resolution of Conflicts in Goal-Oriented Models: A Game-theoretic Approach
(King Fadh University, 2018-2020, P.I.: Jameleddine Hassine)
Goal-oriented Safety-Guided Design and Assurance for FinTech
(MITACS-Accelerate, 2019, P.I.: Daniel Amyot)
A Framework for Assessing Regulations and Initiatives with Goals and Watson Analytics
(MITACS-Accelerate, 2018, P.I.: Greg Richards)
Valuing extraordinary patient experience and safe care for multiple pregnancy
(The Ottawa Hospital, 2017-2018, P.I.: Karen Fung-Kee-Fung)
Goal and Aspect-oriented Business Process Engineering (GAoBPE) (NSERC Discovery, 2013-2018, Investigator: Daniel Amyot)
A Quality Assurance Framework for Care Process Management
(MITACS-Accelerate, 2016, P.I.: Liam Peyton)
Clinical Care Ami
(The Ottawa Hospital and Telfer Health Transformation Exchange, 2016, P.I.: Wojtek Michaowski)
CyberJustice-oriented modelling methodology with URN (CHRS - Cyberjustice project, 2015-2016, P.I.: Daniel Amyot)
Test Automation with TTCN-3
(MITACS-Accelerate and CRIAQ, 2013-2016, P.I.: Liam Peyton)
Improved Automated Tracking of Workouts for Fitness Facilities (with Gymtrack)
(MITACS-Accelerate, 2015, P.I.: Daniel Amyot)
An Integrated Approach using Process Models and Business Analytics for Efficient Delivery of Patient Care
(MITACS-Accelerate, 2013-2015, P.I.: Greg Richards)
Development of court booking module and algorithm (with OrbitHub)
(MITACS-Accelerate, 2015, P.I.: Daniel Amyot)
RTLS for Medical Device Associatiation and Hand Washing
(The Ottawa Hospital, 2013-2014, P.I.: R. Chreyh)
Care Process Management and Analytics
(Business Intelligence Network (BIN), NSERC Strategic Network, 2013-2014, P.I.: Iluju Kiringa)
BI-Driven Management of Patient Flows in Health Care Organizations
(Business Intelligence Network (BIN), NSERC Strategic Network, and MITACS/IBM internships, 2011-2014, P.I.: Daniel Amyot)
Empirical Validation of Goal Oriented Models
(King Fadh University, 2012-2014, P.I.: Jameleddine Hassine)
Operational Performance Framework
(Transport Canada project, 2011-2013, P.I.: Daniel Amyot)
Aspect-oriented Requirements Engineering with AoURN
(NSERC Discovery, 2008-2013, Investigator: Daniel Amyot)
Implementation of a Hospital Based Method of Adverse Event Surveillance
(CIHR Operating, 2011-2012, P.I.: Alan Forster)
Mobile Interface for Real-Time Patient Flow Management Investigator
(IBM Centre for Business Analytics and Performance - CBAP, 2012, P.I. Daniel Amyot)
Specifying and Actualizing Compliance and Security Policies
(Business Intelligence Network (BIN), NSERC Strategic Network, 2009-2012, P.I.: Frank Tompa)
Performance Management at the Point of Care: Secure Data Delivery to Drive Clinical Decision Making Processes for Hospital Quality Control
(CIHR/NSERC Collaborative Health Research Project, 2008-2011, P.I. Daniel Amyot)
Evolving E-Health Business Processes Around Accessible Data Warehouses
(ORNEC project, 2006-2008, P.I. Daniel Amyot)
Round-trip Requirements Engineering
(NSERC Discovery, 2003-2008, Investigator: Daniel Amyot)
PUMA: Scenario-Based Performance Engineering
(NSERC Strategic, 2002-2006, P.I. Murray Woodside)
RDA: Requirements-Driven Development of Distributed System
(NSERC Strategic, 2002-2005, P.I. Gregor v. Bochmann)
UCM Scenarios with Requirements Management Systems
(NSERC CRD, 2002-2004, P.I. Murray Woodside)
Specifying, Analysing, and Coordinating Distributed User-defined Features
(CITO and Mitel Networks, 2000-2002, P.I. Jo Atlee)
Analysis and Design Driven Testing Using the Unified Modeling Language
(NSERC-CRD and Mitel Networks, 2000-2001, P.I. Lionel Briand)

Current Coop and 4th Year Projects

Please see my list of potential COOP or 4th year CSI/SEG projects and contact me if you are interested.

Current Graduate Students

Post-Doctoral Fellows

Amal Ahmed Anda

Co-supervisor: John Mylopoulos

Okhaide Akhigbe

Doctoral Students

Sofana Alfuhaid, Ph.D. Digital Transformation and Innovation

Co-supervisor: John Mylopoulos
Area: From Symboleo Specifications to Monitored Smart Contracts

Namrata Bagaria, Ph.D. Digital Transformation and Innovation

Area: A Decision Support Tool to Prescribe Recreation Activities to Older Adults in Social Isolation (℞OSI)

Najah Mary El-Gharib, Ph.D. Digital Transformation and Innovation

Area: Process Mining for Intelligent Process Automation

Erfan Elhami, Ph.D. Digital Transformation and Innovation

Co-supervisor: William Van Woensel
Area: Process Mining

Shabnam Hassani Ahari, Ph.D. Computer Science

Co-supervisor: Mehrdad Sabetzadeh
Area: ML/NLP for Regulatory Compliance

Cassio Alexandre Pereira de Castro, Ph.D. Digital Transformation and Innovation

Co-supervisor: William Van Woensel
Area: Process Mining and Low-Code Platforms

Master's Students (Theses)

Daniel Sousa-Dias, Master of Computer Science

Co-supervisors: John Mylopoulos, Ashkan Rahimi-Kian
Area: Smart contracts and security for transactive energy markets

Master's Students (Projects)

Meet Shukla, Master of Computer Science (Project)
Hairong Xu, Master of Digital Transformation and Innovation (Project)
Vitalii Bielievtsov, Master of Digital Transformation and Innovation (Project)
Devansh Kumar, Master of Computer Science - Applied AI (Project)
Rohit Shashank Shelke, Master of Computer Science - Applied AI (Project)

Alumni

Graduate Students

4 Post-Doctoral Fellows, 15 Ph.D., 27 MSc (with theses), 42 MEng (with projects)

Yokesh Surya Elangovan, Master of Digital Transformation and Innovation (Project)

Title: User Experience Design for Unified Experiential Learning Portal of University of Ottawa

Stephanie Kahindo, Master of Digital Transformation and Innovation (Project)

Co-supervisors: William Van Woensel, Jacques Trottier
Title: Applicability of Process Mining to the Pilot Medicals Process at Transport Canada

Valeriia Kolesnyk, Master of Digital Transformation and Innovation (Project)

Co-supervisors: Lysanne Lessard, Katrine Sauvé-Schenk
title: Decisions for Affordable/Social Housing (DASH) System: Analysis of Existing Systems and Interoperability Management

Yashraj Ram Motwani, Master of Digital Transformation and Innovation (Project)

Co-supervisors: Lysanne Lessard, Katrine Sauvé-Schenk
Title: Analytics Portals for the Decisions for Affordable/Social Housing (DASH) System

Vishal Parekh, Master of Computer Science - Applied AI (Project)

Co-supervisors: Lysanne Lessard, Katrine Sauvé-Schenk
Title: Predictive Analytics and Data Synthesis for the Decisions for Affordable/Social Housing (DASH) System

Durga Sivakumar, Master of Computer Science (Project)

Title: A Web-Based IDE for Symboleo, with Smart Contract Generation

Sara Valipourebrahimi, Master of Digital Transformation and Innovation (Project)

Co-supervisors: Lysanne Lessard, Katrine Sauvé-Schenk
title: A Data Framework for the Decisions for Affordable/Social Housing (DASH) System

Regan Meloche, Master of Computer Science

Co-supervisor: John Mylopoulos
Thesis: Formalizing Contract Refinements Using a Controlled Natural Language

Alireza Parvizi-MosaedPost-Doctoral Fellow, Sept 2022-Aug 2023

Co-supervisor: John Mylopoulos
Project: Configure and redesign Hyperledger Fabric to protect data in IoT applications

Nitin Bhardwaj, Master of Digital Transformation and Innovation (Project)

Co-supervisor: William Van Woensel
Title: Applied Process Mining in Healthcare

Sparsh Goyal, Master of Computer Science (Project)

Co-supervisor: Brad McInnis
Area: Cryptographic Discovery and Reporting

Stefano Heguy, Master of Digital Transformation and Innovation (Project)

Co-supervisors: William Van Woensel, Jacques Trottier, Kavya Mallur
Title: A Process Mining Case Study into a Procurement to Payment System at Transport Canada

Saikata Samal, Master of Digital Transformation and Innovation (Project)

Co-supervisor: William Van Woensel
Title: Synergizing Log-Filtering APIs & Goal-Oriented Techniques for Process Mining

Md Moshee Uddin, Master of Digital Transformation and Innovation (Project)

Area: Event Journeys for the LIFE Research Institute Membership Portal

Moe Doutaghy, Master of Digital Transformation and Innovation (Project)

Title: Applied Process Mining at The Ottawa Hospital

Jacques Trottier, Master of Digital Transformation and Innovation (Project)

Title: Applied Process Mining in the Federal Public Service of Canada

Mahsa Ziaeddini, Master of Digital Transformation and Innovation (Project)

Co-supervisor: Robert Weisman
Title: The Role of Inclusive Innovation in Enterprise Architecture

Alireza Parvizi-Mosaed, Ph.D. Computer Science, October 2022

Co-supervisor: John Mylopoulos
Title: Symboleo: Specification and Verification of Legal Contracts

Aidin Rasti, Master of Computer Science, October 2022

Co-supervisor: John Mylopoulos
Title: From Symboleo to Smart Contracts - A Code Generator

Cassio Alexandre Pereira de Castro, Master of Digital Transformation and Innovation (Project), August 2022

Co-supervisor: Robert Weisman
Title: Enterprise Architecture and Digital Transformation as a Digital Shared Services Enabler

Dehui Yu, Master of Computer Science (Project), August 2022

Title: A Log Filtering API in Python

Mahdi Ghasemi, Ph.D. Digital Transformation and Innovation, December 2021

Title: Goal-oriented Process Mining

Kamal Rezvaninejad, Master of Digital Transformation and Innovation (Project), December 2021

Collaborator: Simon Byrns
Title: Digitally Transforming Preoperative Preparation and Compliance with a Mobile Application

Jun Chen, Master of Computer Science (Project), August 2021

Collaborator: Linda Garcia
Title: Design and Development of a Research Institute Management System (RIMS)

Sri Kalyan Challa, Master of Digital Transformation and Innovation (Project), April 2021

Collaborator: Linda Garcia
Title: A Data Architecture for Monitoring the Added Value of the LIFE Research Institute

Yashika Goyal, Master of Digital Transformation and Innovation (Project), April 2021

Collaborator: César Díaz
Title: Bowhead-Coil: A Machine Learning Marketplace for Researchers & Developers (Back-End)

Aditya Mishra, Master of Digital Transformation and Innovation (Project), April 2021

Collaborator: Linda Garcia
Title: A Business Intelligence System for Analysing the Added Value of the LIFE Research Institute

Basmah Almoaber, Ph.D. Digital Transformation and Innovation, February 2021

Title: User-Centered Change Management Process for CPOE Implementation

Tirumala Sree Akhil Nandyala, Master of Computer Science / AI (Project), January 2021

Collaborator: César Díaz
Title: Bot development using NLP for efficient recommendation of Covid clinical trials

Vidushi Mohan, Master of Digital Transformation and Innovation (Project), January 2021

Collaborator: César Díaz
Title: Bowhead-Coil: A Machine Learning Marketplace for Researchers & Developers

Amal Ahmed Anda, Ph.D. Computer Science, August 2020

Title: Combining Goals and SysML for Traceability and Decision-Making in the Development of Adaptive Socio-Cyber-Physical Systems

Sepehr Sharifi, Master of Science in Systems Science, August 2020

Co-supervisor: John Mylopoulos
Title: Smart Contracts: from Formal Specification to Blockchain Code
Joseph De Koninck Thesis Prize 2020 (outstanding master's thesis in an interdisciplinary or collaborative program at the University of Ottawa)

Vagini Maruthaiyan, Master of E-Business Technologies (Project), April 2020

Title: Process Automation and Analytics for a Research Institute Project Management System

Sana Wedian, Ph.D. Computer Science, February 2020

Title: Union Models: Support of Variability Modeling and Efficient Reasoning About Model Families Over Space and Time

Najah Mary El-Gharib, Master of Science in E-Business Technologies, November 2019

Title: Using Process Mining Technology to Understand User Behavior in SaaS Applications

Manpreet Singh, Master of Computer Science (Project), December 2019

Title: Optimization of Arithmetic Semantics for GRL Goal Models with Function Generation

Ifechukwu Sandra Ezike, Master of E-Business Technologies (Project), May 2019

Title: Tool Evaluation in Support of Goal-Oriented Process Mining

Yina Xu, Master of Computer Science (Project), May 2019

Title: Tool Support for Analyzing and Visualizing Goal-Oriented Regulatory Intelligence Results

Malak Baslyman, Post-Doctoral Fellow, December-March 2019

Project: Management Design Model for the Evaluation Workflow of Research Project Applications at Institut du Savoir Montfort

Okhaide Samson Akhigbe, Ph.D. E-Business, September 2018

Co-supervisor: Greg Richards
Title: A Goal-Oriented Regulatory Intelligence Method

Malak Baslyman, Ph.D. Computer Science, August 2018

Title: Activity-based Process Integration Framework to Improve User Satisfaction and Decision Support in Healthcare

Mir Kamyar Ziabari, Master of Science in Systems Science, July 2018

Co-supervisor: Wojtek Michalowski
Title: Mobile Self-Triage Applications: A Usability Perspective

Yuxuan Fan, Master of Computer Science (Project), May 2018

Title: Arithmetic Semantics for GRL Goal Models with Function Generation in Many Languages

Fernanda Iunes De Oliveira Brescia, Master of Computer Science (Project), May 2018

Co-supervisors: Randy Giffen, Matthew Henderson
Title: Evidence-based Newborn Screening Process Improvement

Kai Shen, Master of Computer Science (Project), May 2017

Title: Tool Support for Consistency and Completeness Analysis in User Requirements Notation Models

Gursimran Singh Chandhoke, Master of Applied Science, Electrical and Computer Engineering, May 2017

Co-supervisor: Hussein Mouftah
Title: A Framework for Virtual Patient Navigation Applications

Venus Pathak, Master of Computer Science (Project), December 2016

Co-supervisor: Wojtek Michalowski
Title: Care Ami for Lung Cancer Assessment: Practitioner Support and Interactive Communication

Ajaydeep Singh Grewal, Master of Computer Science (Project), December 2016

Co-supervisor: Wojtek Michalowski
Title: Care Ami for Lung Cancer Assessment:Secure Architecture and Data Management

Simrandeep Singh, Master of Computer Science (Project), December 2016

Co-supervisor: Wojtek Michalowski
Title: Care Ami for Lung Cancer Assessment: Framework Configuration and Specialization

Wei Chen Li, Master of Computer Science (M.C.S.), October 2016

Co-supervisors: Lysanne Lessard, Wojtek Michalowski
Title: Supporting Pathology Process Management with Real-time Business Intelligence

Nihan Çatal, Systems Science (M.Sc), May 2016

Co-supervisor: Wojtek Michalowski
Title: Supporting Interdisciplinary Healthcare Team Dynamics with Business Process Management

Shahzeb Khowaja, Master of Computer Science (M.C.S.) (Project), May 2016

Title: A Mobile Application for Fitness Tracking, in collaboration with GymTrack

Hanna Farah, Ph.D., Electrical and Computer Engineering, April 2015

Co-supervisor: Khaled El Emam
Title: Privacy-Preserving Patient Tracking for Phase 1 Clinical Trials
Tools and datasets

Raoufeh Rezaee, Master of Science, Systems Science (M.Sc), November 2014

Title: Patient-Device Association and Disassociation with a Real-Time Location System

Malak Salim Baslyman, Master of Computer Science (M.C.S.), November 2014

Title: Real-time, Location-based Hand Hygiene Monitoring and Notification System

Xinyu Zhao, Master of Computer Science (M.C.S.) (Project), May 2014

Title: Validation of MT-DSL Transformations

Runzhuo Li, Master of Computer Science (M.C.S.) (Project), May 2014

Title: Agent-Based System to Model Health Care Teams

Alireza Pourshahid, Ph.D. Computer Science, April 2014

Co-supervisor: Michael Weiss
Title: A Framework for Monitoring and Adapting Business Processes Using Aspect-Oriented URN

Okhaide Samson Akhigbe, Master of Science, Systems Science (M.Sc.), April 2014

Co-supervisor: Greg Richards
Title: Business Intelligence - Enabled Adaptive Enterprise Architecture

Rouzbahan Rashidi-Tabrizi, Master of Applied Science, Electrical and Computer Engineering (M.Sc.A.), October 2013

Title: Automatic Generation of Goal Models from Regulations

Edna Braun, Ph.D. Computer Science, August 2013

Co-supervisor: Tim Lethbridge
Title: Reverse Engineering Behavioural Models by Filtering out Utilities from Execution Traces

Renaud Bougueng Tchemeube, Master of Computer Science (M.C.S.), July 2013

Title: Location-Aware Business Process Management for Real-time Monitoring of Patient Care Processes

Sepideh Bahrani, Master of Science, System Science (M.Sc.), July 2013

Title: Real-Time Simulation of Patient Care Processes in Healthcare

Anisur Rahman, Master of Applied Science, Electrical and Computer Engineering (M.Sc.A.), July 2013

Title: A Domain-Specific Language for Traceability in Modeling

Gunter Mussbacher, Post-Doctoral Fellow, January-June 2013

Project: Goal and Aspect-oriented Business Process Engineering (GAoBPE)

Sepideh Ghanavati, Ph.D. Computer Science, April 2013

Co-supervisor: Liam Peyton
Title: Legal-URN Framework for Legal Compliance of Business Processes

Omar Bahy Badreddin, Post-Doctoral Fellow, July 2012-January 2013

Project: Operational Performance Framework

Iman Johari, M.Sc. Systems Science, November 2012

Co-supervisor: Greg Richards
Title: Combining Business Intelligence, Indicators, and the User Requirements Notation for Performance Monitoring

Azalia Shamsaei, Ph.D. Computer Science, October 2012

Co-supervisor: Eric Yu
Title: Indicator-based Policy Compliance of Business Processes

Saeed A. Behnam, Ph.D. Computer Science, October 2012

Title: Goal-oriented Pattern Family Framework for Business Process Modeling

Hanane Becha, Ph.D. Computer Science, October 2012

Co-supervisor: Azzedine Boukerche
Title: Exposing and Aggregating Non-functional Properties in SOA from the Perspective of the Service Consumer

Stéphane Leblanc, Master of Computer Science (M.C.S.) (Project), April 2012

Title: Automating the Transformation from Aspect-Oriented Requirements to Aspect-Oriented Design Models (AoURNtoRAM)

Hao Luo, Master of Computer Science (M.C.S.) (Project), May 2011

Title: Generic Propagation Algorithm for Goal Models

Carlos Villar, M.Sc. in Electronic Business Technologies, February 2011

Co-supervisor: Dominique Ferrand
Title: A Goal-Driven Methodology for Developing Health Care Quality Metrics

Gunter Mussbacher, Ph.D. Computer Science, November 2010

Title: Aspect-oriented User Requirements Notation (AoURN)

Yan Gao, Master of Computer Science (M.C.S.) (Project), January 2010

Title: Import/Export of URN Models in Z.151 XML File Format with jUCMNav

Marconi Lanna, Master of Computer Science (M.C.S.), June 2009

Co-supervisor: Azzedine Boukerche
Title: Spot the Difference: A Source Code Comparison Tool

Renato P. Simoes, Master of Computer Science (M.C.S.), February 2009

Thesis: Providing Media Control to SIP-based IVR Applications: The IVRObject Approach

Romeo Issa, Master of Computer Science (M.C.S.), January 2009

Co-supervisors: Jean-Pierre Corriveau and Khaled El Emam
Title: Satisfying K-Anonymity: New Algorithm and Empirical Evaluation

Muhammad Abid, Master of Computer Science (M.C.S.), September 2008

Co-supervisor: Stéphane Somé
Title: UML Profile for Goal-oriented Modelling

Jun Biao Yan, Master of Computer Science (M.C.S.) (Project), April 2008

Title: Static Semantics Checking Tool for jUCMNav

Alireza Pourshahid, M.Sc. in Electronic Business Technologies, March 2008

Co-supervisor: Michael Weiss
Title: A URN-Based Methodology for Business Process Monitoring

Jason Kealey, Master of Computer Science (M.C.S.), November 2007

Title: Enhanced Use Case Map Analysis and Transformation Tooling

Sepideh Ghanavati, M.Sc. in System Science, May 2007

Title: A Compliance Framework for Business Processes Based on URN
Co-supervisor: Liam Peyton

Jean-François Roy, Master of Computer Science (M.C.S.), March 2007

Title: Requirement Engineering with URN: Integrating Goals and Scenarios

Yi Chu, Master of Computer Science (M.C.S.) (Project), August 2005

Title: Tool support for the Goal-oriented Requirements Language

Bo Jiang, Master of Computer Science (M.C.S.), June 2005

Title: Combining Graphical Scenarios with a Requirements Management System
Co-supervisor: Robert L. Probert

Yong Xiang Zeng, Master of Computer Science (M.C.S.), June 2005

Title: Transforming Use Case Maps to the Core Scenario Model Representation
Co-supervisor: Dorina C. Petriu

Daniel, Zeng, Yang, Bo, Jamel, Edna, and Ali, April 2004

Alireza, Jean-François, Daniel, Sepideh and friend, Gunter and girlfriend, Saeed, and Marc (French stagiaire), August 2006

Alireza, Sepideh and Daniel, Best Paper Award, MCeTech 2008 (absent: Pengfei, Liam, Alan and Michael)

Undergraduate/COOP students

Luckner Mercier (W-2023)

Project: Enhancements to the Web Interface for Institutes and their Members

Christopher Hamilton (F-2022)

Project: Web Interface for Institutes and their Members
Cognos Prize 2022

Pierre Akladios (S-2022)

Co-supervisor: Simon Byrns
Project: Customization and commercialisation of a generalised Android application for ensuring pre- and post-operation guidelines

Yihao Wang (S-2022)

Project: Improvements to WIIM, the Web Interface for Institute Members

Emilie Drouin, John Ambali, Paul Fortin Fauteux (W-2022)

Project: EPAS: Exciting Project Access System

Shize Li, Ann Soong, Zhen Wang (W-2022)

Project: WIIM: Web Interface for Institute Members

Dmitry Kutin (W-2022)

Co-supervisor: Simon Byrns
Project: Generalization of a Health Reminder Mobile Application

Shadi Fasihi Lahroudi (S-2021)

Co-supervisors: Lysanne Lessard and Katrine Sauvé-Schenk
Project: Decisions for Affordable/Social Housing (DASH) System

Daniel Andreev, COOP (S-2021)

Project: Open-source development of jUCMNav

Mustafa Bayirli, COOP (S-2021)

Project: From Natural Language Contracts to Formal Symboleo Specifications

Mayowa Awosiyan, COOP (S-2021)

Project: A database-driven, journey and impact graphing editor for a research institute

Shadi Fasihi Lahroudi (W-2021)

Co-supervisors: Lysanne Lessard and Katrine Sauvé-Schenk
Project: A Data Architecture for the Decisions on Affordable/Social Housing (DASH) System

Ali Roudak (S-2020)

Co-supervisors: John Mylopoulos and Luigi Logrippo
Project: Smart Contracts for Transactive Energy: A Case Study

Toluwanimi Olubode (S-2020)

Project: Usability evaluation and improvement of an Android application for ensuring pre- and post-operation guidelines

Tristan Paul, COOP (S-2020)

Project: Automated generation of formal smart contracts in Symboleo from natural language contracts

Sukhraj Bhogal, COOP (S-2020)

Project: Cloud-based Editor for the Symboleo contract language

Jeremy Fan, COOP (S-2020)

Project: Generation of a testable Prolog representation of Symboleo specifications

Andrew Rizk, COOP (S-2020)

Project: An extensible Prolog-based testing environment for Symboleo specifications

Yashika Goyal, Graduate COOP (S-2020)

Project: Data integration and analysis for the COVID-19 pandemic (in collaboration with César Díaz, Bowhead Health)

Vidushi Mohan, Graduate COOP (S-2020)

Project: Business Intelligence portal for monitoring and assessing (COVID-19) illness cases (in collaboration with César Díaz, Bowhead Health)

Tirumala Sree Akhil Nandyala, Graduate COOP (S-2020)

Project: Machine Learning models for predicting possible (COVID-19) patients (in collaboration with César Díaz, Bowhead Health)

Jarod Lee, Tri-An Nguyen (W-2020)

Project: CHEO Pre-Op Mobile Application (in collaboration with Dr. Simon Byrns)

Zhi Ge (Jennifer) Liu, Keirt Aman (F-2019)

Project: Process Automation within ISM (L'Institut du Savoir Montfort)
Cognos Prize (2nd place) 2019

Andréas Kaytar-LeFrançois, Christopher Yu (W-2018)

Project: Modelling.js: Migrating from Eclipse to the Web!

Joyce Habbouche, Grégoire Labasse (F-2017)

Project: The Automation of Goal-Oriented Regulatory Intelligence for Big Data

Susie Heap, Sakib Islam (W-2017)

Project: Exploring IBM Watson Analytics for Regulatory Intelligence
Cognos Prize 2017

Opeoluwa Eweje, COOP (W-2017)

Project: Improvements to the jUCMNav Development Environment

Sofiane Bouabdallah, COOP (S-2016)

Project: Dynamic Management of Interdisciplinary Healthcare Teams with an Open Source Business Process Modelling Engine

Olivier Clermont, Jonathan Ermel, Mathieu Fortin-Boulay, Philippe Legault, Nicolas Ménard (H-2015/F-2015, with Alain Mouttham)

Project: Real-Time Demand Capacity Tool (RTDC), in collaboration with Health Now

Yacine Diagne, COOP (S-2015)

Projet: Développement et tests pour jUCMNav et TGRL (Textual Goal-oriented Requirement Language)

Mohamed El-Halawani (W-2015)

Project: TouchGRL: an iOS Editor for GRL

Collin Glass (F-2014)

Project: in.do Software

Alexandre Hamel, Jean-François Séguin (F-2012)

Project: Amélioration de l’outil de génération de rapports de jUCMNav [tutorials, online doc, report]
Cognos Prize 2012

Paul Baillot, Jérémie Blais, Rocky Dangelo, Miguel Garzón, Renaud Bougueng Tchemeube (W-2009, F-2009)

Project: Adverse Event Management System

Ion V. Andritoiu, Abdelkarim Kashkoush, Yuliya Khomich, and Dragana Zonjic (H-2006, with Jason Kealey)

Project: Generation of CSM models from UCM models with jUCMNav [tool and documentation]

Heifa Abddalla, Assegid Alene, Thomas Doumas, and Qasim Warsame (H-2006, with Gunter Mussbacher)

Project: Aspect-Oriented E-commerce Project: Online Photo Store [models]

Yongdae Kim (F-2005)

Project: Integrating jUCMNav with DOORS [tool and documentation]

Jason Kealey (S-2005)

Project: Auto-layout for jUCMNav [tool and documentation]

Jason Kealey, Etienne Tremblay, Jean-Philippe Daigle, Jordan McManus, Olivier Clift-Noël (W-2005, S-2005)
- Project: jUCMNav (Eclipse plugin) [tool and documentation]
Alex Boyko, Tolik Boyko, Max Kovalenkov, and Tafiqul Abumohammad, CSI 4900 (W-2005)
- Project: Scenario Viewer (Eclipse plugin) [demo]
Nadir Janmohamed, CSI 4900 (W-2005)
- Project: Expressing Goal-oriented Requirement Language in UML 2.0: Examining the functionality of UML Profiles [report and UML 2.0 profiles]
Jian Dong, COOP (F-2004)

Project: UseCaseBuilder UI Builder

Ali Echihabi, COOP (S-2003)

Project: UCMExporter - Enabling UCM-Based Transformations [report] [presentation] [Web site]

Bryan Mulvihill, CSI 4900 (W-2003)

Project: Generation of TTCN Test Cases from Use Case Map Scenarios [report] [presentation]

Shuhua Cui, COOP (W-2003)

Project: Improving The Generation of Scenarios From Use Case Map Specifications [report]

Dae Yong Cho, CSI 4900 (F-2003)

Project: Automatic Generation of MSC from UCM Scenario [report]

XiangYang He, COOP (S-2002)

Project: Path Traversal and Scenario Generation from Use Case Map [report]

So, You Want to Become my Graduate Student?

I have very few opportunities to offer to new grad students at this point, except perhaps for students with an excellent background in software engineering, business process modelling, and meta-modelling, with excellent communication skills (English and/or French), and with little or no funding required. In any case, please read this first!.