Jan Olaf Blech

118 papers A 1B 17C 19Misc 4Journal 28Unranked 48

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