default search action

combined dblp search
author search
venue search
publication search

ask others

Carna Zivkovic

Carna Radojicic

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/Zivkovic0KSFDKB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/Zivkovic0KSFDKB20
Carna Zivkovic, Christoph Grimm, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic:
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. FDL 2020: 1-6

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/Zivkovic0OSB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/Zivkovic0OSB19
Carna Zivkovic, Christoph Grimm, Markus Olbrich, Oliver Scharf, Erich Barke:
Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(10): 1785-1798 (2019)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/PanZ019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/PanZ019
Xiao Pan, Carna Zivkovic, Christoph Grimm:
Virtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both? ASP-DAC 2019: 544-549
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/date/Zivkovic019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/Zivkovic019
Carna Zivkovic, Christoph Grimm:
Nubolic Simulation of AMS Systems with Data Flow and Discrete Event Models. DATE 2019: 1457-1462
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ewdts/NosratiBSZ0N19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewdts/NosratiBSZ0N19
Nooshin Nosrati, Katayoon Basharkhah, Rezgar Sadeghi, Carna Zivkovic, Christoph Grimm, Zainalabedin Navabi:
Making System Level Test Possible by a Mixed-mode, Multi-level, Integrated Modeling Environment. EWDTS 2019: 1-5
[c15]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/KmitinaBGZZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/KmitinaBGZZ19
Iryna Kmitina, Nico Bannow, Christoph Grimm, Daniel Zielinski, Carna Zivkovic:
Optimization Framework for Hardware Design of Engine Control Units. MBMV 2019: 1-8
2018
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/ZivkovicG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/ZivkovicG18
Carna Zivkovic, Christoph Grimm:
Symbolic Simulation of SystemC AMS Without Yet Another Compiler. FDL 2018: 5-16
[c13]
- view
- export record
  dblp key:
  - conf/hicss/RathmairLKR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/RathmairLKR18
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic:
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. HICSS 2018: 1-10
2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/FurtigG0HHLNORS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/FurtigG0HHLNORS17
Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Hyun-Sek Lukas Lee, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher:
Novel metrics for Analog Mixed-Signal coverage. DDECS 2017: 97-102
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/giots/GuanVGSVOGSPRH017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/giots/GuanVGSVOGSPRH017
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:
An open virtual neighbourhood network to connect IoT infrastructures and smart objects - Vicinity: IoT enables interoperability as a service. GIoTS 2017: 1-6
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/GrimmR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/GrimmR17
Christoph Grimm, Carna Radojicic:
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems. MBMV 2017: 39-40
[c9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Radojicic0JR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Radojicic0JR17
Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair:
Towards Verification of Uncertain Cyber-Physical Systems. SNR@ETAPS 2017: 1-17
2016
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Radojicic16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Radojicic16
Carna Radojicic:
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic. Kaiserslautern University, Germany, 2016
[c8]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/BarkeFG0HHHLNNO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BarkeFG0HHHLNNO16
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:
Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis. DATE 2016: 1102-1111
2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dtis/RadojicicPG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dtis/RadojicicPG15
Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm:
Towards formal validation: Symbolic simulation of SystemC models. DTIS 2015: 1-6
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RadojicicGMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RadojicicGMP14
Carna Radojicic, Christoph Grimm, Javier Moreno, Xiao Pan:
Semi-symbolic analysis of mixed-signal systems including discontinuities. DATE 2014: 1-4
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/RadojicicKG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/RadojicicKG14
Carna Radojicic, Kristin Krüger, Christoph Grimm:
Semi-Symbolische Analyse eines Sigma-Delta Modulators. MBMV 2014: 83-92
2013
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/vlsi/RadojicicGSR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlsi/RadojicicGSR13
Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair:
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design 2013: 239064:1-239064:14 (2013)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/Radojicic0P013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/Radojicic0P013
Carna Radojicic, Javier Moreno, Xiao Pan, Christoph Grimm:
On more dependable assertion-based verification. IECON 2013: 7742-7747
2012
[c3]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/RadojicicSRG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/RadojicicSRG12
Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm:
Assertion-based verification of signal processing systems with affine arithmetic. FDL 2012: 20-26
[c2]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fdl/RathmairSRG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/RathmairSRG12
Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm:
Extended framework for system simulation with affine arithmetic. FDL 2012: 168-175
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/africon/SchupferRWG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/africon/SchupferRWG11
Florian Schupfer, Carna Radojicic, Joseph Wenninger, Christoph Grimm:
System refinement design flow based on semi-symbolic simulations. AFRICON 2011: 1-6

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.