publications

Generated automatically from a single BibTeX file. Switch between a chronological list and a view organized by category.

Publication indexes

Google Scholar · DBLP · ACM DL · IEEE Xplore · Scopus · ORCID · Semantic Scholar · ResearchGate

2026

  1. From law to Gherkin: A human-centred quasi-experiment on the quality of LLM-generated behavioral specifications from food-safety regulations
    Shabnam Hassani, Mehrdad Sabetzadeh, and Daniel Amyot
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot
    Inf. Softw. Technol., 2026
    DOI
  2. Agentic Business Process Management: A research manifesto
    Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, and 15 more authors
    Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
    Inf. Syst., 2026
    DOI
  3. Agentic Business Process Management: A Research Manifesto
    Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, and 15 more authors
    Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
    CoRR, 2026
    DOI
  4. An LLM Pipeline for Automatic Extraction and Evaluation of Care Pathways from Clinical Guidelines
    Alireza Houshidari, William Van Woensel, Daniel Amyot, and 1 more author
    Alireza Houshidari, William Van Woensel, Daniel Amyot, El Mostafa Bouattane
    2026
    DOI
  5. Discovering the Why of Process Models – A Systematic Literature Review on Decision Mining
    Erfan Elhami, William Van Woensel, and Daniel Amyot
    Erfan Elhami, William Van Woensel, Daniel Amyot
    2026
    DOI
  6. Exploring Decision Mining Research: A Systematic Review Report and Knowledge Graph
    Erfan Elhami, William Van Woensel, and Daniel Amyot
    Erfan Elhami, William Van Woensel, Daniel Amyot
    2026
    DOI
  7. Towards Automated Compliance Checking for Care Trajectories: Process Extraction Using Large Language Models
    William Van Woensel, Alireza Houshidari, and Daniel Amyot
    William Van Woensel, Alireza Houshidari, Daniel Amyot
    2026
    DOI
  8. How Organizations Use Process Mining to Enable Automations
    Najah Mary El-Gharib, Daniel Amyot, and D. Cruise
    Najah Mary El-Gharib, Daniel Amyot, D. Cruise
    In 24th International Conference on Business Process Management (BPM 2026), BPM Forum track, 2026
    To appear.
  9. Digital Humanism in Requirements Engineering for Healthcare Solutions in the Age of AI
    S. Ouhbi, M. Levy, O. A. Mondragon, and 6 more authors
    S. Ouhbi, M. Levy, O. A. Mondragon, L. Lessard, K. Taveter, L. Fiorini, S. Premanandan, S. Fricker, Daniel Amyot
    Requirements Engineering, 2026
    DOI
  10. Towards Process Mining Use Case Map Models with PM4Py-UCM
    Daniel Amyot
    Daniel Amyot
    In 16th International Model-Driven Requirements Engineering Workshop (MoDRE), REW 2026, 2026
    To appear.
  11. From Classroom to Practice: Bridging BPM Education and Industry Expectations Through Process Mining Tool Comparison Project
    Najah Mary El-Gharib, Daniel Amyot, and William Van Woensel
    Najah Mary El-Gharib, Daniel Amyot, William Van Woensel
    In 24th International Conference on Business Process Management (BPM 2026), Educators Forum Track, 2026
    To appear.

2025

  1. An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations
    Shabnam Hassani, Mehrdad Sabetzadeh, and Daniel Amyot
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot
    Empir. Softw. Eng., 2025
    DOI
  2. Summary of the 2nd International Workshop on Multi-disciplinary, Open, and IntegRatEd Requirements Engineering (MO2RE) co-located with the 47th IEEE/ACM ICSE 2025
    Sallam Abualhaija, Daniel Amyot, Chetan Arora, and 3 more authors
    Sallam Abualhaija, Daniel Amyot, Chetan Arora, Alessio Ferrari, Davide Fucci, Paola Spoletini
    ACM SIGSOFT Softw. Eng. Notes, 2025
    DOI
  3. SymboleoPC: checking properties of legal contracts
    Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, and 5 more authors
    Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
    Softw. Syst. Model., 2025
    DOI
  4. Automated generation of smart contract code from legal contract specifications with Symboleo2SC
    Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, and 5 more authors
    Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
    Softw. Syst. Model., 2025
    DOI
  5. Automating Business Intelligence Requirements with Generative AI and Semantic Search
    Nimrod Busany, Ethan Hadar, Hananel Hadad, and 4 more authors
    Nimrod Busany, Ethan Hadar, Hananel Hadad, Gil Rosenblum, Zofia Maszlanka, Okhaide Akhigbe, Daniel Amyot
    In 49th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2025, Toronto, ON, Canada, July 8-11, 2025, 2025
    DOI
  6. Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, and 2 more authors
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
    In IEEE/ACM Requirements Engineering for AI-powered Softwar, RAISE@ICSE 2025, Ottawa, ON, Canada, May 3, 2025, 2025
    DOI
  7. Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis
    Nimrod Busany, Hananel Hadad, Zofia Maszlanka, and 4 more authors
    Nimrod Busany, Hananel Hadad, Zofia Maszlanka, Rohit Shelke, Gregory Price, Okhaide Akhigbe, Daniel Amyot
    In 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27 - May 3, 2025, 2025
    DOI
  8. Automating Benchmark Generation for LLMs in Software Engineering: Challenges and Opportunities
    Nimrod Busany, Hananel Hadad, Gil Rosenblum, and 5 more authors
    Nimrod Busany, Hananel Hadad, Gil Rosenblum, Ramya Ramachandran, Zofia Maszlanka, Rohit Shashank Shelke, Okhaide Akhigbe, Daniel Amyot
    In IEEE/ACM International Workshop on Natural Language-Based Software Engineering, NLBSE@ICSE 2025, Ottawa, ON, Canada, April 27-28, 2025, 2025
    DOI
  9. Towards Conversational Actionability in AI-Augmented Business Process Management Systems
    Marco Montali, Marco Comuzzi, Irene Teinemaa, and 2 more authors
    Marco Montali, Marco Comuzzi, Irene Teinemaa, Daniel Amyot, Marlon Dumas
    In Proceedings of the 4th International Workshop on Process Management in the AI Era (PMAI 2025) co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy, October 25, 2025, 2025
  10. Goal-Oriented Process Mining: A Scalability Experiment
    Mahdi Ghasemi, Daniel Amyot, and William Van Woensel
    Mahdi Ghasemi, Daniel Amyot, William Van Woensel
    In 33rd IEEE International Requirements Engineering Conference, RE 2025 Workshops, Valencia, Spain, September 1-5, 2025, 2025
    DOI
  11. Decision Mining Knowledge Graph and SLRO-DM (Version v2025.07)
    Erfan Elhami, William Van Woensel, and Daniel Amyot
    Erfan Elhami, William Van Woensel, Daniel Amyot
    Jul 2025
    Accessed on YYYY-MM-DD.
    DOI
  12. Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo (Version 2)
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, and 2 more authors
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
    Jan 2025
    Accessed on YYYY-MM-DD.
    DOI
  13. An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
    Shabnam Hassani, Mehrdad Sabetzadeh, and Daniel Amyot
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot
    CoRR, 2025
    DOI
  14. From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
    Shabnam Hassani, Mehrdad Sabetzadeh, and Daniel Amyot
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot
    CoRR, 2025
    DOI
  15. A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
    Regan Meloche, Durga Sivakumar, Amal Ahmed Anda, and 4 more authors
    Regan Meloche, Durga Sivakumar, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
    CoRR, 2025
    DOI
  16. SymboleoAC: an access control model for smart legal contracts
    Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, and 2 more authors
    Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos
    Software and Systems Modeling, 2025
    DOI
  17. The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies
    Pablo Marcello Baquero, David Restrepo Amariles, Daniel Amyot, and 8 more authors
    Pablo Marcello Baquero, David Restrepo Amariles, Daniel Amyot, Amal Ahmed Anda, Mustafa Bayirli, Luigi Logrippo, Alberto Lopes, John Mylopoulos, Alireza Parvizimosaed, Aidin Rasti, Marco Roveri
    Artificial Intelligence and Law, 2025
    DOI
  18. Decisions for Affordable/Social Housing (DASH) System: Envisioning Open and Transparent Data-Informed Decision Making
    Katrine Sauvé-Schenk, Daniel Amyot, Kim Burkholder-Harris, and 3 more authors
    Katrine Sauvé-Schenk, Daniel Amyot, Kim Burkholder-Harris, Lysanne Lessard, Meaghan McCallum, John Sylvestre
    International Journal on Homelessness, 2025
    DOI
  19. Usability of a Mobile Application for Caregivers to Reduce Pediatric Elective Surgery Cancellations: A Pilot Study
    M. Wiebe, S. Byrns, A. Nasr, and 5 more authors
    M. Wiebe, S. Byrns, A. Nasr, F. Leyba, V. Larocca, G. Sawaya, A. Fetiveau, Daniel Amyot
    2025
  20. Towards an LLM-Based Auto-Corrector Agent for Symboleo Specifications
    G. Singh, S. Rajpal, Amal Ahmed Anda, and 4 more authors
    G. Singh, S. Rajpal, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, John Mylopoulos, Marco Roveri
    In 2025 IEEE International Conference on Collaborative Advances in Software and Computing (CASCON), 5th CyPress Workshop, 2025
  21. Towards an Architecture and Code Generator for End-to-End Access Control in Cyber-Physical Smart Contracts
    Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, and 2 more authors
    Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, John Mylopoulos, Marco Roveri
    In 2025 IEEE International Conference on Collaborative Advances in Software and Computing (CASCON), 5th CyPress Workshop, 2025

2024

  1. From i* to the User Requirements Notation
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    In Social Modeling Using the i* Framework: Essays in Honour of Eric Yu, 2024
    DOI
  2. Social Dependence Relationships and Their Role in Social Modelling Languages
    John Mylopoulos, Daniel Amyot, and Amal Ahmed Anda
    John Mylopoulos, Daniel Amyot, Amal Ahmed Anda
    In Social Modeling Using the i* Framework: Essays in Honour of Eric Yu, 2024
    DOI
  3. 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, and 3 more authors
    Jacques Trottier, William Van Woensel, Xiaoyang Wang, Kavya Mallur, Najah Mary El-Gharib, Daniel Amyot
    In Process Mining Workshops - ICPM 2024 International Workshops, Lyngby, Denmark, October 14-18, 2024, Revised Selected Papers, 2024
    DOI
  4. SymboleoAC: An Access Control Model for Legal Contracts
    Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, and 2 more authors
    Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos
    In The Practice of Enterprise Modeling - 17th IFIP Working Conference, PoEM 2024, Stockholm, Sweden, December 3-5, 2024, Proceedings, 2024
    DOI
  5. Engineering Requirements for Social Housing Through Prototyping
    Daniel Amyot, Valeriia Kolesnyk, Lysanne Lessard, and 5 more authors
    Daniel Amyot, Valeriia Kolesnyk, Lysanne Lessard, Vishal Parekh, Yashraj Ram Motwani, Katrine Sauvé-Shenk, John Sylvestre, Sara Valipourebrahimi
    In 32nd IEEE International Requirements Engineering Conference, RE 2024 - Workshops, Reykjavik, Iceland, June 24-25, 2024, 2024
    DOI
  6. Rethinking Legal Compliance Automation: Opportunities with Large Language Models
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, and 1 more author
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, Jain Liao
    In 32nd IEEE International Requirements Engineering Conference, RE 2024, Reykjavik, Iceland, June 24-28, 2024, 2024
    DOI
  7. SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates
    Regan Meloche, Daniel Amyot, and John Mylopoulos
    Regan Meloche, Daniel Amyot, John Mylopoulos
    In 32nd IEEE International Requirements Engineering Conference, RE 2024, Reykjavik, Iceland, June 24-28, 2024, 2024
    DOI
  8. Business Process Management: Blockchain, Robotic Process Automation, Central and Eastern European, Educators and Industry Forum - BPM 2024 Blockchain, RPA, CEE, Educators and Industry Forum, Krakow, Poland, September 1-6, 2024, Proceedings
    2024
    DOI
  9. Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo (Version 1)
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, and 2 more authors
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
    Nov 2024
    Accessed on YYYY-MM-DD.
    DOI
  10. Rethinking Legal Compliance Automation: Opportunities with Large Language Models
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, and 1 more author
    Shabnam Hassani, Mehrdad Sabetzadeh, Daniel Amyot, Jain Liao
    CoRR, 2024
    DOI
  11. Using Process Mining to Improve Digital Service Delivery
    Jacques Trottier, William Van Woensel, Xiaoyang Wang, and 3 more authors
    Jacques Trottier, William Van Woensel, Xiaoyang Wang, Kavya Mallur, Najah Mary El-Gharib, Daniel Amyot
    CoRR, 2024
    DOI
  12. Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, and 2 more authors
    Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
    CoRR, 2024
    DOI
  13. Automating Business Intelligence Requirements with Generative AI and Semantic Search
    Nimrod Busany, Ethan Hadar, Hananel Hadad, and 4 more authors
    Nimrod Busany, Ethan Hadar, Hananel Hadad, Gil Rosenblum, Zofia Maszlanka, Okhaide Akhigbe, Daniel Amyot
    CoRR, 2024
    DOI
  14. Enhancing Trust in Transactive Energy with Individually Linkable Pseudonymous Trading Using Smart Contracts
    Daniel Sousa-Dias, Daniel Amyot, Ashkan Rahimi-Kian, and 1 more author
    Daniel Sousa-Dias, Daniel Amyot, Ashkan Rahimi-Kian, John Mylopoulos
    Energies, 2024
    DOI
  15. Cyclic Homomorphic Encryption Aggregation (CHEA)—A Novel Approach to Data Aggregation in the Smart Grid
    Daniel Sousa-Dias, Daniel Amyot, Ashkan Rahimi-Kian, and 2 more authors
    Daniel Sousa-Dias, Daniel Amyot, Ashkan Rahimi-Kian, Masoud Bashari, John Mylopoulos
    Energies, 2024
    DOI
  16. Business Process Management 2024 – Blockchain, RPA, CEE, Educators and Industry Forum Proceedings (BPM 2024)
    2024
  17. Open Science Roadmap – Report by the Open Science Working Group, University of Ottawa
    uOttawa Open Science Working Group
    uOttawa Open Science Working Group
    2024
    Also available in French (DOI: 10.20381/ruor-30838). CC-BY-NC 4.0.
    DOI

