Publications CPS

In: 27th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC) January 17-20 2022.

To the publication

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2022) March 14-23 Antwerpen Belgium 2022.

To the publication

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2022) March 14-23 Antwerp Belgium 2022.

To the publication

In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022) February 27-March 1 Bremerhaven Germany 2022.

To the publication

In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022) February 27-March 1 Bremerhaven Germany 2022.

To the publication

In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022) February 27-March 1 Bremerhaven Germany 2022.

To the publication

In: RoboCup 2021: Robot World Cup XXIV, Lecture Notes in Artificial Intelligence. RoboCup International Symposium (RoboCup-2022) Springer 2022.

To the publication

In: 40th IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2022) April 25-27 San Diego United States 2022.

To the publication

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2022) March 14-23 Antwerp Belgium 2022.

To the publication

In: Mirjana Ivanovic , Zakaria Maamar (editor). Proceedings of the 13th International Conference on Management of Digital EcoSystems. The International ACM Conference on Management of Emergent Digital EcoSystems (MEDES-2021) November 1-3 Virtual Event Tunisia MEDES '21 ISBN 9781450383141 Association for Computing Machinery 11/2021.

To the publication

Cyber-Physical Systems

PUBLICATIONS

Automated Detection of Spatial Memory Safety Violations for Constrained Devices

Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging

LiM-HDL: HDL-Based Synthesis for In-Memory Computing

An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks

Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations

B-Human 2021 – Playing Soccer Out of the Box

A Hardware-based Evolutionary Algorithm with Multi-Objective Optimization Operators for On-Chip Transient Fault Detection

The Scale4Edge RISC-V Ecosystem

Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients

Links

Contact

Follow us on:

Editor

Newsletter

Locations