Formal Support for Design Techniques: A Timethreads-LOTOS Approach. - Daniel Amyot; Francis Bordeleau; Raymond J. A. Buhr; Luigi Logrippo (FORTE, 1995)

Feature-Interaction Visualisation and Resolution in an Agent Environment. - Raymond J. A. Buhr; Daniel Amyot; Mohamed Elammari; Darcy Quesnel; Tom Gray; Serge Mankovski (FIW, 1998)

High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example. - Raymond J. A. Buhr; Daniel Amyot; Mohamed Elammari; Darcy Quesnel; Tom Gray; Serge Mankovski (PAAM, 1998)

Use Case Maps for the Capture and Validation of Distributed Systems Requirements. - Daniel Amyot; Luigi Logrippo; Raymond J. A. Buhr; Tom Gray (RE, 1999)

Use Case Maps as a Feature Description Notation. - Daniel Amyot (FIREworks, 2000)

Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. - Daniel Amyot; Leïla Charfi; Nicolas Gorse; Tom Gray; Luigi Logrippo; Jacques Sincennes; Bernard Stepien; Tom Ware (FIW, 2000)

Structural Coverage For LOTOS - a Probe Insertion Technique. - Daniel Amyot; Luigi Logrippo (TestCom, 2000)

On the Extension of UML with Use Case Maps Concepts. - Daniel Amyot; Gunter Mussbacher (UML, 2000)

Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system. - Daniel Amyot; Luigi Logrippo (Comput. Commun., 2000)

Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs). - Daniel Amyot; Gunter Mussbacher (ICSE, 2001)

Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. - Andrew Miga; Daniel Amyot; Francis Bordeleau; Donald Cameron; C. Murray Woodside (SDL Forum, 2001)

URN: Towards a New Standard for the Visual Description of Requirements. - Daniel Amyot; Gunter Mussbacher (SAM, 2002)

Understanding Existing Software with Use Case Map Scenarios. - Daniel Amyot; Nikolai Mansurov; Gunter Mussbacher (SAM, 2002)

Traceability and Evaluation in Scenario Analysis by Use Case Maps. - Dorin Bogdan Petriu; Daniel Amyot; C. Murray Woodside; Bo Jiang (Scenarios: Models, Transformations and Tools, 2003)

Generating Scenarios from Use Case Map Specifications. - Daniel Amyot; Xiangyang He; Yong He; Dae Yong Cho (QSIC, 2003)

Synthesizing SDL from Use Case Maps: An Experiment. - Yong He; Daniel Amyot; Alan W. Williams (SDL Forum, 2003)

Scenario-Based Performance Engineering with UCMNAV. - Dorina C. Petriu; Daniel Amyot; C. Murray Woodside (SDL Forum, 2003)

Introduction to the User Requirements Notation: learning by example. - Daniel Amyot (Comput. Networks, 2003)

An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. - Daniel Amyot; Armin Eberlein (Telecommun. Syst., 2003)

Directions in feature interaction research. - Daniel Amyot; Luigi Logrippo (Comput. Networks, 2004)

Recovering Behavioral Design Models from Execution Traces. - Abdelwahab Hamou-Lhadj; Edna Braun; Daniel Amyot; Timothy Lethbridge (CSMR, 2005)

UCM-Driven Testing of Web Applications. - Daniel Amyot; Jean-François Roy; Michael Weiss 001 (SDL Forum, 2005)

Service Discovery and Component Reuse with Semantic Interfaces. - Richard Torbjørn Sanders; Rolv Bræk; Gregor von Bochmann; Daniel Amyot (SDL Forum, 2005)

Design and Evolution of e-Business Models. - Michael Weiss 001; Daniel Amyot (CEC, 2005)

Generation of test purposes from Use Case Maps. - Daniel Amyot; Luigi Logrippo; Michael Weiss 001 (Comput. Networks, 2005)

Business Process Modeling with URN. - Michael Weiss 001; Daniel Amyot (Int. J. E Bus. Res., 2005)

Interactive conflict detection and resolution for personalized features. - Daniel Amyot; Tom Gray; Ramiro Liscano; Luigi Logrippo; Jacques Sincennes (J. Commun. Networks, 2005)

Towards the Automated Conversion of Natural-Language use Cases to Graphical use Case Maps. - Jason Kealey; Daniel Amyot (CCECE, 2006)

Integrating an Eclipse-Based Scenario Modeling Environment with a Requirements Management System. - Jason Kealey; Yongdae Kim; Daniel Amyot; Gunter Mussbacher (CCECE, 2006)

Evaluation of Development Tools for Domain-Specific Modeling Languages. - Daniel Amyot; Hanna Farah; Jean-François Roy (SAM, 2006)

Towards Integrated Tool Support for the User Requirements Notation. - Jean-François Roy; Jason Kealey; Daniel Amyot (SAM, 2006)

Foreword - New technologies in distributed systems. - Kamel Adi; Daniel Amyot; Luigi Logrippo (Ann. des Télécommunications, 2006)

Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM). - Gunter Mussbacher; Daniel Amyot; Jon Whittle 001; Michael Weiss 001 (EA@AOSD, 2007)