2023

  1. A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges
    Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, and 1 more author
    Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos
    IEEE Access, 2023
    DOI
  2. Union Models for Model Families: Efficient Reasoning over Space and Time
    Sanaa A. Alwidian, Daniel Amyot, and Yngve Lamo
    Sanaa A. Alwidian, Daniel Amyot, Yngve Lamo
    Algorithms, 2023
    DOI
  3. Robotic process automation using process mining - A systematic literature review
    Najah Mary El-Gharib and Daniel Amyot
    Najah Mary El-Gharib, Daniel Amyot
    Data Knowl. Eng., 2023
    DOI
  4. Sustaining human health: A requirements engineering perspective
    Meira Levy, Eduard C. Groen, Kuldar Taveter, and 7 more authors
    Meira Levy, Eduard C. Groen, Kuldar Taveter, Daniel Amyot, Eric Yu, Lin Liu, Ita Richardson, Maria Spichkova, Alexandra Jussli, Sébastien Mosser
    J. Syst. Softw., 2023
    DOI
  5. 3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems
    Kostas Kontogiannis, Daniel Amyot, and John Mylopoulos
    Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
    In Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, CASCON 2023, Las Vegas, NV, USA, September 11-14, 2023, 2023
    DOI
  6. Engineering Smart Contracts with Symboleo: A Progress Report
    Daniel Amyot, Luigi Logrippo, John Mylopoulos, and 8 more authors
    Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
    In Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, CASCON 2023, Las Vegas, NV, USA, September 11-14, 2023, 2023
    DOI
  7. Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements
    Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, and 1 more author
    Atefeh Zareh Chahoki, Marco Roveri, Daniel Amyot, John Mylopoulos
    In Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 7, 2023, 2023
  8. Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain
    Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, and 1 more author
    Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos
    In 20th Annual International Conference on Privacy, Security and Trust, PST 2023, Copenhagen, Denmark, August 21-23, 2023, 2023
    DOI
  9. On the Use of GPT-4 for Creating Goal Models: An Exploratory Study
    Boqi Chen, Kua Chen, Shabnam Hassani, and 6 more authors
    Boqi Chen, Kua Chen, Shabnam Hassani, Yujing Yang, Daniel Amyot, Lysanne Lessard, Gunter Mussbacher, Mehrdad Sabetzadeh, Dániel Varró
    In 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, 2023
    DOI
  10. Towards Legal Contract Formalization with Controlled Natural Language Templates
    Regan Meloche, Daniel Amyot, and John Mylopoulos
    Regan Meloche, Daniel Amyot, John Mylopoulos
    In 31st IEEE International Requirements Engineering Conference, RE 2023, Hannover, Germany, September 4-8, 2023, 2023
    DOI
  11. 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, and 1 more author
    Lin Liu, Eric S. K. Yu, Meira Levy, Daniel Amyot
    In 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, 2023
    DOI
  12. A Prototype for Decision Support Targeting Recreation Prescriptions for Older Adults in Social Isolation (ROSI)
    Namrata Bagaria and Daniel Amyot
    Namrata Bagaria, Daniel Amyot
    In 31st IEEE International Requirements Engineering Conference, RE 2023 - Workshops, Hannover, Germany, September 4-5, 2023, 2023
    DOI
  13. Preface: Journal Early Feedback Track
    Paola Spoletini and Daniel Amyot
    Paola Spoletini, Daniel Amyot
    In Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023, 2023
  14. Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters & Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023
    2023
  15. A Review of Cybersecurity Concerns for Transactive Energy Markets
    Daniel Sousa-Dias, Daniel Amyot, Ashkan Rahimi-Kian, and 1 more author
    Daniel Sousa-Dias, Daniel Amyot, Ashkan Rahimi-Kian, John Mylopoulos
    Energies, 2023
    DOI
  16. Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
    Amal Ahmed Anda, Daniel Amyot, and John Mylopoulos
    Amal Ahmed Anda, Daniel Amyot, John Mylopoulos
    Modelling, 2023
    DOI
  17. 2023 IEEE Fourth International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH)
    2023

2022

  1. Specification and Analysis of Legal Contracts with Symboleo
    Alireza Parvizimosaed, Shabnam Sharifi, Daniel Amyot, and 5 more authors
    Alireza Parvizimosaed, Shabnam Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Anthony Roudak, John Mylopoulos
    Software and Systems Modeling (SoSyM), 2022
    Abs DOI HTML
  2. Combining Goal Modelling with Business Process Modelling: Two Decades of Experience with the User Requirements Notation Standard
    Daniel Amyot, Okhaide Akhigbe, Malak Baslyman, and 7 more authors
    Daniel Amyot, Okhaide Akhigbe, Malak Baslyman, Sepideh Ghanavati, Mahsa Ghasemi, Jameleddine Hassine, Lysanne Lessard, Gunter Mussbacher, Kewei Shen, Eric Yu
    Enterprise Modelling and Information Systems Architectures (EMISAJ), 2022
    Abs DOI HTML
  3. Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs
    Najah Mary El-Gharib and Daniel Amyot
    Najah Mary El-Gharib, Daniel Amyot
    Algorithms, 2022
    DOI
  4. Reasoning about Confidence in Goal Satisfaction
    Malak Baslyman, Daniel Amyot, and John Mylopoulos
    Malak Baslyman, Daniel Amyot, John Mylopoulos
    Algorithms, 2022
    DOI
  5. Self-Adaptation Driven by SysML and Goal Models - A Literature Review
    Amal Ahmed Anda and Daniel Amyot
    Amal Ahmed Anda, Daniel Amyot
    e Informatica Softw. Eng. J., 2022
    DOI
  6. GoRIM: a model-driven method for enhancing regulatory intelligence
    Okhaide Akhigbe, Daniel Amyot, Gregory Richards, and 1 more author
    Okhaide Akhigbe, Daniel Amyot, Gregory Richards, Lysanne Lessard
    Softw. Syst. Model., 2022
    DOI
  7. 2nd Workshop on Software Techniques for Engineering Cyber Physical Systems
    Kostas Kontogiannis, John Mylopoulos, and Daniel Amyot
    Kostas Kontogiannis, John Mylopoulos, Daniel Amyot
    In Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, CASCON 2022, Toronto, Ontario, Canada, November 15-17, 2022, 2022
    DOI
  8. Model-checking legal contracts with SymboleoPC
    Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, and 3 more authors
    Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos
    In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, 2022
    DOI
  9. Symboleo2SC: from legal contract specifications to smart contracts
    Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, and 4 more authors
    Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
    In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022, 2022
    DOI
  10. Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach
    Sepehr Sharifi, Daniel Amyot, John Mylopoulos, and 2 more authors
    Sepehr Sharifi, Daniel Amyot, John Mylopoulos, Patrick McLaughlin, Ray Feodoroff
    In 30th IEEE International Requirements Engineering Conference Workshops, RE 2022 - Workshops, Melbourne, Australia, August 15-19, 2022, 2022
    DOI
  11. A Review of Data-driven Robotic Process Automation Exploiting Process Mining
    Najah Mary El-Gharib and Daniel Amyot
    Najah Mary El-Gharib, Daniel Amyot
    CoRR, 2022
    DOI
  12. Personalizing telehealth services for older patients
    Oday Aswad, Lysanne Lessard, and Daniel Amyot
    Oday Aswad, Lysanne Lessard, Daniel Amyot
    In Well-being In Later Life, 2022
    DOI
  13. Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs
    Najah Mary El-Gharib and Daniel Amyot
    Najah Mary El-Gharib, Daniel Amyot
    2022
    DOI
  14. 2022 IEEE Third International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH)
    2022

2021

  1. Requirements Engineering for Well-Being, Aging, and Health (REWBAH): An Overview for Practitioners
    Meira Levy, Lin Liu, Daniel Amyot, and 13 more authors
    Meira Levy, Lin Liu, Daniel Amyot, Eric Yu, Mohammad Alshammari, Malak Baslyman, Elizabeth Bjarnason, Christopher Bull, Carlos H. C. Duarte, Eduard C. Groen, Sami Jantunen, Sylwia Kopczynska, Lysanne Lessard, Ita Richardson, Jens Weber, Zheng Wei
    IEEE Software, 2021
    Abs DOI HTML
  2. Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems
    Amal Ahmed Anda and Daniel Amyot
    Amal Ahmed Anda, Daniel Amyot
    J. Integr. Des. Process. Sci., 2021
    DOI
  3. A Game-theoretic approach to analyze interacting actors in GRL goal models
    Jameleddine Hassine, Dhaker Kroumi, and Daniel Amyot
    Jameleddine Hassine, Dhaker Kroumi, Daniel Amyot
    Requir. Eng., 2021
    DOI
  4. A Hitchhiker’s Guide to Model-Driven Engineering for Data-Centric Systems
    Benoı̂t Combemale, Jörg Kienzle, Gunter Mussbacher, and 22 more authors
    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
    IEEE Softw., 2021
    DOI
  5. Social Requirements Models for Services
    John Mylopoulos, Daniel Amyot, Luigi Logrippo, and 2 more authors
    John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
    In Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future - Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement, 2021
    DOI
  6. Software techniques for engineering cyber-physical systems
    Kostas Kontogiannis, Daniel Amyot, and John Mylopoulos
    Kostas Kontogiannis, Daniel Amyot, John Mylopoulos
    In CASCON ’21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22 - 25, 2021, 2021
    DOI
  7. 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, and 1 more author
    Eric S. K. Yu, Lin Liu, Meira Levy, Daniel Amyot
    In 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021, 2021
    DOI
  8. Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives
    Mir Kamyar Ziabari, Daniel Amyot, Wojtek Michalowski, and 2 more authors
    Mir Kamyar Ziabari, Daniel Amyot, Wojtek Michalowski, El Mostafa Bouattane, Nassoh Hafez
    In 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021, 2021
    DOI
  9. Contract Specification and Verification: Experience with the Symboleo Language (abstract)
    Daniel Amyot
    Daniel Amyot
    In Proceedings of the International Workshop on Value Modelling and Business Ontologies Bolzano, Italy, March 4th and 5th, 2021, Bolzano, Italy, March 4th and 5th, 2021, 2021
  10. Supplement to Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives (Version 1.0.0)
    Mir Kamyar Ziabari, Daniel Amyot, and Wojtek Michalowski
    Mir Kamyar Ziabari, Daniel Amyot, Wojtek Michalowski
    Aug 2021
    Accessed on YYYY-MM-DD.
    DOI
  11. Key factors of clinicians’ acceptance of CPOE system and their link to change management
    Basmah Almoaber and Daniel Amyot
    Basmah Almoaber, Daniel Amyot
    Informatics for Health and Social Care, 2021
    DOI
  12. 2021 IEEE Second International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH)
    2021
  13. Addressing the Compliance Gap in Data Supply Chains: Smart Contracts as a Compliance Technology
    Pablo Baquero, David Restrepo Amariles, and Daniel Amyot
    Pablo Baquero, David Restrepo Amariles, Daniel Amyot
    2021

