Stephan Tobies

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
ARM-on-ARM: Leveraging Virtualization Extensions for Fast Virtual Platforms.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

2018
OHEX: OS-aware hybridization techniques for accelerating MPSoC full-system simulation.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2011

2010
Local Verification of Global Invariants in Concurrent Programs.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
A Precise Yet Efficient Memory Model For C.
Proceedings of the 4th International Workshop on Systems Software Verification, 2009

VCC: A Practical System for Verifying Concurrent C.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

VCC: Contract-based modular verification of concurrent C.
Proceedings of the 31st International Conference on Software Engineering, 2009


2007
Sharing Intelligent Services between Homes.
Proceedings of the Constructing Ambient Intelligence, 2007

2002
Formal Test Purposes and the Validity of Test Cases.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001
Complexity results and practical algorithms for logics in knowledge representation.
PhD thesis, 2001

PSPACE Reasoning for Graded Modal Logics.
J. Log. Comput., 2001

Complexity Results and Practical Algorithms for Logics in Knowledge Representation
CoRR, 2001

The Inverse Method Implements the Automata Approach for Modal Satisfiability.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

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

Practical Reasoning for Very Expressive Description Logics.
Log. J. IGPL, 2000

Reasoning with Axioms: Theory and Pratice
CoRR, 2000

How to Decide Query Containment Under Constraints Using a Description Logic.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Reasoning with Axioms: Theory and Practice.
Proceedings of the KR 2000, 2000

Optimisation of Terminological Reasoning.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning with Individuals for the Description Logic SHIQ.
Proceedings of the Automated Deduction, 2000

A Tableau Algorithm for the Clique Guarded Fragment.
Proceedings of the Advances in Modal Logic 3, 2000

1999
Practical Reasoning for Expressive Description Logics.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Tractable and Decidable Fragments of Conceptual Graphs.
Proceedings of the Conceptual Structures: Standards and Practices, 1999

On the Complexity of Counting in Description Logics.
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.
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<sup>2</sup>.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

A PSpace Algorithm for Graded Modal Logic.
Proceedings of the Automated Deduction, 1999

1998
Truth - A verification platform for concurrent systems.
Proceedings of the International Workshop Tool Support for System Specification, 1998


  Loading...