All Outputs (175)

SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures (2020)
Presentation / Conference Contribution
Aslansefat, K., Sorokos, I., Whiting, D., Tavakoli Kolagari, R., & Papadopoulos, Y. SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. Presented at IMBSA: International Symposium on Model-Based Safety and Assessment, Lisbon

Ensuring safety and explainability of machine learning (ML) is a topic of increasing relevance as data-driven applications venture into safety-critical application domains, traditionally committed to high safety standards that are not satisfied with... Read More about SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures.

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Presentation / Conference Contribution
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. Failure Mode Reasoning in Model Based Safety Analysis. Presented at International Symposium on Model-Based Safety and Assessment, Lisbon, Portugal

© 2020, Springer Nature Switzerland AG. Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of... Read More about Failure Mode Reasoning in Model Based Safety Analysis.

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (2020)
Presentation / Conference Contribution
Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Presented at Model-Based Safety and Assessment 7th International Symposium, IMBSA 2020, Lisbon, Portugal

© 2020, Springer Nature Switzerland AG. Component-based approaches and software product lines have been adopted by industry to manage the diversity of configurations on safety-critical software. Safety certification demands compliance with standards.... Read More about An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems.

The Promise of Causal Reasoning in Reliable Decision Support for Wind Turbines (2020)
Presentation / Conference Contribution
Chatterjee, J., & Dethlefs, N. (2020, August). The Promise of Causal Reasoning in Reliable Decision Support for Wind Turbines. Paper presented at Fragile Earth: Data Science for a Sustainable Planet. KDD 2020, Virtual Conference

The global pursuit towards sustainable development is leading to increased adaptation of renewable energy sources. Wind turbines are promising sources of clean energy, but regularly suffer from failures and down-times, primarily due to the complex en... Read More about The Promise of Causal Reasoning in Reliable Decision Support for Wind Turbines.

Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease (2020)
Presentation / Conference Contribution
Alabed, A., Kambhampati, C., & Gordon, N. Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease. Presented at Computing 2020, London

A great wealth of information is hidden in clinical datasets, which could be analyzed to support decision-making processes or to better diagnose patients. Feature selection is one of the data pre-processing that selects a set of input features by rem... Read More about Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease.

A Cost Modeling Method Based on AADL2 (2020)
Presentation / Conference Contribution
Mian, Z., Tang, C., Gao, Y., Jia, S., Shi, X., & Chen, J. (2019, November). A Cost Modeling Method Based on AADL2. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy

The Architecture Analysis and Design Language (AADL) is widely used in the modeling, analysis and verification of the dependability-critical system. Previously, we have implemented the multi-objective (based on dependability and cost) architecture op... Read More about A Cost Modeling Method Based on AADL2.

Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS (2020)
Presentation / Conference Contribution
Mian, Z., Gao, Y., Shi, X., & Tang, C. (2019, November). Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS. Presented at 2019 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy

Currently, AADL has gradually become as one of the standards for the architecture design of complex embedded system. It is widely used in aerospace, automotive electronics and other fields for the design and analysis of high dependability-critical sy... Read More about Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS.

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings (2019)
Presentation / Conference Contribution
(2019, October). Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings. Presented at 6th International Symposium, IMBSA: International Symposium on Model-Based Safety and Assessment, Thessaloniki, Greece

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019.

The 24 revised full papers presented were carefully reviewed and selected fro... Read More about Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings.

Natural Language Generation for Operations and Maintenance in Wind Turbines (2019)
Presentation / Conference Contribution
Chatterjee, J., & Dethlefs, N. (2019, December). Natural Language Generation for Operations and Maintenance in Wind Turbines. Paper presented at NeurIPS 2019 Workshop: Tackling Climate Change with Machine Learning, Vancouver Convention Center, British Columbia, Canada

Wind energy is one of the fastest-growing sustainable energy sources in the world but relies crucially on efficient and effective operations and maintenance to generate sufficient amounts of energy and reduce downtime of wind turbines and associated... Read More about Natural Language Generation for Operations and Maintenance in Wind Turbines.

A runtime safety analysis concept for open adaptive systems (2019)
Presentation / Conference Contribution
Kabir, S., Sorokos, I., Aslansefat, K., Papadopoulos, Y., Gheraibia, Y., Reich, J., Saimler, M., & Wei, R. A runtime safety analysis concept for open adaptive systems. Presented at Model-Based Safety and Assessment (IMBSA 2019), Thessaloniki, Greece

© Springer Nature Switzerland AG 2019. In the automotive industry, modern cyber-physical systems feature cooperation and autonomy. Such systems share information to enable collaborative functions, allowing dynamic component integration and architectu... Read More about A runtime safety analysis concept for open adaptive systems.

Modeling and Robust Control of Twin Rotor MIMO System (2019)
Presentation / Conference Contribution
Shah, S. H., Khan, S. G., Iqbal, J., & Alharthi, M. (2019, October). Modeling and Robust Control of Twin Rotor MIMO System. Presented at 2019 International Conference on Robotics and Automation in Industry (ICRAI)

Recently, unmanned aerial vehicles (UAVs) have witnessed immense popularity in various fields, ranging from surveillance, rescue, and fire fighting to other more sophisticated military and commercial applications. However, due to their highly nonline... Read More about Modeling and Robust Control of Twin Rotor MIMO System.

Smart, social, flexible and fun: Escaping the flatlands of virtual learning environments (2019)
Presentation / Conference Contribution
Brayshaw, M., Gordon, N. A., & Grey, S. (2019, July). Smart, social, flexible and fun: Escaping the flatlands of virtual learning environments. Presented at Computing Conference 2019, London

© 2019, Springer Nature Switzerland AG. This paper describes the development of intelligent, social, flexible and game-based pedagogic approaches and their applications in Virtual Learning Environment based Education. Applications of computer science... Read More about Smart, social, flexible and fun: Escaping the flatlands of virtual learning environments.

A flexible approach to introductory programming : engaging and motivating students (2019)
Presentation / Conference Contribution
Gordon, N., Brayshaw, M., & Grey, S. (2019, January). A flexible approach to introductory programming : engaging and motivating students. Presented at Computing Education Practice, Durham

© 2019 Copyright is held by the owner/author(s). In this paper, we consider an approach to supporting students of Computer Science as they embark upon their university studies. The transition to Computer Science can be challenging for students, and e... Read More about A flexible approach to introductory programming : engaging and motivating students.

Infinite Virtual Stoa (2018)
Presentation / Conference Contribution
Torrao, L., Papadopoulos, Y., & Mckie, D. (2018, December). Infinite Virtual Stoa. Presented at GA2018, XXI Annual International Conference, Verona, Italy

Stoicism is a philosophy that considers the object of life to be ataraxia (αταραξία), a state of psychological stability which is undisturbed by exposure to phenomena and circumstances that lie outside one's control. Such circumstances may include il... Read More about Infinite Virtual Stoa.

Control of flexible joint robotic manipulator: Design and prototyping (2018)
Presentation / Conference Contribution
Alam, W., Ali, N., Wahaj Aziz, H. M., & Iqbal, J. (2018, February). Control of flexible joint robotic manipulator: Design and prototyping. Presented at International Conference on Electrical Engineering (ICEE), Lahore, Pakistan

Robots are now an integral part of automation sector, thus indicating the importance of the associated control strategies. In contrast with conventional rigid manipulators, flexible arms offer several benefits in terms of light weight and power effic... Read More about Control of flexible joint robotic manipulator: Design and prototyping.

A dependability modeling and analysis approach for an IoP-based service system (2018)
Presentation / Conference Contribution
Mian, Z., Bottaci, L., Jiang, J., He, J., Yu, Q., & Wang, X. (2018, October). A dependability modeling and analysis approach for an IoP-based service system. Presented at 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), Guangzhou, China

The increasing use of the internet of people (IoP) based service systems has the potential to bring about substantial benefits to individuals. An IoP-based service system includes components such as cell phones, wearable devices, smart homes, cars et... Read More about A dependability modeling and analysis approach for an IoP-based service system.

TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures (2018)
Presentation / Conference Contribution
Torrao, L., Mckie, D., & Papadopoulos, Y. (2017, December). TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures. Presented at 20th Generative Art Conference

TIMAEUS is a digital art studio environment that enables creation of personalised 3-dimensional sculptures built with expanding spherical volumes or interconnected tetrahedra and possibly other atomic blocks in the future. These sculptures can be cus... Read More about TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures.

Towards Low-Cost Image-based Plant Phenotyping using Reduced-Parameter CNN. (2018)
Presentation / Conference Contribution
Atanbori, J., Chen, F., French, A. P., & Pridmore, T. (2018, September). Towards Low-Cost Image-based Plant Phenotyping using Reduced-Parameter CNN. Paper presented at British Machine Vision Conference 2018, BMVC 2018, Northumbria University

© 2018. The copyright of this document resides with its authors. Segmentation is the core of most plant phenotyping applications. Current state-of-the-art plant phenotyping applications rely on deep Convolutional Neural Networks (CNNs). However, thes... Read More about Towards Low-Cost Image-based Plant Phenotyping using Reduced-Parameter CNN..

Thin Implicit Utah Teapot: Design for Additive Manufacturing (2018)
Presentation / Conference Contribution
Qi, Q., & Li, Q. (2018, July). Thin Implicit Utah Teapot: Design for Additive Manufacturing. Presented at The 18th IEEE International Conference on Computer and Information Technology

© 2018 IEEE. Converting a surface-based geometric object into a thin solid is an essential requirement for additive manufacturing. Although offset surface and thickening techniques have been widely used for this task, it is in general difficult to mo... Read More about Thin Implicit Utah Teapot: Design for Additive Manufacturing.

Taxi model of unmanned aerial vehicle: Formulation and simulation (2018)
Presentation / Conference Contribution
Wasim, M., Ullah, M., & Iqbal, J. (2018, April). Taxi model of unmanned aerial vehicle: Formulation and simulation. Presented at 1st International Conference on Power, Energy and Smart Grid (ICPESG), Mirpur Azad Kashmir, Pakistan

Unmanned Aerial Vehicles cannot work efficiently without a control system. Before any form of control is applied to it, modeling of the system is necessary. This work focuses on the development of a Taxi model of UAV. The reformulated model has been... Read More about Taxi model of unmanned aerial vehicle: Formulation and simulation.