2020

  1. An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team
    Szymon Wilk, Mounira Kezadri-Hamiaz, Daniel Amyot, and 6 more authors
    Szymon Wilk, Mounira Kezadri-Hamiaz, Daniel Amyot, Wojtek Michalowski, Craig E. Kuziemsky, Nihan Çatal, Daniela Rosu, Marc Carrier, Randy Giffen
    Int. J. Medical Informatics, 2020
    DOI
  2. From event logs to goals: a systematic literature review of goal-oriented process mining
    Mahdi Ghasemi and Daniel Amyot
    Mahdi Ghasemi, Daniel Amyot
    Requir. Eng., 2020
    DOI
  3. 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, and 1 more author
    Lysanne Lessard, Daniel Amyot, Oday Aswad, Alain Mouttham
    Requir. Eng., 2020
    DOI
  4. Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo
    Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, and 2 more authors
    Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
    In Conceptual Modeling - 39th International Conference, ER 2020, Vienna, Austria, November 3-6, 2020, Proceedings, 2020
    DOI
  5. Social Dependence Relationships in Requirements Engineering
    John Mylopoulos, Daniel Amyot, Luigi Logrippo, and 2 more authors
    John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi
    In Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020
  6. Goal Modeling for FinTech Certification
    Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, and 1 more author
    Sepehr Sharifi, Patrick McLaughlin, Daniel Amyot, John Mylopoulos
    In Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020
  7. "Union is power": analyzing families of goal models using union models
    Sanaa A. Alwidian and Daniel Amyot
    Sanaa A. Alwidian, Daniel Amyot
    In MoDELS ’20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, 2020
    DOI
  8. An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models
    Amal Ahmed Anda and Daniel Amyot
    Amal Ahmed Anda, Daniel Amyot
    In 10th IEEE International Model-Driven Requirements Engineering, MoDRE@RE 2020, Zurich, Switzerland, August 31, 2020, 2020
    DOI
  9. Symboleo: Towards a Specification Language for Legal Contracts
    Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, and 2 more authors
    Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
    In 28th IEEE International Requirements Engineering Conference, RE 2020, Zurich, Switzerland, August 31 - September 4, 2020, 2020
    DOI
  10. Traceability Management of GRL and SysML Models
    Amal Ahmed Anda and Daniel Amyot
    Amal Ahmed Anda, Daniel Amyot
    In SAM ’20: 12th System Analysis and Modelling Conference, Virtual Event, Canada, October 19-20, 2020, 2020
    DOI
  11. Compliance Checking for Transactive Energy Contracts using Smart Contracts
    Daniel Amyot
    Daniel Amyot
    2020
  12. Welcome from the Organizers
    In 2020 IEEE First International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH), 2020
    DOI
  13. 2020 IEEE First International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH)
    2020
  14. Formal Verification of Symboleo Contracts with nuXmv
    Alireza Parvizimosaed, Marco Roveri, Sepehr Sharifi, and 3 more authors
    Alireza Parvizimosaed, Marco Roveri, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos
    2020
  15. Symboleo: Towards a Specification Language for Smart Contracts
    Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, and 2 more authors
    Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos
    In 28th IEEE International Requirements Engineering Conference (RE’20), RE@Next! track, 2020

2019

  1. An automated change impact analysis approach for User Requirements Notation models
    Hasan Salim Alkaf, Jameleddine Hassine, Taha Binalialhag, and 1 more author
    Hasan Salim Alkaf, Jameleddine Hassine, Taha Binalialhag, Daniel Amyot
    J. Syst. Softw., 2019
    DOI
  2. Editorial, special issue RE 2018
    Daniel Amyot and Walid Maalej
    Daniel Amyot, Walid Maalej
    Requir. Eng., 2019
    DOI
  3. A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance
    Okhaide Akhigbe, Daniel Amyot, and Gregory Richards
    Okhaide Akhigbe, Daniel Amyot, Gregory Richards
    Requir. Eng., 2019
    DOI
  4. Requirements Engineering (RE) for Social Good: RE Cares [Requirements]
    Alexander Dekhtyar, Jane Huffman Hayes, Irit Hadar, and 17 more authors
    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
    IEEE Softw., 2019
    DOI
  5. Static slicing of Use Case Maps requirements models
    Taha Binalialhag, Jameleddine Hassine, and Daniel Amyot
    Taha Binalialhag, Jameleddine Hassine, Daniel Amyot
    Softw. Syst. Model., 2019
    DOI
  6. Goal-oriented Process Enhancement and Discovery
    Mahdi Ghasemi and Daniel Amyot
    Mahdi Ghasemi, Daniel Amyot
    In Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019, Proceedings, 2019
    DOI
  7. Lean healthcare processes: effective technology integration and comprehensive decision support using requirements engineering methods
    Malak Baslyman, Daniel Amyot, and Yasser Alshalahi
    Malak Baslyman, Daniel Amyot, Yasser Alshalahi
    In Proceedings of the 1st International Workshop on Software Engineering for Healthcare, SEH@ICSE 2019, Montreal, QC, Canada, May 27, 2019, 2019
    DOI
  8. Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families
    Sanaa A. Alwidian and Daniel Amyot
    Sanaa A. Alwidian, Daniel Amyot
    In 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019, 2019
    DOI
  9. Process Mining for Cloud-Based Applications: A Systematic Literature Review
    Najah Mary El-Gharib and Daniel Amyot
    Najah Mary El-Gharib, Daniel Amyot
    In 27th IEEE International Requirements Engineering Conference Workshops, RE 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019, 2019
    DOI
  10. Data Preprocessing for Goal-Oriented Process Discovery
    Mahdi Ghasemi and Daniel Amyot
    Mahdi Ghasemi, Daniel Amyot
    In 27th IEEE International Requirements Engineering Conference Workshops, RE 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019, 2019
    DOI
  11. Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems
    Amal Ahmed Anda and Daniel Amyot
    Amal Ahmed Anda, Daniel Amyot
    In 27th IEEE International Requirements Engineering Conference, RE 2019, Jeju Island, Korea (South), September 23-27, 2019, 2019
    DOI
  12. Goal Model Integration: Advanced Relationships and Rationales Documentation
    Malak Baslyman and Daniel Amyot
    Malak Baslyman, Daniel Amyot
    In System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings, 2019
    DOI
  13. Union Models: Support for Efficient Reasoning About Model Families Over Space and Time
    Sanaa A. Alwidian and Daniel Amyot
    Sanaa A. Alwidian, Daniel Amyot
    In System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings, 2019
    DOI
  14. Editorial, special issue RE 2018
    D. Amyot and W. Maalej
    D. Amyot, W. Maalej
    Requirements Engineering, 2019
  15. Process mining for cloud-based applications: A systematic literature review
    N.M. El-Gharib and D. Amyot
    N.M. El-Gharib, D. Amyot
    Proceedings - 2019 IEEE 27th International Requirements Engineering Conference Workshops, REW 2019, 2019
  16. Requirements engineering (RE) for social good: RE cares [requirements]
    A. Dekhtyar, J. Huffman Hayes, I. Hadar, and 17 more authors
    A. Dekhtyar, J. Huffman Hayes, I. Hadar, E. Combs, A. Ferrari, S. Gregory, J. Horkoff, M. Levy, M. Nayebi, B. Paech, J. Payne, M. Primrose, P. Spoletini, S. Clarke, C. Brophy, D. Amyot, W. Maalej, G. Ruhe, J. Cleland-Huang, D. Zowghi
    IEEE Software, 2019
  17. Future Directions: Artificial Intelligence
    Artificial Intelligence Advisory Committee
    Artificial Intelligence Advisory Committee
    2019
    Member of the committee. Also available in French.

2018

  1. Welcome Message from the RE18 Chairs
    Walid Maalej, Daniel Amyot, and Guenther Ruhe
    Walid Maalej, Daniel Amyot, Guenther Ruhe
    In 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018, 2018
    DOI
  2. An Arithmetic Semantics for GRL Goal Models with Function Generation
    Yuxuan Fan, Amal Ahmed Anda, and Daniel Amyot
    Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot
    In System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings, 2018
    DOI
  3. 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018
    2018
  4. An Arithmetic Semantics for GRL Goal Models with Function Generation
    Yuxuan Fan, Amal Ahmed Anda, and Daniel Amyot
    Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot
    2018
    DOI
  5. Welcome Message from the RE18 Chairs
    W. Maalej, D. Amyot, and G. Ruhe
    W. Maalej, D. Amyot, G. Ruhe
    Proceedings - 2018 IEEE 26th International Requirements Engineering Conference, RE 2018, 2018
  6. 2018 IEEE 26th International Requirements Engineering Conference (RE)
    2018

2017

  1. A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time
    Basmah Almoaber and Daniel Amyot
    Basmah Almoaber, Daniel Amyot
    Int. J. E Health Medical Commun., 2017
    DOI
  2. Barriers to Successful Health Information Exchange Systems in Canada and the USA: A Systematic Review
    Basmah Almoaber and Daniel Amyot
    Basmah Almoaber, Daniel Amyot
    Int. J. Heal. Inf. Syst. Informatics, 2017
    DOI
  3. Real-Time, Location-Based Patient-Device Association Management: Design and Proof of Concept
    Raoufeh Rezaee, Malak Baslyman, Daniel Amyot, and 3 more authors
    Raoufeh Rezaee, Malak Baslyman, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger
    Int. J. Heal. Inf. Syst. Informatics, 2017
    DOI
  4. An empirical approach toward the resolution of conflicts in goal-oriented models
    Jameleddine Hassine and Daniel Amyot
    Jameleddine Hassine, Daniel Amyot
    Softw. Syst. Model., 2017
    DOI
  5. The University of Ottawa Undergraduate Software Engineering Program: Leading and Innovative
    Timothy C. Lethbridge, Liam Peyton, Daniel Amyot, and 1 more author
    Timothy C. Lethbridge, Liam Peyton, Daniel Amyot, Stéphane S. Somé
    In 30th IEEE Conference on Software Engineering Education and Training, CSEE&T 2017, Savannah, GA, USA, November 7-9, 2017, 2017
    DOI
  6. Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help?
    Okhaide Akhigbe, Susie Heap, Sakib Islam, and 2 more authors
    Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos
    In Conceptual Modeling - 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings, 2017
    DOI
  7. Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models
    Okhaide Akhigbe, Susie Heap, Daniel Amyot, and 1 more author
    Okhaide Akhigbe, Susie Heap, Daniel Amyot, Gregory Richards
    In Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017), Valencia, Spain, - November 6-9, 2017, 2017
  8. Using Goals and Indicators for Activity-based Process Integration in Healthcare
    Malak Baslyman, Basmah Almoaber, Daniel Amyot, and 1 more author
    Malak Baslyman, Basmah Almoaber, Daniel Amyot, El Mostafa Bouattane
    In The 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, September 18-20, 2017, Lund, Sweden, 2017
    DOI
  9. Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM
    Nihan Çatal, Daniel Amyot, Wojtek Michalowski, and 4 more authors
    Nihan Çatal, Daniel Amyot, Wojtek Michalowski, Mounira Kezadri-Hamiaz, Malak Baslyman, Szymon Wilk, Randy Giffen
    In The 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, September 18-20, 2017, Lund, Sweden, 2017
    DOI
  10. Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services
    Christophe Feltus, Lysanne Lessard, François B. Vernadat, and 2 more authors
    Christophe Feltus, Lysanne Lessard, François B. Vernadat, Daniel Amyot, Erik H. A. Proper
    In Information Technology for Management. Ongoing Research and Development - 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers, 2017
    DOI
  11. Activity-based Process Integration in Healthcare with the User Requirements Notation
    Malak Baslyman, Basmah Almoaber, Daniel Amyot, and 1 more author
    Malak Baslyman, Basmah Almoaber, Daniel Amyot, El Mostafa Bouattane
    In E-Technologies: Embracing the Internet of Things - 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings, 2017
    DOI
  12. Evaluating the Potential of Technology in Justice Systems Using Goal Modeling
    Sanaa A. Alwidian, Daniel Amyot, and Gilbert Babin
    Sanaa A. Alwidian, Daniel Amyot, Gilbert Babin
    In E-Technologies: Embracing the Internet of Things - 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings, 2017
    DOI
  13. A Virtual Patient Navigation Application for Lung Cancer Assessment Patients
    Gursimran Singh Chandhoke, Ajaydeep Singh Grewal, Venus Pathak, and 8 more authors
    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
    In E-Technologies: Embracing the Internet of Things - 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings, 2017
    DOI
  14. Metamodels Relaxation for Model Family Support
    Sanaa A. Alwidian and Daniel Amyot
    Sanaa A. Alwidian, Daniel Amyot
    In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017, 2017
  15. What can information systems do for regulators? A review of the state-of-practice in Canada
    Okhaide Akhigbe, Daniel Amyot, John Mylopoulos, and 1 more author
    Okhaide Akhigbe, Daniel Amyot, John Mylopoulos, Gregory Richards
    In 11th International Conference on Research Challenges in Information Science, RCIS 2017, Brighton, United Kingdom, May 10-12, 2017, 2017
    DOI
  16. A Distance-Based GRL Approach to Goal Model Refinement and Alternative Selection
    Malak Baslyman and Daniel Amyot
    Malak Baslyman, Daniel Amyot
    In IEEE 25th International Requirements Engineering Conference Workshops, RE 2017 Workshops, Lisbon, Portugal, September 4-8, 2017, 2017
    DOI
  17. On the Impact of the SDL Forum Society Conferences on Academic Research
    Daniel Amyot, Abdelwahab Hamou-Lhadj, and Jameleddine Hassine
    Daniel Amyot, Abdelwahab Hamou-Lhadj, Jameleddine Hassine
    In SDL 2017: Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings, 2017
    DOI
  18. A distance-based GRL approach to goal model refinement and alternative selection
    M. Baslyman and D. Amyot
    M. Baslyman, D. Amyot
    Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017, 2017
  19. Barriers to successful health information exchange systems in Canada and the USA: A systematic review
    B. Almoaber and D. Amyot
    B. Almoaber, D. Amyot
    International Journal of Healthcare Information Systems and Informatics, 2017
  20. Exploiting IBM watson analytics to visualize and analyze data from goal-based conceptual models
    O. Akhigbe, S. Heap, D. Amyot, and 1 more author
    O. Akhigbe, S. Heap, D. Amyot, G.S. Richards
    CEUR Workshop Proceedings, 2017
  21. Modeling data sources
    O. Akhigbe and D. Amyot
    O. Akhigbe, D. Amyot
    Big Data and Analytics Applications in Government: Current Practices and Future Opportunities, 2017
  22. On the impact of the SDL forum society conferences on academic research
    D. Amyot, A. Hamou-Lhadj, and J. Hassine
    D. Amyot, A. Hamou-Lhadj, J. Hassine
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017
  23. Relaxing metamodels for model family support
    S. Alwidian and D. Amyot
    S. Alwidian, D. Amyot
    CEUR Workshop Proceedings, 2017
  24. Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM
    N. ?atal, D. Amyot, W. Michalowski, and 4 more authors
    N. ?atal, D. Amyot, W. Michalowski, M. Kezadri-Hamiaz, M. Baslyman, S. Wilk, R. Giffen
    Procedia Computer Science, 2017
  25. What can information systems do for regulators? A review of the state-of-practice in Canada
    O. Akhigbe, D. Amyot, J. Mylopoulos, and 1 more author
    O. Akhigbe, D. Amyot, J. Mylopoulos, G. Richards
    Proceedings - International Conference on Research Challenges in Information Science, 2017

