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
7711999
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
7102009
Practical reasoning for very expressive description logics
I Horrocks, U Sattler, S Tobies
Logic Journal of IGPL 8 (3), 239-263, 2000
4752000
Complexity results and practical algorithms for logics in knowledge representation
S Tobies
arXiv preprint cs/0106031, 2001
4462001
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
414*1999
Reasoning with Individuals for the Description Logic
I Horrocks, U Sattler, S Tobies
International Conference on Automated Deduction, 482-496, 2000
3982000
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
S Tobies
Journal of Artificial Intelligence Research 12, 199-217, 2000
2182000
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
158*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
1142009
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
1052000
Reasoning with Axioms: Theory and Pratice
I Horrocks, S Tobies
arXiv preprint cs/0005012, 2000
952000
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
942009
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
872010
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
692011
Tractable and decidable fragments of conceptual graphs
F Baader, R Molitor, S Tobies
International Conference on Conceptual Structures, 480-493, 1999
511999
A practical verification methodology for concurrent programs
E Cohen, M Moskal, W Schulte, S Tobies
Microsoft Research, 2009
452009
The inverse method implements the automata approach for modal satisfiability
F Baader, S Tobies
International Joint Conference on Automated Reasoning, 92-106, 2001
422001
A PSPACE-algorithm for deciding ALCNI_R+-satisfiability
I Horrocks, U Sattler, S Tobies
351998
A PSPACE algorithm for graded modal logic
S Tobies
International Conference on Automated Deduction, 52-66, 1999
341999
The system can't perform the operation now. Try again later.
Articles 1–20