28 citations · 97 across the 14 of their papers we have counts for
14 papers
Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects
Maria Spichkova, Heinz Schmidt
In this paper we present a formal framework for analysis and optimisation of the requirements specifications of systems developed to apply in several countries. As different countr…
Towards Readability Aspects of Probabilistic Mode Automata
Heinz Schmidt, Maria Spichkova
This paper presents a new approach and design model targeting hybrid designer- and operator-defined performance budgets for timing and energy consumption. The approach is based on…
Monitoring Informed Testing for IoT
Ahmed Abdullah, Heinz W. Schmidt, Maria Spichkova +1
Internet of Things (IoT) systems continuously collect a large amount of data from heterogeneous "smart objects" through standardised service interfaces. A key challenge is how to u…
Managing Usability and Reliability Aspects in Cloud Computing
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas +3
Cloud computing provides a great opportunity for scientists, as it enables large-scale experiments that cannot are too long to run on local desktop machines. Cloud-based computatio…
The Virtual Experiences Lab - a platform for global collaborative engineering and beyond
Ian D. Peake, Jan Olaf Blech, Ian Thomas +4
We are developing the Virtual Experiences (Vx)Lab, a research and research training infrastructure and capability platform for global collaboration. VxLab comprises labs with visua…
Requirements Engineering Aspects of a Geographically Distributed Architecture
Maria Spichkova, Heinz Schmidt
We present our ongoing work on requirements specification and analysis for the geographically distributed software and systems. Developing software and systems within/for different…