Towards a Framework for Tracking Legal Compliance in Healthcare. - Sepideh Ghanavati; Daniel Amyot; Liam Peyton (CAiSE, 2007)

Combining VoiceXML with CCXML: A Comparative Study. - Daniel Amyot; Renato Simoes (CCNC, 2007)

Enhanced Use Case Map Traversal Semantics. - Jason Kealey; Daniel Amyot (SDL Forum, 2007)

A Requirements Management Framework for Privacy Compliance. - Sepideh Ghanavati; Daniel Amyot; Liam Peyton (WER, 2007)

Business Process Monitoring and Alignment: An Approach Based on the User Requirements Notation and Business Intelligence Tools. - Alireza Pourshahid; Daniel Amyot; Pengfei Chen; Michael Weiss 001; Alan J. Forster (WER, 2007)

Visualizing Early Aspects with Use Case Maps. - Gunter Mussbacher; Daniel Amyot; Michael Weiss 001 (LNCS Trans. Aspect Oriented Softw. Dev., 2007)

Modeling software product lines with AoURN. - Gunter Mussbacher; Daniel Amyot; João Araújo 001; Ana Moreira 001 (EA@AOSD, 2008)

Flexible verification of user-defined semantic constraints in modelling tools. - Daniel Amyot; Jun Biao Yan (CASCON, 2008)

Comparative Analysis between Document-based and Model-based Compliance Management Approaches. - Sepideh Ghanavati; Daniel Amyot; Liam Peyton (RELAW, 2008)

A Lightweight GRL Profile for i* Modeling. - Daniel Amyot; Jennifer Horkoff; Daniel Gross; Gunter Mussbacher (ER Workshops, 2009)

Semantic-Based Aspect Interaction Detection with Goal Models - (position paper). - Gunter Mussbacher; Daniel Amyot; Jon Whittle 001 (ICFI, 2009)

Feature Interactions in Aspect-Oriented Scenario Models. - Gunter Mussbacher; Daniel Amyot; Thomas Weigert; Thomas Cottenier (ICFI, 2009)

Goal and scenario modeling, analysis, and transformation with jUCMNav. - Gunter Mussbacher; Daniel Amyot (ICSE Companion, 2009)

Heterogeneous pointcut expressions. - Gunter Mussbacher; Daniel Amyot (EA@ICSE, 2009)

On modeling interactions of early aspects with goals. - Gunter Mussbacher; Daniel Amyot (EA@ICSE, 2009)

Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety. - Saeed Ahmadi Behnam; Daniel Amyot; Alan J. Forster; Liam Peyton; Azalia Shamsaei (MCETECH, 2009)

A Legal Perspective on Business: Modeling the Impact of Law. - Sepideh Ghanavati; Alberto Siena; Anna Perini; Daniel Amyot; Liam Peyton; Angelo Susi (MCETECH, 2009)

An Aspect-Oriented Framework for Business Process Improvement. - Alireza Pourshahid; Gunter Mussbacher; Daniel Amyot; Michael Weiss 001 (MCETECH, 2009)

Refactoring-Safe Modeling of Aspect-Oriented Scenarios. - Gunter Mussbacher; Daniel Amyot; Jon Whittle 001 (MoDELS, 2009)

Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology. - Sepideh Ghanavati; Daniel Amyot; Liam Peyton (RE, 2009)

Modeling and Analysis of URN Goals and Scenarios with jUCMNav. - Gunter Mussbacher; Sepideh Ghanavati; Daniel Amyot (RE, 2009)

Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. - Gunter Mussbacher; Jon Whittle 001; Daniel Amyot (RE, 2009)

A UML Profile for Goal-Oriented Modeling. - Muhammad R. Abid 001; Daniel Amyot; Stéphane S. Somé; Gunter Mussbacher (SDL Forum, 2009)

Extending the User Requirements Notation with Aspect-Oriented Concepts. - Gunter Mussbacher; Daniel Amyot (SDL Forum, 2009)

Business process management with the user requirements notation. - Alireza Pourshahid; Daniel Amyot; Liam Peyton; Sepideh Ghanavati; Pengfei Chen; Michael Weiss 001; Alan J. Forster (Electron. Commer. Res., 2009)

Research Paper: A Globally Optimal k-Anonymity Method for the De-Identification of Health Data. - Khaled El Emam; Fida Kamal Dankar; Romeo Issa; Elizabeth Jonker; Daniel Amyot; Elise Cogo; Jean-Pierre Corriveau; Mark Walker; Sadrul Chowdhury; Regis Vaillancourt; Tyson Roffey; Jim Bottomley (J. Am. Medical Informatics Assoc., 2009)

Business Process Compliance Tracking Using Key Performance Indicators. - Azalia Shamsaei; Alireza Pourshahid; Daniel Amyot (Business Process Management Workshops, 2010)

Towards a Framework for Business Process Compliance. - Sepideh Ghanavati; Daniel Amyot; Alberto Siena; Angelo Susi; Anna Perini (EDOCW, 2010)

Aspect-Oriented Feature Models. - Marko Boskovic; Gunter Mussbacher; Ebrahim Bagheri; Daniel Amyot; Dragan Gasevic; Marek Hatala (MoDELS (Workshops), 2010)

