Stephan Tobies
Stephan Tobies
Synopsys
Verified email at tobies.info
TitleCited byYear
Practical reasoning for expressive description logics
I Horrocks, U Sattler, S Tobies
International Conference on Logic for Programming Artificial Intelligence …, 1999
7411999
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
6712009
Practical reasoning for very expressive description logics
I Horrocks, U Sattler, S Tobies
Logic Journal of IGPL 8 (3), 239-263, 2000
4702000
Complexity results and practical algorithms for logics in knowledge representation
S Tobies
arXiv preprint cs/0106031, 2001
4312001
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
406*1999
Reasoning with Individuals for the Description Logic
I Horrocks, U Sattler, S Tobies
International Conference on Automated Deduction, 482-496, 2000
3862000
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
S Tobies
Journal of Artificial Intelligence Research 12, 199-217, 2000
2062000
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
152*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
1072009
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
992000
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
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
642011
Tractable and decidable fragments of conceptual graphs
F Baader, R Molitor, S Tobies
International Conference on Conceptual Structures, 480-493, 1999
48*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