Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Louise Dennis
conf.researchr.org general profile
ACSOS 2024 profile
FM 2026 profile
ICSE 2025 profile
ICSE 2026 profile
REFSQ 2025 profile
Not registered as user
Name:
Louise Dennis
Contributions
2026
FM
Author of Security-Minded Modelling and Verification of Autonomous Satellite Docking within the ABZ-track
Author of Counterexample-Guided Interval Weakening within the ABZ-track
FormaliSE
Author of Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study within the Research Track-track
2025
NSE
Committee member in Program Committee within the Neuro-Symbolic SE-track
ICSR
Author of Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots within the ICSR-track
Requirements Engineering: Foundation for Software Quality (REFSQ)
Author of Eliciting Explainability Requirements for Safety-Critical Systems: A Nuclear Case Study within the Research Track-track
2024
ACSOS
Author of Verifying Autonomous Systems within the Main Track-track
Share
x
Tue 21 Apr 06:14