Jan Olaf Blech

According to our database, Jan Olaf Blech authored at least 113 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

2022

Concept Drift Analysis by Dynamic Residual Projection for Effectively Detecting Botnet Cyber-Attacks in IoT Scenarios.

Hanli Qiao, Boris Novikov, Jan Olaf Blech

IEEE Trans. Ind. Informatics, 2022

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

Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021

Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments.

Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin

Proceedings of the 30th IEEE International Symposium on Industrial Electronics, 2021

A Ground Texture-based Mapping and Localization Method for AGVs.

Javier Macias-Sola, Sarah Uttendorf, Jan Olaf Blech

Proceedings of the International Conference on Indoor Positioning and Indoor Navigation, 2021

SMT-Based Deployment Calculation for IEC 61499 Control Applications.

Tuojian Lyu, Jan Olaf Blech, Valeriy Vyatkin

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

Anomaly Detection for Injection Molding Using Probabilistic Deep Learning.

Vili Ketonen, Jan Olaf Blech

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

Simulation Components in Gazebo.

Ian Peake, Joseph La Delfa, Ronal Bejarano, Jan Olaf Blech

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

Dynamic Adapter Connections for IEC 61499.

Paavo Kajola, Jan Olaf Blech, Udayanto Dwi Atmojo, Valeriy Vyatkin

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

A Design Pattern for Monitoring Adapter Connections in IEC 61499.

Pranay Jhunjhunwala, Jan Olaf Blech, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

Towards enhanced live visualization based on communication delay prediction for remote AGV operation.

Ronal Bejarano, Udayanto Dwi Atmojo, Jan Olaf Blech, Valeriy Vyatkin

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

A REST and HTTP-based Service Architecture for Industrial Facilities.

Md Shahedul Alam, Udayanto Dwi Atmojo, Jan Olaf Blech, Jose L. Martinez Lastra

Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020

A Machine learning based intrusion detection approach for industrial networks.

Hanli Qiao, Jan Olaf Blech, Huazhou Chen

Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

Towards Formal Monitoring of Workpieces in Agile Manufacturing.

Mohammad Azangoo, Jan Olaf Blech, Udayanto Dwi Atmojo

Proceedings of the 2020 IEEE International Conference on Industrial Technology, 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

Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

Performance Evaluation of Containerization Platforms for Control and Monitoring Devices.

Harri Manninen, Vesa Jääskeläinen, Jan Olaf Blech

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 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

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Digital Twins for Manufacturing Using UML and Behavioral Specifications.

Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 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

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

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, Marcelo Roberto Petry, Gustavo Teixeira, Bastian Thiede, Paolo Pedrazzoli, Andrea Ferrario, Michele Foletti, Matteo Confalonieri, Daniele Bertaggia, Thodoris Togias, Sotiris Makris

Proceedings of the IEEE International Conference on Artificial Intelligence and Virtual Reality, 2020

2019

Towards Digital Twins for the Description of Automotive Software Systems.

Jan Olaf Blech

Proceedings of the Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, 2019

Towards Product Centric Manufacturing: From Digital Twins to Product Assembly.

Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo A. Sierla, Jan Olaf Blech, Valeriy Vyatkin

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 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

Proceedings of the IEEE International Conference on Industrial Internet, 2019

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

Proceedings of the IEEE International Conference on Industrial Internet, 2019

2018

Software Defined Networks in Industrial Automation.

Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinz W. Schmidt

J. Sens. Actuator Networks, 2018

On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework.

Jan Olaf Blech, Ian D. Peake, Sudarsan S. D.

CoRR, 2018

Simulation-driven Development of Self-adaptive Transportation Systems.

Magnus Karsten Oplenskedal, Peter Herrmann, Jan Olaf Blech, Amir Taherkordi

Proceedings of the 4th IEEE Conference on Network Softwarization and Workshops, 2018

Towards Classification of Lightweight Formal Methods.

Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech

Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

A Case for Certifying Compilers in Industrial Automation.

Jan Olaf Blech

Proceedings of the Principled Software Development, 2018

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

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

Self-adaptive control in cyber-physical systems: the autonomous train experiment.

Alexander Svae, Amir Taherkordi, Peter Herrmann, Jan Olaf Blech

Proceedings of the Symposium on Applied Computing, 2017

A Candidate Architecture for Cloud-Based Monitoring in Industrial Automation.

Ian David Peake, Jan Olaf Blech

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Spatio-Temporal Aware Testing for Complex Systems.

Huai Liu, Jan Olaf Blech, Matt Duckham, Heinz W. Schmidt

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Formal Analysis of Control Software for Cyber-Physical Systems.

Peter Herrmann, Jan Olaf Blech

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Software defined industry automation networks.

Khandakar Ahmed, Nazmus S. Nafi, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt

Proceedings of the 27th International Telecommunication Networks and Applications Conference, 2017

Evaluating software-defined networking for deterministic communication in distributed industrial automation systems.

Ben Schneider, Alois Zoitl, Monika Wenger, Jan Olaf Blech

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

An Architecture for Visualization of Industrial Automation Data.

Guillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich-Wilhelm Schmidt

Proceedings of the ENASE 2017, 2017

From Temporal Models to Property-based Testing.

Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech

Proceedings of the ENASE 2017, 2017

Behavioral types for component-based software systems.

Jan Olaf Blech

Proceedings of the Australasian Computer Science Week Multiconference, 2017

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

Towards the Formalization of a Factory Demonstrator in BeSpaceD.

Keith Foster, Jan Olaf Blech, Guillaume Prévost

CoRR, 2016

Example Data Sets and Collections for BeSpaceD Explained.

Keith Foster, Jan Olaf Blech

CoRR, 2016

Operators for Space and Time in BeSpaceD.

Jan Olaf Blech, Keith Foster

CoRR, 2016

Formal Model-Based Development in Industrial Automation with Reactive Blocks.

Peter Herrmann, Jan Olaf Blech

Proceedings of the Software Technologies: Applications and Foundations, 2016

Spatio-Temporal Models for Formal Analysis and Property-Based Testing.

Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech

Proceedings of the Software Technologies: Applications and Foundations, 2016

Remote monitoring infrastructure for IEC 61499 based control software.

Monika Wenger, Alois Zoitl, Jan Olaf Blech, Ian Peake

Proceedings of the 8th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2016

Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems.

Amir Taherkordi, Peter Herrmann, Jan Olaf Blech, Álvaro Fernández

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

A software framework for augmented reality-based support of industrial operations.

Ian D. Peake, Jan Olaf Blech, Matthew Schembri

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

A Comparison of Formal Verification Approaches for IEC 61499.

Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Spatio-temporal reasoning and decision support for smart energy systems.

Jan Olaf Blech, Lasith Fernando, Keith Foster, G. Abhilash, Sithu D. Sudarsan

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Model-Based Engineering and Spatiotemporal Analysis of Transport Systems.

Simon Hordvik, Kristoffer Øseth, Henrik Heggelund Svendsen, Jan Olaf Blech, Peter Herrmann

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

A Methodology for Model-based Development and Safety Analysis of Transport Systems.

Simon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann

Proceedings of the ENASE 2016, 2016

Collaborative Model-based Development of a Remote Train Monitoring System.

Peter Herrmann, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech

Proceedings of the ENASE 2016, 2016

Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation.

James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd

Proceedings of the ENASE 2016, 2016

The Virtual Experiences Portals - A Reconfigurable Platform for Immersive Visualization.

Ian D. Peake, Jan Olaf Blech, Edward Watkins, Stefan Greuter, Heinz W. Schmidt

Proceedings of the Augmented Reality, Virtual Reality, and Computer Graphics, 2016

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 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

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

Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

An Example for BeSpaceD and its Use for Decision Support in Industrial Automation.

Jan Olaf Blech

CoRR, 2015

Behavioral Types for Component-Based Development of Cyber-Physical Systems.

Jan Olaf Blech, Peter Herrmann

Proceedings of the Software Engineering and Formal Methods, 2015

Behavioral Types for Space-aware Systems.

Jan Olaf Blech, Peter Herrmann

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Cloud Based Monitoring of Timed Events for Industrial Automation.

Monika Wenger, Alois Zoitl, Jan Olaf Blech, Ian Peake, Lasith Fernando

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Cloud-Based Analysis and Control for Robots in Industrial Automation.

Ian D. Peake, Abhijay Vuyyuru, Jan Olaf Blech, Nicolas Vergnaud, Lasith Fernando

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Software Defined Networking for Communication and Control of Cyber-Physical Systems.

Khandakar Ahmed, Jan Olaf Blech, Mark A. Gregory, Heinrich-Wilhelm Schmidt

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Behavioral type-based monitoring for IEC 61499.

Monika Wenger, Alois Zoitl, Jan Olaf Blech

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 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

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 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

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 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

Proceedings of the ENASE 2015, 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

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

A Software Platform for Architectural Robots.