2016

  1. Process mining in healthcare: a systematised literature review
    Mahdi Ghasemi and Daniel Amyot
    Mahdi Ghasemi, Daniel Amyot
    Int. J. Electron. Heal., 2016
    DOI
  2. 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, and 4 more authors
    Szymon Wilk, Mounira Kezadri-Hamiaz, Daniela Rosu, Craig E. Kuziemsky, Wojtek Michalowski, Daniel Amyot, Marc Carrier
    J. Medical Syst., 2016
    DOI
  3. A questionnaire-based survey methodology for systematically validating goal-oriented models
    Jameleddine Hassine and Daniel Amyot
    Jameleddine Hassine, Daniel Amyot
    Requir. Eng., 2016
    DOI
  4. Predictive Analytics to Support Real-Time Management in Pathology Facilities
    Lysanne Lessard, Wojtek Michalowski, Wei Chen Li, and 3 more authors
    Lysanne Lessard, Wojtek Michalowski, Wei Chen Li, Fawaz Halwani, Daniel Amyot, Diponkar Banerjee
    In AMIA 2016, American Medical Informatics Association Annual Symposium, Chicago, IL, USA, November 12-16, 2016, 2016
  5. Consistency Analysis for User Requirements Notation Models
    Okhaide Akhigbe, Daniel Amyot, Amal Ahmed Anda, and 2 more authors
    Okhaide Akhigbe, Daniel Amyot, Amal Ahmed Anda, Lysanne Lessard, Daoyang Xiao
    In Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), Beijing, China, September 12-13, 2016, 2016
  6. Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW)
    Daniel Amyot, Sepideh Ghanavati, Aaron K. Massey, and 1 more author
    Daniel Amyot, Sepideh Ghanavati, Aaron K. Massey, Wei-Tek Tsai
    In 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016, 2016
    DOI
  7. Towards Improved Requirements Engineering with SysML and the User Requirements Notation
    Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, and 2 more authors
    Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel
    In 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016, 2016
    DOI
  8. A real-time dashboard for managing pathology processes
    F. Halwani, W.C. Li, D. Banerjee, and 4 more authors
    F. Halwani, W.C. Li, D. Banerjee, L. Lessard, D. Amyot, W. Michalowski, R. Giffen
    Journal of Pathology Informatics, 2016

2015

  1. Consented consumer-centric non-functional property description and composition for SOA-based applications
    Hanane Becha and Daniel Amyot
    Hanane Becha, Daniel Amyot
    Int. J. Web Eng. Technol., 2015
    DOI
  2. Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution
    Geri Georg, Gunter Mussbacher, Daniel Amyot, and 4 more authors
    Geri Georg, Gunter Mussbacher, Daniel Amyot, Dorina C. Petriu, Lucy J. Troup, Saul Lozano-Fuentes, Robert B. France
    Inf. Softw. Technol., 2015
    DOI
  3. Model-Based Management of Strategic Initiatives
    Daniele Barone, Liam Peyton, Flavio Rizzolo, and 3 more authors
    Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos, Omar Badreddin
    J. Data Semant., 2015
    DOI
  4. Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation
    Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, and 5 more authors
    Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger, Alan Stewart, Samer Sader
    Pers. Ubiquitous Comput., 2015
    DOI
  5. Handling Regulatory Goal Model Families as Software Product Lines
    Anthony Palmieri, Philippe Collet, and Daniel Amyot
    Anthony Palmieri, Philippe Collet, Daniel Amyot
    In Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings, 2015
    DOI
  6. Common Length Name Representation: An Efficient Privacy-Preserving Scheme
    Hanna Farah, Daniel Amyot, and Khaled El Emam
    Hanna Farah, Daniel Amyot, Khaled El Emam
    In 1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, TELERISE 2015, Florence, Italy, May 18, 2015, 2015
    DOI
  7. Goal Modeling Education with GRL: Experience Report
    Daniel Amyot
    Daniel Amyot
    In Proceedings of the Eighth International i*Workshop, iStar 2015, in conjunction with the 23rd International Requirements Engineering Conference (RE 2015), Ottawa, Canada, August 24-25, 2015, 2015
  8. A Textual Syntax with Tool Support for the Goal-Oriented Requirement Language
    Vahdat Abdelzad, Daniel Amyot, Sanaa A. Alwidian, and 1 more author
    Vahdat Abdelzad, Daniel Amyot, Sanaa A. Alwidian, Timothy Lethbridge
    In Proceedings of the Eighth International i*Workshop, iStar 2015, in conjunction with the 23rd International Requirements Engineering Conference (RE 2015), Ottawa, Canada, August 24-25, 2015, 2015
  9. Information Technology Artifacts in the Regulatory Compliance of Business Processes: A Meta-Analysis
    Okhaide Akhigbe, Daniel Amyot, and Gregory Richards
    Okhaide Akhigbe, Daniel Amyot, Gregory Richards
    In E-Technologies - 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings, 2015
    DOI
  10. Efficient Privacy-Preserving Identity Scheme for Electronic Validation of Phase 1 Clinical Trials
    Hanna Farah, Daniel Amyot, and Khaled El Emam
    Hanna Farah, Daniel Amyot, Khaled El Emam
    In E-Technologies - 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings, 2015
    DOI
  11. Towards systems for increased access to justice using goal modeling
    Sanaa A. Alwidian and Daniel Amyot
    Sanaa A. Alwidian, Daniel Amyot
    In Eighth IEEE International Workshop on Requirements Engineering and Law, RELAW 2015, Ottawa, ON, Canada, August 25, 2015, 2015
    DOI
  12. Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL
    Vahdat Abdelzad, Daniel Amyot, and Timothy C. Lethbridge
    Vahdat Abdelzad, Daniel Amyot, Timothy C. Lethbridge
    In SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings, 2015
    DOI
  13. Generating Software Documentation in Use Case Maps from Filtered Execution Traces
    Edna Braun, Daniel Amyot, and Timothy C. Lethbridge
    Edna Braun, Daniel Amyot, Timothy C. Lethbridge
    In SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings, 2015
    DOI
  14. Towards the Generation of Tests in the Test Description Language from Use Case Map Models
    Patrice Boulet, Daniel Amyot, and Bernard Stepien
    Patrice Boulet, Daniel Amyot, Bernard Stepien
    In SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings, 2015
    DOI
  15. 23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015
    2015
  16. Goal modeling education with GRL: Experience report
    D. Amyot
    D. Amyot
    CEUR Workshop Proceedings, 2015
  17. Information technology artifacts in the regulatory compliance of business processes: A meta-analysis
    O. Akhigbe, D. Amyot, and G. Richards
    O. Akhigbe, D. Amyot, G. Richards
    Lecture Notes in Business Information Processing, 2015
  18. MET4: Supporting workflow execution for interdisciplinary healthcare teams
    S. Wilk, D. Astaraky, W. Michalowski, and 4 more authors
    S. Wilk, D. Astaraky, W. Michalowski, D. Amyot, R. Li, C. Kuziemsky, P. Andreev
    Lecture Notes in Business Information Processing, 2015
  19. Message from the chairs
    D. Zowghi, V. Gervasi, S.C. Gregory, and 2 more authors
    D. Zowghi, V. Gervasi, S.C. Gregory, R.B. Svensson, D. Amyot
    2015 IEEE 23rd International Requirements Engineering Conference, RE 2015 - Proceedings, 2015
  20. Cadre formel pour la modélisation de la gestion des processus métier par une équipe médicale interdisciplinaire
    M. Kezadri, Daniela Rosu, Szymon Wilk, and 4 more authors
    M. Kezadri, Daniela Rosu, Szymon Wilk, Craig Kuziemsky, Wojtek Michalowski, Daniel Amyot, Marc Carrier
    2015

