Stephan Tobies

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 2

Top Venues

DATE

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Lukas Jünger, Jan Luca Malte Bölke, Stephan Tobies, Rainer Leupers, Andreas Hoffmann
ARM-on-ARM: Leveraging Virtualization Extensions for Fast Virtual Platforms. DATE (2020)
Robert Lajos Bücs, Maximilian Fricke, Rainer Leupers, Gerd Ascheid, Stephan Tobies, Andreas Hoffmann
OHEX: OS-aware hybridization techniques for accelerating MPSoC full-system simulation. DATE (2018)
Stephan Tobies
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics CoRR (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)
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
Local Verification of Global Invariants in Concurrent Programs. CAV (2010)
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
VCC: A Practical System for Verifying Concurrent C. TPHOLs (2009)
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
VCC: Contract-based modular verification of concurrent C. ICSE Companion (2009)
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
A Precise Yet Efficient Memory Model For C. Electron. Notes Theor. Comput. Sci. 254 (2009)
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Henk Eertink, Remco Poortinga, Tom H. F. Broens, Stephan Tobies, Andrew Tokmakoff, Aart van Halteren
Sharing Intelligent Services between Homes. AmI Workshops (2007)
Peter H. Deussen, Stephan Tobies
Formal Test Purposes and The Validity of Test Cases CoRR (2004)
Franz Baader, Stephan Tobies
The Inverse Method Implements the Automata Approach for Modal Satisfiability CoRR (2004)
Peter H. Deussen, Stephan Tobies
Formal Test Purposes and the Validity of Test Cases. FORTE (2002)
Stephan Tobies
PSPACE Reasoning for Graded Modal Logics. J. Log. Comput. 11 (1) (2001)
Stephan Tobies
Complexity Results and Practical Algorithms for Logics in Knowledge Representation CoRR (2001)
Franz Baader, Stephan Tobies
The Inverse Method Implements the Automata Approach for Modal Satisfiability. IJCAR (2001)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Very Expressive Description Logics CoRR (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Expressive Description Logics CoRR (2000)
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic. KRDB (2000)
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to Decide Query Containment Under Constraints Using a Description Logic. LPAR (2000)
Ian Horrocks, Stephan Tobies
Reasoning with Axioms: Theory and Practice. KR (2000)
Stephan Tobies
PSPACE Reasoning for Graded Modal Logics CoRR (2000)
Ian Horrocks, Stephan Tobies
Optimisation of Terminological Reasoning. Description Logics (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Reasoning with Individuals for the Description Logic SHIQ CoRR (2000)
Ian Horrocks, Stephan Tobies
Reasoning with Axioms: Theory and Pratice CoRR (2000)
Colin Hirsch, Stephan Tobies
A Tableau Algorithm for the Clique Guarded Fragment. Advances in Modal Logic (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Very Expressive Description Logics. Log. J. IGPL 8 (3) (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Reasoning with Individuals for the Description Logic SHIQ. CADE (2000)
Stephan Tobies
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. J. Artif. Intell. Res. 12 (2000)
Franz Baader, Ralf Molitor, Stephan Tobies
Tractable and Decidable Fragments of Conceptual Graphs. ICCS (1999)
Carsten Lutz, Ulrike Sattler, Stephan Tobies
A Suggestion for an n-ary Description Logic. Description Logics (1999)
Stephan Tobies
A PSpace Algorithm for Graded Modal Logic. CADE (1999)
Stephan Tobies
On the Complexity of Counting in Description Logics. Description Logics (1999)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Expressive Description Logics. LPAR (1999)
Stephan Tobies
. CSL (1999)
Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies
Truth - A verification platform for concurrent systems. Tool Support for System Specification, Development and Verification (1998)

Stephan Tobies.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Tobies