Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies
Riley, J., Calinescu, R., Paterson, C., Kudenko, D. & Banks, A., 12 Nov 2020, (Accepted/In press) 13th International Conference on Agents and Artificial Intelligence.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Safety Controller Synthesis for Collaborative Robots
Gleirscher, M. & Calinescu, R., 28 Oct 2020, Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Pairwise running of automated crystallographic model-building pipelines
Alharbi, E., Calinescu, R. & Cowtan, K., 1 Sep 2020
Article in Acta Crystallographica Section D: Structural Biology
Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles
Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Understanding Uncertainty in Self-adaptive Systems
Calinescu, R., Mirandola, R., Perez-Palacin, D. & Weyns, D., 17 Jul 2020, 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Author(s)

Title of host publication	23rd International Conference on Fundamental Approaches to Software Engineering
Date	Accepted/In press - 20 Dec 2019
Date	E-pub ahead of print (current) - 17 Mar 2020
Pages	357-377
Number of pages	21
Original language	English

Find related publications, people, projects, datasets and more using interactive charts.