Research output per year
Research output per year
Search results
-
2024
Aloft: Self-Adaptive Drone Controller Testbed
Imrie, C. C., Howard, R., Thuremella, D., Proma, N. M., Pandey, T., Lewinska, P. B. W., Cannizzaro, R., Hawkins, R. D., Paterson, C., Kunze, L. & Hodge, V. J., 16 Apr 2024, SEAMS '24: Proceedings of the 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Baatartogtokh, Y., Ayad, R., Oldemburgo de Mello, V., Standen, I., Stefanakos, I., Imrie, C. C., Nunes Rodrigues, G., Cavalcanti, A. L. C., Calinescu, R. & Chechik, M., 12 Apr 2024, 46th International Conference on Software Engineering (ICSE 2024). IEEE Computer Society, p. 2643-2654 12 p. 214. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Formal Synthesis of Uncertainty Reduction Controllers
Carwehl, M., Imrie, C. C., Vogel, T., Rodrigues, G., Calinescu, R. & Grunske, L., 16 Apr 2024, 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
SALSA: Swarm Algorithm Simulator
Beedle, J., Imrie, C. C. & Calinescu, R., 20 Sept 2024, 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems - ACSOS 2024. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2023
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study
Păsăreanu, C. S., Mangal, R., Gopinath, D., Getir Yaman, S., Imrie, C. C. & Calinescu, R., 17 Jul 2023, Computer Aided Verification. CAV 2023. Enea, C. & Lal, A. (eds.). Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 13964).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile