Daniel Amyot
Orcid: 0000-0003-2414-1791Affiliations:
- University of Ottawa, Canada
According to our database1,
Daniel Amyot
authored at least 225 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
2023
Data Knowl. Eng., November, 2023
J. Syst. Softw., October, 2023
Algorithms, February, 2023
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges.
IEEE Access, 2023
Proceedings of the Joint Proceedings of REFSQ-2023 Workshops, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
Welcome to REWBAH 2023: The Fourth International Workshop on Requirements Engineering for Well-Being, Aging, and Health.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
A Prototype for Decision Support Targeting Recreation Prescriptions for Older Adults in Social Isolation (℞OSI).
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain.
Proceedings of the 20th Annual International Conference on Privacy, Security and Trust, 2023
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023
2022
Softw. Syst. Model., 2022
Softw. Syst. Model., 2022
Combining Goal modelling with Business Process modelling Two Decades of Experience with the User Requirements Notation Standard.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022
e Informatica Softw. Eng. J., 2022
CoRR, 2022
Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs.
Algorithms, 2022
Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach.
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, 2022
2021
Supplement to Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives.
Dataset, August, 2021
Requirements Engineering for Well-Being, Aging, and Health: An Overview for Practitioners.
IEEE Softw., 2021
IEEE Softw., 2021
Requir. Eng., 2021
Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems.
J. Integr. Des. Process. Sci., 2021
Contract Specification and Verification: Experience with the Symboleo Language (abstract).
Proceedings of the International Workshop on Value Modelling and Business Ontologies Bolzano, 2021
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021
REWBAH 2021: Second International Workshop on Requirements Engineering for Well-Being, Aging, and Health : Welcome from the Organizers.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021
Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021
Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021
2020
Expanding the nature and scope of requirements for service systems through Service-Dominant Logic: the case of a telemonitoring service.
Requir. Eng., 2020
From event logs to goals: a systematic literature review of goal-oriented process mining.
Requir. Eng., 2020
An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team.
Int. J. Medical Informatics, 2020
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models.
Proceedings of the 10th IEEE International Model-Driven Requirements Engineering, 2020
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020
Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020
Proceedings of the Conceptual Modeling - 39th International Conference, 2020
2019
IEEE Softw., 2019
A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance.
Requir. Eng., 2019
J. Syst. Softw., 2019
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019
Union Models: Support for Efficient Reasoning About Model Families Over Space and Time.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Lean healthcare processes: effective technology integration and comprehensive decision support using requirements engineering methods.
Proceedings of the 1st International Workshop on Software Engineering for Healthcare, 2019
Proceedings of the Business Process Management - 17th International Conference, 2019
2018
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
2017
Softw. Syst. Model., 2017
Real-Time, Location-Based Patient-Device Association Management: Design and Proof of Concept.
Int. J. Heal. Inf. Syst. Informatics, 2017
Barriers to Successful Health Information Exchange Systems in Canada and the USA: A Systematic Review.
Int. J. Heal. Inf. Syst. Informatics, 2017
A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time.
Int. J. E Health Medical Commun., 2017
Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
What can information systems do for regulators? A review of the state-of-practice in Canada.
Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the E-Technologies: Embracing the Internet of Things, 2017
Activity-based Process Integration in Healthcare with the User Requirements Notation.
Proceedings of the E-Technologies: Embracing the Internet of Things, 2017
Proceedings of the E-Technologies: Embracing the Internet of Things, 2017
Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services.
Proceedings of the Information Technology for Management. Ongoing Research and Development, 2017
Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM.
Proceedings of 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, 2017
Proceedings of 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, 2017
Proceedings of the Conceptual Modeling - 36th International Conference, 2017
Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models.
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,, 2017
The University of Ottawa Undergraduate Software Engineering Program: Leading and Innovative.
Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017
2016
A questionnaire-based survey methodology for systematically validating goal-oriented models.
Requir. Eng., 2016
Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-Agent Decision Support System.
J. Medical Syst., 2016
Int. J. Electron. Heal., 2016
Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW).
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Towards Improved Requirements Engineering with SysML and the User Requirements Notation.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), 2016
Proceedings of the AMIA 2016, 2016
2015
Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation.
Pers. Ubiquitous Comput., 2015
Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution.
Inf. Softw. Technol., 2015
Consented consumer-centric non-functional property description and composition for SOA-based applications.
Int. J. Web Eng. Technol., 2015
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015
Towards the Generation of Tests in the Test Description Language from Use Case Map Models.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015
Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015
Proceedings of the Eighth IEEE International Workshop on Requirements Engineering and Law, 2015
Efficient Privacy-Preserving Identity Scheme for Electronic Validation of Phase 1 Clinical Trials.
Proceedings of the E-Technologies - 6th International Conference, 2015
Information Technology Artifacts in the Regulatory Compliance of Business Processes: A Meta-Analysis.
Proceedings of the E-Technologies - 6th International Conference, 2015
Proceedings of the Eighth International i*Workshop, 2015
Proceedings of the Eighth International i*Workshop, 2015
Proceedings of the 1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, 2015
Proceedings of the Advanced Information Systems Engineering, 2015
2014
Decis. Anal., 2014
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014
Proceedings of 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, 2014
Proceedings of 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, 2014
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
Real-World Data Set Parameters and Synthesization for Matching Identity in Clinical Protocols.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
Proceedings of the Business Process Management Workshops, 2014
2013
Evolution mechanisms for goal-driven pattern families used in business process modelling.
Int. J. Electron. Bus., 2013
Proceedings of the 2013 Summer Simulation Multiconference, 2013
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013
Legal requirements analysis and modeling with the measured compliance profile for the goal-oriented requirement language.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013
Transforming regulations into performance models in the context of reasoning for outcome-based compliance.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013
Requirements for a modeling language to specify and match business process improvement patterns.
Proceedings of the International Workshop on Model-Driven Requirements Engineering, 2013
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013
Location-aware business process management for real-time monitoring of a cardiac care process.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2013
Composing Goal and Scenario Models with the Aspect-Oriented User Requirements Notation Based on Syntax and Semantics.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013
2012
A Systematic Review and Assessment of Aspect-oriented Methods Applied to Business Process Adaptation.
J. Softw., 2012
Non-Functional Properties in Service Oriented Architecture - A Consumer's Perspective.
J. Softw., 2012
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012
Tool support for combined rule-based and goal-based reasoning in Context-Aware systems.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012
Using the Goal-oriented pattern family framework for modelling outcome-based regulations.
Proceedings of the Second IEEE International Workshop on Requirements Patterns, 2012
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012
Proceedings of the Advances in Conceptual Modeling, 2012
2011
J. Softw., 2011
Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications.
Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011
A systematic review of goal-oriented requirements management frameworks for business process compliance.
Proceedings of the Fourth International Workshop on Requirements Engineering and Law, 2011
Proceedings of the E-Technologies: Transformation in a Connected World, 2011
Proceedings of the E-Technologies: Transformation in a Connected World, 2011
Proceedings of the E-Technologies: Transformation in a Connected World, 2011
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011
Towards a Declarative, Constraint-Oriented Semantics with a Generic Evaluation Algorithm for GRL.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011
Proceedings of the Practice of Enterprise Modeling - 4th IFIP WG 8.1 Working Conference, 2011
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011
Proceedings of the Advanced Information Systems Engineering Workshops, 2011
From aspect-oriented requirements models to aspect-oriented business process design models: an iterative and concern-driven approach for software engineering.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011
2010
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study.
LNCS Trans. Aspect Oriented Softw. Dev., 2010
Requir. Eng., 2010
Int. J. Intell. Syst., 2010
Int. J. Electron. Bus., 2010
Int. J. Electron. Bus., 2010
Proceedings of the Software Language Engineering - Third International Conference, 2010
Proceedings of the Eighth ACIS International Conference on Software Engineering Research, 2010
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling.
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010
Proceedings of the Models in Software Engineering, 2010
Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010
Proceedings of the Business Process Management Workshops, 2010
2009
Research Paper: A Globally Optimal k-Anonymity Method for the De-Identification of Health Data.
J. Am. Medical Informatics Assoc., 2009
Electron. Commer. Res., 2009
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009
Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the E-Technologies: Innovation in an Open World, 2009
Proceedings of the E-Technologies: Innovation in an Open World, 2009
Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety.
Proceedings of the E-Technologies: Innovation in an Open World, 2009
Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009
Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009
2008
Comparative Analysis between Document-based and Model-based Compliance Management Approaches.
Proceedings of the First International Workshop on Requirements Engineering and Law, 2008
Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, 2008
Proceedings of the 2008 AOSD workshop on Early aspects, 2008
2007
LNCS Trans. Aspect Oriented Softw. Dev., 2007
Business Process Monitoring and Alignment: An Approach Based on the User Requirements Notation and Business Intelligence Tools.
Proceedings of the Anais do WER07, 2007
Proceedings of the Anais do WER07, 2007
Proceedings of the SDL 2007: Design for Dependable Systems, 2007
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007
Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM).
Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007
2006
Ann. des Télécommunications, 2006
Proceedings of the System Analysis and Modeling: Language Profiles, 2006
Proceedings of the System Analysis and Modeling: Language Profiles, 2006
Integrating an Eclipse-Based Scenario Modeling Environment with a Requirements Management System.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006
Towards the Automated Conversion of Natural-Language use Cases to Graphical use Case Maps.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006
2005
J. Commun. Networks, 2005
Proceedings of the 7th IEEE International Conference on E-Commerce Technology (CEC 2005), 2005
Proceedings of the SDL 2005: Model Driven, 2005
Proceedings of the SDL 2005: Model Driven, 2005
Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005
2004
2003
An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development.
Telecommun. Syst., 2003
Comput. Networks, 2003
Proceedings of the SDL 2003: System Design, 2003
Proceedings of the SDL 2003: System Design, 2003
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003
Proceedings of the Scenarios: Models, 2003
2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002
2001
Proceedings of the SDL 2001: Meeting UML, 2001
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs).
Proceedings of the 23rd International Conference on Software Engineering, 2001
2000
Use Case Maps and <sub>LOTOS</sub> for the prototyping and validation of a mobile group call system.
Comput. Commun., 2000
Proceedings of the «UML» 2000, 2000
Structural Coverage For LOTOS - a Probe Insertion Technique.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000
Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000
Proceedings of the Language Constructs for Describing Features, 2000
1999
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999
1998
High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example.
Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998
Feature-Interaction Visualisation and Resolution in an Agent Environment.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998
1995
Formal Support for Design Techniques: A Timethreads-LOTOS Approach.
Proceedings of the Formal Description Techniques VIII, 1995