Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDJan 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)