Classifying and Formally Verifying Integer Constant Folding. - Sabine Glesner; Jan Olaf Blech (COCV@ETAPS, 2003)

Coalgebraic Semantics for Component Systems. - Sabine Glesner; Jan Olaf Blech (Architecting Systems with Trustworthy Components, 2004)

A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. - Jan Olaf Blech; Sabine Glesner (GI Jahrestagung (2), 2004)

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. - Sabine Glesner; Jan Olaf Blech (Software Engineering, 2005)

Formal Verification of Dead Code Elimination in Isabelle/HOL. - Jan Olaf Blech; Lars Gesellensetter; Sabine Glesner (SEFM, 2005)

Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. - Jan Olaf Blech; Sabine Glesner; Johannes Leitner; Steffen Mülling (COCV@ETAPS, 2005)

Coinductive Verification of Program Optimizations Using Similarity Relations. - Sabine Glesner; Johannes Leitner; Jan Olaf Blech (COCV@ETAPS, 2006)

Translation Validation of System Abstractions. - Jan Olaf Blech; Ina Schaefer; Arnd Poetzsch-Heffter (RV, 2007)

A Certifying Code Generation Phase. - Jan Olaf Blech; Arnd Poetzsch-Heffter (COCV@ETAPS, 2007)

Certifying deadlock-freedom for BIP models. - Jan Olaf Blech; Michaël Périn (SCOPES, 2009)

Certifying system translations using higher order theorem provers. - Jan Olaf Blech (2009)

Invariants and Robustness of BIP Models. - Jan Olaf Blech; Thanh-Hung Nguyen; Michaël Périn (WING@ETAPS/IJCAR, 2010)

Towards a Property Preserving Transformation from IEC 61131-3 to BIP - Jan Olaf Blech; Anton Hattendorf; Jia Huang (CoRR, 2010)

Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems. - Jia Huang; Jan Olaf Blech; Andreas Raabe; Christian Buckl; Alois C. Knoll (CODES+ISSS, 2011)

Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. - Jia Huang; Jan Olaf Blech; Andreas Raabe; Christian Buckl; Alois C. Knoll (DSD, 2011)

An Invariant Preserving Transformation for PLC Models. - Jan Olaf Blech; Anton Hattendorf; Jia Huang (ISORC Workshops, 2011)

Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties. - Jan Olaf Blech (OPODIS, 2011)

Proving the security of ElGamal encryption via indistinguishability logic. - Jan Olaf Blech (SAC, 2011)

Verification of PLC Properties Based on Formal Semantics in Coq. - Jan Olaf Blech; Sidi Ould Biha (SEFM, 2011)

A Tool for the Certification of Sequential Function Chart based System Specifications. - Jan Olaf Blech (SSV, 2011)

A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts - Jan Olaf Blech (CoRR, 2011)

On the Simulation of Time-Triggered Systems on a Chip with BIP - Jan Olaf Blech; Benoît Boyer; Thanh-Hung Nguyen (CoRR, 2011)

Certifying compilers using higher-order theorem provers as certificate checkers. - Jan Olaf Blech; Benjamin Grégoire (Formal Methods Syst. Des., 2011)

Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving. - Jia Huang; Jan Olaf Blech; Andreas Raabe; Christian Buckl; Alois C. Knoll (DATE, 2012)

Towards Certified Runtime Verification. - Jan Olaf Blech; Yliès Falcone; Klaus Becker 001 (ICFEM, 2012)

Behavioral Specification Based Runtime Monitors for OSGi Services. - Jan Olaf Blech; Yliès Falcone; Harald Rueß; Bernhard Schätz (ISoLA (1), 2012)

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool - Jan Olaf Blech; Dongyue Mou; Daniel Ratiu (MBT, 2012)

On Compositional Reasoning for Guaranteeing Probabilistic Properties - Jan Olaf Blech (CoRR, 2012)

Towards a Formalization of the OSGi Component Framework - Jan Olaf Blech (CoRR, 2012)

