


Остановите войну!
for scientists:
Jan Olaf Blech
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j11]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): 3692-3701 (2022) - 2021
- [c84]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: 1-4 - [c83]Pranay Jhunjhunwala, Jan Olaf Blech
, Alois Zoitl, Udayanto Dwi Atmojo, Valeriy Vyatkin:
A Design Pattern for Monitoring Adapter Connections in IEC 61499. ICIT 2021: 967-972 - [c82]Paavo Kajola, Jan Olaf Blech
, Udayanto Dwi Atmojo, Valeriy Vyatkin:
Dynamic Adapter Connections for IEC 61499. ICIT 2021: 1054-1059 - [c81]Ian Peake, Joseph La Delfa, Ronal Bejarano, Jan Olaf Blech
:
Simulation Components in Gazebo. ICIT 2021: 1169-1175 - [c80]Vili Ketonen, Jan Olaf Blech
:
Anomaly Detection for Injection Molding Using Probabilistic Deep Learning. ICPS 2021: 70-77 - [c79]Tuojian Lyu, Jan Olaf Blech
, Valeriy Vyatkin:
SMT-Based Deployment Calculation for IEC 61499 Control Applications. ICPS 2021: 172-178 - [c78]Javier Macias-Sola, Sarah Uttendorf, Jan Olaf Blech
:
A Ground Texture-based Mapping and Localization Method for AGVs. IPIN 2021: 1-6 - [c77]Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech
, Valeriy Vyatkin:
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. ISIE 2021: 1-7 - [c76]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: 1-6 - [i22]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 abs/2103.16276 (2021) - [i21]Mohammad Azangoo, Amir Taherkordi, Jan Olaf Blech, Valeriy Vyatkin:
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments. CoRR abs/2112.01367 (2021) - 2020
- [c75]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: 43-48 - [c74]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: 69-76 - [c73]Mohammad Azangoo
, Amir Taherkordi, Jan Olaf Blech
:
Digital Twins for Manufacturing Using UML and Behavioral Specifications. ETFA 2020: 1035-1038 - [c72]Harri Manninen, Vesa Jääskeläinen, Jan Olaf Blech
:
Performance Evaluation of Containerization Platforms for Control and Monitoring Devices. ETFA 2020: 1061-1064 - [c71]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: 1263-1266 - [c70]Hanli Qiao
, Jan Olaf Blech
, Huazhou Chen:
A Machine learning based intrusion detection approach for industrial networks. ICIT 2020: 265-270 - [c69]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: 271-277 - [c68]Mohammad Azangoo
, Jan Olaf Blech
, Udayanto Dwi Atmojo:
Towards Formal Monitoring of Workpieces in Agile Manufacturing. ICIT 2020: 334-339 - [c67]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: 398-401
2010 – 2019
- 2019
- [c66]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: 305-306 - [c65]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: 307-308 - [c64]Vladimir Kuliaev, Udayanto Dwi Atmojo, Seppo Sierla
, Jan Olaf Blech
, Valeriy Vyatkin:
Towards Product Centric Manufacturing: From Digital Twins to Product Assembly. INDIN 2019: 164-171 - [c63]Jan Olaf Blech
:
Towards Digital Twins for the Description of Automotive Software Systems. QAPL@ETAPS 2019: 20-28 - 2018
- [j10]Khandakar Ahmed
, Jan Olaf Blech
, Mark A. Gregory
, Heinz W. Schmidt
:
Software Defined Networks in Industrial Automation. J. Sens. Actuator Networks 7(3): 33 (2018) - [c62]Jan Olaf Blech:
A Case for Certifying Compilers in Industrial Automation. Principled Software Development 2018: 73-86 - [c61]Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann
, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. ENASE 2018: 305-313 - [c60]Magnus Karsten Oplenskedal, Peter Herrmann
, Jan Olaf Blech
, Amir Taherkordi:
Simulation-driven Development of Self-adaptive Transportation Systems. NetSoft 2018: 372-377 - [i20]Jan Olaf Blech, Ian D. Peake, Sudarsan S. D.:
On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework. CoRR abs/1802.02227 (2018) - [i19]Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. CoRR abs/1807.01923 (2018) - 2017
- [c59]Jan Olaf Blech
:
Behavioral types for component-based software systems. ACSW 2017: 29:1-29:10 - [c58]Guillaume Prévost, Jan Olaf Blech, Keith Foster, Heinrich-Wilhelm Schmidt:
An Architecture for Visualization of Industrial Automation Data. ENASE 2017: 38-46 - [c57]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
From Temporal Models to Property-based Testing. ENASE 2017: 241-246 - [c56]Ben Schneider, Alois Zoitl
, Monika Wenger, Jan Olaf Blech
:
Evaluating software-defined networking for deterministic communication in distributed industrial automation systems. ETFA 2017: 1-8 - [c55]Khandakar Ahmed
, Nazmus S. Nafi
, Jan Olaf Blech
, Mark A. Gregory, Heinrich-Wilhelm Schmidt:
Software defined industry automation networks. ITNAC 2017: 1-3 - [c54]Ian David Peake, Jan Olaf Blech
:
A Candidate Architecture for Cloud-Based Monitoring in Industrial Automation. QRS Companion 2017: 548-554 - [c53]Peter Herrmann
, Jan Olaf Blech
:
Formal Analysis of Control Software for Cyber-Physical Systems. QRS Companion 2017: 563-564 - [c52]Huai Liu, Jan Olaf Blech
, Matt Duckham
, Heinz W. Schmidt:
Spatio-Temporal Aware Testing for Complex Systems. QRS Companion 2017: 569-570 - [c51]Alexander Svae, Amir Taherkordi, Peter Herrmann
, Jan Olaf Blech
:
Self-adaptive control in cyber-physical systems: the autonomous train experiment. SAC 2017: 1436-1443 - [i18]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 abs/1705.03860 (2017) - [i17]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
From Temporal Models to Property-Based Testing. CoRR abs/1705.10032 (2017) - [i16]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 abs/1711.05997 (2017) - 2016
- [j9]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): 40-52 (2016) - [c50]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: 186-197 - [c49]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: 44-65 - [c48]Simon Hordvik, Kristoffer Øseth, Jan Olaf Blech, Peter Herrmann
:
A Methodology for Model-based Development and Safety Analysis of Transport Systems. ENASE 2016: 91-101 - [c47]James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd:
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. ENASE 2016: 363-369 - [c46]Peter Herrmann
, Alexander Svae, Henrik Heggelund Svendsen, Jan Olaf Blech:
Collaborative Model-based Development of a Remote Train Monitoring System. ENASE 2016: 383-390 - [c45]Jan Olaf Blech
, Lasith Fernando, Keith Foster, G. Abhilash, Sithu D. Sudarsan:
Spatio-temporal reasoning and decision support for smart energy systems. ETFA 2016: 1-8 - [c44]Jan Olaf Blech
, Per Lindgren, David Pereira
, Valeriy Vyatkin, Alois Zoitl
:
A Comparison of Formal Verification Approaches for IEC 61499. ETFA 2016: 1-4 - [c43]Ian D. Peake, Jan Olaf Blech
, Matthew Schembri:
A software framework for augmented reality-based support of industrial operations. ETFA 2016: 1-4 - [c42]Amir Taherkordi, Peter Herrmann
, Jan Olaf Blech
, Álvaro Fernández:
Service Virtualization for Self-adaptation in Mobile Cyber-Physical Systems. ICSOC Workshops 2016: 56-68 - [c41]Monika Wenger, Alois Zoitl
, Jan Olaf Blech
, Ian Peake:
Remote monitoring infrastructure for IEC 61499 based control software. ICUMT 2016: 369-374 - [c40]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
:
Spatio-Temporal Models for Formal Analysis and Property-Based Testing. STAF Workshops 2016: 196-206 - [c39]Peter Herrmann
, Jan Olaf Blech
:
Formal Model-Based Development in Industrial Automation with Reactive Blocks. STAF Workshops 2016: 253-261 - [i15]Jan Olaf Blech, Keith Foster:
Operators for Space and Time in BeSpaceD. CoRR abs/1602.08809 (2016) - [i14]Keith Foster, Jan Olaf Blech:
Example Data Sets and Collections for BeSpaceD Explained. CoRR abs/1608.00433 (2016) - [i13]Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
Spatio-temporal Models for Formal Analysis and Property-based Testing. CoRR abs/1612.01686 (2016) - [i12]Keith Foster, Jan Olaf Blech, Guillaume Prévost:
Towards the Formalization of a Factory Demonstrator in BeSpaceD. CoRR abs/1612.05316 (2016) - 2015
- [j8]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): 1400-1410 (2015) - [c38]Jan Olaf Blech
, Ian D. Peake, Gwyllim Jahn, Roland Snooks:
A Software Platform for Architectural Robots. ASWEC (2) 2015: 54-58 - [c37]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: 638-646 - [c36]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: 331-336 - [c35]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: 1-8 - [c34]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: 1-4 - [c33]Monika Wenger, Alois Zoitl
, Jan Olaf Blech
:
Behavioral type-based monitoring for IEC 61499. ETFA 2015: 1-8 - [c32]Khandakar Ahmed
, Jan Olaf Blech
, Mark A. Gregory, Heinrich-Wilhelm Schmidt
:
Software Defined Networking for Communication and Control of Cyber-Physical Systems. ICPADS 2015: 803-808 - [c31]Monika Wenger, Alois Zoitl
, Jan Olaf Blech
, Ian Peake, Lasith Fernando:
Cloud Based Monitoring of Timed Events for Industrial Automation. ICPADS 2015: 827-830 - [c30]Ian D. Peake, Abhijay Vuyyuru, Jan Olaf Blech
, Nicolas Vergnaud, Lasith Fernando:
Cloud-Based Analysis and Control for Robots in Industrial Automation. ICPADS 2015: 837-840 - [c29]Jan Olaf Blech, Peter Herrmann:
Behavioral Types for Space-aware Systems. ACES-MB&WUCOR@MoDELS 2015: 11-18 - [c28]Jan Olaf Blech
, Peter Herrmann
:
Behavioral Types for Component-Based Development of Cyber-Physical Systems. SEFM Workshops 2015: 43-52 - [c27]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: 71-82 - [i11]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 abs/1510.09077 (2015) - [i10]Jan Olaf Blech:
An Example for BeSpaceD and its Use for Decision Support in Industrial Automation. CoRR abs/1512.04656 (2015) - 2014
- [c26]Jan Olaf Blech
, Maria Spichkova, Ian Peake, Heinz W. Schmidt:
Visualization, Simulation and Validation for Cyber-Virtual Systems. ENASE (Selected Papers) 2014: 140-154 - [c25]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-virtual Systems - Simulation, Validation & Visualization. ENASE 2014: 218-225 - [c24]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: 1-4 - [c23]Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt:
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. MoDeVVa@MoDELS 2014: 49-58 - [c22]Fenglin Han, Jan Olaf Blech
, Peter Herrmann
, Heinz W. Schmidt:
Towards Verifying Safety Properties of Real-Time Probabilistic Systems. FESCA 2014: 1-15 - [i9]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 abs/1404.3537 (2014) - [i8]Jan Olaf Blech, Maria Spichkova, Ian D. Peake, Heinz W. Schmidt:
Cyber-Virtual Systems: Simulation, Validation & Visualization. CoRR abs/1410.1258 (2014) - 2013
- [c21]Ian D. Peake, Jan Olaf Blech, Lasith Fernando:
Towards Reconstructing Architectural Models of Software Tools by Runtime Analysis. EESSMod@MoDELS 2013: 43-48 - [c20]Jan Olaf Blech:
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. MoDeVVa@MoDELS 2013: 51-60 - [c19]Jan Olaf Blech:
Towards a Framework for Behavioral Specifications of OSGi Components. FESCA 2013: 79-93 - [i7]Jan Olaf Blech, Sidi Ould Biha:
On Formal Reasoning on the Semantics of PLC using Coq. CoRR abs/1301.3047 (2013) - [i6]Jan Olaf Blech, Harald Rueß, Bernhard Schätz:
On Behavioral Types for OSGi: From Theory to Implementation. CoRR abs/1306.6115 (2013) - 2012
- [j7]Jan Olaf Blech, Bernhard Schätz:
Towards a formal foundation of behavioral types for UML state-machines. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [j6]Jan Olaf Blech
, Michaël Périn:
Generating Invariant-Based Certificates for Embedded Systems. ACM Trans. Embed. Comput. Syst. 11(2): 34:1-34:22 (2012) - [c18]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: 509-514 - [c17]Jan Olaf Blech
, Yliès Falcone, Klaus Becker:
Towards Certified Runtime Verification. ICFEM 2012: 494-509 - [c16]Jan Olaf Blech
, Yliès Falcone, Harald Rueß, Bernhard Schätz:
Behavioral Specification Based Runtime Monitors for OSGi Services. ISoLA (1) 2012: 405-419 - [c15]Jan Olaf Blech
, Dongyue Mou, Daniel Ratiu:
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool. MBT 2012: 13-27 - [i5]Jan Olaf Blech:
On Compositional Reasoning for Guaranteeing Probabilistic Properties. CoRR abs/1203.0415 (2012) - [i4]Jan Olaf Blech:
Towards a Formalization of the OSGi Component Framework. CoRR abs/1208.2563 (2012) - 2011
- [j5]Jan Olaf Blech
, Benjamin Grégoire:
Certifying compilers using higher-order theorem provers as certificate checkers. Formal Methods Syst. Des. 38(1): 33-61 (2011) - [c14]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: 247-256 - [c13]Jia Huang, Jan Olaf Blech
, Andreas Raabe, Christian Buckl
, Alois C. Knoll:
Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. DSD 2011: 239-246 - [c12]Jan Olaf Blech
, Anton Hattendorf, Jia Huang:
An Invariant Preserving Transformation for PLC Models. ISORC Workshops 2011: 63-71 - [c11]Jan Olaf Blech
:
Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties. OPODIS 2011: 222-234 - [c10]Jan Olaf Blech
:
Proving the security of ElGamal encryption via indistinguishability logic. SAC 2011: 1625-1632 - [c9]Jan Olaf Blech
, Sidi Ould Biha:
Verification of PLC Properties Based on Formal Semantics in Coq. SEFM 2011: 58-73 - [c8]Jan Olaf Blech:
A Tool for the Certification of Sequential Function Chart based System Specifications. SSV 2011: 57-70 - [i3]Jan Olaf Blech:
A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts. CoRR abs/1102.3529 (2011) - [i2]Jan Olaf Blech, Benoît Boyer, Thanh-Hung Nguyen:
On the Simulation of Time-Triggered Systems on a Chip with BIP. CoRR abs/1109.5505 (2011) - 2010
- [c7]Jan Olaf Blech, Thanh-Hung Nguyen, Michaël Périn:
Invariants and Robustness of BIP Models. WING@ETAPS/IJCAR 2010: 59-74 - [i1]Jan Olaf Blech, Anton Hattendorf, Jia Huang:
Towards a Property Preserving Transformation from IEC 61131-3 to BIP. CoRR abs/1009.0817 (2010)
2000 – 2009
- 2009
- [b1]Jan Olaf Blech:
Certifying system translations using higher order theorem provers. University of Kaiserslautern, 2009, ISBN 978-3-8325-2211-7, pp. 1-174 - [c6]Jan Olaf Blech, Michaël Périn:
Certifying deadlock-freedom for BIP models. SCOPES 2009: 61-70 - 2007
- [j4]Sabine Glesner, Johannes Leitner, Jan Olaf Blech
:
Coinductive Verification of Program Optimizations Using Similarity Relations. Electron. Notes Theor. Comput. Sci. 176(3): 61-77 (2007) - [j3]Jan Olaf Blech
, Arnd Poetzsch-Heffter:
A Certifying Code Generation Phase. Electron. Notes Theor. Comput. Sci. 190(4): 65-82 (2007) - [c5]Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions. RV 2007: 139-150 - 2005
- [j2]Jan Olaf Blech
, Sabine Glesner, Johannes Leitner, Steffen Mülling:
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. Electron. Notes Theor. Comput. Sci. 141(2): 33-51 (2005) - [c4]Sabine Glesner, Jan Olaf Blech:
Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Software Engineering 2005: 131-140 - [c3]Jan Olaf Blech
, Lars Gesellensetter, Sabine Glesner:
Formal Verification of Dead Code Elimination in Isabelle/HOL. SEFM 2005: 200-209 - 2004
- [c2]Sabine Glesner, Jan Olaf Blech
:
Coalgebraic Semantics for Component Systems. Architecting Systems with Trustworthy Components 2004: 245-261 - [c1]Jan Olaf Blech, Sabine Glesner:
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. GI Jahrestagung (2) 2004: 449-458 - 2003
- [j1]Sabine Glesner, Jan Olaf Blech
:
Classifying and Formally Verifying Integer Constant Folding. Electron. Notes Theor. Comput. Sci. 82(2): 410-425 (2003)