2014

  1. A goal-oriented, business intelligence-supported decision-making methodology
    Alireza Pourshahid, Iman Johari, Gregory Richards, and 2 more authors
    Alireza Pourshahid, Iman Johari, Gregory Richards, Daniel Amyot, Okhaide Akhigbe
    Decis. Anal., 2014
    DOI
  2. Strategic business modeling: representation and reasoning
    Jennifer Horkoff, Daniele Barone, Lei Jiang, and 4 more authors
    Jennifer Horkoff, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot, Alexander Borgida, John Mylopoulos
    Softw. Syst. Model., 2014
    DOI
  3. MET4: Supporting Workflow Execution for Interdisciplinary Healthcare Teams
    Szymon Wilk, Davood Astaraky, Wojtek Michalowski, and 4 more authors
    Szymon Wilk, Davood Astaraky, Wojtek Michalowski, Daniel Amyot, Runzhuo Li, Craig E. Kuziemsky, Pavel Andreev
    In Business Process Management Workshops - BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers, 2014
    DOI
  4. Real-World Data Set Parameters and Synthesization for Matching Identity in Clinical Protocols
    Hanna Farah, Daniel Amyot, and Khaled El Emam
    Hanna Farah, Daniel Amyot, Khaled El Emam
    In 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, New York, NY, USA, May 27-29, 2014, 2014
    DOI
  5. A Tool for Simple and Efficient Clinical Protocol Evaluation
    Hanna Farah, Daniel Amyot, and Khaled El Emam
    Hanna Farah, Daniel Amyot, Khaled El Emam
    In 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, New York, NY, USA, May 27-29, 2014, 2014
    DOI
  6. A Framework for a Business Intelligence-Enabled Adaptive Enterprise Architecture
    Okhaide Akhigbe, Daniel Amyot, and Gregory Richards
    Okhaide Akhigbe, Daniel Amyot, Gregory Richards
    In Conceptual Modeling - 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings, 2014
    DOI
  7. Creating Quantitative Goal Models: Governmental Experience
    Okhaide Akhigbe, Mohammad Alhaj, Daniel Amyot, and 5 more authors
    Okhaide Akhigbe, Mohammad Alhaj, Daniel Amyot, Omar Bahy Badreddin, Edna Braun, Nick Cartwright, Gregory Richards, Gunter Mussbacher
    In Conceptual Modeling - 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings, 2014
    DOI
  8. Towards an RTLS-based Hand Hygiene Notification System
    Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, and 3 more authors
    Malak Baslyman, Raoufeh Rezaee, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger
    In The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, September 22-25, 2014, Halifax, Nova Scotia, Canada, 2014
    DOI
  9. Location-based Patient-device Association and Disassociation
    Raoufeh Rezaee, Malak Baslyman, Daniel Amyot, and 3 more authors
    Raoufeh Rezaee, Malak Baslyman, Daniel Amyot, Alain Mouttham, Rana Chreyh, Glen Geiger
    In The 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, September 22-25, 2014, Halifax, Nova Scotia, Canada, 2014
    DOI
  10. Legal goal-oriented requirement language (legal GRL) for modeling regulations
    Sepideh Ghanavati, Daniel Amyot, and André Rifaut
    Sepideh Ghanavati, Daniel Amyot, André Rifaut
    In 6th International Workshop on Modeling in Software Engineering, MiSE 2014, Hyderabad, India, June 2-3, 2014, 2014
    DOI
  11. Consumer-centric non-functional properties of SOA-based services
    Hanane Becha and Daniel Amyot
    Hanane Becha, Daniel Amyot
    In Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, PESOS 2014, Hyderabad, India, May 31, 2014, 2014
    DOI
  12. The Relevance of Model-Driven Engineering Thirty Years from Now
    Gunter Mussbacher, Daniel Amyot, Ruth Breu, and 12 more authors
    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, Friedrich Steimann, Dave R. Stikkolorum, Jon Whittle
    In Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings, 2014
    DOI
  13. A DSL for importing models in a requirements management system
    Anisur Rahman and Daniel Amyot
    Anisur Rahman, Daniel Amyot
    In IEEE 4th International Model-Driven Requirements Engineering Workshop, MoDRE 2014, 25 August, 2014, Karlskrona, Sweden, 2014
    DOI
  14. Goal-oriented compliance with multiple regulations
    Sepideh Ghanavati, André Rifaut, Eric Dubois, and 1 more author
    Sepideh Ghanavati, André Rifaut, Eric Dubois, Daniel Amyot
    In IEEE 22nd International Requirements Engineering Conference, RE 2014, Karlskrona, Sweden, August 25-29, 2014, 2014
    DOI
  15. IEEE 7th International Workshop on Requirements Engineering and Law, RELAW 2014, 26-26 August, 2014, Karlskrona, Sweden
    2014
  16. System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
    2014
    DOI
  17. A DSL for importing models in a requirements management system
    A. Rahman and D. Amyot
    A. Rahman, D. Amyot
    2014 IEEE 4th International Model-Driven Requirements Engineering Workshop, MoDRE 2014 - Proceedings, 2014
  18. Legal Goal-Oriented Requirement Language (Legal GRL) for modeling regulations
    S. Ghanavati, D. Amyot, and A. Rifaut
    S. Ghanavati, D. Amyot, A. Rifaut
    6th International Workshop on Modeling in Software Engineering, MiSE 2014 - Proceedings, 2014
  19. Preface
    D. Amyot
    D. Amyot
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014

2013

  1. Evolution mechanisms for goal-driven pattern families used in business process modelling
    Saeed Ahmadi Behnam and Daniel Amyot
    Saeed Ahmadi Behnam, Daniel Amyot
    Int. J. Electron. Bus., 2013
    DOI
  2. Location-aware business process management for real-time monitoring of a cardiac care process
    Renaud Bougueng Tchemeube, Daniel Amyot, and Alain Mouttham
    Renaud Bougueng Tchemeube, Daniel Amyot, Alain Mouttham
    In Center for Advanced Studies on Collaborative Research, CASCON ’13, Toronto, ON, Canada, November 18-20, 2013, 2013
  3. Improved GRL Modeling and Analysis with jUCMNav 5
    Daniel Amyot, Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, and 3 more authors
    Daniel Amyot, Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, Jason Kealey, Etienne Tremblay, Jennifer Horkoff
    In Proceedings of the 6th International i* Workshop 2013, Valencia, Spain, June 17-18, 2013, 2013
  4. Regulation-Based Dimensional Modeling for Regulatory Intelligence
    Omar Bahy Badreddin, Gunter Mussbacher, Daniel Amyot, and 5 more authors
    Omar Bahy Badreddin, Gunter Mussbacher, Daniel Amyot, Saeed Ahmadi Behnam, Rouzbahan Rashidi-Tabrizi, Edna Braun, Mohammad Alhaj, Gregory Richards
    In Sixth International Workshop on Requirements Engineering and Law, RELAW 2013, 16 July, 2013, Rio de Janeiro, Brasil, 2013
    DOI
  5. Requirements for a modeling language to specify and match business process improvement patterns
    Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, and 1 more author
    Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, Michael Weiss
    In International Workshop on Model-Driven Requirements Engineering, MoDRE 2013, Rio de Janeiro, Brasil, July 15, 2013, 2013
    DOI
  6. Transforming regulations into performance models in the context of reasoning for outcome-based compliance
    Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, and Daniel Amyot
    Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, Daniel Amyot
    In Sixth International Workshop on Requirements Engineering and Law, RELAW 2013, 16 July, 2013, Rio de Janeiro, Brasil, 2013
    DOI
  7. Legal requirements analysis and modeling with the measured compliance profile for the goal-oriented requirement language
    Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, and Daniel Amyot
    Rouzbahan Rashidi-Tabrizi, Gunter Mussbacher, Daniel Amyot
    In Sixth International Workshop on Requirements Engineering and Law, RELAW 2013, 16 July, 2013, Rio de Janeiro, Brasil, 2013
    DOI
  8. Practical applications of i* in industry: The state of the art
    Eric S. K. Yu, Daniel Amyot, Gunter Mussbacher, and 2 more authors
    Eric S. K. Yu, Daniel Amyot, Gunter Mussbacher, Xavier Franch, Jaelson Castro
    In 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro-RJ, Brazil, July 15-19, 2013, 2013
    DOI
  9. Real-time simulations to support operational decision making in healthcare
    Sepideh Bahrani, Renaud Bougueng Tchemeube, Alain Mouttham, and 1 more author
    Sepideh Bahrani, Renaud Bougueng Tchemeube, Alain Mouttham, Daniel Amyot
    In 2013 Summer Simulation Multiconference, SummerSim ’13, Toronto, Canada - July 07 - 10, 2013, 2013
  10. Composing Goal and Scenario Models with the Aspect-Oriented User Requirements Notation Based on Syntax and Semantics
    Gunter Mussbacher, Daniel Amyot, and Jon Whittle
    Gunter Mussbacher, Daniel Amyot, Jon Whittle
    In Aspect-Oriented Requirements Engineering, 2013
    DOI
  11. Sixth International Workshop on Requirements Engineering and Law, RELAW 2013, 16 July, 2013, Rio de Janeiro, Brasil
    2013
  12. GRL model validation: A statistical approach
    J. Hassine and D. Amyot
    J. Hassine, D. Amyot
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
  13. Improved GRL modeling and analysis with jUCMNav 5
    D. Amyot, R. Rashidi-Tabrizi, G. Mussbacher, and 3 more authors
    D. Amyot, R. Rashidi-Tabrizi, G. Mussbacher, J. Kealey, E. Tremblay, J. Horkoff
    CEUR Workshop Proceedings, 2013
  14. Practical applications of i* in industry: The state of the art
    E. Yu, D. Amyot, G. Mussbacher, and 2 more authors
    E. Yu, D. Amyot, G. Mussbacher, X. Franch, J. Castro
    2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings, 2013

2012

  1. Non-Functional Properties in Service Oriented Architecture - A Consumer’s Perspective
    Hanane Becha and Daniel Amyot
    Hanane Becha, Daniel Amyot
    J. Softw., 2012
    DOI
  2. A Systematic Review and Assessment of Aspect-oriented Methods Applied to Business Process Adaptation
    Alireza Pourshahid, Daniel Amyot, Azalia Shamsaei, and 2 more authors
    Alireza Pourshahid, Daniel Amyot, Azalia Shamsaei, Gunter Mussbacher, Michael Weiss
    J. Softw., 2012
    DOI
  3. AoURN-based modeling and analysis of software product lines
    Gunter Mussbacher, João Araújo, Ana Moreira, and 1 more author
    Gunter Mussbacher, João Araújo, Ana Moreira, Daniel Amyot
    Softw. Qual. J., 2012
    DOI
  4. Towards Advanced Goal Model Analysis with jUCMNav
    Daniel Amyot, Azalia Shamsaei, Jason Kealey, and 7 more authors
    Daniel Amyot, Azalia Shamsaei, Jason Kealey, Etienne Tremblay, Andrew Miga, Gunter Mussbacher, Mohammad Alhaj, Rasha Tawhid, Edna Braun, Nick Cartwright
    In Advances in Conceptual Modeling - ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings, 2012
    DOI
  5. Goal models as run-time entities in context-aware systems
    Mira Vrbaski, Gunter Mussbacher, Dorina C. Petriu, and 1 more author
    Mira Vrbaski, Gunter Mussbacher, Dorina C. Petriu, Daniel Amyot
    In Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012
    DOI
  6. Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics
    Jennifer Horkoff, Alexander Borgida, John Mylopoulos, and 4 more authors
    Jennifer Horkoff, Alexander Borgida, John Mylopoulos, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot
    In On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II, 2012
    DOI
  7. Narrowing the gaps in Concern-Driven Development
    Stéphane Leblanc, Gunter Mussbacher, Jörg Kienzle, and 1 more author
    Stéphane Leblanc, Gunter Mussbacher, Jörg Kienzle, Daniel Amyot
    In Second IEEE International Workshop on Model-Driven Requirements Engineering, MoDRE 2012, Chicago, IL, USA, September 24, 2012, 2012
    DOI
  8. Using the Goal-oriented pattern family framework for modelling outcome-based regulations
    Saeed Ahmadi Behnam, Daniel Amyot, Gunter Mussbacher, and 3 more authors
    Saeed Ahmadi Behnam, Daniel Amyot, Gunter Mussbacher, Edna Braun, Nick Cartwright, Mario Saucier
    In Second IEEE International Workshop on Requirements Patterns, RePa 2012, Chicago, IL, USA, September 24, 2012, 2012
    DOI
  9. Towards outcome-based regulatory compliance in aviation security
    Rasha Tawhid, Edna Braun, Nick Cartwright, and 6 more authors
    Rasha Tawhid, Edna Braun, Nick Cartwright, Mohammad Alhaj, Gunter Mussbacher, Azalia Shamsaei, Daniel Amyot, Saeed Ahmadi Behnam, Gregory Richards
    In 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012, 2012
    DOI
  10. Concern-driven development with jUCMNav
    Daniel Amyot, Stéphane Leblanc, Jason Kealey, and 1 more author
    Daniel Amyot, Stéphane Leblanc, Jason Kealey, Jörg Kienzle
    In 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012, 2012
    DOI
  11. Tool support for combined rule-based and goal-based reasoning in Context-Aware systems
    Mira Vrbaski, Dorina C. Petriu, and Daniel Amyot
    Mira Vrbaski, Dorina C. Petriu, Daniel Amyot
    In 2012 20th IEEE International Requirements Engineering Conference (RE), Chicago, IL, USA, September 24-28, 2012, 2012
    DOI
  12. An Approach to Specify and Analyze Goal Model Families
    Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid, and 5 more authors
    Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric S. K. Yu, Gunter Mussbacher, Rasha Tawhid, Nick Cartwright
    In System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers, 2012
    DOI
  13. GRL Model Validation: A Statistical Approach
    Jameleddine Hassine and Daniel Amyot
    Jameleddine Hassine, Daniel Amyot
    In System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers, 2012
    DOI
  14. Foreword
    D. Amyot, A. Antón, T. Breaux, and 1 more author
    D. Amyot, A. Antón, T. Breaux, W. Chumney
    2012 5th IEEE International Workshop on Requirements Engineering and Law, RELAW 2012 - Proceedings, 2012
  15. Model-based validation of business processes
    A. Pourshahid, L. Peyton, D. Amyot, and 3 more authors
    A. Pourshahid, L. Peyton, D. Amyot, P. Chen, M. Weiss, S. Ghanavati
    Business Enterprise, Process, and Technology Management: Models and Applications, 2012
  16. Non-functional properties in service oriented architecture - A consumer’s perspective
    H. Becha and D. Amyot
    H. Becha, D. Amyot
    Journal of Software, 2012
  17. ITU-T Recommendation Z.151 (10/12): User Requirements Notation (URN) – Language Definition
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    2012
    Co-editors.
  18. ITU-T Recommendation Z.151 (2008) Corrigendum 1 (04/12)
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    2012
    Co-editors.