Towards a formal foundation of behavioral types for UML state-machines. - Jan Olaf Blech; Bernhard Schätz (ACM SIGSOFT Softw. Eng. Notes, 2012)

Generating Invariant-Based Certificates for Embedded Systems. - Jan Olaf Blech; Michaël Périn (ACM Trans. Embed. Comput. Syst., 2012)

Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. - Jan Olaf Blech (MoDeVVa@MoDELS, 2013)

Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis. - Ian D. Peake; Jan Olaf Blech; Lasith Fernando (EESSMod@MoDELS, 2013)

On Behavioral Types for OSGi: From Theory to Implementation. - Jan Olaf Blech; Harald Rueß; Bernhard Schätz (CoRR, 2013)

On Formal Reasoning on the Semantics of PLC using Coq - Jan Olaf Blech; Sidi Ould Biha (CoRR, 2013)

Towards a Framework for Behavioral Specifications of OSGi Components - Jan Olaf Blech (FESCA, 2013)

Cyber-virtual Systems - Simulation, Validation & Visualization. - Jan Olaf Blech; Maria Spichkova; Ian D. Peake; Heinz W. Schmidt (ENASE, 2014)

Visualization, Simulation and Validation for Cyber-Virtual Systems. - Jan Olaf Blech; Maria Spichkova; Ian Peake; Heinz W. Schmidt (ENASE (Selected Papers), 2014)

Collaborative engineering through integration of architectural, social and spatial models. - Jan Olaf Blech; Ian D. Peake; Heinz W. Schmidt; Mallikarjun Kande; Srini Ramaswamy; Sithu D. Sudarsan; Venkateswaran Narayanan (ETFA, 2014)

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. - Maria Spichkova; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (MoDeVVa@MoDELS, 2014)

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. - Jan Olaf Blech; Heinz W. Schmidt (CoRR, 2014)

Towards Verifying Safety Properties of Real-Time Probabilistic Systems. - Fenglin Han; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (FESCA, 2014)

A Software Platform for Architectural Robots. - Jan Olaf Blech; Ian D. Peake; Gwyllim Jahn; Roland Snooks (ASWEC (2), 2015)

Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. - Fenglin Han; Jan Olaf Blech; Peter Herrmann; Heinz W. Schmidt (COMPSAC, 2015)

Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. - Jan Olaf Blech; Peter Herrmann; Ian D. Peake; Heinz W. Schmidt (ENASE, 2015)

Efficient incident handling in industrial automation through collaborative engineering. - Jan Olaf Blech; Ian D. Peake; Heinz W. Schmidt; Mallikarjun Kande; Akilur Rahman; Srini Ramaswamy; Sithu D. Sudarsan; Venkateswaran Narayanan (ETFA, 2015)

Visualization facilities for distributed and remote industrial automation: VxLab. - Ian D. Peake; Jan Olaf Blech; Lasith Fernando; Heinz W. Schmidt; Ravi Sreenivasamurthy; Sithu D. Sudarsan (ETFA, 2015)

Behavioral type-based monitoring for IEC 61499. - Monika Wenger; Alois Zoitl; Jan Olaf Blech (ETFA, 2015)

Software Defined Networking for Communication and Control of Cyber-Physical Systems. - Khandakar Ahmed; Jan Olaf Blech; Mark A. Gregory; Heinrich-Wilhelm Schmidt (ICPADS, 2015)

Cloud-Based Analysis and Control for Robots in Industrial Automation. - Ian D. Peake; Abhijay Vuyyuru; Jan Olaf Blech; Nicolas Vergnaud; Lasith Fernando (ICPADS, 2015)

Cloud Based Monitoring of Timed Events for Industrial Automation. - Monika Wenger; Alois Zoitl; Jan Olaf Blech; Ian Peake; Lasith Fernando (ICPADS, 2015)

Behavioral Types for Space-aware Systems. - Jan Olaf Blech; Peter Herrmann (ACES-MB&WUCOR@MoDELS, 2015)

