Sebastian Biallas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2015
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ETFA | Automatic test case generation for PLC programs using coverage metrics. | Hendrik Simon, Nico Friedrich, Sebastian Biallas, Stefan Hauck-Stattelmann, Bastian Schlich, Stefan Kowalewski |
| 2015 | FM | Analyzing the Restart Behavior of Industrial Control Applications. | Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley |
| 2014 | ETFA | Applying static code analysis on industrial controller code. | Stefan Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski |
| 2013 | FMICS | Predicate Abstraction for Programmable Logic Controllers. | Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski |
| 2013 | SCAM | PtrTracker: Pragmatic pointer analysis. | Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck |
| 2012 | SAS | Loop Leaping with Closures. | Sebastian Biallas, Jrg Brauer, Andy King, Stefan Kowalewski |