Stephan Tobies

37 papers A* 2A 5B 5C 1Misc 1Journal 12Unranked 10
YearRankTypeTitle / Venue / Authors
2020 A conf
ARM-on-ARM: Leveraging Virtualization Extensions for Fast Virtual Platforms.
DATE
Lukas Jünger, Jan Luca Malte Bölke, Stephan Tobies, Rainer Leupers, Andreas Hoffmann
2018 A conf
OHEX: OS-aware hybridization techniques for accelerating MPSoC full-system simulation.
DATE
Robert Lajos Bücs, Maximilian Fricke, Rainer Leupers, Gerd Ascheid, Stephan Tobies, Andreas Hoffmann
2011 B conf
The 1st Verified Software Competition: Experience Report.
FM
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ß
2011 J jnl
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics
CoRR
Stephan Tobies
2010 A* conf
Local Verification of Global Invariants in Concurrent Programs.
CAV
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
2009 — conf
A Precise Yet Efficient Memory Model For C.
SSV
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
2009 — conf
Invariants, Modularity, and Rights.
Ershov Memorial Conference
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
2009 — conf
VCC: A Practical System for Verifying Concurrent C.
TPHOLs
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
2009 — conf
VCC: Contract-based modular verification of concurrent C.
ICSE Companion
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
2007 — conf
Sharing Intelligent Services between Homes.
AmI Workshops
Henk Eertink, Remco Poortinga, Tom H. F. Broens, Stephan Tobies, Andrew Tokmakoff, Aart van Halteren
2004 J jnl
Formal Test Purposes and The Validity of Test Cases
CoRR
Peter H. Deussen, Stephan Tobies
2004 J jnl
The Inverse Method Implements the Automata Approach for Modal Satisfiability
CoRR
Franz Baader, Stephan Tobies
2002 C conf
Formal Test Purposes and the Validity of Test Cases.
FORTE
Peter H. Deussen, Stephan Tobies
2001 J jnl
Complexity Results and Practical Algorithms for Logics in Knowledge Representation
CoRR
Stephan Tobies
2001 — —
Complexity results and practical algorithms for logics in knowledge representation.
Stephan Tobies
2001 J jnl
PSPACE Reasoning for Graded Modal Logics.
J. Log. Comput.
Stephan Tobies
2001 A conf
The Inverse Method Implements the Automata Approach for Modal Satisfiability.
IJCAR
Franz Baader, Stephan Tobies
2000 B conf
A Tableau Algorithm for the Clique Guarded Fragment.
Advances in Modal Logic
Colin Hirsch, Stephan Tobies
2000 B conf
How to Decide Query Containment Under Constraints Using a Description Logic.
LPAR
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
2000 — conf
How to decide Query Containment under Constraints using a Description Logic.
KRDB
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
2000 — conf
Optimisation of Terminological Reasoning.
Description Logics
Ian Horrocks, Stephan Tobies
2000 J jnl
PSPACE Reasoning for Graded Modal Logics
CoRR
Stephan Tobies
2000 J jnl
Practical Reasoning for Expressive Description Logics
CoRR
Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000 J jnl
Practical Reasoning for Very Expressive Description Logics
CoRR
Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000 J jnl
Practical Reasoning for Very Expressive Description Logics.
Log. J. IGPL
Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000 A* conf
Reasoning with Axioms: Theory and Practice.
KR
Ian Horrocks, Stephan Tobies
2000 J jnl
Reasoning with Axioms: Theory and Pratice
CoRR
Ian Horrocks, Stephan Tobies
2000 J jnl
Reasoning with Individuals for the Description Logic SHIQ
CoRR
Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000 A conf
Reasoning with Individuals for the Description Logic SHIQ.
CADE
Ian Horrocks, Ulrike Sattler, Stephan Tobies
2000 J jnl
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics.
J. Artif. Intell. Res.
Stephan Tobies
1999 B conf
A NExpTime-Complete Description Logic Strictly Contained in C
CSL
Stephan Tobies
1999 A conf
A PSpace Algorithm for Graded Modal Logic.
CADE
Stephan Tobies
1999 — conf
A Suggestion for an n-ary Description Logic.
Description Logics
Carsten Lutz, Ulrike Sattler, Stephan Tobies
1999 — conf
On the Complexity of Counting in Description Logics.
Description Logics
Stephan Tobies
1999 B conf
Practical Reasoning for Expressive Description Logics.
LPAR
Ian Horrocks, Ulrike Sattler, Stephan Tobies
1999 Misc conf
Tractable and Decidable Fragments of Conceptual Graphs.
ICCS
Franz Baader, Ralf Molitor, Stephan Tobies
1998 — conf
Truth - A verification platform for concurrent systems.
Tool Support for System Specification, Development and Verification
Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies