https://sourceforge.net/p/beht/wiki/publications/Recent changes to publicationsenFri, 04 Jan 2013 16:32:52 -0000https://sourceforge.net/p/beht/wiki/publications/<div class="markdown_content"><pre>--- v1 +++ v2 @@ -6,3 +6,9 @@ - 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. + </pre> </div>Jan BlechFri, 04 Jan 2013 16:32:52 -0000https://sourceforge.net627b633073694b36217340f13a336d159fe8ad8bhttps://sourceforge.net/p/beht/wiki/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. Jan BlechThu, 16 Aug 2012 14:13:54 -0000https://sourceforge.net0efd5af6e9dd5f4be38aa535c06a7517b3903719