pith. sign in

Jan Olaf Blech

Identifiers

  • name variant Jan Olaf Blech 0.60 · backfill

Papers (21)

  1. Towards Classification of Lightweight Formal Methods cs.SE · 2018 · author #5
  2. On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework cs.SE · 2018 · author #1
  3. Towards a Cloud-based Architecture for Visualization and Augmented Reality to Support Collaboration in Manufacturing Automation cs.SE · 2017 · author #2
  4. From Temporal Models to Property-Based Testing cs.SE · 2017 · author #3
  5. Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models cs.SE · 2017 · author #1
  6. Towards the Formalization of a Factory Demonstrator in BeSpaceD cs.SE · 2016 · author #2
  7. Spatio-temporal Models for Formal Analysis and Property-based Testing cs.SE · 2016 · author #3
  8. Example Data Sets and Collections for BeSpaceD Explained cs.OH · 2016 · author #2
  9. Operators for Space and Time in BeSpaceD cs.SE · 2016 · author #1
  10. An Example for BeSpaceD and its Use for Decision Support in Industrial Automation cs.SE · 2015 · author #1
  11. The Virtual Experiences Lab - a platform for global collaborative engineering and beyond cs.OH · 2015 · author #2
  12. Cyber-Virtual Systems: Simulation, Validation & Visualization cs.SE · 2014 · author #1
  13. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems cs.SE · 2014 · author #1
  14. Towards Verifying Safety Properties of Real-Time Probabilistic Systems cs.SE · 2014 · author #2
  15. On Behavioral Types for OSGi: From Theory to Implementation cs.SE · 2013 · author #1
  16. On Formal Reasoning on the Semantics of PLC using Coq cs.SE · 2013 · author #1
  17. Towards a Formalization of the OSGi Component Framework cs.SE · 2012 · author #1
  18. On Compositional Reasoning for Guaranteeing Probabilistic Properties cs.SE · 2012 · author #1
  19. On the Simulation of Time-Triggered Systems on a Chip with BIP cs.SE · 2011 · author #1
  20. A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts cs.SE · 2011 · author #1
  21. Towards a Property Preserving Transformation from IEC 61131-3 to BIP cs.PL · 2010 · author #1

Mentions

  • 1410.1258 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1404.3537 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1404.0846 #2 · backfill · confidence 0.70 Jan Olaf Blech
  • 1306.6115 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1301.3047 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1208.2563 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1203.0415 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1109.5505 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1102.3529 #1 · backfill · confidence 0.70 Jan Olaf Blech
  • 1009.0817 #1 · backfill · confidence 0.70 Jan Olaf Blech

Frequent Coauthors