| Arcade. PLC: A verification platform for programmable logic controllers S Biallas, J Brauer, S Kowalewski Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012 | 98 | 2012 |
| Cloud-based control: A multi-tenant, horizontally scalable soft-PLC T Goldschmidt, MK Murugaiah, C Sonntag, B Schlich, S Biallas, P Weber 2015 ieee 8th international conference on cloud computing, 909-916, 2015 | 80 | 2015 |
| {Counterexample-Guided} Abstraction Refinement for {PLCs} S Biallas, J Brauer, S Kowalewski 5th International Workshop on Systems Software Verification (SSV 10), 2010 | 26 | 2010 |
| Applying static code analysis on industrial controller code S Stattelmann, S Biallas, B Schlich, S Kowalewski Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014 | 25 | 2014 |
| Automatic test case generation for PLC programs using coverage metrics H Simon, N Friedrich, S Biallas, S Hauck-Stattelmann, B Schlich, ... 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation …, 2015 | 20 | 2015 |
| Efficient handling of states in abstract interpretation of industrial programmable logic controller code S Biallas, S Kowalewski, S Stattelmann, B Schlich IFAC Proceedings Volumes 47 (2), 400-405, 2014 | 13 | 2014 |
| Loop leaping with closures S Biallas, J Brauer, A King, S Kowalewski Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 12* | 2012 |
| Range and value-set analysis for programmable logic controllers S Biallas, S Kowalewski, B Schlich IFAC Proceedings Volumes 45 (29), 378-383, 2012 | 11 | 2012 |
| Predicate abstraction for programmable logic controllers S Biallas, M Giacobbe, S Kowalewski International Workshop on Formal Methods for Industrial Critical Systems …, 2013 | 10 | 2013 |
| PtrTracker: Pragmatic pointer analysis S Biallas, MC Olesen, F Cassez, R Huuck 2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013 | 10 | 2013 |
| Sat-based abstraction refinement for programmable logic controllers S Biallas, J Brauer, S Kowalewski 2011 3rd International Workshop on Dependable Control of Discrete Systems …, 2011 | 8 | 2011 |
| Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell-und Code-Ebene S Biallas, G Frey, S Kowalewski, B Schlich, D Soliman Proceedings of the 11th Fachtagung Entwurf komplexer Automatisierungssysteme …, 2010 | 8 | 2010 |
| Analyzing the restart behavior of industrial control applications S Hauck-Stattelmann, S Biallas, B Schlich, S Kowalewski, R Jetley FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 7 | 2015 |
| PearPC-PowerPC architecture emulator S Biallas May, 2004 | 7 | 2004 |
| Verification of programmable logic controller code using model checking and static analysis S Biallas Dissertation, RWTH Aachen University, 2016, 2016 | 6 | 2016 |
| Verifikation von sicherheitsgerichteten SPS-Programmen mit Hilfe von Safety-Automaten S Biallas, V Kamin, S Kowalewski, B Schlich, S Sehestedt, S Stattelmann Automation, 75-79, 2013 | 6 | 2013 |
| On-the-fly path reduction S Biallas, J Brauer, D Gückel, S Kowalewski Electronic Notes in Theoretical Computer Science 274, 3-16, 2011 | 5 | 2011 |
| Automatic error cause localization of faulty PLC programs S Biallas, N Friedrich, H Simon, S Kowalewski IFAC-PapersOnLine 48 (7), 79-84, 2015 | 4 | 2015 |
| Static analysis of lockless microcontroller C programs E Beckschulze, S Biallas, S Kowalewski arXiv preprint arXiv:1211.6192, 2012 | 4 | 2012 |
| Automatically Deriving Symbolic Invariants for PLC Programs Written in IL★ S Biallas, J Brauer, S Kowalewski, B Schlich FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and …, 2011 | 3 | 2011 |