Analysing the Cognitive Effectiveness of the UCM Visual Notation. - Nicolas Genon; Daniel Amyot; Patrick Heymans (SAM, 2010)

Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling. - Gunter Mussbacher; Daniele Barone; Daniel Amyot (SAM, 2010)

Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling. - Saeed Ahmadi Behnam; Daniel Amyot; Gunter Mussbacher (SERA, 2010)

Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. - Nicolas Genon; Patrick Heymans; Daniel Amyot (SLE, 2010)

UCMExporter: Supporting Scenario Transformations from Use Case Maps - Daniel Amyot; Ali Echihabi; Yong He (CoRR, 2010)

Integrating business strategies with requirement models of legal compliance. - Sepideh Ghanavati; Daniel Amyot; Liam Peyton; Alberto Siena; Anna Perini; Angelo Susi (Int. J. Electron. Bus., 2010)

Toward an aspect-oriented framework for business process improvement. - Alireza Pourshahid; Gunter Mussbacher; Daniel Amyot; Michael Weiss 001 (Int. J. Electron. Bus., 2010)

Evaluating goal models within the goal-oriented requirement language. - Daniel Amyot; Sepideh Ghanavati; Jennifer Horkoff; Gunter Mussbacher; Liam Peyton; Eric S. K. Yu (Int. J. Intell. Syst., 2010)

Modeling and detecting semantic-based interactions in aspect-oriented scenarios. - Gunter Mussbacher; Jon Whittle 001; Daniel Amyot (Requir. Eng., 2010)

Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study. - Gunter Mussbacher; Daniel Amyot; João Araújo 001; Ana Moreira 001 (LNCS Trans. Aspect Oriented Softw. Dev., 2010)

From aspect-oriented requirements models to aspect-oriented business process design models: an iterative and concern-driven approach for software engineering. - Sébastien Mosser 001; Gunter Mussbacher; Mireille Blay-Fornarino; Daniel Amyot (AOSD, 2011)

A Systematic Review of Compliance Measurement Based on Goals and Indicators. - Azalia Shamsaei; Daniel Amyot; Alireza Pourshahid (CAiSE Workshops, 2011)

Composite Indicators for Business Intelligence. - Daniele Barone; Lei Jiang 002; Daniel Amyot; John Mylopoulos (ER, 2011)

Strategic Models for Business Intelligence. - Lei Jiang 002; Daniele Barone; Daniel Amyot; John Mylopoulos (ER, 2011)

Reasoning with Key Performance Indicators. - Daniele Barone; Lei Jiang 002; Daniel Amyot; John Mylopoulos (PoEM, 2011)

GRL Modeling and Analysis with jUCMNav. - Daniel Amyot; Gunter Mussbacher; Sepideh Ghanavati; Jason Kealey (iStar, 2011)

Towards a Declarative, Constraint-Oriented Semantics with a Generic Evaluation Algorithm for GRL. - Hao Luo; Daniel Amyot (iStar, 2011)

Eight Deadly Sins of GRL. - Gunter Mussbacher; Daniel Amyot; Patrick Heymans (iStar, 2011)

Towards Model-Based Support for Managing Organizational Transformation. - Daniele Barone; Liam Peyton; Flavio Rizzolo; Daniel Amyot; John Mylopoulos (MCETECH, 2011)

Evolution of Goal-Driven Pattern Families for Business Process Modeling. - Saeed Ahmadi Behnam; Daniel Amyot (MCETECH, 2011)

Toward a Goal-Oriented, Business Intelligence Decision-Making Framework. - Alireza Pourshahid; Gregory Richards 001; Daniel Amyot (MCETECH, 2011)

A systematic review of goal-oriented requirements management frameworks for business process compliance. - Sepideh Ghanavati; Daniel Amyot; Liam Peyton (RELAW, 2011)

Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications. - Gunter Mussbacher; Jörg Kienzle; Daniel Amyot (MoDRE, 2011)

User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper). - Daniel Amyot; Gunter Mussbacher (J. Softw., 2011)

Spotting the difference. - Marconi Lanna; Daniel Amyot (Softw. Pract. Exp., 2011)

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 (ER Workshops, 2012)

Goal models as run-time entities in context-aware systems. - Mira Vrbaski; Gunter Mussbacher; Dorina C. Petriu; Daniel Amyot (Models@run.time, 2012)

Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics. - Jennifer Horkoff; Alexander Borgida; John Mylopoulos; Daniele Barone; Lei Jiang 002; Eric S. K. Yu; Daniel Amyot (OTM Conferences (2), 2012)

Concern-driven development with jUCMNav. - Daniel Amyot; Stéphane Leblanc; Jason Kealey; Jörg Kienzle (RE, 2012)

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 (RePa, 2012)

Narrowing the gaps in Concern-Driven Development. - Stéphane Leblanc; Gunter Mussbacher; Jörg Kienzle; Daniel Amyot (MoDRE, 2012)

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 001 (RE, 2012)

Tool support for combined rule-based and goal-based reasoning in Context-Aware systems. - Mira Vrbaski; Dorina C. Petriu; Daniel Amyot (RE, 2012)

