Jan Olaf Blech

2017 Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation Systems Ben Schneider, Alois Zoitl, Monika Wenger and Jan Olaf Blech In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Details URL PDF BIB

2016 Remote Monitoring Infrastructure for IEC 61499 Based Control Software Monika Wenger, Jan Olaf Blech, Ian Peake and Alois Zoitl In The 8th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT), Details BIB

December 2015 Cloud Based Monitoring of Timed Events for Industrial Automation - Short Paper Monika Wenger, Alois Zoitl, Jan Olaf Blech, Ian Peake and Lasith Fernando In International Workshop on Automated Testing of Cyber-Physical Systems in the Cloud (cpsATcloud), Details BIB

September 2015 Behavioral Type-based Monitoring for IEC 61499 Monika Wenger, Jan Olaf Blech and Alois Zoitl In 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Details BIB

2013 On Behavioral Types for OSGi: From Theory to Implementation Jan Olaf Blech, Harald Rueß and Bernhard Schätz CoRR, abs/1306.6115():, 2013. Details URL BIB

November 2012 Towards Certified Runtime Verification Jan Olaf Blech, Yliès Falcone and Klaus Becker In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, Japan, ACM. Details DOI BIB

March 2012 Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool Jan Olaf Blech, Dongyue Mou and Daniel Ratiu In Proceedings 7th Workshop on Model-Based Testing (MBT), pages 13–27, Tallinn, Estonia, Details DOI BIB

2012 Behavioral specification based runtime monitors for OSGi services Jan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, . Springer, Details BIB

2012 Behavioral Specification Based Runtime Monitors for OSGi Services Jan Olaf Blech, Yliès Falcone, Harald Rueß and Bernhard Schätz In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, P, pages 405–419, Details URL DOI BIB

2012 Static Scheduling of a Time-Triggered Network-on-Chip based on SMT Solving Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll In Design, Automation and Test in Europe (DATE), Dresden, Germany, Details URL BIB

2011 Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll In Xiaoping Chen, Peter Stone, LuisEnrique Sucar and Tijn van der Zant, editor, International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week, Taipei, Taiwan, Details URL DOI BIB

2011 Reliability-Aware Design Optimization for Multiprocessor Embedded Systems Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll In 14th Euromicro International Conference on Digital System Design (DSD), Oulu, Finland, Details URL DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

Publications