Jan Olaf Blech

Publications

Export list as BibTeX file

• 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), 2017. 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), 2016. 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), December 2015. 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), September 2015. 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, November 2012. 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, March 2012. 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, 2012. 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, 2012. 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, 2012. 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, 2011. 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, 2011. Details URL DOI BIB