Truth - A verification platform for concurrent systems. - Martin Lange; Martin Leucker; Thomas Noll 001; Stephan Tobies (Tool Support for System Specification, Development and Verification, 1998)

A PSpace Algorithm for Graded Modal Logic. - Stephan Tobies (CADE, 1999)

A NExpTime-Complete Description Logic Strictly Contained in C2. - Stephan Tobies (CSL, 1999)

A Suggestion for an n-ary Description Logic. - Carsten Lutz; Ulrike Sattler; Stephan Tobies (Description Logics, 1999)

On the Complexity of Counting in Description Logics. - Stephan Tobies (Description Logics, 1999)

Tractable and Decidable Fragments of Conceptual Graphs. - Franz Baader; Ralf Molitor; Stephan Tobies (ICCS, 1999)

Practical Reasoning for Expressive Description Logics. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (LPAR, 1999)

A Tableau Algorithm for the Clique Guarded Fragment. - Colin Hirsch; Stephan Tobies (Advances in Modal Logic, 2000)

Reasoning with Individuals for the Description Logic SHIQ. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (CADE, 2000)

Optimisation of Terminological Reasoning. - Ian Horrocks 001; Stephan Tobies (Description Logics, 2000)

Reasoning with Axioms: Theory and Practice. - Ian Horrocks 001; Stephan Tobies (KR, 2000)

How to decide Query Containment under Constraints using a Description Logic. - Ian Horrocks 001; Ulrike Sattler; Sergio Tessaris; Stephan Tobies (KRDB, 2000)

Reasoning with Axioms: Theory and Pratice - Ian Horrocks 001; Stephan Tobies (CoRR, 2000)

Practical Reasoning for Very Expressive Description Logics. - Ian Horrocks 001; Ulrike Sattler; Stephan Tobies (Log. J. IGPL, 2000)

The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics. - Stephan Tobies (J. Artif. Intell. Res., 2000)

The Inverse Method Implements the Automata Approach for Modal Satisfiability. - Franz Baader; Stephan Tobies (IJCAR, 2001)

Complexity Results and Practical Algorithms for Logics in Knowledge Representation - Stephan Tobies (CoRR, 2001)

PSPACE Reasoning for Graded Modal Logics. - Stephan Tobies (J. Log. Comput., 2001)

Complexity results and practical algorithms for logics in knowledge representation. - Stephan Tobies (2001)

Formal Test Purposes and the Validity of Test Cases. - Peter H. Deussen; Stephan Tobies (FORTE, 2002)

Sharing Intelligent Services between Homes. - Henk Eertink; Remco Poortinga; Tom H. F. Broens; Stephan Tobies; Andrew Tokmakoff; Aart van Halteren (AmI Workshops, 2007)

Invariants, Modularity, and Rights. - 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; et al. (Ershov Memorial Conference, 2009)

VCC: Contract-based modular verification of concurrent C. - Markus Dahlweid; Michal Moskal; Thomas Santen; Stephan Tobies; Wolfram Schulte (ICSE Companion, 2009)

VCC: A Practical System for Verifying Concurrent C. - Ernie Cohen; Markus Dahlweid; Mark A. Hillebrand; Dirk Leinenbach; Michal Moskal; Thomas Santen; Wolfram Schulte; Stephan Tobies (TPHOLs, 2009)

A Precise Yet Efficient Memory Model For C. - Ernie Cohen; Michal Moskal; Stephan Tobies; Wolfram Schulte (SSV, 2009)

Local Verification of Global Invariants in Concurrent Programs. - Ernie Cohen; Michal Moskal; Wolfram Schulte; Stephan Tobies (CAV, 2010)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)

OHEX: OS-aware hybridization techniques for accelerating MPSoC full-system simulation. - Robert Lajos Bücs; Maximilian Fricke; Rainer Leupers; Gerd Ascheid; Stephan Tobies; Andreas Hoffmann 002 (DATE, 2018)

ARM-on-ARM: Leveraging Virtualization Extensions for Fast Virtual Platforms. - Lukas Jünger 001; Jan Luca Malte Bölke; Stephan Tobies; Rainer Leupers; Andreas Hoffmann 002 (DATE, 2020)