2011

  1. User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper)
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    J. Softw., 2011
    DOI
  2. Spotting the difference
    Marconi Lanna and Daniel Amyot
    Marconi Lanna, Daniel Amyot
    Softw. Pract. Exp., 2011
    DOI
  3. From aspect-oriented requirements models to aspect-oriented business process design models: an iterative and concern-driven approach for software engineering
    Sébastien Mosser, Gunter Mussbacher, Mireille Blay-Fornarino, and 1 more author
    Sébastien Mosser, Gunter Mussbacher, Mireille Blay-Fornarino, Daniel Amyot
    In Proceedings of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011, 2011
    DOI
  4. A Systematic Review of Compliance Measurement Based on Goals and Indicators
    Azalia Shamsaei, Daniel Amyot, and Alireza Pourshahid
    Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid
    In Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings, 2011
    DOI
  5. Strategic Models for Business Intelligence
    Lei Jiang, Daniele Barone, Daniel Amyot, and 1 more author
    Lei Jiang, Daniele Barone, Daniel Amyot, John Mylopoulos
    In Conceptual Modeling - ER 2011, 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings, 2011
    DOI
  6. Composite Indicators for Business Intelligence
    Daniele Barone, Lei Jiang, Daniel Amyot, and 1 more author
    Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos
    In Conceptual Modeling - ER 2011, 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings, 2011
    DOI
  7. Reasoning with Key Performance Indicators
    Daniele Barone, Lei Jiang, Daniel Amyot, and 1 more author
    Daniele Barone, Lei Jiang, Daniel Amyot, John Mylopoulos
    In The Practice of Enterprise Modeling - 4th IFIP WG 8.1 Working Conference, PoEM 2011 Oslo, Norway, November 2-3, 2011 Proceedings, 2011
    DOI
  8. Eight Deadly Sins of GRL
    Gunter Mussbacher, Daniel Amyot, and Patrick Heymans
    Gunter Mussbacher, Daniel Amyot, Patrick Heymans
    In Proceedings of the 5th International i* Workshop 2011, Trento, Italy, August 28-29, 2011, 2011
  9. Towards a Declarative, Constraint-Oriented Semantics with a Generic Evaluation Algorithm for GRL
    Hao Luo and Daniel Amyot
    Hao Luo, Daniel Amyot
    In Proceedings of the 5th International i* Workshop 2011, Trento, Italy, August 28-29, 2011, 2011
  10. GRL Modeling and Analysis with jUCMNav
    Daniel Amyot, Gunter Mussbacher, Sepideh Ghanavati, and 1 more author
    Daniel Amyot, Gunter Mussbacher, Sepideh Ghanavati, Jason Kealey
    In Proceedings of the 5th International i* Workshop 2011, Trento, Italy, August 28-29, 2011, 2011
  11. Towards Model-Based Support for Managing Organizational Transformation
    Daniele Barone, Liam Peyton, Flavio Rizzolo, and 2 more authors
    Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos
    In E-Technologies: Transformation in a Connected World - 5th International Conference, MCETECH 2011, Les Diablerets, Switzerland, January 23-26, 2011, Revised Selected Papers, 2011
    DOI
  12. Evolution of Goal-Driven Pattern Families for Business Process Modeling
    Saeed Ahmadi Behnam and Daniel Amyot
    Saeed Ahmadi Behnam, Daniel Amyot
    In E-Technologies: Transformation in a Connected World - 5th International Conference, MCETECH 2011, Les Diablerets, Switzerland, January 23-26, 2011, Revised Selected Papers, 2011
    DOI
  13. Toward a Goal-Oriented, Business Intelligence Decision-Making Framework
    Alireza Pourshahid, Gregory Richards, and Daniel Amyot
    Alireza Pourshahid, Gregory Richards, Daniel Amyot
    In E-Technologies: Transformation in a Connected World - 5th International Conference, MCETECH 2011, Les Diablerets, Switzerland, January 23-26, 2011, Revised Selected Papers, 2011
    DOI
  14. A systematic review of goal-oriented requirements management frameworks for business process compliance
    Sepideh Ghanavati, Daniel Amyot, and Liam Peyton
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton
    In Fourth International Workshop on Requirements Engineering and Law, RELAW 2011, Trento, Italy, August 30, 2011, 2011
    DOI
  15. Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications
    Gunter Mussbacher, Jörg Kienzle, and Daniel Amyot
    Gunter Mussbacher, Jörg Kienzle, Daniel Amyot
    In First Model-Driven Requirements Engineering Workshop, MoDRE 2011, Trento, Italy, August 29, 2011, 2011
    DOI
  16. Analysing the cognitive effectiveness of the UCM visual notation
    N. Genon, D. Amyot, and P. Heymans
    N. Genon, D. Amyot, P. Heymans
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011
  17. GRL modeling and analysis with jUCMNav
    D. Amyot, G. Mussbacher, S. Ghanavati, and 1 more author
    D. Amyot, G. Mussbacher, S. Ghanavati, J. Kealey
    CEUR Workshop Proceedings, 2011
  18. Modeling and analyzing nonfunctional requirements in service oriented architecture with the user requirements notation
    H. Becha, G. Mussbacher, and D. Amyot
    H. Becha, G. Mussbacher, D. Amyot
    Non-Functional Properties in Service Oriented Architecture: Requirements, Models and Methods, 2011
  19. User requirements notation: The first ten years, the next ten years
    D. Amyot and G. Mussbacher
    D. Amyot, G. Mussbacher
    Journal of Software, 2011
  20. ITU-T Recommendation Z.150 (02/11): User Requirements Notation (URN) – Language Requirements and Framework
    Daniel Amyot
    Daniel Amyot
    2011
    Editor.
  21. Toward Model Based Support for Managing Organizational Transformation
    Daniele Barone, Liam Peyton, Flavio Rizzolo, and 2 more authors
    Daniele Barone, Liam Peyton, Flavio Rizzolo, Daniel Amyot, John Mylopoulos
    In 5th International MCETECH Conference on e-Technologies, 2011

2010

  1. Toward an aspect-oriented framework for business process improvement
    Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, and 1 more author
    Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, Michael Weiss
    Int. J. Electron. Bus., 2010
    DOI
  2. Integrating business strategies with requirement models of legal compliance
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton, and 3 more authors
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton, Alberto Siena, Anna Perini, Angelo Susi
    Int. J. Electron. Bus., 2010
    DOI
  3. Evaluating goal models within the goal-oriented requirement language
    Daniel Amyot, Sepideh Ghanavati, Jennifer Horkoff, and 3 more authors
    Daniel Amyot, Sepideh Ghanavati, Jennifer Horkoff, Gunter Mussbacher, Liam Peyton, Eric S. K. Yu
    Int. J. Intell. Syst., 2010
    DOI
  4. Modeling and detecting semantic-based interactions in aspect-oriented scenarios
    Gunter Mussbacher, Jon Whittle, and Daniel Amyot
    Gunter Mussbacher, Jon Whittle, Daniel Amyot
    Requir. Eng., 2010
    DOI
  5. Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study
    Gunter Mussbacher, Daniel Amyot, João Araújo, and 1 more author
    Gunter Mussbacher, Daniel Amyot, João Araújo, Ana Moreira
    LNCS Trans. Aspect Oriented Softw. Dev., 2010
    DOI
  6. Business Process Compliance Tracking Using Key Performance Indicators
    Azalia Shamsaei, Alireza Pourshahid, and Daniel Amyot
    Azalia Shamsaei, Alireza Pourshahid, Daniel Amyot
    In Business Process Management Workshops - BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers, 2010
    DOI
  7. Towards a Framework for Business Process Compliance
    Sepideh Ghanavati, Daniel Amyot, Alberto Siena, and 2 more authors
    Sepideh Ghanavati, Daniel Amyot, Alberto Siena, Angelo Susi, Anna Perini
    In Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2010, Vitória, Brazil, 25-29 October 2010, 2010
    DOI
  8. Aspect-Oriented Feature Models
    Marko Boskovic, Gunter Mussbacher, Ebrahim Bagheri, and 3 more authors
    Marko Boskovic, Gunter Mussbacher, Ebrahim Bagheri, Daniel Amyot, Dragan Gasevic, Marek Hatala
    In Models in Software Engineering - Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers, 2010
    DOI
  9. Analysing the Cognitive Effectiveness of the UCM Visual Notation
    Nicolas Genon, Daniel Amyot, and Patrick Heymans
    Nicolas Genon, Daniel Amyot, Patrick Heymans
    In System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, 2010
    DOI
  10. Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling
    Gunter Mussbacher, Daniele Barone, and Daniel Amyot
    Gunter Mussbacher, Daniele Barone, Daniel Amyot
    In System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers, 2010
    DOI
  11. Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling
    Saeed Ahmadi Behnam, Daniel Amyot, and Gunter Mussbacher
    Saeed Ahmadi Behnam, Daniel Amyot, Gunter Mussbacher
    In Proceedings of the Eighth ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2010, Montreal, Canada, May 24-26, 2010, 2010
    DOI
  12. Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation
    Nicolas Genon, Patrick Heymans, and Daniel Amyot
    Nicolas Genon, Patrick Heymans, Daniel Amyot
    In Software Language Engineering - Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers, 2010
    DOI
  13. UCMExporter: Supporting Scenario Transformations from Use Case Maps
    Daniel Amyot, Ali Echihabi, and Yong He
    Daniel Amyot, Ali Echihabi, Yong He
    CoRR, 2010
  14. Requirements modeling with the aspect-oriented user requirements notation (AoURN): A case study
    G. Mussbacher, D. Amyot, J. Araújo, and 1 more author
    G. Mussbacher, D. Amyot, J. Araújo, A. Moreira
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010
  15. Towards a business intelligence framework for healthcare safety
    D. Ferrand, D. Amyot, and C.V. Corrales
    D. Ferrand, D. Amyot, C.V. Corrales
    Journal of Internet Banking and Commerce, 2010
  16. Business Process Compliance with the User Requirements Notation
    Daniel Amyot
    Daniel Amyot
    2010
  17. Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Syntax
    Nicolas Genon, Patrick Heymans, and Daniel Amyot
    Nicolas Genon, Patrick Heymans, Daniel Amyot
    In 3rd International Conference on Software Language Engineering (SLE 2010), Revised Selected Papers, 2010
  18. Making Business Processes Law Compliant
    Sepideh Ghanavati, Daniel Amyot, Alberto Siena, and 2 more authors
    Sepideh Ghanavati, Daniel Amyot, Alberto Siena, Angelo Susi, Anna Perini
    In First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), 2010

