Publications
Export list as BibTeX file
- 2017Evaluating Software-defined Networking for Deterministic Communication in Distributed Industrial Automation SystemsBen Schneider, Alois Zoitl, Monika Wenger and Jan Olaf Blech
In
IEEE International Conference on Emerging Technologies And Factory Automation (ETFA),
DetailsURLPDFBIB
- 2016Remote Monitoring Infrastructure for IEC 61499 Based Control SoftwareMonika Wenger, Jan Olaf Blech, Ian Peake and Alois Zoitl
In
The 8th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT),
DetailsBIB
- December 2015Cloud Based Monitoring of Timed Events for Industrial Automation - Short PaperMonika 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),
DetailsBIB
- September 2015Behavioral Type-based Monitoring for IEC 61499Monika Wenger, Jan Olaf Blech and Alois Zoitl
In
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),
DetailsBIB
- 2013On Behavioral Types for OSGi: From Theory to ImplementationJan Olaf Blech, Harald Rueß and Bernhard SchätzCoRR,
abs/1306.6115():,
2013.
DetailsURLBIB
- March 2012Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development ToolJan Olaf Blech, Dongyue Mou and Daniel Ratiu
In
Proceedings 7th Workshop on Model-Based Testing (MBT),
pages 13–27,
Tallinn, Estonia,
DetailsDOIBIB
- 2012Behavioral specification based runtime monitors for OSGi servicesJan 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,
DetailsBIB
- 2012Behavioral Specification Based Runtime Monitors for OSGi ServicesJan 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,
DetailsURLDOIBIB
- 2012Static Scheduling of a Time-Triggered Network-on-Chip based on SMT SolvingJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll
In
Design, Automation and Test in Europe (DATE),
Dresden, Germany,
DetailsURLBIB
- 2012Towards Certified Runtime VerificationJan Olaf Blech, Yliès Falcone and Klaus Becker
In
Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM 2012),
Kyoto, Japan,
DetailsBIB
- 2011Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded SystemsJia 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,
DetailsURLDOIBIB
- 2011Reliability-Aware Design Optimization for Multiprocessor Embedded SystemsJia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll
In
14th Euromicro International Conference on Digital System Design (DSD),
Oulu, Finland,
DetailsURLDOIBIB
