Benjamin Weiß

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Venues

CoRR

HCI (17)

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Benjamin Weiß, Federico Centarti, Felix Schmitt, Stephen Straub
Route-Based Detection of Conflicting ATC Clearances on Airports CoRR (2013)
Marcus Biella, Karsten Straube, Marcus Helms, Stephen Straub, Benjamin Weiß, Felix Schmitt, Heribert Lafferton, Stéphane Dubuisson, Roger Lane
How Can a Future Safety Net Successfully Detect Conflicting ATC Clearances - Yet Remain Inconspicuous to the Tower Runway Controller? First Results from a SESAR Exercise at Hamburg Airport. HCI (17) (2013)
Felix Schmitt, Ralf Heidger, Stephen Straub, Benjamin Weiß
Software Design Principles of a DFS Tower A-CWP Prototype CoRR (2013)
Benjamin Weiß
Predicate abstraction in a program logic calculus. Sci. Comput. Program. 76 (10) (2011)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
The 1st Verified Software Competition: Experience Report. FM (2011)
Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
Dynamic Frames in Java Dynamic Logic. FoVeOOS (2010)
Benjamin Weiß
Predicate Abstraction in a Program Logic Calculus. IFM (2009)
Richard Bubel, Reiner Hähnle, Benjamin Weiß
Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO (2008)
Peter H. Schmitt, Benjamin Weiß
Inferring Invariants by Symbolic Execution. VERIFY (2007)

Benjamin Weiß.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benjamin Weiß