Carna Zivkovic

According to our database, Carna Zivkovic authored at least 22 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Bringing Uncertainties into System Simulation: A SystemC AMS Case Study.

Carna Zivkovic, Christoph Grimm, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic

Proceedings of the Forum for Specification and Design Languages, 2020

2019

Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams.

Carna Zivkovic, Christoph Grimm, Markus Olbrich, Oliver Scharf, Erich Barke

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Optimization Framework for Hardware Design of Engine Control Units.

Iryna Kmitina, Nico Bannow, Christoph Grimm, Daniel Zielinski, Carna Zivkovic

Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019

Making System Level Test Possible by a Mixed-mode, Multi-level, Integrated Modeling Environment.

Nooshin Nosrati, Katayoon Basharkhah, Rezgar Sadeghi, Carna Zivkovic, Christoph Grimm, Zainalabedin Navabi

Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019

Nubolic Simulation of AMS Systems with Data Flow and Discrete Event Models.

Carna Zivkovic, Christoph Grimm

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Virtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both?

Xiao Pan, Carna Zivkovic, Christoph Grimm

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.

Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

Symbolic Simulation of SystemC AMS Without Yet Another Compiler.

Carna Zivkovic, Christoph Grimm

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017

Towards Verification of Uncertain Cyber-Physical Systems.

Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair

Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017

Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.

Christoph Grimm, Carna Radojicic

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

An open virtual neighbourhood network to connect IoT infrastructures and smart objects - Vicinity: IoT enables interoperability as a service.

Yajuan Guan, Juan C. Vasquez, Josep M. Guerrero, Natalie Samovich, Stefan Vanya, Viktor Oravec, Raul Garcia-Castro, Fernando Serena, María Poveda-Villalón, Carna Radojicic, Christopher Heinz, Christoph Grimm, Athanasios Tryferidis, Dimitrios Tzovaras, Keith Dickerson, Marek Paralic, Marek Skokan, Tomas Sabol

Proceedings of the Global Internet of Things Summit, 2017

Novel metrics for Analog Mixed-Signal coverage.

Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Hyun-Sek Lukas Lee, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher

Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

2016

Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic

Carna Radojicic

PhD thesis, 2016

Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis.

Erich Barke, Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Eckhard Hennig, Hyun-Sek Lukas Lee, Wolfgang Nebel, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Towards formal validation: Symbolic simulation of SystemC models.

Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm

Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

2014

Semi-Symbolische Analyse eines Sigma-Delta Modulators.

Carna Radojicic, Kristin Krüger, Christoph Grimm

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Semi-symbolic analysis of mixed-signal systems including discontinuities.

Carna Radojicic, Christoph Grimm, Javier Moreno, Xiao Pan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.

Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair

VLSI Design, 2013

On more dependable assertion-based verification.

Carna Radojicic, Javier Moreno, Xiao Pan, Christoph Grimm

Proceedings of the IECON 2013, 2013

2012

Extended framework for system simulation with affine arithmetic.

Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Assertion-based verification of signal processing systems with affine arithmetic.

Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

2011

System refinement design flow based on semi-symbolic simulations.

Florian Schupfer, Carna Radojicic, Joseph Wenninger, Christoph Grimm

Proceedings of the AFRICON 2011, 2011