Daniel Amyot

University of Ottawa — Canada

Computer Science · Physical Sciences

37h-index5.3kcitations304works2.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Software Engineering Methodologies(137), Service-Oriented Architecture and Web Services(103), Business Process Modeling and Analysis(94), Software Engineering Techniques and Practices(54), Model-Driven Software Engineering Techniques(50)

Publications304 total

SymboleoAC: an access control model for smart legal contracts
Software & Systems Modeling·2025
Summary of the 2nd International Workshop on Multi-disciplinary, Open, and IntegRatEd Requirements Engineering (MO2RE) co-located with the 47th IEEE/ACM ICSE 2025
ACM SIGSOFT Software Engineering Notes·2025
Decisions for affordable/social housing (DASH) system: Envisioning open and transparent data-informed decision making
International Journal on Homelessness·2025Open Access
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
arXiv (Cornell University)·2025Open Access
Goal-Oriented Process Mining: A Scalability Experiment
2025
From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
arXiv (Cornell University)·2025Open Access
The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies
Artificial Intelligence and Law·2025
Automating Business Intelligence Requirements with Generative AI and Semantic Search
2025· 1 cited
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
2025· 3 cited
Automating Benchmark Generation for LLMs in Software Engineering: Challenges and Opportunities
2025
Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis
2025· 2 cited
An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations
Empirical Software Engineering·2025· 9 cited
An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
arXiv (Cornell University)·2025· 2 citedOpen Access
From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
SSRN Electronic Journal·2025Open Access
Using Process Mining with Pre- and Post-intervention Analysis to Improve Digital Service Delivery: A Governmental Case Study
Lecture notes in business information processing·2025Open Access
Automating Business Intelligence Requirements with Generative AI and Semantic Search
arXiv (Cornell University)·2024· 1 citedOpen Access
SymboleoAC: An Access Control Model for Legal Contracts
Lecture notes in business information processing·2024· 5 citedOpen Access
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo
arXiv (Cornell University)·2024· 1 citedOpen Access
Engineering Smart Contracts with Symboleo: Progress Report 2024
2024· 1 cited
Using Process Mining to Improve Digital Service Delivery
arXiv (Cornell University)·2024Open Access
page 1 of 16Next →

Frequent Co-authors

Gunter Mussbacher(10), Sepideh Ghanavati(8), Michael Weiß(7), Liam Peyton(6), Alireza Pourshahid(6), John Mylopoulos(5), Jennifer Horkoff(4), Daniele Barone(4), Lei Jiang(4), Eric Yu(3), Pengfei Chen(3), Alan J. Forster(3), Gunter Mussbacher(3), Luigi Logrippo(3), Gregory Richards(3), Jo�ão Araújo(3), Ana Moreira(3), Alex Borgida(2), Nicolas Genon(2), Patrick Heymans(2)