Items where Author is "Dennis, Louise A."

Journal Article

Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matthew T. (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2): 67. ISSN 2218-6581

Contribution in Book/Report/Proceedings

Rodriguez, Sebastian and Bairy, Akhila and Baldoni, Matteo and Benjamin, Patrick and Blessing, Constantin and Brandstetter, Nicolas and Chopra, Amit K. and Clemen, Thomas and Dennis, Louise A. and Esmaeili, Ahmad and Feng, Lu and Ferrando, Angelo and Ghorrati, Zahra and Guillet, Victor and Gürcan, Önder and Hans, Soham and Herber, James and Mascardi, Viviana and Mauri, Marcel and Müller, Jörg P. and Thangarajah, John and Tyl, Rafał and Yang, Yi (2026) Engineering the Next Generation of Multi-agent Systems : A Community Roadmap from EMAS 2025. In: Engineering Multi-Agent Systems : EMAS 2025. Lecture Notes in Computer Science . Springer, Cham, pp. 238-258. ISBN 9783032180100

Farrell, Marie and Bradbury, Matthew and Fisher, Michael and Dennis, Louise A. and Dixon, Clare and Yuan, Hu and Maple, Carsten (2019) Using Threat Analysis Techniques to Guide Formal Verification : A Case Study of Cooperative Awareness Messages. In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings. Lecture Notes in Computer Science . Springer International Publishing, Cham, pp. 471-490. ISBN 9783030304454