Behavioral Types for Component-Based Development of Cyber-Physical Systems. - Jan Olaf Blech; Peter Herrmann (SEFM Workshops, 2015)

An Example for BeSpaceD and its Use for Decision Support in Industrial Automation. - Jan Olaf Blech (CoRR, 2015)

Analysis of Software Binaries for Reengineering-Driven Product Line Architecture - An Industrial Case Study. - Ian D. Peake; Jan Olaf Blech; Lasith Fernando; Divyasheel Sharma; Srini Ramaswamy; Mallikarjun Kande (FMSPLE, 2015)

The Virtual Experiences Lab - a platform for global collaborative engineering and beyond. - Ian D. Peake; Jan Olaf Blech; Ian E. Thomas; Nicholas R. May; Heinz W. Schmidt; Lasith Fernando; Ravi Sreenivasamurthy (CoRR, 2015)

Applying Model Checking to Industrial-Sized PLC Programs. - Borja Fernandez Adiego; Dániel Darvas; Enrique Blanco Viñuela; Jean-Charles Tournier; Simon Bliudze; Jan Olaf Blech; Víctor Manuel González Suárez (IEEE Trans. Ind. Informatics, 2015)

The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization. - Ian D. Peake; Jan Olaf Blech; Edward Watkins; Stefan Greuter; Heinz W. Schmidt (AVR (1), 2016)

Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. - James Harland; Jan Olaf Blech; Ian Peake; Luke Trodd (ENASE, 2016)

Collaborative Model-based Development of a Remote Train Monitoring System. - Peter Herrmann; Alexander Svae; Henrik Heggelund Svendsen; Jan Olaf Blech (ENASE, 2016)

A Methodology for Model-based Development and Safety Analysis of Transport Systems. - Simon Hordvik; Kristoffer Øseth; Jan Olaf Blech; Peter Herrmann (ENASE, 2016)

Model-Based Engineering and Spatiotemporal Analysis of Transport Systems. - Simon Hordvik; Kristoffer Øseth; Henrik Heggelund Svendsen; Jan Olaf Blech; Peter Herrmann (ENASE (Selected Papers), 2016)

Spatio-temporal reasoning and decision support for smart energy systems. - Jan Olaf Blech; Lasith Fernando; Keith Foster; G. Abhilash; Sithu D. Sudarsan (ETFA, 2016)

A Comparison of Formal Verification Approaches for IEC 61499. - Jan Olaf Blech; Per Lindgren; David Pereira; Valeriy Vyatkin; Alois Zoitl (ETFA, 2016)

A software framework for augmented reality-based support of industrial operations. - Ian D. Peake; Jan Olaf Blech; Matthew Schembri (ETFA, 2016)

Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems. - Amir Taherkordi; Peter Herrmann; Jan Olaf Blech; Álvaro Fernández 003 (ICSOC Workshops, 2016)

Remote monitoring infrastructure for IEC 61499 based control software. - Monika Wenger; Alois Zoitl; Jan Olaf Blech; Ian Peake (ICUMT, 2016)

Spatio-Temporal Models for Formal Analysis and Property-Based Testing. - Nasser Alzahrani; Maria Spichkova; Jan Olaf Blech (STAF Workshops, 2016)

Formal Model-Based Development in Industrial Automation with Reactive Blocks. - Peter Herrmann; Jan Olaf Blech (STAF Workshops, 2016)

Operators for Space and Time in BeSpaceD. - Jan Olaf Blech; Keith Foster (CoRR, 2016)

Example Data Sets and Collections for BeSpaceD Explained. - Keith Foster; Jan Olaf Blech (CoRR, 2016)

Towards the Formalization of a Factory Demonstrator in BeSpaceD. - Keith Foster; Jan Olaf Blech; Guillaume Prévost 001 (CoRR, 2016)

