Jan Olaf Blech
Jan Olaf Blech
Bestätigte E-Mail-Adresse bei aalto.fi
Zitiert von
Zitiert von
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
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
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
Towards modeling and checking the spatial and interaction behavior of widely distributed systems
JO Blech, H Schmidt
Improving Systems and Software Engineering Conference, 2013
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
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
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
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 certified runtime verification
JO Blech, Y Falcone, K Becker
International Conference on Formal Engineering Methods, 494-509, 2012
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
Behavioral type-based monitoring for iec 61499
M Wenger, A Zoitl, JO Blech
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20