Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexander Diedrich
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory
Proceedings of the AAAI Conference on Artificial Intelligence
Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets
Related publications
A Tutorial on Satisfiability Modulo Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Preface to the Special Issue “SI: Satisfiability Modulo Theories”
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Realization Theory of Nonlinear Hybrid Systems
Model-Based Design for Hybrid Electric Vehicle Systems
Towards a Geometric Theory of Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework
Journal of the Brazilian Computer Society
Computer Science