GRL Model Validation: A Statistical Approach. - Jameleddine Hassine; Daniel Amyot (SAM, 2012)

An Approach to Specify and Analyze Goal Model Families. - Azalia Shamsaei; Daniel Amyot; Alireza Pourshahid; Edna Braun; Eric S. K. Yu; Gunter Mussbacher; Rasha Tawhid; Nick Cartwright (SAM, 2012)

Non-Functional Properties in Service Oriented Architecture - A Consumer's Perspective. - Hanane Becha; Daniel Amyot (J. Softw., 2012)

A Systematic Review and Assessment of Aspect-oriented Methods Applied to Business Process Adaptation. - Alireza Pourshahid; Daniel Amyot; Azalia Shamsaei; Gunter Mussbacher; Michael Weiss 001 (J. Softw., 2012)

AoURN-based modeling and analysis of software product lines. - Gunter Mussbacher; João Araújo 001; Ana Moreira 001; Daniel Amyot (Softw. Qual. J., 2012)

Composing Goal and Scenario Models with the Aspect-Oriented User Requirements Notation Based on Syntax and Semantics. - Gunter Mussbacher; Daniel Amyot; Jon Whittle 001 (Aspect-Oriented Requirements Engineering, 2013)

Location-aware business process management for real-time monitoring of a cardiac care process. - Renaud Bougueng Tchemeube; Daniel Amyot; Alain Mouttham (CASCON, 2013)

Improved GRL Modeling and Analysis with jUCMNav 5. - Daniel Amyot; Rouzbahan Rashidi-Tabrizi; Gunter Mussbacher; Jason Kealey; Etienne Tremblay; Jennifer Horkoff (iStar, 2013)

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 001 (RELAW, 2013)

Requirements for a modeling language to specify and match business process improvement patterns. - Alireza Pourshahid; Gunter Mussbacher; Daniel Amyot; Michael Weiss 001 (MoDRE, 2013)

Transforming regulations into performance models in the context of reasoning for outcome-based compliance. - Rouzbahan Rashidi-Tabrizi; Gunter Mussbacher; Daniel Amyot (RELAW, 2013)

Legal requirements analysis and modeling with the measured compliance profile for the goal-oriented requirement language. - Rouzbahan Rashidi-Tabrizi; Gunter Mussbacher; Daniel Amyot (RELAW, 2013)

Practical applications of i∗ in industry: The state of the art. - Eric S. K. Yu; Daniel Amyot; Gunter Mussbacher; Xavier Franch; Jaelson Castro (RE, 2013)

Real-time simulations to support operational decision making in healthcare. - Sepideh Bahrani; Renaud Bougueng Tchemeube; Alain Mouttham; Daniel Amyot (SummerSim, 2013)

Evolution mechanisms for goal-driven pattern families used in business process modelling. - Saeed Ahmadi Behnam; Daniel Amyot (Int. J. Electron. Bus., 2013)

MET4: Supporting Workflow Execution for Interdisciplinary Healthcare Teams. - Szymon Wilk; Davood Astaraky; Wojtek Michalowski; Daniel Amyot; Runzhuo Li; Craig E. Kuziemsky; Pavel Andreev (Business Process Management Workshops, 2014)

Real-World Data Set Parameters and Synthesization for Matching Identity in Clinical Protocols. - Hanna Farah; Daniel Amyot; Khaled El Emam (CBMS, 2014)

A Tool for Simple and Efficient Clinical Protocol Evaluation. - Hanna Farah; Daniel Amyot; Khaled El Emam (CBMS, 2014)

Creating Quantitative Goal Models: Governmental Experience. - Okhaide Akhigbe; Mohammad Alhaj; Daniel Amyot; Omar Bahy Badreddin; Edna Braun; Nick Cartwright; Gregory Richards 001; Gunter Mussbacher (ER, 2014)

A Framework for a Business Intelligence-Enabled Adaptive Enterprise Architecture. - Okhaide Akhigbe; Daniel Amyot; Gregory Richards 001 (ER, 2014)

Towards an RTLS-based Hand Hygiene Notification System. - Malak Baslyman; Raoufeh Rezaee; Daniel Amyot; Alain Mouttham; Rana Chreyh; Glen Geiger (EUSPN/ICTH, 2014)

Location-based Patient-device Association and Disassociation. - Raoufeh Rezaee; Malak Baslyman; Daniel Amyot; Alain Mouttham; Rana Chreyh; Glen Geiger (EUSPN/ICTH, 2014)

Consumer-centric non-functional properties of SOA-based services. - Hanane Becha; Daniel Amyot (PESOS, 2014)

Legal goal-oriented requirement language (legal GRL) for modeling regulations. - Sepideh Ghanavati; Daniel Amyot; André Rifaut (MiSE, 2014)

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; Benoît Combemale; Robert B. France; Rogardt Heldal; James H. Hill; Jörg Kienzle; Matthias Schöttle; et al. (MoDELS, 2014)

Goal-oriented compliance with multiple regulations. - Sepideh Ghanavati; André Rifaut; Eric Dubois 001; Daniel Amyot (RE, 2014)

A DSL for importing models in a requirements management system. - Anisur Rahman; Daniel Amyot (MoDRE, 2014)

A goal-oriented, business intelligence-supported decision-making methodology. - Alireza Pourshahid; Iman Johari; Gregory Richards 001; Daniel Amyot; Okhaide Akhigbe (Decis. Anal., 2014)

Strategic business modeling: representation and reasoning. - Jennifer Horkoff; Daniele Barone; Lei Jiang 002; Eric S. K. Yu; Daniel Amyot; Alexander Borgida; John Mylopoulos (Softw. Syst. Model., 2014)

Handling Regulatory Goal Model Families as Software Product Lines. - Anthony Palmieri; Philippe Collet; Daniel Amyot (CAiSE, 2015)

Common Length Name Representation: An Efficient Privacy-Preserving Scheme. - Hanna Farah; Daniel Amyot; Khaled El Emam (TELERISE@ICSE, 2015)

A Textual Syntax with Tool Support for the Goal-Oriented Requirement Language. - Vahdat Abdelzad; Daniel Amyot; Sanaa A. Alwidian; Timothy Lethbridge (iStar, 2015)

Goal Modeling Education with GRL: Experience Report. - Daniel Amyot (iStar, 2015)

Information Technology Artifacts in the Regulatory Compliance of Business Processes: A Meta-Analysis. - Okhaide Akhigbe; Daniel Amyot; Gregory Richards 001 (MCETECH, 2015)

Efficient Privacy-Preserving Identity Scheme for Electronic Validation of Phase 1 Clinical Trials. - Hanna Farah; Daniel Amyot; Khaled El Emam (MCETECH, 2015)

Towards systems for increased access to justice using goal modeling. - Sanaa A. Alwidian; Daniel Amyot (RELAW, 2015)

Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL. - Vahdat Abdelzad; Daniel Amyot; Timothy C. Lethbridge (SDL Forum, 2015)

Towards the Generation of Tests in the Test Description Language from Use Case Map Models. - Patrice Boulet; Daniel Amyot; Bernard Stepien (SDL Forum, 2015)

Generating Software Documentation in Use Case Maps from Filtered Execution Traces. - Edna Braun; Daniel Amyot; Timothy C. Lethbridge (SDL Forum, 2015)

Consented consumer-centric non-functional property description and composition for SOA-based applications. - Hanane Becha; Daniel Amyot (Int. J. Web Eng. Technol., 2015)

Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution. - Geri Georg; Gunter Mussbacher; Daniel Amyot; Dorina C. Petriu; Lucy J. Troup; Saul Lozano-Fuentes; Robert B. France (Inf. Softw. Technol., 2015)

Model-Based Management of Strategic Initiatives. - Daniele Barone; Liam Peyton; Flavio Rizzolo; Daniel Amyot; John Mylopoulos; Omar Badreddin (J. Data Semant., 2015)

Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation. - Malak Baslyman; Raoufeh Rezaee; Daniel Amyot; Alain Mouttham; Rana Chreyh; Glen Geiger; Alan Stewart; Samer Sader (Pers. Ubiquitous Comput., 2015)

Predictive Analytics to Support Real-Time Management in Pathology Facilities. - Lysanne Lessard; Wojtek Michalowski; Wei Chen Li; Fawaz Halwani; Daniel Amyot; Diponkar Banerjee (AMIA, 2016)

Consistency Analysis for User Requirements Notation Models. - Okhaide Akhigbe; Daniel Amyot; Amal Ahmed Anda; Lysanne Lessard; Daoyang Xiao (iStar, 2016)

Towards Improved Requirements Engineering with SysML and the User Requirements Notation. - Daniel Amyot; Amal Ahmed Anda; Malak Baslyman; Lysanne Lessard; Jean-Michel Bruel (RE, 2016)

Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW). - Daniel Amyot; Sepideh Ghanavati; Aaron K. Massey; Wei-Tek Tsai (RE Workshops, 2016)

Process mining in healthcare: a systematised literature review. - Mahdi Ghasemi; Daniel Amyot (Int. J. Electron. Heal., 2016)

Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-Agent Decision Support System. - Szymon Wilk; Mounira Kezadri-Hamiaz; Daniela Rosu 002; Craig E. Kuziemsky; Wojtek Michalowski; Daniel Amyot; Marc Carrier (J. Medical Syst., 2016)

A questionnaire-based survey methodology for systematically validating goal-oriented models. - Jameleddine Hassine; Daniel Amyot (Requir. Eng., 2016)

The University of Ottawa Undergraduate Software Engineering Program: Leading and Innovative. - Timothy C. Lethbridge; Liam Peyton; Daniel Amyot; Stéphane S. Somé (CSEE&T, 2017)

Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models. - Okhaide Akhigbe; Susie Heap; Daniel Amyot; Gregory Richards 001 (ER Forum/Demos, 2017)

Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? - Okhaide Akhigbe; Susie Heap; Sakib Islam; Daniel Amyot; John Mylopoulos (ER, 2017)

Using Goals and Indicators for Activity-based Process Integration in Healthcare. - Malak Baslyman; Basmah Almoaber; Daniel Amyot; El Mostafa Bouattane (EUSPN/ICTH, 2017)

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 (EUSPN/ICTH, 2017)

Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services. - Christophe Feltus; Lysanne Lessard; François B. Vernadat; Daniel Amyot; Erik H. A. Proper (AITM/ISM@FedCSIS, 2017)

Evaluating the Potential of Technology in Justice Systems Using Goal Modeling. - Sanaa A. Alwidian; Daniel Amyot; Gilbert Babin (MCETECH, 2017)

Activity-based Process Integration in Healthcare with the User Requirements Notation. - Malak Baslyman; Basmah Almoaber; Daniel Amyot; El Mostafa Bouattane (MCETECH, 2017)

A Virtual Patient Navigation Application for Lung Cancer Assessment Patients. - Gursimran Singh Chandhoke; Ajaydeep Singh Grewal; Venus Pathak; Simrandeep Singh; Mir Kamyar Ziabari; Daniel Amyot; Hussein T. Mouftah; Wojtek Michalowski; Michael Fung Kee Fung; Jennifer Smylie; Salome Shin (MCETECH, 2017)

Metamodels Relaxation for Model Family Support. - Sanaa A. Alwidian; Daniel Amyot (MoDELS (Satellite Events), 2017)

What can information systems do for regulators? A review of the state-of-practice in Canada. - Okhaide Akhigbe; Daniel Amyot; John Mylopoulos; Gregory Richards 001 (RCIS, 2017)

A Distance-Based GRL Approach to Goal Model Refinement and Alternative Selection. - Malak Baslyman; Daniel Amyot (RE Workshops, 2017)

On the Impact of the SDL Forum Society Conferences on Academic Research. - Daniel Amyot; Abdelwahab Hamou-Lhadj; Jameleddine Hassine (SDL Forum, 2017)

A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time. - Basmah Almoaber; Daniel Amyot (Int. J. E Health Medical Commun., 2017)

Barriers to Successful Health Information Exchange Systems in Canada and the USA: A Systematic Review. - Basmah Almoaber; Daniel Amyot (Int. J. Heal. Inf. Syst. Informatics, 2017)

Real-Time, Location-Based Patient-Device Association Management: Design and Proof of Concept. - Raoufeh Rezaee; Malak Baslyman; Daniel Amyot; Alain Mouttham; Rana Chreyh; Glen Geiger (Int. J. Heal. Inf. Syst. Informatics, 2017)

An empirical approach toward the resolution of conflicts in goal-oriented models. - Jameleddine Hassine; Daniel Amyot (Softw. Syst. Model., 2017)

Welcome Message from the RE18 Chairs. - Walid Maalej; Daniel Amyot; Guenther Ruhe (RE, 2018)

An Arithmetic Semantics for GRL Goal Models with Function Generation. - Yuxuan Fan; Amal Ahmed Anda; Daniel Amyot (SAM, 2018)

Goal-oriented Process Enhancement and Discovery. - Mahdi Ghasemi; Daniel Amyot (BPM, 2019)

Lean healthcare processes: effective technology integration and comprehensive decision support using requirements engineering methods. - Malak Baslyman; Daniel Amyot; Yasser Alshalahi (SEH@ICSE, 2019)

Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families. - Sanaa A. Alwidian; Daniel Amyot (MoDELS (Companion), 2019)

Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. - Amal Ahmed Anda; Daniel Amyot (RE, 2019)

Process Mining for Cloud-Based Applications: A Systematic Literature Review. - Najah Mary El-Gharib; Daniel Amyot (RE Workshops, 2019)

Data Preprocessing for Goal-Oriented Process Discovery. - Mahdi Ghasemi; Daniel Amyot (RE Workshops, 2019)

Union Models: Support for Efficient Reasoning About Model Families Over Space and Time. - Sanaa A. Alwidian; Daniel Amyot (SAM, 2019)

Goal Model Integration: Advanced Relationships and Rationales Documentation. - Malak Baslyman; Daniel Amyot (SAM, 2019)

An automated change impact analysis approach for User Requirements Notation models. - Hasan Salim Alkaf; Jameleddine Hassine; Taha Binalialhag; Daniel Amyot (J. Syst. Softw., 2019)

A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance. - Okhaide Akhigbe; Daniel Amyot; Gregory Richards 001 (Requir. Eng., 2019)

Editorial, special issue RE 2018. - Daniel Amyot; Walid Maalej (Requir. Eng., 2019)

Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. - Alexander Dekhtyar; Jane Huffman Hayes; Irit Hadar; Erin Combs; Alessio Ferrari 001; Sarah Gregory; Jennifer Horkoff; Meira Levy; Maleknaz Nayebi; Barbara Paech; Jared Payne; Matt Primrose; et al. (IEEE Softw., 2019)

Static slicing of Use Case Maps requirements models. - Taha Binalialhag; Jameleddine Hassine; Daniel Amyot (Softw. Syst. Model., 2019)

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; John Mylopoulos (ER, 2020)

Social Dependence Relationships in Requirements Engineering. - John Mylopoulos; Daniel Amyot; Luigi Logrippo; Alireza Parvizimosaed; Sepehr Sharifi (iStar, 2020)

Goal Modeling for FinTech Certification. - Sepehr Sharifi; Patrick McLaughlin; Daniel Amyot; John Mylopoulos (iStar, 2020)

"Union is power": analyzing families of goal models using union models. - Sanaa A. Alwidian; Daniel Amyot (MoDELS, 2020)

An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. - Amal Ahmed Anda; Daniel Amyot (MoDRE@RE, 2020)

Symboleo: Towards a Specification Language for Legal Contracts. - Sepehr Sharifi; Alireza Parvizimosaed; Daniel Amyot; Luigi Logrippo; John Mylopoulos (RE, 2020)

Traceability Management of GRL and SysML Models. - Amal Ahmed Anda; Daniel Amyot (SAM, 2020)

An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team. - Szymon Wilk; Mounira Kezadri-Hamiaz; Daniel Amyot; Wojtek Michalowski; Craig E. Kuziemsky; Nihan Çatal; Daniela Rosu 002; Marc Carrier; Randy Giffen (Int. J. Medical Informatics, 2020)

From event logs to goals: a systematic literature review of goal-oriented process mining. - Mahdi Ghasemi; Daniel Amyot (Requir. Eng., 2020)

Expanding the nature and scope of requirements for service systems through Service-Dominant Logic: the case of a telemonitoring service. - Lysanne Lessard; Daniel Amyot; Oday Aswad; Alain Mouttham (Requir. Eng., 2020)

Social Requirements Models for Services. - John Mylopoulos; Daniel Amyot; Luigi Logrippo; Alireza Parvizimosaed; Sepehr Sharifi (Next-Gen Digital Services, 2021)

Software techniques for engineering cyber-physical systems. - Kostas Kontogiannis; Daniel Amyot; John Mylopoulos (CASCON, 2021)

REWBAH 2021: Second International Workshop on Requirements Engineering for Well-Being, Aging, and Health : Welcome from the Organizers. - Eric S. K. Yu; Lin Liu 001; Meira Levy; Daniel Amyot (RE Workshops, 2021)

Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives. - Mir Kamyar Ziabari; Daniel Amyot; Wojtek Michalowski; El Mostafa Bouattane; Nassoh Hafez (RE Workshops, 2021)

Contract Specification and Verification: Experience with the Symboleo Language (abstract). - Daniel Amyot (VMBO, 2021)

Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems. - Amal Ahmed Anda; Daniel Amyot (J. Integr. Des. Process. Sci., 2021)

A Game-theoretic approach to analyze interacting actors in GRL goal models. - Jameleddine Hassine; Dhaker Kroumi; Daniel Amyot (Requir. Eng., 2021)

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. - Benoît Combemale; Jörg Kienzle; Gunter Mussbacher; Hyacinth Ali; Daniel Amyot; Mojtaba Bagherzadeh; Edouard Batot; Nelly Bencomo; Benjamin Benni; Jean-Michel Bruel; Jordi Cabot; Betty H. C. Cheng; et al. (IEEE Softw., 2021)

Requirements Engineering for Well-Being, Aging, and Health: An Overview for Practitioners. - Meira Levy; Lin Liu 001; Daniel Amyot; Eric S. K. Yu; Muneef Alshammari; Malak Baslyman; Elizabeth Bjarnason; Christopher Bull 001; Carlos Henrique C. Duarte; Eduard C. Groen; Sami Jantunen; Sylwia Kopczynska; et al. (IEEE Softw., 2021)

Supplement to Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives. - Mir Kamyar Ziabari; Daniel Amyot; Wojtek Michalowski (Zenodo, 2021)

2nd Workshop on Software Techniques for Engineering Cyber Physical Systems. - Kostas Kontogiannis; John Mylopoulos; Daniel Amyot (CASCON, 2022)

Model-checking legal contracts with SymboleoPC. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Daniel Amyot; Luigi Logrippo; John Mylopoulos (MoDELS, 2022)

Symboleo2SC: from legal contract specifications to smart contracts. - Aidin Rasti; Daniel Amyot; Alireza Parvizimosaed; Marco Roveri; Luigi Logrippo; Amal Ahmed Anda; John Mylopoulos (MoDELS, 2022)

Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. - Sepehr Sharifi; Daniel Amyot; John Mylopoulos; Patrick McLaughlin; Ray Feodoroff (RE Workshops, 2022)

Reasoning about Confidence in Goal Satisfaction. - Malak Baslyman; Daniel Amyot; John Mylopoulos (Algorithms, 2022)

Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs. - Najah Mary El-Gharib; Daniel Amyot (Algorithms, 2022)

A Review of Data-driven Robotic Process Automation Exploiting Process Mining. - Najah Mary El-Gharib; Daniel Amyot (CoRR, 2022)

Self-Adaptation Driven by SysML and Goal Models - A Literature Review. - Amal Ahmed Anda; Daniel Amyot (e Informatica Softw. Eng. J., 2022)

Combining Goal modelling with Business Process modelling Two Decades of Experience with the User Requirements Notation Standard. - Daniel Amyot; Okhaide Akhigbe; Malak Baslyman; Sepideh Ghanavati; Mahdi Ghasemi; Jameleddine Hassine; Lysanne Lessard; Gunter Mussbacher; Kai Shen; Eric Yu 001 (Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022)

