Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andreas Kuehlmann
Property Checking via Structural Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalizing DPLL to Richer Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
The Yogi Project: Software Property Checking via Static Analysis and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Model Checking via Abstract Interpretation
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Debugging via Run-Time Type Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Rapid Property Specification and Checking for Model-Based Formalisms
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Checking System Properties via Integer Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statically Checking Confidentiality via Dynamic Labels
Discovery of SOA Patterns via Model Checking