A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. - Peter Herrmann; Jan Olaf Blech; Fenglin Han; Heinz W. Schmidt (Int. J. Web Serv. Res., 2016)

Behavioral types for component-based software systems. - Jan Olaf Blech (ACSW, 2017)

From Temporal Models to Property-based Testing. - Nasser Alzahrani; Maria Spichkova; Jan Olaf Blech (ENASE, 2017)

An Architecture for Visualization of Industrial Automation Data. - Guillaume Prévost 001; Jan Olaf Blech; Keith Foster; Heinrich-Wilhelm Schmidt (ENASE, 2017)

Evaluating software-defined networking for deterministic communication in distributed industrial automation systems. - Ben Schneider; Alois Zoitl; Monika Wenger; Jan Olaf Blech (ETFA, 2017)

Software defined industry automation networks. - Khandakar Ahmed; Nazmus S. Nafi; Jan Olaf Blech; Mark A. Gregory; Heinrich-Wilhelm Schmidt (ITNAC, 2017)

Formal Analysis of Control Software for Cyber-Physical Systems. - Peter Herrmann; Jan Olaf Blech (QRS Companion, 2017)

Spatio-Temporal Aware Testing for Complex Systems. - Huai Liu; Jan Olaf Blech; Matt Duckham; Heinz W. Schmidt (QRS Companion, 2017)

A Candidate Architecture for Cloud-Based Monitoring in Industrial Automation. - Ian David Peake; Jan Olaf Blech (QRS Companion, 2017)

Self-adaptive control in cyber-physical systems: the autonomous train experiment. - Alexander Svae; Amir Taherkordi; Peter Herrmann; Jan Olaf Blech (SAC, 2017)

Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models. - Jan Olaf Blech; Lasith Fernando; Keith Foster; G. Abhilash; Sithu D. Sudarsan (CoRR, 2017)

Towards a Cloud-based Architecture for Visualization and Augmented Reality to Support Collaboration in Manufacturing Automation. - Ian D. Peake; Jan Olaf Blech; Shyam Nath; Jacob Jacky Aharon; Argyll McGhie (CoRR, 2017)

A Case for Certifying Compilers in Industrial Automation. - Jan Olaf Blech (Principled Software Development, 2018)

Towards Classification of Lightweight Formal Methods. - Anna Zamansky; Maria Spichkova; Guillermo Rodríguez-Navas; Peter Herrmann; Jan Olaf Blech (ENASE, 2018)

Simulation-driven Development of Self-adaptive Transportation Systems. - Magnus Karsten Oplenskedal; Peter Herrmann; Jan Olaf Blech; Amir Taherkordi (NetSoft, 2018)

On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework. - Jan Olaf Blech; Ian D. Peake; Sudarsan S. D. (CoRR, 2018)

Software Defined Networks in Industrial Automation. - Khandakar Ahmed; Jan Olaf Blech; Mark A. Gregory; Heinz W. Schmidt (J. Sens. Actuator Networks, 2018)

Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory. - Udayanto Dwi Atmojo; Jan Olaf Blech; Seppo A. Sierla; Valeriy Vyatkin (ICII, 2019)

On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study. - Udayanto Dwi Atmojo; Jan Olaf Blech; Valeriy Vyatkin; Markus Roni; Vuong Vo; Roman Rumiantcev; Konsta Leino; Mika Kuusisto (ICII, 2019)

Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. - Vladimir Kuliaev; Udayanto Dwi Atmojo; Seppo A. Sierla; Jan Olaf Blech; Valeriy Vyatkin (INDIN, 2019)

Towards Digital Twins for the Description of Automotive Software Systems. - Jan Olaf Blech (QAPL@ETAPS, 2019)

Mirrorlabs - creating accessible Digital Twins of robotic production environment with Mixed Reality. - Doris Aschenbrenner; Jonas S. I. Rieder; Daniëlle van Tol; Joris J. F. van Dam; Zoltán Rusák; Jan Olaf Blech; Mohammad Azangoo; Salo Panu; Karl Kruusamäe; Houman Masnavi; Igor Rybalskii; Alvo Aabloo; et al. (AIVR, 2020)

