Zur Hauptnavigation / To main navigation

Zur Sekundärnavigation / To secondary navigation

Zum Inhalt dieser Seite / To the content of this page

Sekundärnavigation / Secondary navigation

Inhaltsbereich / Content

Dr.-Ing. Carna Zivkovic, born Radojicic

Room :49-416
Telefon : +49 (0) 631 205 2606
Email :zivkovic[at]informatik.uni-kl.de
Address :[KIS]

 

Research Interests:

  • Modeling and Simulation of Cyber-Physical Systems
  • Formal verification of mixed-signal HW/SW systems, Symbolic simulation
  • Fault injection, symbolic-based self testing, self-diagnosis

Teaching Assistant: 

  • Virtual Prototyping and HW/SW Co-Design
  • Bachelor & Master Projects: Model-Based Development of Embedded Systems
  • Seminar: Cyber-Physical Systems

Projects :

  • ANCONA BMBF project (2014-2017)
  • KvUiCPS project with AVL (2016-2018)
  • VICINITY (EU H2020) project (2016-2019)

Publications :

Journal and conference papers

  • Aida Mynzhasova, Carna Radojicic, Christopher Heinz, Johannes K ̈olsch, Christoph Grimm, Juan Rico, and Keith Dickerson. “Drivers, Standards and Platforms for the IoT:Towards a digital VICINITY”. In: Intelligent Systems Conference (IntelliSys), accepted for presentation and publication in IEEE Xplore. September, 2017.    
  • Carna Radojicic, Christoph Grimm, Michael Rathmair, and Axel Jantsch. “Towards Verification of Uncertain Cyber-Physical Systems”. In: 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Invited Paper. Electronic Proceedings in Theoretical Computer Science (EPTCS), 2017. 
  • Carna Radojicic and Christoph Grimm. “Instrumentation of the Control Flow of SystemC AMS - Models for Symbolic Simulation”. In: Proceedings of 15. ITG/GMM- Symposium (ANALOG 2016). 2016, pp. 58–63. 
  • Carna Radojicic and Christoph Grimm. “Formal Verification of Mixed-Signal De- signs Using Extended Affine Arithmetic”. In: 12th Conference on PhD Research in Microelectronics and Electronics. IEEE, 2016. 
  • Christoph Grimm, Carna Radojicic, and Thiyagarajan Purusothaman. “Verification and Validation of AMS Systems: Towards Higher Coverage”. In: 20th International Mixed-Signal Testing Workshop (IMSTW 2015), Invited Paper. IEEE, 2015. 
  • Carna Radojicic, Thiyagarajan Purusothaman, and Christoph Grimm. “Towards Formal Validation: Symbolic Simulation of SystemC Models”. In: Proceedings of In- ternational Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS 2015), Invited Paper. IEEE, 2015. 
  • Carna Radojicic, Thiyagarajan Purusothaman, and Christoph Grimm. “Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic”. In: Proceed- ings of EDAWORKSHOP 2015. 2015. 
  • Carna Radojicic, Kristin Kru ̈ger, and Christoph Grimm. “Semi Symbolische Anal- yse eines  Sigma-Delta Modulators”. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikationvon Schaltungen und Systemen (MBMV 2014). 2014, pp. 83–92.
  • Carna Radojicic, Christoph Grimm, Javier Moreno, and Xiao Pan. “Semi-Semi- Symbolic Analysis of Mixed-Signal Systems including Discontinuities”. In: Procced- ings of Design, Automation and Test in Europe 2014 (DATE ’14). IEEE, 2014, pp. 1–4.
  • Carna Radojicic, Javier Moreno, Xiao Pan, and Christoph Grimm. “Towards more Dependable Verification of Parameter Variations using Semi-Formal Techniques”. In: Proceedings of EDAWORKSHOP 2013. 2013, pp. 71–76.
  • Carna Radojicic, Javier Moreno, Xiao Pan, and Christoph Grimm. “On more De- pendable Assertion-based Verification”. In: Proceedings of 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013). 2013, pp. 7742–7747.
  • Carna Radojicic, Florian Schupfer, Michael Rathmair, and Christoph Grimm. “Checking Property Specifications of Analog Systems with Affine Arithmetic”. In: Fachta- gung Mikroelektronik. Vienna: OVE, 2012, pp. 184 –188.
  • Michael Rathmair, Florian Schupfer, Carna Radojicic, and Christoph Grimm. “Ex- tended Framework for System Simulation with Affine Arithmetic”. In: Forum on Specification and Design Languages. IEEE, 2012, pp. 168–175.
  • Carna Radojicic, Florian Schupfer, Michael Rathmair, and Christoph Grimm. “Assertion- based Verification of Signal Processing Systems with Affine Arithmetic”. In: Forum
    on Specification and Design Languages (FDL 2012). IEEE, 2012, pp. 20–26.
  • Carna Radojicic, Christoph Grimm, Florian Schupfer, and Michael Rathmair. “Verification of Mixed-Signal Systems with Affine Arithmetic Assertions”. In : Journal on VLSI Design 2013, pp. 1–14.

Presentations:

  • Carna Radojicic, Florian Schupfer, Markus Svarc, and Christoph Grimm. “Semi- Symbolic Analysis of Analog and Signal Processing Systems”. presented at Frontiers in Analog Circuit Synthesis and Verification (FAC). 2011. 
  • Christoph Grimm and Carna Radojicic. “Towards Formal Verification of Analog/Mixed- Signal Systems: The Algebraic Approach”. presented at Frontiers in Analog Computer- Aided Design (FAC). 2014. 
  • Carna Radojicic and Christoph Grimm. “Affine Arithmetic Decision Diagrams for Mixed-Signal Verification”. to be presented at Frontiers in Analog Computer-Aided Design (FAC). July, 2017.