关注
Jan Olaf Blech
Jan Olaf Blech
在 aalto.fi 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
1052015
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
742011
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
552015
Formal verification of java code generation from UML models
JO Blech, S Glesner, J Leitner
Fujaba Days 2005, 49-56, 2005
512005
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
452012
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 networks in industrial automation
K Ahmed, JO Blech, MA Gregory, HW Schmidt
Journal of Sensor and Actuator Networks 7 (3), 33, 2018
402018
Towards certified runtime verification
JO Blech, Y Falcone, K Becker
International Conference on Formal Engineering Methods, 494-509, 2012
392012
Verification of PLC properties based on formal semantics in Coq
JO Blech, S Ould Biha
International Conference on Software Engineering and Formal Methods, 58-73, 2011
342011
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
Behavioral type-based monitoring for iec 61499
M Wenger, A Zoitl, JO Blech
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015
322015
Behavioral type-based monitoring for iec 61499
M Wenger, A Zoitl, JO Blech
Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015
322015
Towards modeling and checking the spatial and interaction behavior of widely distributed systems
JO Blech, H Schmidt
Improving Systems and Software Engineering Conference, 2013
312013
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
302014
Concept drift analysis by dynamic residual projection for effectively detecting botnet cyber-attacks in IoT scenarios
H Qiao, B Novikov, JO Blech
IEEE Transactions on Industrial Informatics 18 (6), 3692-3701, 2021
292021
Behavioral specification based runtime monitors for OSGi services
JO Blech, Y Falcone, H Rueß, B Schätz
International Symposium On Leveraging Applications of Formal Methods …, 2012
292012
Digital twins for manufacturing using UML and behavioral specifications
M Azangoo, A Taherkordi, JO Blech
2020 25th IEEE International conference on emerging technologies and factory …, 2020
272020
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
272004
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
Efficient incident handling in industrial automation through collaborative engineering
JO Blech, I Peake, H Schmidt, M Kande, A Rahman, S Ramaswamy, ...
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015
262015
系统目前无法执行此操作,请稍后再试。
文章 1–20