Towards a 3D Scanning/VR-based Product Inspection Station. - Mohammad Azangoo; Jan Olaf Blech; Udayanto Dwi Atmojo; Valeriy Vyatkin; Kamal Dhakal; Mikael Eriksson; Miika Lehtimäki; Jonathan Leinola; Pyry Pietarila (ETFA, 2020)

Digital Twins for Manufacturing Using UML and Behavioral Specifications. - Mohammad Azangoo; Amir Taherkordi; Jan Olaf Blech (ETFA, 2020)

Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. - Ronal Bejarano; Roope Pääkkönen; Jan Olaf Blech; Ian Peake; Peter Herrmann; Valeriy Vyatkin (ETFA, 2020)

Performance Evaluation of Containerization Platforms for Control and Monitoring Devices. - Harri Manninen; Vesa Jääskeläinen; Jan Olaf Blech (ETFA, 2020)

A Plug and Produce-inspired Approach in Distributed Control Architecture: A Flexible Assembly Line and Product Centric Control Example. - Udayanto Dwi Atmojo; Jan Olaf Blech; Valeriy Vyatkin (ICIT, 2020)

Towards Formal Monitoring of Workpieces in Agile Manufacturing. - Mohammad Azangoo; Jan Olaf Blech; Udayanto Dwi Atmojo (ICIT, 2020)

A Machine learning based intrusion detection approach for industrial networks. - Hanli Qiao; Jan Olaf Blech; Huazhou Chen (ICIT, 2020)

A REST and HTTP-based Service Architecture for Industrial Facilities. - Md Shahedul Alam; Udayanto Dwi Atmojo; Jan Olaf Blech; Jose L. Martinez Lastra (ICPS, 2020)

Towards enhanced live visualization based on communication delay prediction for remote AGV operation. - Ronal Bejarano; Udayanto Dwi Atmojo; Jan Olaf Blech; Valeriy Vyatkin (ETFA, 2021)

A Design Pattern for Monitoring Adapter Connections in IEC 61499. - Pranay Jhunjhunwala; Jan Olaf Blech; Alois Zoitl; Udayanto Dwi Atmojo; Valeriy Vyatkin (ICIT, 2021)

Dynamic Adapter Connections for IEC 61499. - Paavo Kajola; Jan Olaf Blech; Udayanto Dwi Atmojo; Valeriy Vyatkin (ICIT, 2021)

Simulation Components in Gazebo. - Ian Peake; Joseph La Delfa; Ronal Bejarano; Jan Olaf Blech (ICIT, 2021)

Anomaly Detection for Injection Molding Using Probabilistic Deep Learning. - Vili Ketonen; Jan Olaf Blech (ICPS, 2021)

SMT-Based Deployment Calculation for IEC 61499 Control Applications. - Tuojian Lyu; Jan Olaf Blech; Valeriy Vyatkin (ICPS, 2021)

A Ground Texture-based Mapping and Localization Method for AGVs. - Javier Macias-Sola; Sarah Uttendorf; Jan Olaf Blech (IPIN, 2021)

Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. - Mohammad Azangoo; Amir Taherkordi; Jan Olaf Blech; Valeriy Vyatkin (ISIE, 2021)

A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. - Tuojian Lyu; Jan Olaf Blech; Valeriy Vyatkin (ISIE, 2021)

Concept Drift Analysis by Dynamic Residual Projection for Effectively Detecting Botnet Cyber-Attacks in IoT Scenarios. - Hanli Qiao; Boris Novikov 001; Jan Olaf Blech (IEEE Trans. Ind. Informatics, 2022)

Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment. - Mikhail V. Kolesnikov; Jan Olaf Blech; Udayanto Dwi Atmojo; Valeriy Vyatkin; Maxim Ya. Afanasev (ISIE, 2023)