| 2025 | BPM | Exploring Decision Mining Research: A Systematic Review Report and Knowledge Graph. | Erfan Elhami, William Van Woensel, Daniel Amyot |
| 2025 | BPM | An LLM Pipeline for Automatic Extraction and Evaluation of Care Pathways from Clinical Guidelines. | Alireza Houshidari, William Van Woensel, Daniel Amyot, El Mostafa Bouattane |
| 2025 | COMPSAC | Automating Business Intelligence Requirements with Generative AI and Semantic Search. | Nimrod Busany, Ethan Hadar, Hananel Hadad, Gil Rosenblum, Zofia Maszlanka, Okhaide Akhigbe, Daniel Amyot |
| 2025 | ICSE | Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis. | Nimrod Busany, Hananel Hadad, Zofia Maszlanka, Rohit Shelke, Gregory Price, Okhaide Akhigbe, Daniel Amyot |
| 2025 | ICSE | Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. | Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos |
| 2025 | RE | Goal-Oriented Process Mining: A Scalability Experiment. | Mahdi Ghasemi, Daniel Amyot, William Van Woensel |
| 2024 | ICPM | Using Process Mining with Pre- and Post-intervention Analysis to Improve Digital Service Delivery: A Governmental Case Study. | Jacques Trottier, William Van Woensel, Xiaoyang Wang, Kavya Mallur, Najah Mary El-Gharib, Daniel Amyot |
| 2024 | RE | Engineering Requirements for Social Housing Through Prototyping. | Daniel Amyot, Valeriia Kolesnyk, Lysanne Lessard, Vishal Parekh, Yashraj Ram Motwani, Katrine Sauv-Shenk, John Sylvestre, Sara Valipourebrahimi |
| 2024 | RE | Rethinking Legal Compliance Automation: Opportunities with Large Language Models. | Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, Jain Liao |
| 2024 | RE | SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. | Regan Meloche, Daniel Amyot, John Mylopoulos |
| 2023 | PST | Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. | Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos |
| 2023 | RE | A Prototype for Decision Support Targeting Recreation Prescriptions for Older Adults in Social Isolation (℞OSI). | Namrata Bagaria, Daniel Amyot |
| 2023 | RE | On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. | Boqi Chen, Kua Chen, Shabnam Hassani, Yujing Yang, Daniel Amyot, Lysanne Lessard, Gunter Mussbacher, Mehrdad Sabetzadeh, Dniel Varr |
| 2023 | RE | Welcome to REWBAH 2023: The Fourth International Workshop on Requirements Engineering for Well-Being, Aging, and Health. | Lin Liu, Eric S. K. Yu, Meira Levy, Daniel Amyot |
| 2023 | RE | Towards Legal Contract Formalization with Controlled Natural Language Templates. | Regan Meloche, Daniel Amyot, John Mylopoulos |
| 2023 | REFSQ | Preface: Journal Early Feedback Track. | Paola Spoletini, Daniel Amyot |
| 2022 | MODELS | Model-checking legal contracts with SymboleoPC. | Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2022 | MODELS | Symboleo2SC: from legal contract specifications to smart contracts. | Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos |
| 2022 | RE | Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. | Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff |
| 2021 | RE | REWBAH 2021: Second International Workshop on Requirements Engineering for Well-Being, Aging, and Health : Welcome from the Organizers. | Eric S. K. Yu, Lin Liu, Meira Levy, Daniel Amyot |
| 2021 | RE | Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives. | Mir Kamyar Ziabari, Daniel Amyot, Wojtek Michalowski, El Mostafa Bouattane, Nassoh Hafez |
| 2020 | ER | Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. | Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2020 | MODELS | "Union is power": analyzing families of goal models using union models. | Sanaa A. Alwidian, Daniel Amyot |
| 2020 | RE | Symboleo: Towards a Specification Language for Legal Contracts. | Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos |
| 2019 | BPM | Goal-oriented Process Enhancement and Discovery. | Mahdi Ghasemi, Daniel Amyot |
| 2019 | ICSE | Lean healthcare processes: effective technology integration and comprehensive decision support using requirements engineering methods. | Malak Baslyman, Daniel Amyot, Yasser Alshalahi |
| 2019 | MODELS | Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families. | Sanaa A. Alwidian, Daniel Amyot |
| 2019 | RE | Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. | Amal Ahmed Anda, Daniel Amyot |
| 2019 | RE | Process Mining for Cloud-Based Applications: A Systematic Literature Review. | Najah Mary El-Gharib, Daniel Amyot |
| 2019 | RE | Data Preprocessing for Goal-Oriented Process Discovery. | Mahdi Ghasemi, Daniel Amyot |
| 2018 | RE | Welcome Message from the RE18 Chairs. | Walid Maalej, Daniel Amyot, Guenther Ruhe |
| 2017 | ER | Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models. | Okhaide Akhigbe, Susie Heap, Daniel Amyot, Gregory Richards |
| 2017 | ER | Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? | Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos |
| 2017 | EUSPN | Using Goals and Indicators for Activity-based Process Integration in Healthcare. | Malak Baslyman, Basmah Almoaber, Daniel Amyot, El Mostafa Bouattane |
| 2017 | EUSPN | Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM. | Nihan atal, Daniel Amyot, Wojtek Michalowski, Mounira Kezadri-Hamiaz, Malak Baslyman, Szymon Wilk, Randy Giffen |
| 2017 | FedCSIS | Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services. | Christophe Feltus, Lysanne Lessard, Franois B. Vernadat, Daniel Amyot, Erik H. A. Proper |
| 2017 | MODELS | Metamodels Relaxation for Model Family Support. | Sanaa A. Alwidian, Daniel Amyot |
| 2017 | RCIS | What can information systems do for regulators? A review of the state-of-practice in Canada. | Okhaide Akhigbe, Daniel Amyot, John Mylopoulos, Gregory Richards |
| 2017 | RE | A Distance-Based GRL Approach to Goal Model Refinement and Alternative Selection. | Malak Baslyman, Daniel Amyot |
| 2016 | AMIA | Predictive Analytics to Support Real-Time Management in Pathology Facilities. | Lysanne Lessard, Wojtek Michalowski, Wei Chen Li, Fawaz Halwani, Daniel Amyot, Diponkar Banerjee |
| 2016 | RE | Towards Improved Requirements Engineering with SysML and the User Requirements Notation. | Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel |
| 2016 | RE | Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW). | Daniel Amyot, Sepideh Ghanavati, Aaron K. Massey, Wei-Tek Tsai |
| 2015 | CaiSE | Handling Regulatory Goal Model Families as Software Product Lines. | Anthony Palmieri, Philippe Collet, Daniel Amyot |
| 2015 | ICSE | Common Length Name Representation: An Efficient Privacy-Preserving Scheme. | Hanna Farah, Daniel Amyot, Khaled El Emam |
| 2015 | RE | Towards systems for increased access to justice using goal modeling. | Sanaa A. Alwidian, Daniel Amyot |
| 2014 | BPM | MET4: Supporting Workflow Execution for Interdisciplinary Healthcare Teams. | Szymon Wilk, Davood Astaraky, Wojtek Michalowski, Daniel Amyot, Runzhuo Li, Craig E. Kuziemsky, Pavel Andreev |
| 2014 | CBMS | Real-World Data Set Parameters and Synthesization for Matching Identity in Clinical Protocols. | Hanna Farah, Daniel Amyot, Khaled El Emam |
| 2014 | CBMS | A Tool for Simple and Efficient Clinical Protocol Evaluation. | Hanna Farah, Daniel Amyot, Khaled El Emam |
| 2014 | ER | Creating Quantitative Goal Models: Governmental Experience. | Okhaide Akhigbe, Mohammad Alhaj, Daniel Amyot, Omar Bahy Badreddin, Edna Braun, Nick Cartwright, Gregory Richards, Gunter Mussbacher |
| 2014 | ER | A Framework for a Business Intelligence-Enabled Adaptive Enterprise Architecture. | Okhaide Akhigbe, Daniel Amyot, Gregory Richards |
| 2014 | EUSPN | Towards an RTLS-based Hand Hygiene Notification System. | Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger |
| 2014 | EUSPN | Location-based Patient-device Association and Disassociation. | Raoufeh Rezaee, Malak Baslyman, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger |
| 2014 | ICSE | Consumer-centric non-functional properties of SOA-based services. | Hanane Becha, Daniel Amyot |
| 2014 | ICSE | Legal goal-oriented requirement language (legal GRL) for modeling regulations. | Sepideh Ghanavati, Daniel Amyot, Andr Rifaut |
| 2014 | MODELS | The Relevance of Model-Driven Engineering Thirty Years from Now. | Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H. C. Cheng, Philippe Collet, Benot Combemale, Robert B. France, Rogardt Heldal, James H. Hill, Jrg Kienzle, Matthias Schttle, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle |
| 2014 | RE | Goal-oriented compliance with multiple regulations. | Sepideh Ghanavati, Andr Rifaut, Eric Dubois, Daniel Amyot |
| 2014 | RE | A DSL for importing models in a requirements management system. | Anisur Rahman, Daniel Amyot |
| 2013 | RE | Regulation-Based Dimensional Modeling for Regulatory Intelligence. | Omar Bahy Badreddin, Gunter Mussbacher, Daniel Amyot, Saeed Ahmadi Behnam, Rouzbahan Rashidi-Tabrizi, Edna Braun, Mohammad Alhaj, Gregory Richards |
| 2013 | RE | Requirements for a modeling language to specify and match business process improvement patterns. | Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, Michael Weiss |
| 2013 | RE | Transforming regulations into performance models in the context of reasoning for outcome-based compliance. | Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, Daniel Amyot |
| 2013 | RE | Legal requirements analysis and modeling with the measured compliance profile for the goal-oriented requirement language. | Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, Daniel Amyot |
| 2013 | RE | Practical applications of i | Eric S. K. Yu, Daniel Amyot, Gunter Mussbacher, Xavier Franch, Jaelson Castro |
| 2012 | ER | Towards Advanced Goal Model Analysis with jUCMNav. | Daniel Amyot, Azalia Shamsaei, Jason Kealey, Etienne Tremblay, Andrew Miga, Gunter Mussbacher, Mohammad Alhaj, Rasha Tawhid, Edna Braun, Nick Cartwright |
| 2012 | MODELS | Goal models as run-time entities in context-aware systems. | Mira Vrbaski, Gunter Mussbacher, Dorina C. Petriu, Daniel Amyot |
| 2012 | RE | Concern-driven development with jUCMNav. | Daniel Amyot, Stphane Leblanc, Jason Kealey, Jrg Kienzle |
| 2012 | RE | Using the Goal-oriented pattern family framework for modelling outcome-based regulations. | Saeed Ahmadi Behnam, Daniel Amyot, Gunter Mussbacher, Edna Braun, Nick Cartwright, Mario Saucier |
| 2012 | RE | Narrowing the gaps in Concern-Driven Development. | Stphane Leblanc, Gunter Mussbacher, Jrg Kienzle, Daniel Amyot |
| 2012 | RE | Towards outcome-based regulatory compliance in aviation security. | Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, Gregory Richards |
| 2012 | RE | Tool support for combined rule-based and goal-based reasoning in Context-Aware systems. | Mira Vrbaski, Dorina C. Petriu, Daniel Amyot |
| 2011 | CaiSE | A Systematic Review of Compliance Measurement Based on Goals and Indicators. | Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid |
| 2011 | ER | Composite Indicators for Business Intelligence. | Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos |
| 2011 | ER | Strategic Models for Business Intelligence. | Lei Jiang, Daniele Barone, Daniel Amyot, John Mylopoulos |
| 2011 | RE | A systematic review of goal-oriented requirements management frameworks for business process compliance. | Sepideh Ghanavati, Daniel Amyot, Liam Peyton |
| 2011 | RE | Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications. | Gunter Mussbacher, Jrg Kienzle, Daniel Amyot |
| 2010 | BPM | Business Process Compliance Tracking Using Key Performance Indicators. | Azalia Shamsaei, Alireza Pourshahid, Daniel Amyot |
| 2010 | EDOC | Towards a Framework for Business Process Compliance. | Sepideh Ghanavati, Daniel Amyot, Alberto Siena, Angelo Susi, Anna Perini |
| 2010 | MODELS | Aspect-Oriented Feature Models. | Marko Boskovic, Gunter Mussbacher, Ebrahim Bagheri, Daniel Amyot, Dragan Gasevic, Marek Hatala |
| 2010 | SERA | Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling. | Saeed Ahmadi Behnam, Daniel Amyot, Gunter Mussbacher |
| 2010 | SLE | Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. | Nicolas Genon, Patrick Heymans, Daniel Amyot |
| 2009 | ER | A Lightweight GRL Profile for i* Modeling. | Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher |
| 2009 | ICSE | Goal and scenario modeling, analysis, and transformation with jUCMNav. | Gunter Mussbacher, Daniel Amyot |
| 2009 | ICSE | Heterogeneous pointcut expressions. | Gunter Mussbacher, Daniel Amyot |
| 2009 | ICSE | On modeling interactions of early aspects with goals. | Gunter Mussbacher, Daniel Amyot |
| 2009 | MODELS | Refactoring-Safe Modeling of Aspect-Oriented Scenarios. | Gunter Mussbacher, Daniel Amyot, Jon Whittle |
| 2009 | RE | Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology. | Sepideh Ghanavati, Daniel Amyot, Liam Peyton |
| 2009 | RE | Modeling and Analysis of URN Goals and Scenarios with jUCMNav. | Gunter Mussbacher, Sepideh Ghanavati, Daniel Amyot |
| 2009 | RE | Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. | Gunter Mussbacher, Jon Whittle, Daniel Amyot |
| 2008 | RE | Comparative Analysis between Document-based and Model-based Compliance Management Approaches. | Sepideh Ghanavati, Daniel Amyot, Liam Peyton |
| 2007 | CaiSE | Towards a Framework for Tracking Legal Compliance in Healthcare. | Sepideh Ghanavati, Daniel Amyot, Liam Peyton |
| 2001 | ICSE | Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs). | Daniel Amyot, Gunter Mussbacher |
| 1999 | RE | Use Case Maps for the Capture and Validation of Distributed Systems Requirements. | Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray |
| 1995 | FORTE | Formal Support for Design Techniques: A Timethreads-LOTOS Approach. | Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo |