Jan Olaf Blech
Jan Olaf Blech
Verified email at aalto.fi
Title
Cited by
Cited by
Year
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
572011
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
502015
Formal verification of java code generation from UML models
JO Blech, S Glesner, J Leitner
Fujaba Days 2005, 49-56, 2005
422005
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
412005
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
322014
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
302015
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
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
292012
Towards modeling and checking the spatial and interaction behavior of widely distributed systems
JO Blech, H Schmidt
Improving Systems and Software Engineering Conference, 2013
282013
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
272014
A certifying code generation phase
JO Blech, A Poetzsch-Heffter
Electronic Notes in Theoretical Computer Science 190 (4), 65-82, 2007
252007
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
242016
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
232004
Towards verifying safety properties of real-time probabilistic systems
F Han, JO Blech, P Herrmann, H Schmidt
arXiv preprint arXiv:1404.0846, 2014
222014
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
222005
Modeling spatial aspects of safety-critical systems with focus-st
M Spichkova, JO Blech, PM Herrmann, H Schmidt
212014
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
S Hordvik, K Øseth, JO Blech, P Herrmann
ENASE, 91-101, 2016
192016
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
192015
Towards certified runtime verification
JO Blech, Y Falcone, K Becker
International Conference on Formal Engineering Methods, 494-509, 2012
192012
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
18*2014
The system can't perform the operation now. Try again later.
Articles 1–20