Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Boqian Wang
Kwang Chun Lee
Maximilian Dürr
Jhonathan Pinzon
François Charoy
Liangliang Shang
Chen Ma
Home
/
Author
/
SEBASTIAN BIALLAS
Author Info
Open Visualization
Name
Affiliation
Papers
SEBASTIAN BIALLAS
RWTH Aachen University, Germany
12
Collaborators
Citations
PageRank
14
48
5.77
Referers
Referees
References
118
187
103
Search Limit
100
187
Publications (12 rows)
Collaborators (14 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Analyzing the Restart Behavior of Industrial Control Applications.
2
0.38
2015
Cloud-Based Control: A Multi-tenant, Horizontally Scalable Soft-PLC
7
0.69
2015
Applying static code analysis on industrial controller code
3
0.40
2014
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code.
0
0.34
2014
Predicate Abstraction for Programmable Logic Controllers
2
0.36
2013
Loop leaping with closures
6
0.43
2012
Static Analysis Of Lockless Microcontroller C Programs
1
0.35
2012
Range and value-set analysis for programmable logic controllers.
0
0.34
2012
Arcade.PLC: a verification platform for programmable logic controllers
17
0.90
2012
On-The-Fly Path Reduction
0
0.34
2011
Counterexample-guided abstraction refinement for PLCs
10
0.91
2010
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL.
0
0.34
2010
1