Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Calum Imrie
conf.researchr.org general profile
ACSOS 2024 profile
ICSE 2024 profile
NASA Formal Methods 2024 profile
Registered user since Wed 3 Jan 2024
Name:
Calum Imrie
Country:
United Kingdom
Affiliation:
University of York
GitHub:
https://github.com/ccimrie
Contributions
2024
ACSOS
Author of SALSA: Swarm Algorithm Simulator within the Artifacts-track
NFM
Committee Member in Program Committee within the NFM 2024-track
ICSE
Author of Analyzing and Debugging Normative Requirements via Satisfiability Checking within the Research Track-track
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Author of Formal Synthesis of Uncertainty Reduction Controllers within the Research Track-track
Author of Aloft: Self-Adaptive Drone Controller Testbed within the Artifact Track-track
Share
x
Mon 18 Nov 05:17
