Jan Olaf Blech

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 61

Top Venues

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Mikhail V. Kolesnikov, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Maxim Ya. Afanasev
Architecture of a Feedback System for Human-Machine Interaction in a Collaborative Environment. ISIE (2023)
Hanli Qiao, Boris Novikov, Jan Olaf Blech
Concept Drift Analysis by Dynamic Residual Projection for Effectively Detecting Botnet Cyber-Attacks in IoT Scenarios. IEEE Trans. Ind. Informatics 18 (6) (2022)
Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin
SMT-Based Deployment Calculation for IEC 61499 Control Applications. ICPS (2021)
Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. CoRR (2021)
Vili Ketonen, Jan Olaf Blech
Anomaly Detection for Injection Molding Using Probabilistic Deep Learning. ICPS (2021)
Pranay Jhunjhunwala, Jan Olaf Blech, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin
A Design Pattern for Monitoring Adapter Connections in IEC 61499. ICIT (2021)
Javier Macias-Sola, Sarah Uttendorf, Jan Olaf Blech
A Ground Texture-based Mapping and Localization Method for AGVs. IPIN (2021)
Ian Peake, Joseph La Delfa, Ronal Bejarano, Jan Olaf Blech
Simulation Components in Gazebo. ICIT (2021)
Paavo Kajola, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin
Dynamic Adapter Connections for IEC 61499. ICIT (2021)
Ronal Bejarano, Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin
Towards enhanced live visualization based on communication delay prediction for remote AGV operation. ETFA (2021)
Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. ISIE (2021)
Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin
A Case Study of Utilizing the SMT Solver for Deployment Optimization of an IEC 61499-based Application. ISIE (2021)
Iqra Khan, Osmo Kauppilaa, Jukka Majava, Marko Jurmu, Jan Olaf Blech, Elina Annanperä, Marko Jurvansuu, Susanna Pirttikangas
Industry 4.0 in Finland: Towards Twin Transition. CoRR (2021)
Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin, Kamal Dhakal, Mikael Eriksson, Miika Lehtimäki, Jonathan Leinola, Pyry Pietarila
Towards a 3D Scanning/VR-based Product Inspection Station. ETFA (2020)
Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo
Towards Formal Monitoring of Workpieces in Agile Manufacturing. ICIT (2020)
Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin
A Plug and Produce-inspired Approach in Distributed Control Architecture: A Flexible Assembly Line and Product Centric Control Example. ICIT (2020)
Ronal Bejarano, Roope Pääkkönen, Jan Olaf Blech, Ian Peake, Peter Herrmann, Valeriy Vyatkin
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs. ETFA (2020)
Md Shahedul Alam, Udayanto Dwi Atmojo, Jan Olaf Blech, Jose L. Martinez Lastra
A REST and HTTP-based Service Architecture for Industrial Facilities. ICPS (2020)
Harri Manninen, Vesa Jääskeläinen, Jan Olaf Blech
Performance Evaluation of Containerization Platforms for Control and Monitoring Devices. ETFA (2020)
Doris Aschenbrenner, Jonas S. I. Rieder, Daniëlle van Tol, Joris van Dam, Zoltán Rusák, Jan Olaf Blech, Mohammad Azangoo, Salo Panu, Karl Kruusamäe, Houman Masnavi, Igor Rybalskii, Alvo Aabloo, Marcelo Roberto Petry, Gustavo Teixeira, Bastian Thiede, Paolo Pedrazzoli, Andrea Ferrario, Michele Foletti, Matteo Confalonieri, Daniele Bertaggia, Thodoris Togias, Sotiris Makris
Mirrorlabs - creating accessible Digital Twins of robotic production environment with Mixed Reality. AIVR (2020)
Hanli Qiao, Jan Olaf Blech, Huazhou Chen
A Machine learning based intrusion detection approach for industrial networks. ICIT (2020)
Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech
Digital Twins for Manufacturing Using UML and Behavioral Specifications. ETFA (2020)
Jan Olaf Blech
Towards Digital Twins for the Description of Automotive Software Systems. QAPL@ETAPS (2019)
Udayanto Dwi Atmojo, Jan Olaf Blech, Seppo Sierla, Valeriy Vyatkin
Service-based Architecture with Product-centric Control in a Production Island-based Agile Factory. ICII (2019)
Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo Sierla, Jan Olaf Blech, Valeriy Vyatkin
Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. INDIN (2019)
Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin, Markus Roni, Vuong Vo, Roman Rumiantcev, Konsta Leino, Mika Kuusisto
On Developing a Collaborative and Interoperable Mobile Production Platform for an Agile Factory: A Case Study. ICII (2019)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. CoRR (2018)
Magnus Karsten Oplenskedal, Peter Herrmann, Jan Olaf Blech, Amir Taherkordi
Simulation-driven Development of Self-adaptive Transportation Systems. NetSoft (2018)
Jan Olaf Blech, Ian D. Peake, Sudarsan S. D.
On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework. CoRR (2018)
Jan Olaf Blech
A Case for Certifying Compilers in Industrial Automation. Principled Software Development (2018)
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
Towards Classification of Lightweight Formal Methods. ENASE (2018)
Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinz W. Schmidt
Software Defined Networks in Industrial Automation. J. Sens. Actuator Networks 7 (3) (2018)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
From Temporal Models to Property-based Testing. ENASE (2017)
Ian D. Peake, Jan Olaf Blech, Shyam Nath, Jacob Jacky Aharon, Argyll McGhie
Towards a Cloud-based Architecture for Visualization and Augmented Reality to Support Collaboration in Manufacturing Automation. CoRR (2017)
Khandakar Ahmed, Nazmus S. Nafi, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt
Software defined industry automation networks. ITNAC (2017)
Jan Olaf Blech, Lasith Fernando, Keith Foster, G. Abhilash, Sithu D. Sudarsan
Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models. CoRR (2017)
Alexander Svae, Amir Taherkordi, Peter Herrmann, Jan Olaf Blech
Self-adaptive control in cyber-physical systems: the autonomous train experiment. SAC (2017)
Jan Olaf Blech
Behavioral types for component-based software systems. ACSW (2017)
Ian David Peake, Jan Olaf Blech
A Candidate Architecture for Cloud-Based Monitoring in Industrial Automation. QRS Companion (2017)
Peter Herrmann, Jan Olaf Blech
Formal Analysis of Control Software for Cyber-Physical Systems. QRS Companion (2017)
Guillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich-Wilhelm Schmidt
An Architecture for Visualization of Industrial Automation Data. ENASE (2017)
Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt
Spatio-Temporal Aware Testing for Complex Systems. QRS Companion (2017)
Ben Schneider, Alois Zoitl, Monika Wenger, Jan Olaf Blech
Evaluating software-defined networking for deterministic communication in distributed industrial automation systems. ETFA (2017)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
From Temporal Models to Property-Based Testing. CoRR (2017)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
Spatio-Temporal Models for Formal Analysis and Property-Based Testing. STAF Workshops (2016)
Keith Foster, Jan Olaf Blech, Guillaume Prévost
Towards the Formalization of a Factory Demonstrator in BeSpaceD. CoRR (2016)
Simon Hordvik, Kristoffer Øseth, Henrik Heggelund Svendsen, Jan Olaf Blech, Peter Herrmann
Model-Based Engineering and Spatiotemporal Analysis of Transport Systems. ENASE (Selected Papers) (2016)
Jan Olaf Blech, Lasith Fernando, Keith Foster, G. Abhilash, Sithu D. Sudarsan
Spatio-temporal reasoning and decision support for smart energy systems. ETFA (2016)
Keith Foster, Jan Olaf Blech
Example Data Sets and Collections for BeSpaceD Explained. CoRR (2016)
Jan Olaf Blech, Keith Foster
Operators for Space and Time in BeSpaceD. CoRR (2016)
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
Spatio-temporal Models for Formal Analysis and Property-based Testing. CoRR (2016)
Peter Herrmann, Jan Olaf Blech
Formal Model-Based Development in Industrial Automation with Reactive Blocks. STAF Workshops (2016)
Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech
Collaborative Model-based Development of a Remote Train Monitoring System. ENASE (2016)
Peter Herrmann, Jan Olaf Blech, Fenglin Han, Heinz W. Schmidt
A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems. Int. J. Web Serv. Res. 13 (1) (2016)
Amir Taherkordi, Peter Herrmann, Jan Olaf Blech, Álvaro Férnandez
Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems. ICSOC Workshops (2016)
Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl
A Comparison of Formal Verification Approaches for IEC 61499. ETFA (2016)
Ian D. Peake, Jan Olaf Blech, Matthew Schembri
A software framework for augmented reality-based support of industrial operations. ETFA (2016)
James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. ENASE (2016)
Simon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann
A Methodology for Model-based Development and Safety Analysis of Transport Systems. ENASE (2016)
Monika Wenger, Alois Zoitl, Jan Olaf Blech, Ian Peake
Remote monitoring infrastructure for IEC 61499 based control software. ICUMT (2016)
Ian D. Peake, Jan Olaf Blech, Edward Watkins, Stefan Greuter, Heinz W. Schmidt
The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization. AVR (1) (2016)
Jan Olaf Blech, Peter Herrmann
Behavioral Types for Component-Based Development of Cyber-Physical Systems. SEFM Workshops (2015)
Monika Wenger, Alois Zoitl, Jan Olaf Blech
Behavioral type-based monitoring for IEC 61499. ETFA (2015)
Ian D. Peake, Abhijay Vuyyuru, Jan Olaf Blech, Nicolas Vergnaud, Lasith Fernando
Cloud-Based Analysis and Control for Robots in Industrial Automation. ICPADS (2015)
Jan Olaf Blech, Ian D. Peake, Gwyllim Jahn, Roland Snooks
A Software Platform for Architectural Robots. ASWEC (2) (2015)
Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt
Software Defined Networking for Communication and Control of Cyber-Physical Systems. ICPADS (2015)
Jan Olaf Blech
An Example for BeSpaceD and its Use for Decision Support in Industrial Automation. CoRR (2015)
Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Heinz W. Schmidt, Ravi Sreenivasamurthy, Sithu D. Sudarsan
Visualization facilities for distributed and remote industrial automation: VxLab. ETFA (2015)
Jan Olaf Blech, Peter Herrmann
Behavioral Types for Space-aware Systems. ACES-MB&WUCOR@MoDELS (2015)
Jan Olaf Blech, Peter Herrmann, Ian D. Peake, Heinz W. Schmidt
Towards a Model-based Toolchain for Remote Configuration and Maintenance of Space-aware Systems. ENASE (2015)
Monika Wenger, Alois Zoitl, Jan Olaf Blech, Ian Peake, Lasith Fernando
Cloud Based Monitoring of Timed Events for Industrial Automation. ICPADS (2015)
Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Akilur Rahman, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan
Efficient incident handling in industrial automation through collaborative engineering. ETFA (2015)
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
Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics 11 (6) (2015)
Ian D. Peake, Jan Olaf Blech, Ian E. Thomas, Nicholas R. May, Heinz W. Schmidt, Lasith Fernando, Ravi Sreenivasamurthy
The Virtual Experiences Lab - a platform for global collaborative engineering and beyond. CoRR (2015)
Ian D. Peake, Jan Olaf Blech, Lasith Fernando, Divyasheel Sharma, Srini Ramaswamy, Mallikarjun Kande
Analysis of Software Binaries for Reengineering-Driven Product Line Architecture - An Industrial Case Study. FMSPLE (2015)
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Model-Based Engineering and Analysis of Space-Aware Systems Communicating via IEEE 802.11. COMPSAC (2015)
Jan Olaf Blech, Heinz W. Schmidt
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems. CoRR (2014)
Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS (2014)
Jan Olaf Blech, Ian D. Peake, Heinz W. Schmidt, Mallikarjun Kande, Srini Ramaswamy, Sithu D. Sudarsan, Venkateswaran Narayanan
Collaborative engineering through integration of architectural, social and spatial models. ETFA (2014)
Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
Cyber-Virtual Systems: Simulation, Validation & Visualization. CoRR (2014)
Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA (2014)
Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt
Cyber-virtual Systems - Simulation, Validation & Visualization. ENASE (2014)
Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt
Visualization, Simulation and Validation for Cyber-Virtual Systems. ENASE (Selected Papers) (2014)
Jan Olaf Blech
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. MoDeVVa@MoDELS (2013)
Jan Olaf Blech
Towards a Framework for Behavioral Specifications of OSGi Components FESCA (2013)
Jan Olaf Blech, Sidi Ould Biha
On Formal Reasoning on the Semantics of PLC using Coq CoRR (2013)
Ian D. Peake, Jan Olaf Blech, Lasith Fernando
Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis. EESSMod@MoDELS (2013)
Jan Olaf Blech, Harald Rueß, Bernhard Schätz
On Behavioral Types for OSGi: From Theory to Implementation. CoRR (2013)
Jan Olaf Blech, Michaël Périn
Generating Invariant-Based Certificates for Embedded Systems. ACM Trans. Embed. Comput. Syst. 11 (2) (2012)
Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll
Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving. DATE (2012)
Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz
Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) (2012)
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool MBT (2012)
Jan Olaf Blech, Yliès Falcone, Klaus Becker
Towards Certified Runtime Verification. ICFEM (2012)
Jan Olaf Blech
Towards a Formalization of the OSGi Component Framework CoRR (2012)
Jan Olaf Blech
On Compositional Reasoning for Guaranteeing Probabilistic Properties CoRR (2012)
Jan Olaf Blech, Bernhard Schätz
Towards a formal foundation of behavioral types for UML state-machines. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Jan Olaf Blech
A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts CoRR (2011)
Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll
Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems. CODES+ISSS (2011)
Jan Olaf Blech
Proving the security of ElGamal encryption via indistinguishability logic. SAC (2011)
Jan Olaf Blech
A Tool for the Certification of Sequential Function Chart based System Specifications. SSV (2011)

Jan Olaf Blech.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan Olaf Blech