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
International Conference on Logic for Programming Artificial Intelligence …, 1999
1245*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
8592009
Complexity results and practical algorithms for logics in knowledge representation
S Tobies
arXiv preprint cs/0106031, 2001
4872001
Reasoning with individuals for the description logic
I Horrocks, U Sattler, S Tobies
International Conference on Automated Deduction, 482-496, 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
2432000
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
1812011
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
1322009
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
1142000
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
1102009
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
1022010
Reasoning with Axioms: Theory and Pratice
I Horrocks, S Tobies
arXiv preprint cs/0005012, 2000
982000
PSPACE reasoning for graded modal logics
S Tobies
Journal of Logic and Computation 11 (1), 85-106, 2001
952001
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
812011
Tractable and decidable fragments of conceptual graphs
F Baader, R Molitor, S Tobies
International Conference on Conceptual Structures, 480-493, 1999
541999
A description logic with transitive and converse roles, role hierarchies and qualifying number restrictions
I Horrocks, U Sattler, S Tobies
531999
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
442009
A PSpace-algorithm for deciding ALCNIR+-satisfiability
I Horrocks, U Sattler, S Tobies
391998
A PSPACE algorithm for graded modal logic
H Ganzinger, S Tobies
Automated Deduction—CADE-16: 16th International Conference on Automated …, 1999
361999
A Suggestion for an n-ary Description Logic.
C Lutz, U Sattler, S Tobies
Description Logics, 1999
341999
The system can't perform the operation now. Try again later.
Articles 1–20