publications

Publications related to our Behavioral Types Project

• J. O. Blech, Y. Falcone, H. Rueß,B. Schätz. Behavioral Specification based Runtime Monitors for OSGi Services. Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2012.

• J. O. Blech, B. Schätz. Towards a formal foundtion of behavioral types for UML state- machines. In: Proceedings of the 5th International Workshop UML and Formal Methods, 2012.

Some text on OSGi semantics

• J. O. Blech. Towards a Formalization of the OSGi Component Framework.
  [http://arxiv.org/pdf/1208.2563] 2012.