Publications of Year
<< 2024 >>
|
|
|
|
| 1 |
Javier Cámara,
Rebekka Wohlrab,
David Garlan and
Bradley Schmerl. Focusing on What Matters: Explaining Quality Tradeoffs in Software-Intensive Systems via Dimensionality Reduction. In IEEE Software, Vol. 41:64-73, January 2024. DOI: https://doi.ieeecomputersociety.org/10.1109/MS.2023.3320689.
|
| 2 |
Bruno Sousa, Duarte Dias, Nuno Antunes,
Javier Cámara,
Ryan Wagner,
Bradley Schmerl,
David Garlan and Pedro Fidalgo. MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks. In Computers & Security, Vol. 140, May 2024. https://doi.org/10.1016/j.cose.2024.103768.
|
| 3 |
Maria Casimiro, Diogo Soares,
David Garlan, Luis Rodrigues and Paolo Romano. Self-Adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework. In ACM Transactions on Autonomous and Adaptive Systems, March 2024.
|
| 4 |
Carlos Aderaldo, Thiago M. Costa, Davi M. Vasconcelos,
Nabor C. Mendonça,
Javier Cámara and
David Garlan. A Declarative Approach and Benchmark Tool for Controlled Evaluation of Microservice Resiliency Patterns. In Software Practice and Experience, August 2024.
|
|
|
|
|
| 5 |
Tobias Dürschmid, Christopher Steven Timperley,
David Garlan and Claire Le Goues. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. In Proceedings of the 46th International Conference on Software Engineering (ICSE 2024), 14-20 April 2024.
|
| 6 |
David Garlan,
Bradley Schmerl,
Rebekka Wohlrab and
Javier Cámara. Challenges in Creating Effective Automated Design Environments: An experience report from the domain of generative manufacturing. In Proc. the 1st International Workshop on Designing Software, 15 April 2024.
|
| 7 |
Andres Diaz-Pace and
David Garlan. The Architect in the Maze: On the Effective Usage of Automated Design Exploration. In Proc. the 1st International Workshop on Designing Software, 15 April 2024.
|
| 8 |
Simon Chu, Justin Koe,
David Garlan and
Eunsuk Kang. Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation. In Proc. the International Conference on Software Engineering for Adaptive and Self-managing Systems (SEAMS), 15-16 April 2024.
|
| 9 |
Changjian Zhang, Parv Kapoor, Romulo Meira Goes,
David Garlan,
Eunsuk Kang, Akila Ganlath, Shatadal Mishra and Nejib Ammar. Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems. In 26th International Symposium on Formal Methods (FM24), 11-13 September 2024. To appear.
|
| 10 |
Pedro Mendes, Paolo Romano and
David Garlan. Error-Driven Uncertainty Aware Training. In 27th European Conference on Artificial Intelligence, 19-24 October 2024. To appear.
|
| 11 |
Pedro Mendes, Paolo Romano and
David Garlan. Hyper-parameter Tuning for Adversarially Robust Models. In AISafety 2024, Jeju, South Korea, 4 August 2024. Best Paper Award.
|
| 12 |
Paulo Canelas,
Bradley Schmerl, Alcides Fonesca and Christopher Steven Timperley. Understanding Misconfigurations in ROS: An Empirical Study
and Current Approaches. In The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), Vienna, Austria, 16-20 September 2024. To appear.
|
|
|
|
|
| 13 |
Md Abir Hossen, Sonam Kharade, Jason M. O\'Kane,
Bradley Schmerl,
David Garlan and
Pooyan Jamshidi. CURE: Simulation-Augmented Auto-Tuning in Robotics. 2024. Submitted for publication.
|
| 14 |
Hongrui Chen, Aditya Joglekar, Zack Rubenstein,
Bradley Schmerl, Gary Fedder, Jan De Nijs,
David Garlan, Stephen Smith and Levant Burak Kara. Generative Manufacturing: A requirements and resource-driven approach to part making. 2024. Submitted for Publication.
|
|
|
