Jan Olaf Blech
Jan Olaf Blech
Verified email at aalto.fi
Cited by
Cited by
Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems
J Huang, JO Blech, A Raabe, C Buckl, A Knoll
Proceedings of the seventh IEEE/ACM/IFIP international conference on …, 2011
Applying model checking to industrial-sized PLC programs
BF Adiego, D Darvas, EB Viñuela, JC Tournier, S Bliudze, JO Blech, ...
IEEE Transactions on Industrial Informatics 11 (6), 1400-1410, 2015
Formal verification of java code generation from UML models
JO Blech, S Glesner, J Leitner
Fujaba Days 2005, 49-56, 2005
Optimizing code generation from SSA form: A comparison between two formal correctness proofs in Isabelle/HOL
JO Blech, S Glesner, J Leitner, S Mülling
Electronic Notes in Theoretical Computer Science 141 (2), 33-51, 2005
Cyber-virtual systems: Simulation, validation & visualization
JO Blech, M Spichkova, I Peake, H Schmidt
2014 9th International Conference on Evaluation of Novel Approaches to …, 2014
Software defined networking for communication and control of cyber-physical systems
K Ahmed, JO Blech, MA Gregory, H Schmidt
2015 IEEE 21st International Conference on Parallel and Distributed Systems …, 2015
Verification of PLC properties based on formal semantics in Coq
JO Blech, SO Biha
International Conference on Software Engineering and Formal Methods, 58-73, 2011
Static scheduling of a time-triggered network-on-chip based on SMT solving
J Huang, JO Blech, A Raabe, C Buckl, A Knoll
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 509-514, 2012
Towards modeling and checking the spatial and interaction behavior of widely distributed systems
JO Blech, H Schmidt
Improving Systems and Software Engineering Conference, 2013
BeSpaceD: towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems
JO Blech, H Schmidt
arXiv preprint arXiv:1404.3537, 2014
A certifying code generation phase
JO Blech, A Poetzsch-Heffter
Electronic Notes in Theoretical Computer Science 190 (4), 65-82, 2007
A model-based toolchain to verify spatial behavior of cyber-physical systems
P Herrmann, JO Blech, F Han, H Schmidt
International Journal of Web Services Research (IJWSR) 13 (1), 40-52, 2016
A formal correctness proof for code generation from SSA form in Isabelle/HOL
JO Blech, S Glesner
Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung …, 2004
Towards verifying safety properties of real-time probabilistic systems
F Han, JO Blech, P Herrmann, H Schmidt
arXiv preprint arXiv:1404.0846, 2014
Formal verification of dead code elimination in Isabelle/HOL
JO Blech, L Gesellensetter, S Glesner
Third IEEE International Conference on Software Engineering and Formal …, 2005
Modeling spatial aspects of safety-critical systems with focus-st
M Spichkova, JO Blech, PM Herrmann, H Schmidt
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
S Hordvik, K Øseth, JO Blech, P Herrmann
ENASE, 91-101, 2016
Model-based engineering and analysis of space-aware systems communicating via IEEE 802.11
F Han, JO Blech, P Herrmann, H Schmidt
2015 IEEE 39th Annual Computer Software and Applications Conference 2, 638-646, 2015
Towards certified runtime verification
JO Blech, Y Falcone, K Becker
International Conference on Formal Engineering Methods, 494-509, 2012
Collaborative engineering through integration of architectural, social and spatial models
JO Blech, I Peake, H Schmidt, M Kande, S Ramaswamy, SD Sudarsan, ...
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
The system can't perform the operation now. Try again later.
Articles 1–20