28 citations · 178 across the 46 of their papers we have counts for
7 papers · 1 filter
Towards Software Development For Social Robotics Systems
Chong Sun, Jiongyan Zhang, Cong Liu +4
In this paper we introduce the core results of the project on software development for social robotics systems. The usability of maintenance and control features is crucial for man…
Formal specification of the FlexRay protocol using FocusST
Maria Spichkova
FlexRay is a communication protocol developed by the FlexRay Consortium. The core members of the Consortium are Freescale Semiconductor, Robert Bosch GmbH, NXP Semiconductors, BMW,…
Software Engineering Solutions To Support Vertical Transportation
Alber J. Christianto, Peng Chen, Osheen Walawedura +4
In this paper we introduce the core results of the project on visualisation and analysis of data collected from the vertical transport facilities. The aim of the project was to pro…
(Auto)Focus approaches and their applications: A systematic review
Maria Spichkova
Focus, a framework for formal specification and development of interactive systems, was introduced approx. 25 years ago. Since then this approach was broadly used in academic and i…
From Temporal Models to Property-Based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal mo…
Individual and Social Requirement Aspects of Sustainable eLearning Systems
Ahmed D. Alharthi, Maria Spichkova
Internationalization of the higher education has created the so-called borderless university, which provides better opportunities for learning and increases the human and social su…