Daniel Amyot

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 83

Top Venues

RE Workshops

Requir. Eng.

MCETECH

Publications

Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, Jain Liao
Rethinking Legal Compliance Automation: Opportunities with Large Language Models. CoRR (2024)
Paola Spoletini, Daniel Amyot
Preface: Journal Early Feedback Track. REFSQ Workshops (2023)
Lin Liu, Eric S. K. Yu, Meira Levy, Daniel Amyot
Welcome to REWBAH 2023: The Fourth International Workshop on Requirements Engineering for Well-Being, Aging, and Health. REW (2023)
Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. IEEE Access 11 (2023)
Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
Engineering Smart Contracts with Symboleo: A Progress Report. CASCON (2023)
Boqi Chen, Kua Chen, Shabnam Hassani, Yujing Yang, Daniel Amyot, Lysanne Lessard, Gunter Mussbacher, Mehrdad Sabetzadeh, Dániel Varró
On the Use of GPT-4 for Creating Goal Models: An Exploratory Study. REW (2023)
Sanaa A. Alwidian, Daniel Amyot, Yngve Lamo
Union Models for Model Families: Efficient Reasoning over Space and Time. Algorithms 16 (2) (2023)
Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON (2023)
Regan Meloche, Daniel Amyot, John Mylopoulos
Towards Legal Contract Formalization with Controlled Natural Language Templates. RE (2023)
Najah Mary El-Gharib, Daniel Amyot
Robotic process automation using process mining - A systematic literature review. Data Knowl. Eng. 148 (2023)
Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos
Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. PST (2023)
Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY@AI*IA (2023)
Namrata Bagaria, Daniel Amyot
A Prototype for Decision Support Targeting Recreation Prescriptions for Older Adults in Social Isolation (℞OSI). REW (2023)
Meira Levy, Eduard C. Groen, Kuldar Taveter, Daniel Amyot, Eric Yu, Lin Liu, Ita Richardson, Maria Spichkova, Alexandra Jussli, Sébastien Mosser
Sustaining human health: A requirements engineering perspective. J. Syst. Softw. 204 (2023)
Okhaide Akhigbe, Daniel Amyot, Gregory Richards, Lysanne Lessard
GoRIM: a model-driven method for enhancing regulatory intelligence. Softw. Syst. Model. 21 (4) (2022)
Amal Ahmed Anda, Daniel Amyot
Self-Adaptation Driven by SysML and Goal Models - A Literature Review. e Informatica Softw. Eng. J. 16 (1) (2022)
Daniel Amyot, Okhaide Akhigbe, Malak Baslyman, Sepideh Ghanavati, Mahdi Ghasemi, Jameleddine Hassine, Lysanne Lessard, Gunter Mussbacher, Kai Shen, Eric Yu
Combining Goal modelling with Business Process modelling Two Decades of Experience with the User Requirements Notation Standard. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 17 (2022)
Kostas Kontogiannis, John Mylopoulos, Daniel Amyot
2nd Workshop on Software Techniques for Engineering Cyber Physical Systems. CASCON (2022)
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Model-checking legal contracts with SymboleoPC. MoDELS (2022)
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
Symboleo2SC: from legal contract specifications to smart contracts. MoDELS (2022)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. 21 (6) (2022)
Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff
Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach. RE Workshops (2022)
Najah Mary El-Gharib, Daniel Amyot
A Review of Data-driven Robotic Process Automation Exploiting Process Mining. CoRR (2022)
Malak Baslyman, Daniel Amyot, John Mylopoulos
Reasoning about Confidence in Goal Satisfaction. Algorithms 15 (10) (2022)
Najah Mary El-Gharib, Daniel Amyot
Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs. Algorithms 15 (6) (2022)
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, Philippe Collet, Gregor Engels, Robert Heinrich, Jean-Marc Jézéquel, Anne Koziolek, Sébastien Mosser, Ralf H. Reussner, Houari A. Sahraoui, Rijul Saini, June Sallou, Serge Stinckwich, Eugene Syriani, Manuel Wimmer
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. IEEE Softw. 38 (4) (2021)
Amal Ahmed Anda, Daniel Amyot
Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems. J. Integr. Des. Process. Sci. 25 (2) (2021)
Meira Levy, Lin Liu, Daniel Amyot, Eric S. K. Yu, Muneef Alshammari, Malak Baslyman, Elizabeth Bjarnason, Christopher Bull, Carlos Henrique C. Duarte, Eduard C. Groen, Sami Jantunen, Sylwia Kopczynska, Lysanne Lessard, Ita Richardson, Jens H. Weber, Ziqi Wei
Requirements Engineering for Well-Being, Aging, and Health: An Overview for Practitioners. IEEE Softw. 38 (3) (2021)
Mir Kamyar Ziabari, Daniel Amyot, Wojtek Michalowski, El Mostafa Bouattane, Nassoh Hafez
Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives. RE Workshops (2021)
Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
Software techniques for engineering cyber-physical systems. CASCON (2021)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Requirements Models for Services. Next-Gen Digital Services (2021)
Eric S. K. Yu, Lin Liu, Meira Levy, Daniel Amyot
REWBAH 2021: Second International Workshop on Requirements Engineering for Well-Being, Aging, and Health : Welcome from the Organizers. RE Workshops (2021)
Jameleddine Hassine, Dhaker Kroumi, Daniel Amyot
A Game-theoretic approach to analyze interacting actors in GRL goal models. Requir. Eng. 26 (3) (2021)
Daniel Amyot
Contract Specification and Verification: Experience with the Symboleo Language (abstract). VMBO (2021)
Szymon Wilk, Mounira Kezadri-Hamiaz, Daniel Amyot, Wojtek Michalowski, Craig E. Kuziemsky, Nihan Çatal, Daniela Rosu, Marc Carrier, Randy Giffen
An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team. Int. J. Medical Informatics 136 (2020)
Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Symboleo: Towards a Specification Language for Legal Contracts. RE (2020)
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. ER (2020)
Lysanne Lessard, Daniel Amyot, Oday Aswad, Alain Mouttham
Expanding the nature and scope of requirements for service systems through Service-Dominant Logic: the case of a telemonitoring service. Requir. Eng. 25 (3) (2020)
Amal Ahmed Anda, Daniel Amyot
Traceability Management of GRL and SysML Models. SAM (2020)
Sanaa A. Alwidian, Daniel Amyot
"Union is power": analyzing families of goal models using union models. MoDELS (2020)
Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, John Mylopoulos
Goal Modeling for FinTech Certification. iStar (2020)
Amal Ahmed Anda, Daniel Amyot
An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. MoDRE@RE (2020)
John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
Social Dependence Relationships in Requirements Engineering. iStar (2020)
Mahdi Ghasemi, Daniel Amyot
From event logs to goals: a systematic literature review of goal-oriented process mining. Requir. Eng. 25 (1) (2020)
Sanaa A. Alwidian, Daniel Amyot
Union Models: Support for Efficient Reasoning About Model Families Over Space and Time. SAM (2019)
Sanaa A. Alwidian, Daniel Amyot
Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families. MoDELS (Companion) (2019)
Taha Binalialhag, Jameleddine Hassine, Daniel Amyot
Static slicing of Use Case Maps requirements models. Softw. Syst. Model. 18 (4) (2019)
Hasan Salim Alkaf, Jameleddine Hassine, Taha Binalialhag, Daniel Amyot
An automated change impact analysis approach for User Requirements Notation models. J. Syst. Softw. 157 (2019)
Daniel Amyot, Walid Maalej
Editorial, special issue RE 2018. Requir. Eng. 24 (3) (2019)
Amal Ahmed Anda, Daniel Amyot
Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. RE (2019)
Najah Mary El-Gharib, Daniel Amyot
Process Mining for Cloud-Based Applications: A Systematic Literature Review. RE Workshops (2019)
Okhaide Akhigbe, Daniel Amyot, Gregory Richards
A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance. Requir. Eng. 24 (4) (2019)
Malak Baslyman, Daniel Amyot
Goal Model Integration: Advanced Relationships and Rationales Documentation. SAM (2019)
Mahdi Ghasemi, Daniel Amyot
Data Preprocessing for Goal-Oriented Process Discovery. RE Workshops (2019)
Mahdi Ghasemi, Daniel Amyot
Goal-oriented Process Enhancement and Discovery. BPM (2019)
Alexander Dekhtyar, Jane Huffman Hayes, Irit Hadar, Erin Combs, Alessio Ferrari, Sarah Gregory, Jennifer Horkoff, Meira Levy, Maleknaz Nayebi, Barbara Paech, Jared Payne, Matt Primrose, Paola Spoletini, Shell Clarke, Chuck Brophy, Daniel Amyot, Walid Maalej, Guenther Ruhe, Jane Cleland-Huang, Didar Zowghi
Requirements Engineering (RE) for Social Good: RE Cares [Requirements]. IEEE Softw. 36 (1) (2019)
Malak Baslyman, Daniel Amyot, Yasser Alshalahi
Lean healthcare processes: effective technology integration and comprehensive decision support using requirements engineering methods. SEH@ICSE (2019)
Walid Maalej, Daniel Amyot, Guenther Ruhe
Welcome Message from the RE18 Chairs. RE (2018)
Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot
An Arithmetic Semantics for GRL Goal Models with Function Generation. SAM (2018)
Malak Baslyman, Basmah Almoaber, Daniel Amyot, El Mostafa Bouattane
Using Goals and Indicators for Activity-based Process Integration in Healthcare. EUSPN/ICTH (2017)
Sanaa A. Alwidian, Daniel Amyot, Gilbert Babin
Evaluating the Potential of Technology in Justice Systems Using Goal Modeling. MCETECH (2017)
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
A Virtual Patient Navigation Application for Lung Cancer Assessment Patients. MCETECH (2017)
Okhaide Akhigbe, Susie Heap, Daniel Amyot, Gregory Richards
Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models. ER Forum/Demos (2017)
Timothy C. Lethbridge, Liam Peyton, Daniel Amyot, Stéphane S. Somé
The University of Ottawa Undergraduate Software Engineering Program: Leading and Innovative. CSEE&T (2017)
Raoufeh Rezaee, Malak Baslyman, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger
Real-Time, Location-Based Patient-Device Association Management: Design and Proof of Concept. Int. J. Heal. Inf. Syst. Informatics 12 (3) (2017)
Basmah Almoaber, Daniel Amyot
Barriers to Successful Health Information Exchange Systems in Canada and the USA: A Systematic Review. Int. J. Heal. Inf. Syst. Informatics 12 (1) (2017)
Basmah Almoaber, Daniel Amyot
A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time. Int. J. E Health Medical Commun. 8 (3) (2017)
Christophe Feltus, Lysanne Lessard, François B. Vernadat, Daniel Amyot, Erik H. A. Proper
Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services. AITM/ISM@FedCSIS (2017)
Daniel Amyot, Abdelwahab Hamou-Lhadj, Jameleddine Hassine
On the Impact of the SDL Forum Society Conferences on Academic Research. SDL Forum (2017)
Malak Baslyman, Basmah Almoaber, Daniel Amyot, El Mostafa Bouattane
Activity-based Process Integration in Healthcare with the User Requirements Notation. MCETECH (2017)
Okhaide Akhigbe, Daniel Amyot, John Mylopoulos, Gregory Richards
What can information systems do for regulators? A review of the state-of-practice in Canada. RCIS (2017)
Jameleddine Hassine, Daniel Amyot
An empirical approach toward the resolution of conflicts in goal-oriented models. Softw. Syst. Model. 16 (1) (2017)
Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos
Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? ER (2017)
Nihan Çatal, Daniel Amyot, Wojtek Michalowski, Mounira Kezadri-Hamiaz, Malak Baslyman, Szymon Wilk, Randy Giffen
Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM. EUSPN/ICTH (2017)
Malak Baslyman, Daniel Amyot
A Distance-Based GRL Approach to Goal Model Refinement and Alternative Selection. RE Workshops (2017)
Sanaa A. Alwidian, Daniel Amyot
Metamodels Relaxation for Model Family Support. MoDELS (Satellite Events) (2017)
Szymon Wilk, Mounira Kezadri-Hamiaz, Daniela Rosu, Craig E. Kuziemsky, Wojtek Michalowski, Daniel Amyot, Marc Carrier
Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-Agent Decision Support System. J. Medical Syst. 40 (2) (2016)
Mahdi Ghasemi, Daniel Amyot
Process mining in healthcare: a systematised literature review. Int. J. Electron. Heal. 9 (1) (2016)
Jameleddine Hassine, Daniel Amyot
A questionnaire-based survey methodology for systematically validating goal-oriented models. Requir. Eng. 21 (2) (2016)
Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel
Towards Improved Requirements Engineering with SysML and the User Requirements Notation. RE (2016)
Lysanne Lessard, Wojtek Michalowski, Wei Chen Li, Fawaz Halwani, Daniel Amyot, Diponkar Banerjee
Predictive Analytics to Support Real-Time Management in Pathology Facilities. AMIA (2016)
Daniel Amyot, Sepideh Ghanavati, Aaron K. Massey, Wei-Tek Tsai
Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW). RE Workshops (2016)
Okhaide Akhigbe, Daniel Amyot, Amal Ahmed Anda, Lysanne Lessard, Daoyang Xiao
Consistency Analysis for User Requirements Notation Models. iStar (2016)
Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger, Alan Stewart, Samer Sader
Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation. Pers. Ubiquitous Comput. 19 (3-4) (2015)
Vahdat Abdelzad, Daniel Amyot, Sanaa A. Alwidian, Timothy Lethbridge
A Textual Syntax with Tool Support for the Goal-Oriented Requirement Language. iStar (2015)
Hanane Becha, Daniel Amyot
Consented consumer-centric non-functional property description and composition for SOA-based applications. Int. J. Web Eng. Technol. 10 (4) (2015)
Anthony Palmieri, Philippe Collet, Daniel Amyot
Handling Regulatory Goal Model Families as Software Product Lines. CAiSE (2015)
Edna Braun, Daniel Amyot, Timothy C. Lethbridge
Generating Software Documentation in Use Case Maps from Filtered Execution Traces. SDL Forum (2015)
Sanaa A. Alwidian, Daniel Amyot
Towards systems for increased access to justice using goal modeling. RELAW (2015)
Daniel Amyot
Goal Modeling Education with GRL: Experience Report. iStar (2015)
Hanna Farah, Daniel Amyot, Khaled El Emam
Efficient Privacy-Preserving Identity Scheme for Electronic Validation of Phase 1 Clinical Trials. MCETECH (2015)
Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos, Omar Badreddin
Model-Based Management of Strategic Initiatives. J. Data Semant. 4 (3) (2015)
Geri Georg, Gunter Mussbacher, Daniel Amyot, Dorina C. Petriu, Lucy J. Troup, Saul Lozano-Fuentes, Robert B. France
Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution. Inf. Softw. Technol. 59 (2015)
Hanna Farah, Daniel Amyot, Khaled El Emam
Common Length Name Representation: An Efficient Privacy-Preserving Scheme. TELERISE@ICSE (2015)
Vahdat Abdelzad, Daniel Amyot, Timothy C. Lethbridge
Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL. SDL Forum (2015)
Okhaide Akhigbe, Daniel Amyot, Gregory Richards
Information Technology Artifacts in the Regulatory Compliance of Business Processes: A Meta-Analysis. MCETECH (2015)
Patrice Boulet, Daniel Amyot, Bernard Stepien
Towards the Generation of Tests in the Test Description Language from Use Case Map Models. SDL Forum (2015)
Hanna Farah, Daniel Amyot, Khaled El Emam
A Tool for Simple and Efficient Clinical Protocol Evaluation. CBMS (2014)
Jennifer Horkoff, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot, Alexander Borgida, John Mylopoulos
Strategic business modeling: representation and reasoning. Softw. Syst. Model. 13 (3) (2014)
Hanane Becha, Daniel Amyot
Consumer-centric non-functional properties of SOA-based services. PESOS (2014)

Daniel Amyot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Amyot