Jan Olaf Blech
Jan Olaf Blech
Geverifieerd e-mailadres voor aalto.fi
Titel
Geciteerd door
Geciteerd door
Jaar
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
612015
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
602011
Formal verification of java code generation from UML models
JO Blech, S Glesner, J Leitner
Fujaba Days 2005, 49-56, 2005
452005
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
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
332015
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
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
322012
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
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
292011
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
282014
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
252016
Towards certified runtime verification
JO Blech, Y Falcone, K Becker
International Conference on Formal Engineering Methods, 494-509, 2012
252012
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
242005
Towards verifying safety properties of real-time probabilistic systems
F Han, JO Blech, P Herrmann, H Schmidt
arXiv preprint arXiv:1404.0846, 2014
232014
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
Modeling spatial aspects of safety-critical systems with focus-st
M Spichkova, JO Blech, PM Herrmann, H Schmidt
222014
A Methodology for Model-based Development and Safety Analysis of Transport Systems.
S Hordvik, K Øseth, JO Blech, P Herrmann
ENASE, 91-101, 2016
202016
Behavioral type-based monitoring for iec 61499
M Wenger, A Zoitl, JO Blech
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015
202015
Behavioral type-based monitoring for iec 61499
M Wenger, A Zoitl, JO Blech
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015
202015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20