24 citations · 120 across the 25 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
cs.SE2012★ 4 cited
Towards a Formalization of the OSGi Component Framework
Jan Olaf Blech
We present a formalization of the OSGi component framework. Our formalization is intended to be used as a basis for describing behavior of OSGi based systems. Furthermore, we descr…
cs.SE2012
On Compositional Reasoning for Guaranteeing Probabilistic Properties
Jan Olaf Blech
We present a framework to formally describe probabilistic system behavior and symbolically reason about it. In particular we aim at reasoning about possible failures and fault tole…
cs.SE2012★ 10 cited
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, componen…