Division of Design of Cyber-Physical Systems

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 based on Symbolic simulation
  • Fault injection, symbolic-based self testing, self-diagnosis

Teaching Courses: 

  • 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ölsch, Christoph Grimm, Juan Rico, and Keith Dickerson. “Drivers, Standards and Platforms for the IoT:Towards a digital VICINITY”. accepted for presentation at Intelligent Systems Conference (IntelliSys'17) and publication in IEEE Xplore. London, UK, 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), Uppsala, Sweden, 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). Frankfurt, Germany, 2016, pp. 58–63. 
  • Carna Radojicic and Christoph Grimm. “Formal Verification of Mixed-Signal Designs Using Extended Affine Arithmetic”. In 12th IEEE Conference on PhD Research in Microelectronics and Electronics. IEEE, Lisbon, Portugal, 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, Paris, France, 2015. 
  • Carna Radojicic, Thiyagarajan Purusothaman, and Christoph Grimm. “Towards Formal Validation: Symbolic Simulation of SystemC Models”. In: Proceedings of International Conference on Design and Technology of Integrated Systems in Nanoscale Era (DTIS 2015), Invited Paper. IEEE, Naples, Italy, 2015.  
  • Carna Radojicic, Christoph Grimm, Javier Moreno, and Xiao Pan. “Semi- Symbolic Analysis of Mixed-Signal Systems including Discontinuities”. In: Proccedings of Design, Automation and Test in Europe 2014 (DATE ’14). IEEE, Dresden, Germany, 2014, pp. 1–4.
  • Carna Radojicic, Javier Moreno, Xiao Pan, and Christoph Grimm. “On more Dependable Assertion-based Verification”. In: Proceedings of 39th Annual Conference of the IEEE Industrial Electronics Society (IECON 2013). Vienna, Austria, 2013, pp. 7742–7747.
  • Michael Rathmair, Florian Schupfer, Carna Radojicic, and Christoph Grimm. “Extended Framework for System Simulation with Affine Arithmetic”. In: Forum on Specification and Design Languages. IEEE, Vienna, Austria, 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, Vienna, Austria, 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.


  • 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). Snowbird, Utah, USA, 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). Grenoble, France, 2014.
  • Carna Radojicic and Christoph Grimm. “Affine Arithmetic Decision Diagrams for Mixed-Signal Verification”. presented at Frontiers in Analog Computer-Aided Design (FAC). Frankfurt, Germany, July, 2017.




Zum Seitenanfang