9 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 9 cited
Towards a Framework for Behavioral Specifications of OSGi Components
Jan Olaf Blech
We present work on behavioral specifications of OSGi components. Our behavioral specifications are based on finite automata like formalisms. Behavioral specifications can be used t…
cs.SE2013★ 7 cited
On Formal Reasoning on the Semantics of PLC using Coq
Jan Olaf Blech, Sidi Ould Biha
Programmable Logic Controllers (PLC) and its programming standard IEC 61131-3 are widely used in embedded systems for the industrial automation domain. We propose a framework for t…