| 2021 | ETFA | Towards enhanced live visualization based on communication delay prediction for remote AGV operation. | Ronal Bejarano, Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin |
| 2021 | IPIN | A Ground Texture-based Mapping and Localization Method for AGVs. | Javier Macias-Sola, Sarah Uttendorf, Jan Olaf Blech |
| 2020 | ETFA | Towards a 3D Scanning/VR-based Product Inspection Station. | Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Kamal Dhakal, Mikael Eriksson, Miika Lehtimki, Jonathan Leinola, Pyry Pietarila |
| 2020 | ETFA | Digital Twins for Manufacturing Using UML and Behavioral Specifications. | Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech |
| 2020 | ETFA | Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. | Ronal Bejarano, Roope Pkknen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin |
| 2020 | ETFA | Performance Evaluation of Containerization Platforms for Control and Monitoring Devices. | Harri Manninen, Vesa Jskelinen, Jan Olaf Blech |
| 2019 | INDIN | Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. | Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo A. Sierla, Jan Olaf Blech, Valeriy Vyatkin |
| 2018 | ENASE | Towards Classification of Lightweight Formal Methods. | Anna Zamansky, Maria Spichkova, Guillermo Rodrguez-Navas, Peter Herrmann, Jan Olaf Blech |
| 2018 | NetSoft | Simulation-driven Development of Self-adaptive Transportation Systems. | Magnus Karsten Oplenskedal, Peter Herrmann, Jan Olaf Blech, Amir Taherkordi |
| 2017 | ENASE | From Temporal Models to Property-based Testing. | Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech |
| 2017 | ENASE | An Architecture for Visualization of Industrial Automation Data. | Guillaume Prvost, Jan Olaf Blech, Keith Foster, Heinrich-Wilhelm Schmidt |
| 2017 | ETFA | Evaluating software-defined networking for deterministic communication in distributed industrial automation systems. | Ben Schneider, Alois Zoitl, Monika Wenger, Jan Olaf Blech |
| 2017 | ITNAC | Software defined industry automation networks. | Khandakar Ahmed, Nazmus S. Nafi, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt |
| 2017 | QRS | Formal Analysis of Control Software for Cyber-Physical Systems. | Peter Herrmann, Jan Olaf Blech |
| 2017 | QRS | Spatio-Temporal Aware Testing for Complex Systems. | Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt |
| 2017 | QRS | A Candidate Architecture for Cloud-Based Monitoring in Industrial Automation. | Ian David Peake, Jan Olaf Blech |
| 2017 | SAC | Self-adaptive control in cyber-physical systems: the autonomous train experiment. | Alexander Svae, Amir Taherkordi, Peter Herrmann, Jan Olaf Blech |
| 2016 | ENASE | Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. | James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd |
| 2016 | ENASE | Collaborative Model-based Development of a Remote Train Monitoring System. | Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech |
| 2016 | ENASE | A Methodology for Model-based Development and Safety Analysis of Transport Systems. | Simon Hordvik, Kristoffer seth, Jan Olaf Blech, Peter Herrmann |
| 2016 | ENASE | Model-Based Engineering and Spatiotemporal Analysis of Transport Systems. | Simon Hordvik, Kristoffer seth, Henrik Heggelund Svendsen, Jan Olaf Blech, Peter Herrmann |
| 2016 | ETFA | Spatio-temporal reasoning and decision support for smart energy systems. | Jan Olaf Blech, Lasith Fernando, Keith Foster, G. Abhilash, Sithu D. Sudarsan |
| 2016 | ETFA | A Comparison of Formal Verification Approaches for IEC 61499. | Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl |
| 2016 | ETFA | A software framework for augmented reality-based support of industrial operations. | Ian D. Peake, Jan Olaf Blech, Matthew Schembri |
| 2016 | ICSOC | Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems. | Amir Taherkordi, Peter Herrmann, Jan Olaf Blech, lvaro Fernndez |
| 2015 | COMPSAC | Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. | Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt |
| 2015 | ENASE | 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 |
| 2015 | ETFA | 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 |
| 2015 | ETFA | 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 |
| 2015 | ETFA | Behavioral type-based monitoring for IEC 61499. | Monika Wenger, Alois Zoitl, Jan Olaf Blech |
| 2015 | ICPADS | Software Defined Networking for Communication and Control of Cyber-Physical Systems. | Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt |
| 2015 | ICPADS | Cloud-Based Analysis and Control for Robots in Industrial Automation. | Ian D. Peake, Abhijay Vuyyuru, Jan Olaf Blech, Nicolas Vergnaud, Lasith Fernando |
| 2015 | ICPADS | Cloud Based Monitoring of Timed Events for Industrial Automation. | Monika Wenger, Alois Zoitl, Jan Olaf Blech, Ian Peake, Lasith Fernando |
| 2015 | MODELS | Behavioral Types for Space-aware Systems. | Jan Olaf Blech, Peter Herrmann |
| 2015 | SEFM | Behavioral Types for Component-Based Development of Cyber-Physical Systems. | Jan Olaf Blech, Peter Herrmann |
| 2014 | ENASE | Cyber-virtual Systems - Simulation, Validation & Visualization. | Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt |
| 2014 | ENASE | Visualization, Simulation and Validation for Cyber-Virtual Systems. | Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt |
| 2014 | ETFA | 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 |
| 2014 | MODELS | Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. | Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt |
| 2013 | MODELS | Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. | Jan Olaf Blech |
| 2013 | MODELS | Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis. | Ian D. Peake, Jan Olaf Blech, Lasith Fernando |
| 2012 | DATE | 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 |
| 2012 | ICFEM | Towards Certified Runtime Verification. | Jan Olaf Blech, Ylis Falcone, Klaus Becker |
| 2012 | ISoLA | Behavioral Specification Based Runtime Monitors for OSGi Services. | Jan Olaf Blech, Ylis Falcone, Harald Rue, Bernhard Schtz |
| 2011 | DSD | Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. | Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll |
| 2011 | ISORC | An Invariant Preserving Transformation for PLC Models. | Jan Olaf Blech, Anton Hattendorf, Jia Huang |
| 2011 | OPODIS | Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties. | Jan Olaf Blech |
| 2011 | SAC | Proving the security of ElGamal encryption via indistinguishability logic. | Jan Olaf Blech |
| 2011 | SEFM | Verification of PLC Properties Based on Formal Semantics in Coq. | Jan Olaf Blech, Sidi Ould Biha |
| 2010 | CADE | Invariants and Robustness of BIP Models. | Jan Olaf Blech, Thanh-Hung Nguyen, Michal Prin |
| 2009 | SCOPES | Certifying deadlock-freedom for BIP models. | Jan Olaf Blech, Michal Prin |
| 2007 | RV | Translation Validation of System Abstractions. | Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter |
| 2005 | SEFM | Formal Verification of Dead Code Elimination in Isabelle/HOL. | Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner |
| 2004 | GI | A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. | Jan Olaf Blech, Sabine Glesner |