Stephan Tobies

According to our database, Stephan Tobies authored at least 29 papers between 1998 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

ARM-on-ARM: Leveraging Virtualization Extensions for Fast Virtual Platforms.

Lukas Jünger, Jan Luca Malte Bölke, Stephan Tobies, Rainer Leupers, Andreas Hoffmann

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2018

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

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2011

The 1st Verified Software Competition: Experience Report.

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ß

Proceedings of the FM 2011: Formal Methods, 2011

2010

Local Verification of Global Invariants in Concurrent Programs.

Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

A Precise Yet Efficient Memory Model For C.

Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte

Proceedings of the 4th International Workshop on Systems Software Verification, 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

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

VCC: Contract-based modular verification of concurrent C.

Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte

Proceedings of the 31st International Conference on Software Engineering, 2009

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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009

2007

Sharing Intelligent Services between Homes.

Henk Eertink, Remco Poortinga, Tom H. F. Broens, Stephan Tobies, Andrew Tokmakoff, Aart van Halteren

Proceedings of the Constructing Ambient Intelligence, 2007

2002

Formal Test Purposes and the Validity of Test Cases.

Peter H. Deussen, Stephan Tobies

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Complexity results and practical algorithms for logics in knowledge representation.

Stephan Tobies

PhD thesis, 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

CoRR, 2001

The Inverse Method Implements the Automata Approach for Modal Satisfiability.

Franz Baader, Stephan Tobies

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics.

Stephan Tobies

J. Artif. Intell. Res., 2000

Practical Reasoning for Very Expressive Description Logics.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Log. J. IGPL, 2000

Reasoning with Axioms: Theory and Pratice

Ian Horrocks, Stephan Tobies

CoRR, 2000

How to decide Query Containment under Constraints using a Description Logic.

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies

Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), 2000

Reasoning with Axioms: Theory and Practice.

Ian Horrocks, Stephan Tobies

Proceedings of the KR 2000, 2000

Optimisation of Terminological Reasoning.

Ian Horrocks, Stephan Tobies

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning with Individuals for the Description Logic SHIQ.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Proceedings of the Automated Deduction, 2000

A Tableau Algorithm for the Clique Guarded Fragment.

Colin Hirsch, Stephan Tobies

Proceedings of the Advances in Modal Logic 3, 2000

1999

Practical Reasoning for Expressive Description Logics.

Ian Horrocks, Ulrike Sattler, Stephan Tobies

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Tractable and Decidable Fragments of Conceptual Graphs.

Franz Baader, Ralf Molitor, Stephan Tobies

Proceedings of the Conceptual Structures: Standards and Practices, 1999

On the Complexity of Counting in Description Logics.

Stephan Tobies

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A Suggestion for an n-ary Description Logic.

Carsten Lutz, Ulrike Sattler, Stephan Tobies

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A NExpTime-Complete Description Logic Strictly Contained in C².

Stephan Tobies

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

A PSpace Algorithm for Graded Modal Logic.

Stephan Tobies

Proceedings of the Automated Deduction, 1999

1998

Truth - A verification platform for concurrent systems.

Martin Lange, Martin Leucker, Thomas Noll, Stephan Tobies

Proceedings of the International Workshop Tool Support for System Specification, 1998