Follow
Stephan Tobies
Stephan Tobies
Synopsys
Verified email at tobies.info
Title
Cited by
Cited by
Year
Practical reasoning for expressive description logics
I Horrocks, U Sattler, S Tobies
LPAR 99, 161-180, 1999
1241*1999
VCC: A practical system for verifying concurrent C
E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, ...
Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009
8012009
Complexity results and practical algorithms for logics in knowledge representation
S Tobies
arXiv preprint cs/0106031, 2001
4732001
Reasoning with Individuals for the Description Logic
I Horrocks, U Sattler, S Tobies
Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000
4182000
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
S Tobies
Journal of Artificial Intelligence Research 12, 199-217, 2000
2342000
An Introduction to TTCN-3
C Willcock, T Deiß, S Tobies, S Keil, F Engler, S Schulz
An Introduction to TTCN-3, Second Edition, 2011
1742011
VCC: Contract-based modular verification of concurrent C
M Dahlweid, M Moskal, T Santen, S Tobies, W Schulte
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
1192009
How to decide query containment under constraints using a description logic
I Horrocks, U Sattler, S Tessaris, S Tobies
Logic for Programming and Automated Reasoning: 7th International Conference …, 2000
1152000
A precise yet efficient memory model for C
E Cohen, M Moskal, S Tobies, W Schulte
Electronic Notes in Theoretical Computer Science 254, 85-103, 2009
1072009
Reasoning with Axioms: Theory and Pratice
I Horrocks, S Tobies
arXiv preprint cs/0005012, 2000
982000
Local verification of global invariants in concurrent programs
E Cohen, M Moskal, W Schulte, S Tobies
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
922010
PSPACE reasoning for graded modal logics
S Tobies
Journal of Logic and Computation 11 (1), 85-106, 2001
902001
The 1st verified software competition: Experience report
V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
762011
A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions
I Horrocks, U Sattler, S Tobies
551999
Tractable and decidable fragments of conceptual graphs
F Baader, R Molitor, S Tobies
ICCS 1640, 480-493, 1999
521999
The inverse method implements the automata approach for modal satisfiability
F Baader, S Tobies
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001
462001
A practical verification methodology for concurrent programs
E Cohen, M Moskal, W Schulte, S Tobies
Microsoft Research, 2009
452009
A PSpace-algorithm for deciding ALCNIR+-satisfiability
I Horrocks, U Sattler, S Tobies
381998
A PSPACE algorithm for graded modal logic
S Tobies
CADE 1632, 52-66, 1999
371999
A Suggestion for an n-ary Description Logic.
C Lutz, U Sattler, S Tobies
Description Logics, 1999
331999
The system can't perform the operation now. Try again later.
Articles 1–20