Blech, Jan Olaf

1. A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
   2011/02/17 by Jan Olaf Blech, Blech, Jan Olaf · 2 citations
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Petri Nets in System Modeling #Software Engineering (cs.SE) #cs.SE
2. On the Simulation of Time-Triggered Systems on a Chip with BIP
   2011/09/26 by Jan Olaf Blech, Blech, Jan Olaf, Benoit Boyer +5 · 2 citations
   Computer Science · Engineering · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Real-Time Systems Scheduling #Real-time simulation and control systems #Software Engineering (cs.SE) #cs.SE
3. On Formal Reasoning on the Semantics of PLC using Coq
   2013/01/14 by Jan Olaf Blech, Sidi Ould Biha, Blech, Jan Olaf +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Petri Nets in System Modeling #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.PL #cs.SE
4. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
   2014/04/14 by Jan Olaf Blech, Blech, Jan Olaf, Heinz Schmidt +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotic Path Planning Algorithms #Software Engineering (cs.SE) #cs.SE