Skip to content

Carna Zivkovic

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

4

Active years

2018–2025

Best venue rank

C

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2025FDLReachability Analysis of Deep Neural Networks Using Affine Arithmetic Decision Diagrams.Hagen Heermann, Pascal Grabowsky, Carna Zivkovic, Christoph Grimm
2025ISCASPiecewise Linear Performance Models for Analog Mixed-Signal Verification.Jan Rdel, Carna Zivkovic, Neha Chavan, Sren Kwasigroch, Christoph Grimm
2020FDLBringing Uncertainties into System Simulation: A SystemC AMS Case Study.Carna Zivkovic, Christoph Grimm, Johannes Klsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, Andre Barisic
2019ASPDACVirtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both?Xiao Pan, Carna Zivkovic, Christoph Grimm
2019DATENubolic Simulation of AMS Systems with Data Flow and Discrete Event Models.Carna Zivkovic, Christoph Grimm
2018FDLSymbolic Simulation of SystemC AMS Without Yet Another Compiler.Carna Zivkovic, Christoph Grimm