Towards a Framework for Behavioral Specifications of OSGi Components

by Jan Olaf Blech
Published 2013-02-01

Towards Digital Twins for the Description of Automotive Software Systems

by Jan Olaf Blech
Published 2020-01-01

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

by Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Published 2012-02-01

Towards Verifying Safety Properties of Real-Time Probabilistic Systems

by Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz Schmidt
Published 2014-04-01

Analysis of Software Binaries for Reengineering-Driven Product Line Architecture—An Industrial Case Study

by Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy, Mallikarjun Kande
Published 2015-04-01