28 citations · 178 across the 46 of their papers we have counts for
Showing cs.FLShow all
3 papers · 1 filter
cs.FL2025
FocusE: A semantic extension of FocusST
Maria Spichkova
To analyse and verify the safety and security properties of interactive systems, a formal specification might be necessary. There are many types of formal languages and frameworks.…
cs.FL2018★ 1 cited
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…
cs.FL2014★ 6 cited
Towards Focus on Time
Maria Spichkova
This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.