Jan Olaf Blech, Ian D. Peake, Gwyllim Jahn, Roland Snooks

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

Towards Verifying Safety Properties of Real-Time Probabilistic Systems.

Fenglin Han, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 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

Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST.

Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt

Proceedings of the 11th Workshop on Model-Driven Engineering, 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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Visualization, Simulation and Validation for Cyber-Virtual Systems.

Jan Olaf Blech, Maria Spichkova, Ian Peake, Heinz W. Schmidt

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2014

Cyber-virtual Systems - Simulation, Validation & Visualization.

Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt

Proceedings of the ENASE 2014, 2014

2013

Towards a Framework for Behavioral Specifications of OSGi Components

Jan Olaf Blech

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

On Formal Reasoning on the Semantics of PLC using Coq

Jan Olaf Blech, Sidi Ould Biha

CoRR, 2013

On Behavioral Types for OSGi: From Theory to Implementation.

Jan Olaf Blech, Harald Rueß, Bernhard Schätz

CoRR, 2013

Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis.

Ian D. Peake, Jan Olaf Blech, Lasith Fernando

Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Ensuring OSGi Component Based Properties at Runtime with Behavioral Types.

Jan Olaf Blech

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

2012

Generating Invariant-Based Certificates for Embedded Systems.

Jan Olaf Blech, Michaël Périn

ACM Trans. Embed. Comput. Syst., 2012

Towards a formal foundation of behavioral types for UML state-machines.

Jan Olaf Blech, Bernhard Schätz

ACM SIGSOFT Softw. Eng. Notes, 2012

Towards a Formalization of the OSGi Component Framework

Jan Olaf Blech

CoRR, 2012

On Compositional Reasoning for Guaranteeing Probabilistic Properties

Jan Olaf Blech

CoRR, 2012

Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool

Jan Olaf Blech, Dongyue Mou, Daniel Ratiu

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Behavioral Specification Based Runtime Monitors for OSGi Services.

Jan Olaf Blech, Yliès Falcone, Harald Rueß, Bernhard Schätz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Towards Certified Runtime Verification.

Jan Olaf Blech, Yliès Falcone, Klaus Becker

Proceedings of the Formal Methods and Software Engineering, 2012

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

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Certifying compilers using higher-order theorem provers as certificate checkers.

Jan Olaf Blech, Benjamin Grégoire

Formal Methods Syst. Des., 2011

On the Simulation of Time-Triggered Systems on a Chip with BIP

Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen

CoRR, 2011

A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts

Jan Olaf Blech

CoRR, 2011

A Tool for the Certification of Sequential Function Chart based System Specifications.

Jan Olaf Blech

Proceedings of the 6th International Workshop on Systems Software Verification, 2011

Verification of PLC Properties Based on Formal Semantics in Coq.

Jan Olaf Blech, Sidi Ould Biha

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Proving the security of ElGamal encryption via indistinguishability logic.

Jan Olaf Blech

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties.

Jan Olaf Blech

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

An Invariant Preserving Transformation for PLC Models.

Jan Olaf Blech, Anton Hattendorf, Jia Huang

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Reliability-Aware Design Optimization for Multiprocessor Embedded Systems.

Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems.

Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

Towards a Property Preserving Transformation from IEC 61131-3 to BIP

Jan Olaf Blech, Anton Hattendorf, Jia Huang

CoRR, 2010

Invariants and Robustness of BIP Models.

Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn

Proceedings of the Second International Workshop on Invariant Generation, 2010

2009

Certifying system translations using higher order theorem provers.

Jan Olaf Blech

PhD thesis, 2009

Certifying deadlock-freedom for BIP models.

Jan Olaf Blech, Michaël Périn

Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, 2009

2007

A Certifying Code Generation Phase.

Jan Olaf Blech, Arnd Poetzsch-Heffter

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

Translation Validation of System Abstractions.

Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2006

Coinductive Verification of Program Optimizations Using Similarity Relations.

Sabine Glesner, Johannes Leitner, Jan Olaf Blech

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

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

Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005

Formal Verification of Dead Code Elimination in Isabelle/HOL.

Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler.

Sabine Glesner, Jan Olaf Blech

Proceedings of the Software Engineering 2005, 2005

2004

A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL.

Jan Olaf Blech, Sabine Glesner

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Coalgebraic Semantics for Component Systems.

Sabine Glesner, Jan Olaf Blech

Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003

Classifying and Formally Verifying Integer Constant Folding.

Sabine Glesner, Jan Olaf Blech

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003