Items where authors include "Calinescu, Radu"

Article

Getir Yaman, Sinem, Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Burholt, Charlie et al. (3 more authors) (2024) Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. Science of Computer Programming. ISSN 0167-6423 (In Press)

McDermid, John Alexander orcid.org/0000-0003-4745-4272, Calinescu, Radu orcid.org/0000-0002-2678-9260, Habli, Ibrahim orcid.org/0000-0003-2736-8238 et al. (7 more authors) (2024) The Safety of Autonomy : A Systematic Approach. Computer. pp. 16-25. ISSN 0018-9162

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. ISSN 0098-5589 (In Press)

Fang, Xinwei, Getir Yaman, Sinem, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (2 more authors) (2024) Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Transactions on Autonomous and Adaptive Systems. 6. ISSN 1556-4703

Wang, Shenglin, Zhang, Jingqiong, Wang, Peng et al. (3 more authors) (2024) A Deep Learning-enhanced Digital Twin Framework for Improving Safety and Reliability in Human-Robot Collaborative Manufacturing. Robotics and computer-integrated manufacturing. 102608. ISSN 0736-5845

Townsend, Beverley A. orcid.org/0000-0002-8486-6041, Plant, Katherine L., Hodge, Victoria J. orcid.org/0000-0002-2469-0224 et al. (2 more authors) (2023) Medical practitioner perspectives on AI in emergency triage. Frontiers in Digital Health. 1297073. ISSN 2673-253X

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2023) Fast Parametric Model Checking with Applications to Software Performability Analysis. IEEE Transactions on Software Engineering. pp. 4707-4730. ISSN 0098-5589

Bernd Gil, Eric, Nunes Rodrigues, Genaína, Pelliccione, Patrizio et al. (1 more author) (2023) Mission specification and decomposition for multi-robot systems. Robotics and Autonomous Systems. 104386. ISSN 0921-8890

Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Gerasimou, Simos (2023) Probabilistic program performance analysis with confidence intervals. Information and Software Technology. 107143. ISSN 0950-5849

Alharbi, Emad, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Cowtan, Kevin Douglas orcid.org/0000-0002-0189-1437 (2023) Buccaneer model building with neural network fragment selection. Acta crystallographica. Section D, Structural biology. pp. 326-338. ISSN 2059-7983

Menghi, Claudio, Tsigkanos, Christos, Askarpour, Mehrnoosh et al. (4 more authors) (2022) Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Transactions on Software Engineering. ISSN 0098-5589 (In Press)

Townsend, Bev orcid.org/0000-0002-8486-6041, Paterson, Colin orcid.org/0000-0002-6678-3752, Arvind, T.T. orcid.org/0000-0001-5468-3669 et al. (5 more authors) (2022) From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds and Machines. ISSN 1572-8641

Cámara, Javier, Troya, Javier, Vallecillo, Antonio et al. (5 more authors) (2022) The Uncertainty Interaction Problem in Self-Adaptive Systems. Software and Systems Modeling. ISSN 1619-1366

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2022) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423

Alasmari, Naif, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) Quantitative Verification with Adaptive Uncertainty Reduction. Journal of Systems and Software. 111275. ISSN 0164-1212

Somasekaram, Premathas and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2022) Predicting Locally Manageable Resource Failures of High Availability Clusters. Software: Practice and Experience. ISSN 1097-024X

Somasekaram, Premathas, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Buyya, Rajkumar (2021) High-Availability Clusters: A Taxonomy, Survey, and Future Directions. Journal of Systems and Software. 111208. ISSN 0164-1212

Hezavehi, Sara M., Weyns, Danny, Avgeriou, Paris et al. (3 more authors) (2021) Uncertainty in Self-adaptive Systems : A Research Community Perspective. ACM Transactions on Autonomous and Adaptive Systems. pp. 1-36. ISSN 1556-4703

Douthwaite, James A., Lesage, Benjamin Michael Jean-Rene, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (4 more authors) (2021) A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers in Robotics and AI. 758099. ISSN 2296-9144

