28 citations · 178 across the 46 of their papers we have counts for
11 papers · 1 filter
Towards Logical Architecture and Formal Analysis of Dependencies Between Services
Maria Spichkova, Heinrich Schmidt
This paper presents a formal approach to modelling and analysis of data and control flow dependencies between services within remotely deployed distributed systems of services. Our…
Cyber-Virtual Systems: Simulation, Validation & Visualization
Jan Olaf Blech, Maria Spichkova, Ian Peake +1
We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance.…
Formalisation and Analysis of Component Dependencies
Maria Spichkova
This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards efficie…
Compositional properties of crypto-based components
Maria Spichkova
This paper presents an Isabelle/HOL+Isar set of theories which allows to specify crypto-based components and to verify their composition properties wrt. cryptographic aspects. We i…
Stream processing components: Isabelle/HOL formalisation and case studies
Maria Spichkova
This set of theories presents an Isabelle/HOL+Isar formalisation of stream processing components introduces in Focus, a framework for formal specification and development of intera…
From abstract modelling to remote cyber-physical integration/interoperability testing
Maria Spichkova, Heinrich Schmidt, Ian Peake
An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall eff…