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
International Conference on Logic for Programming Artificial Intelligence …, 1999
7441999
VCC: A practical system for verifying concurrent C
E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, ...
International Conference on Theorem Proving in Higher Order Logics, 23-42, 2009
6862009
Practical reasoning for very expressive description logics
I Horrocks, U Sattler, S Tobies
Logic Journal of IGPL 8 (3), 239-263, 2000
4732000
Complexity results and practical algorithms for logics in knowledge representation
S Tobies
arXiv preprint cs/0106031, 2001
4342001
A description logic with transitive and inverse roles and role hierarchies
I Horrocks, U Sattler
Journal of logic and computation 9 (3), 385-410, 1999
407*1999
Reasoning with Individuals for the Description Logic
I Horrocks, U Sattler, S Tobies
International Conference on Automated Deduction, 482-496, 2000
3882000
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
S Tobies
Journal of Artificial Intelligence Research 12, 199-217, 2000
2082000
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
154*2011
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
1082009
How to decide query containment under constraints using a description logic
I Horrocks, U Sattler, S Tessaris, S Tobies
International Conference on Logic for Programming Artificial Intelligence …, 2000
1002000
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
952009
Reasoning with Axioms: Theory and Pratice
I Horrocks, S Tobies
arXiv preprint cs/0005012, 2000
912000
Local verification of global invariants in concurrent programs
E Cohen, M Moskal, W Schulte, S Tobies
International Conference on Computer Aided Verification, 480-494, 2010
832010
PSPACE reasoning for graded modal logics
S Tobies
Journal of Logic and Computation 11 (1), 85-106, 2001
792001
The 1st verified software competition: Experience report
V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...
International Symposium on Formal Methods, 154-168, 2011
652011
Tractable and decidable fragments of conceptual graphs
F Baader, R Molitor, S Tobies
International Conference on Conceptual Structures, 480-493, 1999
51*1999
A practical verification methodology for concurrent programs
E Cohen, M Moskal, W Schulte, S Tobies
Microsoft Research, 2009
442009
The inverse method implements the automata approach for modal satisfiability
F Baader, S Tobies
International Joint Conference on Automated Reasoning, 92-106, 2001
412001
A PSPACE-algorithm for deciding ALCNI_R+-satisfiability
I Horrocks, U Sattler, S Tobies
341998
A Suggestion for an n-ary Description Logic.
C Lutz, U Sattler, S Tobies
Description Logics, 1999
311999
The system can't perform the operation now. Try again later.
Articles 1–20