Alharbi, Emad, Bond, Paul orcid.org/0000-0002-8465-4823, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2021) Predicting the performance of automated crystallographic model-building pipelines. Acta crystallographica. Section D, Structural biology. pp. 1591-1601. ISSN 2059-7983

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) RiskStructures : A Design Algebra for Risk-Aware Machines. Formal Aspects of Computing. pp. 763-802. ISSN 1433-299X

Paterson, Colin orcid.org/0000-0002-6678-3752, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Ashmore, Rob (2021) Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Computing Surveys. 111. ISSN 0360-0300

Alharbi, Emad, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Cowtan, Kevin orcid.org/0000-0002-0189-1437 (2020) Pairwise running of automated crystallographic model-building pipelines. Acta Crystallographica Section D: Structural Biology. pp. 814-823. ISSN 2059-7983

Alharbi, Emad, Bond, Paul S orcid.org/0000-0002-8465-4823, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2019) Comparison of automated crystallographic model-building pipelines. Acta crystallographica. Section D, Structural biology. pp. 1119-1128. ISSN 2059-7983

Ellison, Martyn, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paige, Richard F. orcid.org/0000-0002-1978-9852 (2018) Evaluating cloud database migration options using workload models. Journal of Cloud Computing: Advances, Systems and Applications (JoCCASA). 6. ISSN 2192-113X

Gallimore, Andrew Robert, Aricescu, A. Radu, Yuzaki, Michisuke et al. (1 more author) (2016) A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression. PLoS Computational Biology. 1004664. ISSN 1553-7358

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Johnson, Kenneth Harold Anthony et al. (3 more authors) (2015) Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Transactions on Reliability. pp. 107-125. ISSN 0018-9529

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Kwiatkowska, Marta et al. (1 more author) (2012) Self-adaptive software needs quantitative verification at runtime. Communications of the ACM. pp. 69-77. ISSN 0001-0782

Conference or Workshop Item

Getir Yaman, Sinem, Burholt, Charlie, Jones, Maddie et al. (2 more authors) (2023) Specification and Validation of Normative Rules for Autonomous Agents. In: UNSPECIFIED.

Proceedings Paper

Carwehl, Marc, Imrie, Calum Corrie, Vogel, Thomas et al. (3 more authors) (2024) Formal Synthesis of Uncertainty Reduction Controllers. In: 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .

Bethell, Daniel, Gerasimou, Simos and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2024) Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. In: Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24). UNSPECIFIED. Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24) . .

Zhang, Qi, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Camara Moreno, Javier et al. (1 more author) (2023) Towards Lifelong Social Robot Navigation in Dynamic Environments. In: 24th Towards Autonomous Robotic Systems Conference (TAROS), Proceedings. 24th Towards Autonomous Robotic Systems Conference (TAROS), 13-15 Sep 2023. Springer , GBR .

Păsăreanu, Corina S., Mangal, Ravi, Gopinath, Divya et al. (3 more authors) (2023) Closed-loop Analysis of Vision-based Autonomous Systems : A Case Study. In: Enea, C. and Lal, A., (eds.) Computer Aided Verification. CAV 2023. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 289-303.

Calinescu, Radu orcid.org/0000-0002-2678-9260 and Nunes Rodrigues, Genaína (2023) Goal Controller Synthesis for Self-Adaptive Systems. In: FormaliSE International Conference on Formal Methods in Software Engineering. UNSPECIFIED. IEEE . (In Press)

Alpizar Santana, Misael, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2022) Risk-aware Real-time Object Detection. In: 18th European Dependable Computing Conference. UNSPECIFIED. IEEE .

Alpizar Santana, Misael, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2022) Mitigating Risk in Neural Network Classifiers. In: 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA). UNSPECIFIED. IEEE .

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) PRESTO : Predicting System-level Disruptions through Parametric Model Checking. In: SEAMS '22:Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. UNSPECIFIED. ACM , pp. 91-97.

Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James A. et al. (2 more authors) (2022) Safety Controller Synthesis for a Mobile Manufacturing Cobot. In: Software Engineering and Formal Methods 2022:Proceedings. Software Engineering and Formal Methods, 28-30 Sep 2022, Humboldt University. Lecture Notes in Computer Science . Springer , DEU . (In Press)

