Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jan Haase
On Mixed Abstraction, Languages, and Simulation Approach to Refinement With SystemC AMS
Eurasip Journal on Embedded Systems
Control
Systems Engineering
Computer Science
Related publications
SystemC-AMS Requirements, Design Objectives and Rationale
Analogue and Mixed-Signal Extension to SystemC
IEE Proceedings - Circuits, Devices and Systems
Component-Based Abstraction and Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Conservative Approach to SystemC Parallelization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monotonic Abstraction-Refinement for CTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mixed-Signal Extensions for SystemC
On Abstraction Refinement for Program Analyses in Datalog
Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement
International Journal on Software Tools for Technology Transfer
Information Systems
Software
