présentations
Conférences invitées, exposés magistraux, tutoriels, séminaires et démonstrations.
2026
- SymboleoAC: From Contractual Requirements to Executable, Access-Controlled Smart Contracts in Cyber-Physical EnvironmentsS. Alfuhaid, A. A. Anda, D. Amyot, J. Mylopoulos, M. Roveri2026 34th IEEE International Requirements Engineering Conference (RE), Posters and Tool Demos Track, Montréal, Canada, August , 2026
- Process Mining for Requirements Engineering and Process Improvement Activities – Recent Experiences from Canadian OrganizationsD. AmyotInvited seminar, Department of Electrical and Software Engineering, University of Calgary, Canada, June 15 , 2026
2025
- Process Mining, With a Touch of AID. AmyotSeminar Series, DTI Student Association, University of Ottawa, Canada, October 2 , 2025
- Process Mining & Artificial Intelligence / Forage de processus & Intelligence artificielleD. AmyotSérie Leadership Speaker Series, Telfer School of Management, University of Ottawa, Canada, July 16 , 2025
- From Legal Contracts to Smart Contracts using Symboleo and Large Language ModelsD. AmyotInvited talk, SnT, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxemburg, Luxemburg, May 12 , 2025
- From Contractual Requirements to Smart Contracts using Symboleo and LLMsD. AmyotInvited talk, IFIP WG 2.9 Requirements Engineering Meeting, Dominican Republic, February 25 , 2025
- From legal contracts to smart contracts using Symboleo and LLMsD. Amyot
, 2025Invited seminar, Chalmers University of Gothenburg, Sweden, January 20
2024
- Engineering Requirements for Social Housing Through PrototypingD. Amyot, V. Kolesnyk, L. Lessard, V. Parekh, Y.R. Motwani, K. Sauvé-Schenk, J. Sylvestre, S. ValipourebrahimiKeynote talk and extended abstract, Fifth International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH), Reykjavik, Iceland, June 2024. REW, IEEE CS, 360–361 , 2024
- SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract TemplatesR. Meloche, D. Amyot, J. Mylopoulos2024 32nd IEEE International Requirements Engineering Conference (RE), Tools and Demos Track, Reykjavik, Iceland, June 2024. IEEE CS, 498–499. Best Poster/Demo Award , 2024
2023
- i* and URND. Amyot, G. MussbacheriStar’23 Celebratory Symposium, Hannover, Germany, September 3 , 2023
- A Multi-Disciplinary Approach to Digital Transformation and Innovation (DTI)D. AmyotInvited presentation, 4th Digital Transformation in Government Conference (DTiG), online, Canada, June 13 , 2023
2022
- Goal-oriented Process Mining for Extracting Enterprise ProcessesD. AmyotInvited lecture, York University, Toronto, Canada, November 15 , 2022
- CyPreSS ORF: Generation of Smart Contracts by Modelling, Analyzing, and Transforming Legal ContractsD. Amyot2nd CASCONxEVOKE Workshop on Software Techniques for Engineering Cyber-Physical Systems, Toronto, Canada , 2022
- Policing Blockchain… and Smart ContractsD. AmyotPanel presentation, ACT Partnership Annual Meeting - 2022, Conflicting Values in the Development of Legal AI, Montreal, Canada, October 6 , 2022
- Symboleo: a language for specifying legal contractual requirements and generating smart contractsD. AmyotKeynote talk, Workshop on Requirements Engineering (WER2022), online, Brazil, August 24 , 2022
- Goal-oriented Process Mining for Extracting Enterprise ProcessesD. AmyotNEMO Summer School Series, University of Vienna, Vienna, Austria, July 12 , 2022
- From Legal Contracts to Smart Contracts using SymboleoD. AmyotLaw, Society & AI Seminar, HEC Paris, Paris, France, June 23 , 2022
- A Multi-Disciplinary Approach to Digital Transformation and Innovation (DTI)D. AmyotInvited presentation, 3rd Digital Transformation in Government Conference (DTiG), online, Canada, June 16 , 2022
- Symboleo: a language for specifying/verifying legal contracts and generating smart contractsD. AmyotSeminar presentation, École Polytechnique, Montréal, Canada, April 14 , 2022
- “Do Your Own Research...” How to do it, really!D. AmyotSeminar presentation, Hojjat Salemi Career Development Workshops, University of Ottawa, online, Canada , 2022
- On vision, requirements, and education in software engineeringD. AmyotInvited talk, Marsh Awards, Faculty of Engineering, University of Ottawa, online, Canada, January 10 , 2022
2021
- CyPreSS ORF: The Symboleo ProjectD. Amyot, A. Parvizimosaed, J. MylopoulosInvited presentation, CASCONxEVOKE Workshop on Software Techniques for Engineering Cyber-Physical Systems, online, Canada, November 25 , 2021
- Next-Generation Social Modeling, My Humble OpinionD. AmyotPanel, 14th International iStar Workshop, online, Canada, October 18 , 2021
- Goal-oriented Process Mining for Extracting Enterprise ProcessesD. AmyotNEMO Summer School Series, online, Austria, July 20 , 2021
- User Requirements Notation: Beneficial requirements modelling with goals and processesD. AmyotInvited talk, 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021), online, Spain, June 8 , 2021
- Spécification et vérification de contrats: Expérience avec le langage SymboleoD. AmyotSeminar presentation, LATECE, UQAM, online, Canada, May 19 , 2021
- Contract Specification and Verification: Experience with the Symboleo LanguageD. AmyotKeynote presentation, 15th International Workshop on Value Modeling and Business Ontologies (VMBO 2021), online, Italy. March 5 , 2021
2020
- Two decades of combined goal/process modeling: lessons learned and opportunitiesD. AmyotKeynote presentation, 13th International i* Workshop (iStar2020), online, Switzerland, September 1 , 2020
- Designing a formal language to specify, verify, and monitor Smart ContractsD. AmyotResearch presentation, ACT Partnership Annual Meeting - 2020, The Year of Cyberjustice?, online, Canada, June 23 , 2020
2019
- Forage de modèles de processus: Amélioration du prétraitement et intégration de butsD. AmyotSéminaire, Université de Sherbrooke, Canada, November 15 , 2019
- Process Mining: On the need for goals and enhanced preprocessingD. AmyotFaculty of Information Technology Talk, Monash University, Melbourne, Australia, October 24 , 2019
- Research on Evidence-Based Regulatory ManagementO. Akhigbe, D. AmyotTVT Talk, IBM Canada, Ottawa, Canada, April 11 , 2019
- Mon expérience en génie : Développement, éthique et diversitéD. AmyotSoirée reconnaissance de l’Ordre des ingénieurs du Québec – Outaouais, Gatineau, Canada, March 12 , 2019
2018
- Evidence-Driven Evolution of Regulatory Requirements with Goal Models and Watson AnalyticsD. AmyotInvited talk, Hamburg Requirements Engineering Symposium, Hamburg, Germany, May 23 , 2018
- Modélisation en soins de santé: exigences et processus cliniquesD. AmyotSéminaire, Université du Québec en Outaouais, Gatineau, Canada, February 22 , 2018
2017
- Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual ModelsO. Akhigbe, S. Heap, D. Amyot, G.S. RichardsER Forum/Demos, Valencia, Spain, November 2017. CEUR-WS Vol-1979, 338–342 , 2017
- Goal-oriented Regulatory Intelligence: Can Goal Modeling and Emerging Analytics Tools Help Regulators?D. AmyotKeynote talk, Tenth International Workshop on Requirements Engineering and Law (RELAW), Lisbon, Portugal , 2017
2016
- Modeling and Analysis with the User Requirements Notation 2.0: Features, Goals, and ScenariosD. Amyot, G. MussbacherTutorial, 24th IEEE Int. Requirements Engineering Conference, Beijing, China, September 13 , 2016
- Modeling in Healthcare: Requirements and Clinical ProcessesD. AmyotKeynote talk, Sixth International Model-Driven Requirements Engineering (MoDRE), Beijing, China, September 12 , 2016
- User Requirements Notation (URN): Application to Compliance AnalysisD. AmyotResearch seminar, SnT - Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg, May 31 , 2016
- Modeling and Analysis with the User Requirements Notation 2.0: Features, Goals, and ScenariosD. AmyotResearch seminar, SnT - Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg, May 30 , 2016
- The Relevance of MDE Thirty Years from NowD. AmyotInvited lecture, Universitat Politècnica de València, Valencia, Spain, May 25 , 2016
- Exploiting Real-Time Location Systems for Novel Healthcare ServicesD. AmyotPatent Examination Technical Seminars, Canadian Intellectual Property Office, Gatineau, Canada, February 2 , 2016
2015
- User Requirements Notation (URN): Overview and Application to Legal ComplianceD. AmyotSeminar presentation, Department of Computer Science, University of Toronto, Toronto, Canada, November 25 , 2015
- User Requirements Notation (URN): Overview and Application to Business Process Modeling and Legal ComplianceD. AmyotSeminar presentation, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France, November 10 , 2015
- User Requirements Notation (URN): Overview and Application to Business Process Modeling and Legal ComplianceD. AmyotKeynote presentation, 12th Annual Conference on Business Information Systems (OGIK’2015), Veszprém, Hungary, November 6 , 2015
- Introduction à la notation d’exigences utilisateur (URN) et à la formalisation de patternsD. AmyotInvited lecture, École Nationale d’Aviation Civile (ENAC), Toulouse, France, November 2 , 2015
- User Requirements Notation (URN): Application to Legal Compliance and Regulatory IntelligenceD. AmyotTutorial, Cyberjustice Laboratory, Université de Montréal, Canada, April 20 , 2015
- The User Requirements Notation and its Application to Business Process Modeling and Legal ComplianceD. AmyotInvited presentation, King Fahd University of Petroleum and Minerals, Saudi Arabia, March 19 , 2015
- Emerging Healthcare Services Based on Real-Time Location SystemsD. AmyotInvited presentation, King Fahd University of Petroleum and Minerals, Saudi Arabia, March 19 , 2015
- The User Requirements Notation and its Application to Legal ComplianceD. AmyotInvited presentation, American University of Kuwait, March 18 , 2015
- Emerging Healthcare Services Based on Real-Time Location SystemsD. AmyotKeynote presentation, First International Conference on Computing Sciences and Engineering (ICCSE 2015), Kuwait, March 18 , 2015
2014
- Modeling and analysis with the User Requirements Notation 2.0: features, goals, and scenariosD. Amyot, G. MussbacherFull-day tutorial, 22nd IEEE International Requirements Engineering Conference (RE 2014), Karlskrona, Sweden, August 25 , 2014
- Foundations, Design and Operations of the MET4 Computer System for Supporting Interdisciplinary Healthcare TeamD. Astaraky, D. Amyot, R. Li, W. Michalowski, S. Wilk, C. Kuziemsky, P. AndreevAbstract presentation, 56th Canadian Operational Research Society (CORS) Annual Conference, Ottawa, Canada, May 26-28 , 2014
2013
- An introduction to the User Requirements Notation (URN) and Use Case Maps (UCM)D. AmyotInvited tutorial, CMC Electronics, Montréal, Canada, August 20 , 2013
- The User Requirements Notation (URN), with Application to Business Process Modeling and Legal ComplianceD. AmyotInvited tutorial, Universidade Federal do Ceará, Fortaleza, Brazil, July 22-23 , 2013
- Practical Applications of i* in Industry: The State of the ArtE. Yu, D. Amyot, G. Mussbacher, X. Franch, J. CastroMini-tutorial, 21th IEEE International Requirements Engineering Conference (RE 2013), Rio de Janeiro, Brazil, July 18, 2013. IEEE CS (to appear) , 2013
- URN Modeling and Analysis with jUCMNav 5D. Amyot, G. Mussbacher, J. Kealey, E. TremblayDemo/poster presentation, 16th SDL Forum Conference (SDL’13), Montréal, Canada, June , 2013
- An architecture and a platform for real-time, location-based patient flow monitoringD. AmyotInvited talk, IBM TechConnect, Ottawa, Canada, May , 2013
2012
- The User Requirements Notation (URN) for Business Process Modeling and Legal ComplianceD. AmyotTutorial, Third Kuwait Conference on e-Services and e-Systems, Kuwait City, Kuwait, December , 2012
- An architecture and a platform for real-time, location-based patient flow monitoringD. AmyotInvited talk, Third Kuwait Conference on e-Services and e-Systems, Kuwait City, Kuwait, December , 2012
- Towards Real-Time, Location-based Patient Flow ManagementD. AmyotInvited talk, Digital Transformation 3.0: Changing Clinical Care, University of Ottawa, Canada, October , 2012
- Performance-based Regulatory Compliance FrameworkD. AmyotInvited talk, IBM Center for Business Analytics and Performance, University of Ottawa, Canada, October , 2012
- Concern-Driven Development with jUCMNavD. Amyot, S. Leblanc, J. Kealey, J. KienzleResearch demo. 20th IEEE Int. Requirements Engineering Conference (RE’12). Chicago, USA, September 2012. IEEE CS, 319–320 , 2012
- Tool Support for Combined Rule-Based and Goal-Based Reasoning in Context-Aware SystemsM. Vrbaski, D.C. Petriu, D. AmyotResearch demo. 20th IEEE Int. Requirements Engineering Conference (RE’12). Chicago, USA, September 2012. IEEE CS, 335–336. (Best Poster & Demo Award) , 2012
2011
- Framework for Situational Analytics:Building Blocks for Decision MakingD. Amyot, G. Richards, A. Pourshahid, I. JohariCASCON Workshop on Information Management for Situational Analytics, Toronto, Canada, November 9 , 2011
- Proactive Adverse Event Management in HealthcareS. Behnam, D. Amyot, A.J. ForsteriStar Showcase’11, London, UK, June , 2011
- Using URN and Key Performance Indicators for Performance Management in Small and Medium EnterprisesA. Pourshahid, D. Amyot, G. Richards, H. MeekiStar Showcase’11, London, UK, June , 2011
- Une approche orienté aspect allant du modèle d’exigences au modèle de conceptionS. Mosser, G. Mussbacher, M. Blay-Fornarino, D. AmyotInvited paper. Proceedings of the Journées du GDR GPL, CNRS, Lille, France, June 2011, 1–2 , 2011
- Business Process Modeling, Management and Compliance with the User Requirements NotationD. AmyotÉcole doctorale, Conférence universitaire de Suisse occidentale (CUSO), 6-hour course, Les Diablerets, Switzerland, January 25-26 , 2011
- Business Process Management with the User Requirements NotationD. AmyotDepartmental Seminar, Fondazione Bruno Kessler – CIT, Trento, Italy, April 9 , 2011
2010
- User Requirements Notation: The First Ten Years, The Next Ten YearsD. AmyotDepartmental Seminar, University of Pannonia, Veszprém, Hungary, April 7 , 2010
- URN and jUCMNavD. AmyotTutorial, University of Pannonia, Veszprém, Hungary, April 6 , 2010
- Business Process Management and Compliance with the User Requirements NotationD. AmyotDepartmental Seminar, Lancaster University, UK, March 31 , 2010
- User Requirements Notation: The First Ten Years, The Next Ten YearsD. AmyotDepartmental Seminar, FUNDP, Université de Namur, Belgium, March 19 , 2010
2009
- Modeling and Analysis of URN Goals and Scenarios with jUCMNavG. Mussbacher, S. Ghanavati, D. AmyotResearch demo at the 17th IEEE International Requirements Engineering Conference (RE’09), Atlanta, USA, September 2009. Short paper also published by IEEE CS, 383–384 , 2009
- The User Requirements Notation (URN) and AspectsG. Mussbacher, D. AmyotTutorial, 17th IEEE Int. Requirements Engineering Conference (RE’09), Atlanta, USA, September , 2009
- Goal and Scenario Modeling, Analysis, and Transformation with jUCMNavG. Mussbacher, D. AmyotResearch demo poster at the 31st Int. Conf. on Software Engineering (ICSE’09), Vancouver, Canada, May 2009. Short paper also published by ACM , 2009
- Modélisation de processus d’affaires à l’aide de la notation d’exigences utilisateurs (URN)D. AmyotDepartmental Seminar, Université du Québec en Outaouais, Canada, March 6 , 2009
2008
- ITU-T’s User Requirements Notation (URN) and jUCMNavD. AmyotCASCON Workshop on Requirements-Driven Business Process Modelling and Performance Management, Toronto, Canada, October , 2008
- Applications de la notation d’exigences utilisateurs (URN)D. AmyotDepartmental Seminar, Université du Québec en Outaouais, Canada, February 28 , 2008
2007
- User Requirements Notation (URN): Application and Research AreasD. AmyotEarly RE Seminars, Requirements-driven Approaches to Software and Systems Engineering, University of Toronto, Canada , 2007
- User Requirements Notation (URN): Overview, Tools and PerspectivesD. AmyotDepartmental Seminar, NTNU, Trondheim, Norway, June 8 , 2007
2006
- User Requirements Notation (URN): Overview, Tools and PerspectivesD. AmyotMotorola Software, System and Simulation Symposium (S3S), Chicago, USA , 2006
- Notation d’exigences utilisateurs (URN): Aperçu, outils et perspectivesD. AmyotDepartmental Seminar, École Polytechnique, Montréal, Canada, March 14 , 2006
2005
- Génération de tests à partir de modèles UCMD. AmyotDepartmental Seminar, Université du Québec à Montréal, Canada, February 11 , 2005
2004
- Analysis and Transformations with Use Case MapsD. AmyotDepartmental Seminar, Al Akhawayn University in Ifrane, Morocco, July 2 , 2004
2003
- Integrated application of the User Requirements NotationD. AmyotITU-T Workshop on Integrated application of formal languages, Geneva, Switzerland, September , 2003
- Introduction to the User Requirements NotationD. AmyotURN Focus Group meeting, Hamilton, Canada, May , 2003
- Introduction to the User Requirements NotationD. AmyotISO/IEC JTC1 SC7 meeting, Montréal, Canada, May , 2003
- ITU-T, Recommendation Z.150: User Requirements Notation (URN) – Language Requirements and FrameworkD. AmyotQ.18 Rapporteur (D. Amyot) contribution, September 2002. Approved February , 2003
2002
- Using the User Requirements NotationD. AmyotITU-T Workshop on Use of Description Techniques, Geneva, Switzerland, November , 2002
- User Requirements NotationD. AmyotTutorial, Concordia Summer School in Communication Software Engineering, Montréal, Canada, August , 2002
- User Requirements NotationD. AmyotASERC Seminar, University of Calgary, Canada, August , 2002
- User Requirements NotationD. AmyotITU-T Workshop on Framework and scope of formal languages, Geneva, Switzerland, March , 2002
2001
- From Requirements to UML Models with Use Case Maps (UCMs)D. Amyot, G. MussbacherTutorial, «UML» 2001. Toronto, Canada, October , 2001
- Specification and Validation of Telecommunications Systems with Use Case Maps and LOTOSD. AmyotPh.D. thesis, SITE, University of Ottawa, Canada, September , 2001
- Use Case Maps Bridging the Gap Between Requirements and DesignD. Amyot, G. MussbacherTutorial, RE’01. Toronto, Canada, August , 2001
- Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs)D. Amyot, G. MussbacherTutorial, ICSE 2001. Toronto, Canada, May , 2001
- Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs)D. Amyot, G. MussbacherTutorial, Concordia University, Montréal, Canada, May , 2001
1999
- Éditorial : Problèmes (ré)partis? APIIQ, L’Expertise informatiqueD. AmyotVol. 4, n° 1 (Systèmes répartis), p.2, hiver , 1999
1998
- Éditorial: Multimédia virtuelD. AmyotAPIIQ, L’Expertise informatique, Vol. 3, n° 2 (Multimédia), p.2, printemps , 1998
1997
- Éditorial: L’ère des ressources informationnellesD. AmyotAPIIQ, L’Expertise informatique, Vol. 3, n° 1 (Bases de données et gestion des connaissances), p.2, été , 1997
- Éditorial: Une voie réservée sur les inforoutesD. AmyotAPIIQ, L’Expertise informatique, Vol. 2, n° 2 (Inforoute), p.2, hiver , 1997
1996
- Éditorial: Réflexions sur le génie logiciel et l’avenir de notre professionD. AmyotAPIIQ, L’Expertise informatique, Vol. 2, n° 1 (Génie logiciel), p.2, été , 1996