Gerasimou, Simos, Camara Moreno, Javier orcid.org/0000-0001-6717-4775, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2022) Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. In: 36th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Camara, Javier, Calinescu, Radu orcid.org/0000-0002-2678-9260, Cheng, Betty et al. (4 more authors) (2022) Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. In: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. UNSPECIFIED. ACM . (In Press)

Vazquez Flores, Gricel, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Camara, Javier (2022) Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. In: Fourth Workshop on Formal Methods for Autonomous Systems. UNSPECIFIED. . (In Press)

Alasmari, Naif and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2022) Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. In: 48th Euromicro Conference on Software Engineering and Advanced Applications. UNSPECIFIED. .

Hamilton, Jordan, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2022) Towards Planning and Adaptation of Assistive-care Robot Tasks. In: Fourth Workshop on Formal Methods for Autonomous Systems. UNSPECIFIED. . (In Press)

Harbin, James Robert orcid.org/0000-0002-6479-8600, Gerasimou, Simos, Matragkas, Nikolaos orcid.org/0000-0002-8594-1912 et al. (2 more authors) (2021) Model-Driven Simulation-Based Analysis for Multi-Robot Systems. In: MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). UNSPECIFIED. IEEE .

Stefanakos, Ioannis orcid.org/0000-0003-3741-252X, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Gerasimou, Simos (2021) Probabilistic Program Performance Analysis. In: EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021). UNSPECIFIED. IEEE , pp. 148-157. (In Press)

Fang, Xinwei, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (1 more author) (2021) Fast Parametric Model Checking through Model Fragmentation. In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). UNSPECIFIED. ACM .

Riley, Joshua, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (2 more authors) (2021) Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. In: 13th International Conference on Agents and Artificial Intelligence. UNSPECIFIED. .

Zhao, Xingyu, Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos et al. (2 more authors) (2020) Interval Change-Point Detection for Runtime Probabilistic Model Checking. In: 35th IEEE/ACM International Conference on Automated Software Engineering. UNSPECIFIED. IEEE .

Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2020) Safety Controller Synthesis for Collaborative Robots. In: Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS). Engineering of Complex Computer Systems, 28-31 Oct 2020. , SGP .

Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2020) Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles. In: Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). UNSPECIFIED. IEEE . (In Press)

Calinescu, Radu orcid.org/0000-0002-2678-9260, Mirandola, Raffaela, Perez-Palacin, Diego et al. (1 more author) (2020) Understanding Uncertainty in Self-adaptive Systems. In: 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems. UNSPECIFIED. .

Calinescu, Radu orcid.org/0000-0002-2678-9260, Cortelessa, Vittorio, Stefanakos, Ioannis orcid.org/0000-0003-3741-252X et al. (1 more author) (2020) Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. In: Fundamental Approaches to Software Engineering:23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 357-377.

Picardi, Chiara, Paterson, Colin orcid.org/0000-0002-6678-3752, Hawkins, Richard David orcid.org/0000-0001-7347-3413 et al. (2 more authors) (2020) Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. In: Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). UNSPECIFIED. CEUR Workshop Proceedings . CEUR Workshop Proceedings , pp. 23-30.

Weyns, Danny, Bencomo, Nelly, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (10 more authors) (2019) Perpetual Assurances for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems III. Assurances. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 31-63.

Johnson, Kenneth Harold Anthony, Sinha, Roopak, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (1 more author) (2015) A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. In: 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). UNSPECIFIED. IEEE , pp. 159-166.

Gerasimou, Simos, Tamburrelli, Giordano and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2015) Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). UNSPECIFIED. .

Calinescu, Radu orcid.org/0000-0002-2678-9260, Gerasimou, Simos and Banks, Alec (2015) Self-Adaptive Software with Decentralised Control Loops. In: 18th International Conference on Fundamental Approaches to Software Engineering (FASE). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 235-251.

Weyns, Danny and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2015) Tele Assistance: : A Self-Adaptive Service-Based System Exemplar. In: 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). UNSPECIFIED. , pp. 88-92.

Preprint

Yaman, Sinem Getir, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (3 more authors) (2023) Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. [Preprint]