| 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 | 112 | 2015 |
| 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 | 75 | 2011 |
| 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 | 58 | 2015 |
| Formal verification of java code generation from UML models JO Blech, S Glesner, J Leitner Fujaba Days 2005, 49-56, 2005 | 51 | 2005 |
| 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 | 46 | 2012 |
| Software defined networks in industrial automation K Ahmed, JO Blech, MA Gregory, HW Schmidt Journal of Sensor and Actuator Networks 7 (3), 33, 2018 | 44 | 2018 |
| 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 | 41 | 2005 |
| Towards certified runtime verification JO Blech, Y Falcone, K Becker International Conference on Formal Engineering Methods, 494-509, 2012 | 39 | 2012 |
| 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 | 37 | 2011 |
| Behavioral type-based monitoring for iec 61499 M Wenger, A Zoitl, JO Blech Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015 | 34 | 2015 |
| Behavioral type-based monitoring for iec 61499 M Wenger, A Zoitl, JO Blech Emerging Technologies & Factory Automation (ETFA), 2015 IEEE 20th Conference …, 2015 | 34 | 2015 |
| 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 | 33 | 2014 |
| 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 | 32 | 2020 |
| 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 | 31 | 2021 |
| 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 | 31 | 2014 |
| Towards modeling and checking the spatial and interaction behavior of widely distributed systems JO Blech, H Schmidt Improving Systems and Software Engineering Conference, 2013 | 31 | 2013 |
| 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 | 29 | 2012 |
| Modelling and formal verification of timing aspects in large PLC programs BF Adiego, D Darvas, EB Viñuela, JC Tournier, VMG Suárez, JO Blech IFAC Proceedings Volumes 47 (3), 3333-3339, 2014 | 27 | 2014 |
| 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 | 27 | 2004 |
| 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 | 26 | 2016 |