GoRIM: a model-driven method for enhancing regulatory intelligence. - Okhaide Akhigbe; Daniel Amyot; Gregory Richards 001; Lysanne Lessard (Softw. Syst. Model., 2022)

Specification and analysis of legal contracts with Symboleo. - Alireza Parvizimosaed; Sepehr Sharifi; Daniel Amyot; Luigi Logrippo; Marco Roveri; Aidin Rasti; Ali Roudak; John Mylopoulos (Softw. Syst. Model., 2022)

Engineering Smart Contracts with Symboleo: A Progress Report. - Daniel Amyot; Luigi Logrippo; John Mylopoulos; Marco Roveri; Amal Ahmed Anda; Alireza Parvizimosaed; Sofana Alfuhaid; Sepehr Sharifi; Aidin Rasti; Regan Meloche; Daniel Sousa-Diaz (CASCON, 2023)

3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. - Kostas Kontogiannis; Daniel Amyot; John Mylopoulos (CASCON, 2023)

Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. - Atefeh Zareh Chahoki; Marco Roveri; Daniel Amyot; John Mylopoulos (OVERLAY@AI*IA, 2023)

Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. - Alireza Parvizimosaed; Hamid Azad; Daniel Amyot; John Mylopoulos (PST, 2023)

A Prototype for Decision Support Targeting Recreation Prescriptions for Older Adults in Social Isolation (℞OSI). - Namrata Bagaria; Daniel Amyot (REW, 2023)

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; Dániel Varró (REW, 2023)

Welcome to REWBAH 2023: The Fourth International Workshop on Requirements Engineering for Well-Being, Aging, and Health. - Lin Liu 001; Eric S. K. Yu; Meira Levy; Daniel Amyot (REW, 2023)

Towards Legal Contract Formalization with Controlled Natural Language Templates. - Regan Meloche; Daniel Amyot; John Mylopoulos (RE, 2023)

Preface: Journal Early Feedback Track. - Paola Spoletini; Daniel Amyot (REFSQ Workshops, 2023)

A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. - Sofana Alfuhaid; Daniel Amyot; Amal Ahmed Anda; John Mylopoulos (IEEE Access, 2023)

Union Models for Model Families: Efficient Reasoning over Space and Time. - Sanaa A. Alwidian; Daniel Amyot; Yngve Lamo (Algorithms, 2023)

Sustaining human health: A requirements engineering perspective. - Meira Levy; Eduard C. Groen; Kuldar Taveter; Daniel Amyot; Eric Yu 001; Lin Liu 001; Ita Richardson; Maria Spichkova; Alexandra Jussli; Sébastien Mosser 001 (J. Syst. Softw., 2023)

Robotic process automation using process mining - A systematic literature review. - Najah Mary El-Gharib; Daniel Amyot (Data Knowl. Eng., 2023)

From i* to the User Requirements Notation. - Daniel Amyot; Gunter Mussbacher (Social Modeling Using the i* Framework, 2024)

Social Dependence Relationships and Their Role in Social Modelling Languages. - John Mylopoulos; Daniel Amyot; Amal Ahmed Anda (Social Modeling Using the i* Framework, 2024)

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 (ICPM Workshops, 2024)

SymboleoAC: An Access Control Model for Legal Contracts. - Sofana Alfuhaid; Amal Ahmed Anda; Daniel Amyot; Marco Roveri; John Mylopoulos (PoEM, 2024)

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 (RE Workshops, 2024)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models. - Shabnam Hassani; Mehrdad Sabetzadeh; Daniel Amyot; Jain Liao (RE, 2024)

SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. - Regan Meloche; Daniel Amyot; John Mylopoulos (RE, 2024)

Using Process Mining to Improve Digital Service Delivery. - Jacques Trottier; William Van Woensel; Xiaoyang Wang; Kavya Mallur; Najah Mary El-Gharib; Daniel Amyot (CoRR, 2024)

Supplementary Material, 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 (Zenodo, 2024)

Automating Business Intelligence Requirements with Generative AI and Semantic Search. - Nimrod Busany; Ethan Hadar; Hananel Hadad; Gil Rosenblum; Zofia Maszlanka; Okhaide Akhigbe; Daniel Amyot (COMPSAC, 2025)

Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis. - Nimrod Busany; Hananel Hadad; Zofia Maszlanka; Rohit Shelke; Gregory Price; Okhaide Akhigbe; Daniel Amyot (NIER@ICSE, 2025)

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 (RAISE@ICSE, 2025)

Automating Benchmark Generation for LLMs in Software Engineering: Challenges and Opportunities. - Nimrod Busany; Hananel Hadad; Gil Rosenblum; Ramya Ramachandran; Zofia Maszlanka; Rohit Shashank Shelke; Okhaide Akhigbe; Daniel Amyot (NLBSE@ICSE, 2025)

Supplementary Material, 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 (Zenodo, 2025)

An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations. - Shabnam Hassani; Mehrdad Sabetzadeh; Daniel Amyot (Empir. Softw. Eng., 2025)

SymboleoPC: checking properties of legal contracts. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Daniel Amyot; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)

Automated generation of smart contract code from legal contract specifications with Symboleo2SC. - Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)