24 citations · 120 across the 25 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.SE2013★ 4 cited
On Behavioral Types for OSGi: From Theory to Implementation
Jan Olaf Blech, Harald Rueß, Bernhard Schätz
This report presents our work on behavioral types for OSGi component systems. It extends previously published work and presents features and details that have not yet been publishe…
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…