| Towards Adaptive Planning of Assistive-care Robot Tasks. | 0 | 0.34 | 2022 |
| Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. | 0 | 0.34 | 2022 |
| Verified synthesis of optimal safety controllers for human-robot collaboration | 0 | 0.34 | 2022 |
| Safety Controller Synthesis for a Mobile Manufacturing Cobot | 0 | 0.34 | 2022 |
| Risk-aware Real-time Object Detection | 0 | 0.34 | 2022 |
| High-availability clusters: A taxonomy, survey, and future directions | 0 | 0.34 | 2022 |
| The uncertainty interaction problem in self-adaptive systems | 0 | 0.34 | 2022 |
| RiskStructures: A design algebra for risk-aware machines | 0 | 0.34 | 2021 |
| A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics | 1 | 0.43 | 2021 |
| Fast Parametric Model Checking through Model Fragmentation | 2 | 0.36 | 2021 |
| Memory Deduplication As A Protective Factor In Virtualized Systems | 0 | 0.34 | 2021 |
| Model-Driven Simulation-Based Analysis for Multi-Robot Systems | 0 | 0.34 | 2021 |
| Probabilistic Program Performance Analysis | 0 | 0.34 | 2021 |
| Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers | 0 | 0.34 | 2021 |
| Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies | 0 | 0.34 | 2021 |
| Special Issue on software engineering for trustworthy cyber–physical systems | 0 | 0.34 | 2021 |
| Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. | 0 | 0.34 | 2021 |
| Special Issue On Resilient Software And Software-Controlled Systems | 0 | 0.34 | 2021 |
| RoboMAX: Robotic Mission Adaptation eXemplars | 0 | 0.34 | 2021 |
| Maintaining driver attentiveness in shared-control autonomous driving | 1 | 0.34 | 2021 |
| Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems | 0 | 0.34 | 2021 |
| Observation-Enhanced QoS Analysis of Component-Based Systems. | 2 | 0.36 | 2020 |
| Uncertainty in Self-adaptive Systems: A Research Community Perspective | 4 | 0.40 | 2020 |
| Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. | 0 | 0.34 | 2020 |
| Understanding Uncertainty in Self-adaptive Systems | 3 | 0.38 | 2020 |
| Interval Change-Point Detection for Runtime Probabilistic Model Checking | 1 | 0.35 | 2020 |
| Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles | 0 | 0.34 | 2020 |
| Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges | 3 | 0.36 | 2019 |
| Using unstructured data to improve the continuous planning of critical processes involving humans | 1 | 0.34 | 2019 |
| Socio-cyber-physical systems: models, opportunities, open challenges | 0 | 0.34 | 2019 |
| Modelling and analysing resilient cyber-physical systems | 1 | 0.35 | 2019 |
| Towards systematic engineering of collaborative heterogeneous robotic systems | 0 | 0.34 | 2019 |
| ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. | 3 | 0.40 | 2018 |
| Towards Self-Adaptive Systems with Hierarchical Decentralised Control | 0 | 0.34 | 2018 |
| Efficient synthesis of robust models for stochastic systems. | 8 | 0.44 | 2018 |
| Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. | 13 | 0.64 | 2018 |
| Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. | 0 | 0.34 | 2018 |
| Synthesis of probabilistic models for quality-of-service software engineering. | 9 | 0.45 | 2018 |
| Evaluating cloud database migration options using workload models. | 1 | 0.35 | 2018 |
| Efficient parametric model checking using domain-specific modelling patterns. | 1 | 0.35 | 2018 |
| Efficient Parametric Model Checking Using Domain Knowledge. | 0 | 0.34 | 2018 |
| Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds | 0 | 0.34 | 2018 |
| UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. | 4 | 0.41 | 2017 |
| Assured Reinforcement Learning with Formally Verified Abstract Policies. | 2 | 0.39 | 2017 |
| Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial) | 0 | 0.34 | 2017 |
| UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). | 0 | 0.34 | 2017 |
| Designing Robust Software Systems through Parametric Markov Chain Synthesis | 1 | 0.36 | 2017 |
| Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement | 1 | 0.35 | 2017 |
| Self-Adaptive Role-Based Access Control for Business Processes. | 1 | 0.36 | 2017 |
| Towards Platform Independent Database Modelling in Enterprise Systems. | 0 | 0.34 | 2016 |
