Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paula Herber
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
A Tutorial on Satisfiability Modulo Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Preface to the Special Issue “SI: Satisfiability Modulo Theories”
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving Satisfiability Problems Using Reconfigurable Computing
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory
Proceedings of the AAAI Conference on Artificial Intelligence
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework
Journal of the Brazilian Computer Society
Computer Science
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improving Reliability of Myocontrol Using Formal Verification
IEEE Transactions on Neural Systems and Rehabilitation Engineering
Internal Medicine
Medicine
Computer Science Applications
Biomedical Engineering
Neuroscience
Formal Verification of AADL Models Using UPPAAL
