Benjamin Wei
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2013
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | HCI | 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. | Marcus Biella, Karsten Straube, Marcus Helms, Stephen Straub, Benjamin Wei, Felix Schmitt, Heribert Lafferton, Stphane Dubuisson, Roger Lane |
| 2012 | GI | Kann das Informationsmanagement in Organisationen die diversen Benutzerwnsche in Bezug auf den Einsatz von Endgerten erfllen? | Gervais Jocelyn Ndongmo, Djieukeng Ngoune Neylor, Pezzotta Jeff, Benjamin Wei, Elvira Kuhn |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, 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 |
| 2009 | IFM | Predicate Abstraction in a Program Logic Calculus. | Benjamin Wei |
| 2007 | CADE | Inferring Invariants by Symbolic Execution. | Peter H. Schmitt, Benjamin Wei |