Jan Olaf Blech
Jan Olaf Blech
Verified email at aalto.fi
Title
Cited by
Cited by
Year
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
712015
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
642011
Formal verification of java code generation from UML models
JO Blech, S Glesner, J Leitner
Fujaba Days 2005, 49-56, 2005
472005
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
402015
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
402005
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
352012
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
332014
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
302011
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
292014
Towards modeling and checking the spatial and interaction behavior of widely distributed systems
JO Blech, H Schmidt
Improving Systems and Software Engineering Conference, 2013
292013
Towards certified runtime verification
JO Blech, Y Falcone, K Becker
International Conference on Formal Engineering Methods, 494-509, 2012
272012
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
262016
A certifying code generation phase
JO Blech, A Poetzsch-Heffter
Electronic Notes in Theoretical Computer Science 190 (4), 65-82, 2007
252007
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
252005
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
242004
Towards verifying safety properties of real-time probabilistic systems
F Han, JO Blech, P Herrmann, H Schmidt
arXiv preprint arXiv:1404.0846, 2014
232014
Software defined networks in industrial automation
K Ahmed, JO Blech, MA Gregory, HW Schmidt
Journal of Sensor and Actuator Networks 7 (3), 33, 2018
222018
Behavioral type-based monitoring for iec 61499
M Wenger, A Zoitl, JO Blech
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015
222015
Behavioral type-based monitoring for iec 61499
M Wenger, A Zoitl, JO Blech
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015
222015
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
S Hordvik, K Øseth, JO Blech, P Herrmann
ENASE, 91-101, 2016
212016
The system can't perform the operation now. Try again later.
Articles 1–20