Skip to content

Carna Radojicic

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

4

Active years

2012–2017

Best venue rank

A

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2017DDECSNovel 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
2016DATEEmbedded 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
2014DATESemi-symbolic analysis of mixed-signal systems including discontinuities.Carna Radojicic, Christoph Grimm, Javier Moreno, Xiao Pan
2013IECONOn more dependable assertion-based verification.Carna Radojicic, Javier Moreno, Xiao Pan, Christoph Grimm
2012FDLAssertion-based verification of signal processing systems with affine arithmetic.Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm
2012FDLExtended framework for system simulation with affine arithmetic.Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm