Stephan Tobies
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
11
Active years
1999–2020
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | DATE | ARM-on-ARM: Leveraging Virtualization Extensions for Fast Virtual Platforms. | Lukas Jnger, Jan Luca Malte Blke, Stephan Tobies, Rainer Leupers, Andreas Hoffmann |
| 2018 | DATE | OHEX: OS-aware hybridization techniques for accelerating MPSoC full-system simulation. | Robert Lajos Bcs, Maximilian Fricke, Rainer Leupers, Gerd Ascheid, Stephan Tobies, Andreas Hoffmann |
| 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 |
| 2010 | CAV | Local Verification of Global Invariants in Concurrent Programs. | Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies |
| 2009 | ICSE | VCC: Contract-based modular verification of concurrent C. | Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte |
| 2002 | FORTE | Formal Test Purposes and the Validity of Test Cases. | Peter H. Deussen, Stephan Tobies |
| 2001 | CADE | The Inverse Method Implements the Automata Approach for Modal Satisfiability. | Franz Baader, Stephan Tobies |
| 2000 | AiML | A Tableau Algorithm for the Clique Guarded Fragment. | Colin Hirsch, Stephan Tobies |
| 2000 | CADE | Reasoning with Individuals for the Description Logic SHIQ. | Ian Horrocks, Ulrike Sattler, Stephan Tobies |
| 2000 | KR | Reasoning with Axioms: Theory and Practice. | Ian Horrocks, Stephan Tobies |
| 2000 | LPAR | How to Decide Query Containment Under Constraints Using a Description Logic. | Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies |
| 1999 | CADE | A PSpace Algorithm for Graded Modal Logic. | Stephan Tobies |
| 1999 | CSL | A NExpTime-Complete Description Logic Strictly Contained in C | Stephan Tobies |
| 1999 | ICCS | Tractable and Decidable Fragments of Conceptual Graphs. | Franz Baader, Ralf Molitor, Stephan Tobies |
| 1999 | LPAR | Practical Reasoning for Expressive Description Logics. | Ian Horrocks, Ulrike Sattler, Stephan Tobies |