28 citations · 178 across the 46 of their papers we have counts for
7 papers · 1 filter
Spatio-temporal Models for Formal Analysis and Property-based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedance mismatch betwee…
"Boring formal methods" or "Sherlock Holmes deduction methods"?
Maria Spichkova
This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050:…
Model-based generation of natural language specifications
Phan Vo Thu Nhat, Maria Spichkova
Application of formal models provides many benefits for the software and system development, however, the learning curve of formal languages could be a critical factor for an indus…
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…
Spatio-temporal features of FocusST
Maria Spichkova
In this technical report we summarise the spatio-temporal features and present the core operators of FocusST specification framework. We present the general idea of these operators…
Applied Logic in Engineering
Maria Spichkova
Logic not only helps to solve complicated and safety-critical problems, but also disciplines the mind and helps to develop abstract thinking, which is very important for any area o…