2009

  1. Business process management with the user requirements notation
    Alireza Pourshahid, Daniel Amyot, Liam Peyton, and 4 more authors
    Alireza Pourshahid, Daniel Amyot, Liam Peyton, Sepideh Ghanavati, Pengfei Chen, Michael Weiss, Alan J. Forster
    Electron. Commer. Res., 2009
    DOI
  2. Research Paper: A Globally Optimal k-Anonymity Method for the De-Identification of Health Data
    Khaled El Emam, Fida Kamal Dankar, Romeo Issa, and 9 more authors
    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
    DOI
  3. A Lightweight GRL Profile for i* Modeling
    Daniel Amyot, Jennifer Horkoff, Daniel Gross, and 1 more author
    Daniel Amyot, Jennifer Horkoff, Daniel Gross, Gunter Mussbacher
    In Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings, 2009
    DOI
  4. Feature Interactions in Aspect-Oriented Scenario Models
    Gunter Mussbacher, Daniel Amyot, Thomas Weigert, and 1 more author
    Gunter Mussbacher, Daniel Amyot, Thomas Weigert, Thomas Cottenier
    In Feature Interactions in Software and Communication Systems X, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2009, 11-12 June, 2009, Lisbon, Portugal, 2009
    DOI
  5. Semantic-Based Aspect Interaction Detection with Goal Models - (position paper)
    Gunter Mussbacher, Daniel Amyot, and Jon Whittle
    Gunter Mussbacher, Daniel Amyot, Jon Whittle
    In Feature Interactions in Software and Communication Systems X, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2009, 11-12 June, 2009, Lisbon, Portugal, 2009
    DOI
  6. Heterogeneous pointcut expressions
    Gunter Mussbacher and Daniel Amyot
    Gunter Mussbacher, Daniel Amyot
    In 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, Vancouver, BC, Canada, 18-18 May 2009, 2009
    DOI
  7. On modeling interactions of early aspects with goals
    Gunter Mussbacher and Daniel Amyot
    Gunter Mussbacher, Daniel Amyot
    In 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, Vancouver, BC, Canada, 18-18 May 2009, 2009
    DOI
  8. Goal and scenario modeling, analysis, and transformation with jUCMNav
    Gunter Mussbacher and Daniel Amyot
    Gunter Mussbacher, Daniel Amyot
    In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, 2009
    DOI
  9. Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety
    Saeed Ahmadi Behnam, Daniel Amyot, Alan J. Forster, and 2 more authors
    Saeed Ahmadi Behnam, Daniel Amyot, Alan J. Forster, Liam Peyton, Azalia Shamsaei
    In E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings, 2009
    DOI
  10. A Legal Perspective on Business: Modeling the Impact of Law
    Sepideh Ghanavati, Alberto Siena, Anna Perini, and 3 more authors
    Sepideh Ghanavati, Alberto Siena, Anna Perini, Daniel Amyot, Liam Peyton, Angelo Susi
    In E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings, 2009
    DOI
  11. An Aspect-Oriented Framework for Business Process Improvement
    Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, and 1 more author
    Alireza Pourshahid, Gunter Mussbacher, Daniel Amyot, Michael Weiss
    In E-Technologies: Innovation in an Open World, 4th International Conference, MCETECH 2009, Ottawa, Canada, May 4-6, 2009. Proceedings, 2009
    DOI
  12. Refactoring-Safe Modeling of Aspect-Oriented Scenarios
    Gunter Mussbacher, Daniel Amyot, and Jon Whittle
    Gunter Mussbacher, Daniel Amyot, Jon Whittle
    In Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, 2009
    DOI
  13. Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology
    Sepideh Ghanavati, Daniel Amyot, and Liam Peyton
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton
    In RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, 2009
    DOI
  14. Semantic-Based Interaction Detection in Aspect-Oriented Scenarios
    Gunter Mussbacher, Jon Whittle, and Daniel Amyot
    Gunter Mussbacher, Jon Whittle, Daniel Amyot
    In RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, 2009
    DOI
  15. Modeling and Analysis of URN Goals and Scenarios with jUCMNav
    Gunter Mussbacher, Sepideh Ghanavati, and Daniel Amyot
    Gunter Mussbacher, Sepideh Ghanavati, Daniel Amyot
    In RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009, 2009
    DOI
  16. Extending the User Requirements Notation with Aspect-Oriented Concepts
    Gunter Mussbacher and Daniel Amyot
    Gunter Mussbacher, Daniel Amyot
    In SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings, 2009
    DOI
  17. A UML Profile for Goal-Oriented Modeling
    Muhammad R. Abid, Daniel Amyot, Stéphane S. Somé, and 1 more author
    Muhammad R. Abid, Daniel Amyot, Stéphane S. Somé, Gunter Mussbacher
    In SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings, 2009
    DOI
  18. A Globally Optimal k-Anonymity Method for the De-Identification of Health Data
    K. El Emam, F.K. Dankar, R. Issa, and 9 more authors
    K. El Emam, F.K. Dankar, R. Issa, E. Jonker, D. Amyot, E. Cogo, J.-P. Corriveau, M. Walker, S. Chowdhury, R. Vaillancourt, T. Roffey, J. Bottomley
    Journal of the American Medical Informatics Association, 2009
  19. A UML profile for goal-oriented modeling
    M.R. Abid, D. Amyot, S.S. Somé, and 1 more author
    M.R. Abid, D. Amyot, S.S. Somé, G. Mussbacher
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009
  20. A lightweight GRL profile for i* modeling
    D. Amyot, J. Horkoff, D. Gross, and 1 more author
    D. Amyot, J. Horkoff, D. Gross, G. Mussbacher
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009
  21. Modeling and analysis of URN goals and scenarios with jUCMNav
    G. Mussbacher, S. Ghanavati, and D. Amyot
    G. Mussbacher, S. Ghanavati, D. Amyot
    Proceedings of the IEEE International Conference on Requirements Engineering, 2009
  22. Semantic-Based Aspect Interaction Detection with Goal Models
    Gunter Mussbacher, Daniel Amyot, and Jon Whittle
    Gunter Mussbacher, Daniel Amyot, Jon Whittle
    In Feature Interactions in Software and Communication Systems X (ICFI 2009), 2009

2008

  1. Modeling software product lines with AoURN
    Gunter Mussbacher, Daniel Amyot, João Araújo, and 1 more author
    Gunter Mussbacher, Daniel Amyot, João Araújo, Ana Moreira
    In Proceedings of the 2008 AOSD workshop on Early aspects, EA ’08, Brussels, Belgium, March 31, 2008, 2008
    DOI
  2. Flexible verification of user-defined semantic constraints in modelling tools
    Daniel Amyot and Jun Biao Yan
    Daniel Amyot, Jun Biao Yan
    In Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, October 27-30, 2008, Richmond Hill, Ontario, Canada, 2008
    DOI
  3. Comparative Analysis between Document-based and Model-based Compliance Management Approaches
    Sepideh Ghanavati, Daniel Amyot, and Liam Peyton
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton
    In First International Workshop on Requirements Engineering and Law, RELAW 2008, Barcelona, Spain, September 9, 2008, 2008
    DOI
  4. Assessing the applicability of use case maps for business process and workflow description
    G. Mussbacher and D. Amyot
    G. Mussbacher, D. Amyot
    Proceedings - 2008 International MCETECH Conference on e-Technologies, MCETECH 2008, 2008
  5. Failure semantics in a SOA environment
    C. Hobbs, H. Becha, and D. Amyot
    C. Hobbs, H. Becha, D. Amyot
    Proceedings - 2008 International MCETECH Conference on e-Technologies, MCETECH 2008, 2008
  6. Formalizing patterns with the user requirements notation
    G. Mussbacher, D. Amyot, and M. Weiss
    G. Mussbacher, D. Amyot, M. Weiss
    Ubiquitous Computing: Design, Implementation and Usability, 2008
  7. Next generation service engineering
    D. Amyot, H. Becha, R. Br?k, and 1 more author
    D. Amyot, H. Becha, R. Br?k, J.E.Y. Rosseb?
    International Telecommunication Union - Proceedings of the 1st ITU-T Kaleidoscope Academic Conference, Innovations in NGN, K-INGN, 2008
  8. Toward an integrated user requirements notation framework and tool for business process management
    A. Pourshahid, D. Amyot, L. Peyton, and 4 more authors
    A. Pourshahid, D. Amyot, L. Peyton, S. Ghanavati, P. Chen, M. Weiss, A.J. Forster
    Proceedings - 2008 International MCETECH Conference on e-Technologies, MCETECH 2008, 2008
  9. Towards semantic-based aspect interaction detection
    G. Mussbacher, J. Whittle, and D. Amyot
    G. Mussbacher, J. Whittle, D. Amyot
    CEUR Workshop Proceedings, 2008
  10. A UML Profile for Goal-Oriented Modelling
    Mohammad Reza Abid, Daniel Amyot, and Stéphane Somé
    Mohammad Reza Abid, Daniel Amyot, Stéphane Somé
    2008
  11. Development of Telecommunications Standards and Services with the User Requirements Notation
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    2008
  12. Interactive Conflict Resolution for Personalized Policy-Based Services
    Daniel Amyot, K. Baker, Tom Gray, and 3 more authors
    Daniel Amyot, K. Baker, Tom Gray, Ramiro Liscano, J. M. Seguin, J. Sincennes
    2008
    Patents: Canadian CA 2443337 (2008-07-15); US 7,548,967 (2009-06-16); European EP1411710 (2009-12-16).
  13. ITU-T Recommendation Z.151 (11/08): User Requirements Notation (URN) – Language Definition
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    2008
    Co-editors.
  14. ITU-T Recommendation Z.111 (11/08): Notations to Define ITU-T Languages
    Thomas Weigert and Daniel Amyot
    Thomas Weigert, Daniel Amyot
    2008
    Co-editors.

2007

  1. Visualizing Early Aspects with Use Case Maps
    Gunter Mussbacher, Daniel Amyot, and Michael Weiss
    Gunter Mussbacher, Daniel Amyot, Michael Weiss
    LNCS Trans. Aspect Oriented Softw. Dev., 2007
    DOI
  2. Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM)
    Gunter Mussbacher, Daniel Amyot, Jon Whittle, and 1 more author
    Gunter Mussbacher, Daniel Amyot, Jon Whittle, Michael Weiss
    In Early Aspects: Current Challenges and Future Directions - 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers, 2007
    DOI
  3. Towards a Framework for Tracking Legal Compliance in Healthcare
    Sepideh Ghanavati, Daniel Amyot, and Liam Peyton
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton
    In Advanced Information Systems Engineering, 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings, 2007
    DOI
  4. Combining VoiceXML with CCXML: A Comparative Study
    Daniel Amyot and Renato Simoes
    Daniel Amyot, Renato Simoes
    In 4th IEEE Consumer Communications and Networking Conference, CCNC 2007, Las Vegas, NV, USA, January 11-13, 2007, 2007
    DOI
  5. Enhanced Use Case Map Traversal Semantics
    Jason Kealey and Daniel Amyot
    Jason Kealey, Daniel Amyot
    In SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, 2007
    DOI
  6. Business Process Monitoring and Alignment: An Approach Based on the User Requirements Notation and Business Intelligence Tools
    Alireza Pourshahid, Daniel Amyot, Pengfei Chen, and 2 more authors
    Alireza Pourshahid, Daniel Amyot, Pengfei Chen, Michael Weiss, Alan J. Forster
    In Anais do WER07 - Workshop em Engenharia de Requisitos, Toronto, Canada, May 17-18, 2007, 2007
  7. A Requirements Management Framework for Privacy Compliance
    Sepideh Ghanavati, Daniel Amyot, and Liam Peyton
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton
    In Anais do WER07 - Workshop em Engenharia de Requisitos, Toronto, Canada, May 17-18, 2007, 2007
  8. Combining VoiceXML with CCXML - A comparative study
    D. Amyot and R. Simoes
    D. Amyot, R. Simoes
    2007 4th Annual IEEE Consumer Communications and Networking Conference, CCNC 2007, 2007
  9. Visualizing aspect-oriented goal models with AoGRL
    G. Mussbacher, D. Amyot, J. Araújo, and 2 more authors
    G. Mussbacher, D. Amyot, J. Araújo, A. Moreira, M. Weiss
    2nd International Workshop on Requirements Engineering Visualization, REV 2007, 2007
  10. A Compliance Framework for Business Processes Based on URN and DOORS
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton, and 1 more author
    Sepideh Ghanavati, Daniel Amyot, Liam Peyton, Gunter Mussbacher
    2007
  11. Business Process Monitoring and Alignment: An Approach Based on the User Requirements Notation and Business Intelligence Tool
    Alireza Pourshahid, P. Chen, Daniel Amyot, and 2 more authors
    Alireza Pourshahid, P. Chen, Daniel Amyot, Alan J. Forster, Michael Weiss
    In 10th Workshop on Requirements Engineering (WER’07), 2007

2006

  1. Foreword - New technologies in distributed systems
    Kamel Adi, Daniel Amyot, and Luigi Logrippo
    Kamel Adi, Daniel Amyot, Luigi Logrippo
    Ann. des Télécommunications, 2006
    DOI
  2. Towards the Automated Conversion of Natural-Language use Cases to Graphical use Case Maps
    Jason Kealey and Daniel Amyot
    Jason Kealey, Daniel Amyot
    In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, 2006
    DOI
  3. Integrating an Eclipse-Based Scenario Modeling Environment with a Requirements Management System
    Jason Kealey, Yongdae Kim, Daniel Amyot, and 1 more author
    Jason Kealey, Yongdae Kim, Daniel Amyot, Gunter Mussbacher
    In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, 2006
    DOI
  4. Evaluation of Development Tools for Domain-Specific Modeling Languages
    Daniel Amyot, Hanna Farah, and Jean-François Roy
    Daniel Amyot, Hanna Farah, Jean-François Roy
    In System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, 2006
    DOI
  5. Towards Integrated Tool Support for the User Requirements Notation
    Jean-François Roy, Jason Kealey, and Daniel Amyot
    Jean-François Roy, Jason Kealey, Daniel Amyot
    In System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers, 2006
    DOI
  6. Visualizing aspect-oriented requirements scenarios with use case maps
    G. Mussbacher, D. Amyot, and M. Weiss
    G. Mussbacher, D. Amyot, M. Weiss
    First International Workshop on Visualization in Requirements Engineering, REV 2006, 2006
  7. Guest Editorial: New Technologies in Distributed Systems
    Kamel Adi, Daniel Amyot, and Luigi Logrippo
    Kamel Adi, Daniel Amyot, Luigi Logrippo
    Annals of Telecommunications, 2006
    Special issue on New Technologies in Distributed Systems.
  8. Management of Interactions of Customisable Features in IP Telephony Using Deontic Task Trees and Execution Operators
    Tom Gray and Daniel Amyot
    Tom Gray, Daniel Amyot
    2006
    Patents: European EP1389865 (2006-10-04); Canadian CA2436072 (2008-01-09); US 7,522,710 (2009-04-21).
  9. Formalizing Architectural Patterns with the Goal-oriented Requirement Language
    Gunter Mussbacher, Michael Weiss, and Daniel Amyot
    Gunter Mussbacher, Michael Weiss, Daniel Amyot
    In Fifth Nordic Pattern Languages of Programs Conference (VikingPLoP’06), 2006

