Get started
Author

Carna Zivkovic

Observed name: C. Zivkovic
Institution: NXP (Germany)
ORCID: 0000-0002-5358-739X
Observed ORCID: 0000-0002-5358-739X
OpenAlex ID: A5048393964
Virtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both?
2019 · Xiao Pan, Carna Zivkovic, et al. · Asia and South Pacific Design Automation Conference (ASP-DAC) · 12
Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams
2018 · Carna Zivkovic, Christoph Grimm, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 12
An Introduction to the Internet of Things
2020 · Johannes Kölsch, Carna Zivkovic, et al. · Springer eBooks · 6
Model-based development of smart home scenarios for IoT simulation
2020 · Johannes Kolsch, Sebastian Post, et al. · Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES) · 6
IoT Platforms, Use Cases, Privacy, and Business Models: With Hands-on Examples Based on the VICINITY Platform
2020 · Carna Zivkovic, Yajuan Guan, et al. · Springer eBooks · 5
Nubolic Simulation of AMS Systems with Data Flow and Discrete Event Models
2019 · Carna Zivkovic, Christoph Grimm · Design, Automation, and Test in Europe · 5
Symbolic Simulation of SystemC AMS Without Yet Another Compiler
2018 · Carna Zivkovic, Christoph Grimm · Forum on specification and Design Languages · 4
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study
2020 · C. Zivkovic, Ch. Grimm, et al. · Forum on specification and Design Languages · 2
Piecewise Linear Performance Models for Analog Mixed-Signal Verification
2025 · Jan Rödel, Carna Zivkovic, et al. · IEEE International Symposium on Circuits and Systems proceedings · 1
Reachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams
2025 · Hagen Heermann, Pascal Grabowsky, et al. · Forum on specification and Design Languages
Efficient Parameter Reduction for Statistical Behavioral Modeling
2025 · Jan Rödel, Carna Zivkovic, et al. · International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
AADD-Based Symbolic Simulation of SystemC AMS
2019 · Carna Zivkovic, Christoph Grimm · Lecture notes in electrical engineering
Making System Level Test Possible by a Mixed-mode, Multi-level, Integrated Modeling Environment
2019 · Nooshin Nosrati, Katayoon Basharkhah, et al. · IEEE East-West Design & Test Symposium (EWDTS)
Optimization Framework for Hardware Design of Engine Control Units.
2019 · Iryna Kmitina, Nico Bannow, et al. · MBMV
Works count: 14
Citation count: 53
H-index: 5
I10-index: 2
Year
Topic
Type