SystemC is widely used for modeling and simulation in hardware/software co-design. Due to
the lack of a complete formal semantics, it is not possible to verify SystemC designs. In this …

SystemC is widely used for modeling and simulation in hardware/software co-design.
However, existing verification techniques are mostly ad-hoc and non-systematic. In this …

When a multi-label classifier outputs a real-valued score for each class, a well known design
strategy consists of tuning the corresponding decision thresholds by optimising the …

Transaction Level Modeling (TLM) is gaining more and more importance to quickly evaluate
design alternatives in multimedia systems and other mixed HW/SW systems. However, the …

Deductive verification is often more efficient than alternative techniques like model checking
at reasoning about functional properties of programs. This is especially true when the …

In the last decades, there has been a lot of work on formal verification techniques for
embedded hardware/software systems. The main barriere for the application of these …

In this dissertation, we present a systematic, comprehensive, and formally founded quality
assurance process, which allows automated co-verification of digital hardware/software …

Intelligent components such as reinforcement learning are increasingly used in safety-
critical embedded systems, eg, in cars, trains or traffic control systems. While it is crucial to …

Abstract Information flow analysis (IFA) is a powerful technique for verifying confidentiality
and integrity. This is highly desirable for embedded systems, where security violations can …

Major strengths of deductive verification include modular verification and support for
functional properties and unbounded parameters. However, in embedded systems, crucial …