2005

  1. Generation of test purposes from Use Case Maps
    Daniel Amyot, Luigi Logrippo, and Michael Weiss
    Daniel Amyot, Luigi Logrippo, Michael Weiss
    Comput. Networks, 2005
    DOI
  2. Business Process Modeling with URN
    Michael Weiss and Daniel Amyot
    Michael Weiss, Daniel Amyot
    Int. J. E Bus. Res., 2005
    DOI
  3. Interactive conflict detection and resolution for personalized features
    Daniel Amyot, Tom Gray, Ramiro Liscano, and 2 more authors
    Daniel Amyot, Tom Gray, Ramiro Liscano, Luigi Logrippo, Jacques Sincennes
    J. Commun. Networks, 2005
    DOI
  4. Recovering Behavioral Design Models from Execution Traces
    Abdelwahab Hamou-Lhadj, Edna Braun, Daniel Amyot, and 1 more author
    Abdelwahab Hamou-Lhadj, Edna Braun, Daniel Amyot, Timothy Lethbridge
    In 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings, 2005
    DOI
  5. Service Discovery and Component Reuse with Semantic Interfaces
    Richard Torbjørn Sanders, Rolv Bræk, Gregor Bochmann, and 1 more author
    Richard Torbjørn Sanders, Rolv Bræk, Gregor Bochmann, Daniel Amyot
    In SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, 2005
    DOI
  6. UCM-Driven Testing of Web Applications
    Daniel Amyot, Jean-François Roy, and Michael Weiss
    Daniel Amyot, Jean-François Roy, Michael Weiss
    In SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, 2005
    DOI
  7. Design and Evolution of e-Business Models
    Michael Weiss and Daniel Amyot
    Michael Weiss, Daniel Amyot
    In 7th IEEE International Conference on E-Commerce Technology (CEC 2005), 19-22 July 2005, München, Germany, 2005
    DOI
  8. System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
    2005
    DOI
  9. Lecture Notes in Computer Science: Preface
    D. Amyot and A. Williams
    D. Amyot, A. Williams
    Lecture Notes in Computer Science, 2005
  10. Importing and Updating of Scenario Models in DOORS
    Gunter Mussbacher, B. Jiang, Daniel Amyot, and 1 more author
    Gunter Mussbacher, B. Jiang, Daniel Amyot, Murray Woodside
    2005
  11. ITU-T Recommendation Z.120 (04/04): Message Sequence Chart (MSC)
    Clive Jervis and Daniel Amyot
    Clive Jervis, Daniel Amyot
    2005
    Co-editors.
  12. jUCMNav: une nouvelle plateforme ouverte pour l’édition et l’analyse de modèles UCM
    Jason Kealey, Étienne Tremblay, Jean-Philippe Daigle, and 3 more authors
    Jason Kealey, Étienne Tremblay, Jean-Philippe Daigle, Jordan McManus, Olivier Clift-Noël, Daniel Amyot
    In Nouvelles Technologies de la Répartition (NOTERE’05), 2005
  13. Business Model Design and Evolution
    Michael Weiss and Daniel Amyot
    Michael Weiss, Daniel Amyot
    In IAMOT 14th International Conference on Management of Technology, 2005
  14. Designing and Evolving Business Models with URN
    Michael Weiss and Daniel Amyot
    Michael Weiss, Daniel Amyot
    In Montreal Conference on e-Technologies (MCeTech), 2005
    Best Paper Award.

2004

  1. Directions in feature interaction research
    Daniel Amyot and Luigi Logrippo
    Daniel Amyot, Luigi Logrippo
    Comput. Networks, 2004
    DOI
  2. Guest editorial: Directions in feature interaction research
    D. Amyot and L. Logrippo
    D. Amyot, L. Logrippo
    Computer Networks, 2004
  3. Tuple Space Operations for Fine Grained System Control
    Tom Gray, Daniel Amyot, O. Leger, and 5 more authors
    Tom Gray, Daniel Amyot, O. Leger, W. Young, I. Lakins, J. Day, C. Banger, D. Athersych
    2004
    Patents: US 6,704,734 (2004-03-09); European EP1329810 (2006-08-18); Canadian CA2416070 (2008-04-01).
  4. UCM-Based Generation of Test Goals
    Daniel Amyot, Michael Weiss, and Luigi Logrippo
    Daniel Amyot, Michael Weiss, Luigi Logrippo
    In Workshop on Integrated-reliability with Telecommunications and UML Languages (WITUL’04), 2004

2003

  1. Introduction to the User Requirements Notation: learning by example
    Daniel Amyot
    Daniel Amyot
    Comput. Networks, 2003
    DOI
  2. An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development
    Daniel Amyot and Armin Eberlein
    Daniel Amyot, Armin Eberlein
    Telecommun. Syst., 2003
    DOI
  3. Traceability and Evaluation in Scenario Analysis by Use Case Maps
    Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, and 1 more author
    Dorin Bogdan Petriu, Daniel Amyot, C. Murray Woodside, Bo Jiang
    In Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers, 2003
    DOI
  4. Generating Scenarios from Use Case Map Specifications
    Daniel Amyot, Xiangyang He, Yong He, and 1 more author
    Daniel Amyot, Xiangyang He, Yong He, Dae Yong Cho
    In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, 2003
    DOI
  5. Scenario-Based Performance Engineering with UCMNAV
    Dorina C. Petriu, Daniel Amyot, and C. Murray Woodside
    Dorina C. Petriu, Daniel Amyot, C. Murray Woodside
    In SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, 2003
    DOI
  6. Synthesizing SDL from Use Case Maps: An Experiment
    Yong He, Daniel Amyot, and Alan W. Williams
    Yong He, Daniel Amyot, Alan W. Williams
    In SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, 2003
    DOI
  7. Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada
    2003
  8. Synthesizing SDL from use case maps: An experiment
    Y. He, D. Amyot, and A.W. Williams
    Y. He, D. Amyot, A.W. Williams
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003
  9. URN: Towards a new standard for the visual description of requirements
    D. Amyot and G. Mussbacher
    D. Amyot, G. Mussbacher
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003
  10. Standardizing Requirements Notations: URN, and What Else?
    Daniel Amyot
    Daniel Amyot
    2003
  11. ITU-T Recommendation Z.150 (02/03): User Requirements Notation (URN) – Language Requirements and Framework
    Daniel Amyot
    Daniel Amyot
    2003
    Editor.

2002

  1. URN: Towards a New Standard for the Visual Description of Requirements
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    In Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, 2002
    DOI
  2. Understanding Existing Software with Use Case Map Scenarios
    Daniel Amyot, Nikolai Mansurov, and Gunter Mussbacher
    Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher
    In Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers, 2002
    DOI
  3. URN : vers une nouvelle norme pour la description visuelle d’exigences
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    In Colloque Francophone sur l’Ingénierie des Protocoles (CFIP 2002), 2002

2001

  1. Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs)
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    In Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada, 2001
  2. Deriving Message Sequence Charts from Use Case Maps Scenario Specifications
    Andrew Miga, Daniel Amyot, Francis Bordeleau, and 2 more authors
    Andrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, C. Murray Woodside
    In SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings, 2001
    DOI
  3. A Collection of Patterns for Use Case Maps
    Gunter Mussbacher and Daniel Amyot
    Gunter Mussbacher, Daniel Amyot
    In First Latin American Conference on Pattern Languages of Programming (SugarLoafPLoP 2001), 2001
    Also in UERJ – Cadernos do IME, Special Edition, June 2002, ISSN 1413-9014.
  4. An Evaluation of Scenario Notations for Telecommunication Systems Development
    Daniel Amyot and Armin Eberlein
    Daniel Amyot, Armin Eberlein
    In 9th International Conference on Telecommunications Systems (ICTS’01), 2001

2000

  1. Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
    Daniel Amyot and Luigi Logrippo
    Daniel Amyot, Luigi Logrippo
    Comput. Commun., 2000
    DOI
  2. Use Case Maps as a Feature Description Notation
    Daniel Amyot
    Daniel Amyot
    In Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000, 2000
    DOI
  3. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS
    Daniel Amyot, Leı̈la Charfi, Nicolas Gorse, and 5 more authors
    Daniel Amyot, Leı̈la Charfi, Nicolas Gorse, Tom Gray, Luigi Logrippo, Jacques Sincennes, Bernard Stepien, Tom Ware
    In Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK, 2000
  4. Structural Coverage For LOTOS - a Probe Insertion Technique
    Daniel Amyot and Luigi Logrippo
    Daniel Amyot, Luigi Logrippo
    In Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada, 2000
  5. On the Extension of UML with Use Case Maps Concepts
    Daniel Amyot and Gunter Mussbacher
    Daniel Amyot, Gunter Mussbacher
    In \guillemotleftUML\guillemotright 2000 - The Unified Modeling Language, Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, Proceedings, 2000
    DOI
  6. On the extension Of UML with use case maps concepts
    D. Amyot and G. Mussbacher
    D. Amyot, G. Mussbacher
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000
  7. Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
    D. Amyot and L. Logrippo
    D. Amyot, L. Logrippo
    Computer Communications, 2000
  8. Towards the Standardization of Use Case Maps as a User Requirements Notation
    Daniel Amyot
    Daniel Amyot
    2000
  9. Use Case Maps as a Feature Description Language
    Daniel Amyot
    Daniel Amyot
    In Language Constructs for Designing Features, 2000

1999

  1. Use Case Maps for the Capture and Validation of Distributed Systems Requirements
    Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, and 1 more author
    Daniel Amyot, Luigi Logrippo, Raymond J. A. Buhr, Tom Gray
    In 4th IEEE International Symposium on Requirements Engineering (RE ’99), 7-11 June 1999, Limerick, Ireland, 1999
    DOI
  2. Formal methods for mobility standards
    D. Amyot, R. Andrade, L. Logrippo, and 2 more authors
    D. Amyot, R. Andrade, L. Logrippo, J. Sincennes, Z. Yi
    1999 IEEE Emerging Technologies Symposium - Wireless Communications and Systems, ETWCS 1999, 1999
  3. Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOS
    Daniel Amyot and Luigi Logrippo
    Daniel Amyot, Luigi Logrippo
    1999
  4. Génération de tests fonctionnels à l’aide de scénarios causaux
    Daniel Amyot
    Daniel Amyot
    1999
  5. Description of Wireless Intelligent Network Services with Use Case Maps
    Daniel Amyot and Rossana Andrade
    Daniel Amyot, Rossana Andrade
    In 17\textordmasculine Simpósio Brasileiro de Redes de Computadores (SBRC’99), 1999

1998

  1. Feature-Interaction Visualisation and Resolution in an Agent Environment
    Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, and 3 more authors
    Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski
    In Feature Interactions in Telecommunications and Software Systems V, September 29 - October 1, 1998, Malmö, Sweden, 1998
  2. High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example
    Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, and 3 more authors
    Raymond J. A. Buhr, Daniel Amyot, Mohamed Elammari, Darcy Quesnel, Tom Gray, Serge Mankovski
    In Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM 1998, Westminster Central Hall, London, UK, March 23-25, 1998, 1998
  3. Use Case Maps for the Design and the Validation of Interaction-Free Telephony Features
    Daniel Amyot
    Daniel Amyot
    1998
  4. Group Communication Server: A Scenario-Based Design Exercise
    Daniel Amyot
    Daniel Amyot
    1998
  5. Feature-Interaction Visualization and Resolution in an Agent Environment
    R. J. A. Buhr, Daniel Amyot, Mohamed Elammari, and 3 more authors
    R. J. A. Buhr, Daniel Amyot, Mohamed Elammari, D. Quesnel, Tom Gray, Serge Mankovski
    In Fifth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW’98), 1998

1997

  1. Spécification et conception de systèmes communicants: une approche rigoureuse basée sur des scénarios d’usage
    Daniel Amyot, Luigi Logrippo, and R. J. A. Buhr
    Daniel Amyot, Luigi Logrippo, R. J. A. Buhr
    In CFIP 97, Ingénierie des protocoles, 1997

1995

  1. Formal Support for Design Techniques: A Timethreads-LOTOS Approach
    Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, and 1 more author
    Daniel Amyot, Francis Bordeleau, Raymond J. A. Buhr, Luigi Logrippo
    In Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995, 1995