28 citations · 178 across the 46 of their papers we have counts for
5 papers · 1 filter
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…
Formal FocusST Specification of CAN
Maria Spichkova
This paper presents a formal specification of the Controller Area Network (CAN) protocol using FocusST framework. We formally describe core components of the protocol, which provid…
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia
Tawfeeq Alsanoosy, Maria Spichkova, James Harland
Software development requires intensive communication between the requirements engineers and software stakeholders, particularly during the Requirements Engineering (RE) phase. The…
FocusST Solution for Analysis of Cryptographic Properties
Maria Spichkova, Radhika Bhat
To analyse cryptographic properties of distributed systems in a systematic way, a formal theory is required. In this paper, we present a theory that allows (1) to specify distribut…
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…