Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Deian Tabakov
Monitoring Temporal SystemC Properties
Related publications
Assertion-Based Flow Monitoring of SystemC Models
Formally Specified Monitoring of Temporal Properties
Proving Transaction and System-Level Properties of Untimed SystemC TLM Designs
From Design Specification to SystemC
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
An Integrated SystemC Debugging Environment
Lecture Notes in Electrical Engineering
Industrial
Manufacturing Engineering
Mixed-Signal Extensions for SystemC
Verification of Temporal Properties
Modelling Smart Card Security Protocols in SystemC TLM
A Conservative Approach to SystemC Parallelization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science