Carna Radojicic

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 6

Top Topics

Digital Circuits

Top Venues

Publications

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)
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)
Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair
Towards Verification of Uncertain Cyber-Physical Systems. SNR@ETAPS (2017)
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)
Christoph Grimm, Carna Radojicic
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems. MBMV (2017)
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)
Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm
Towards formal validation: Symbolic simulation of SystemC models. DTIS (2015)
Carna Radojicic, Kristin Krüger, Christoph Grimm
Semi-Symbolische Analyse eines Sigma-Delta Modulators. MBMV (2014)
Carna Radojicic, Christoph Grimm, Javier Moreno, Xiao Pan
Semi-symbolic analysis of mixed-signal systems including discontinuities. DATE (2014)
Carna Radojicic, Javier Moreno, Xiao Pan, Christoph Grimm
On more dependable assertion-based verification. IECON (2013)
Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design 2013 (2013)
Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm
Extended framework for system simulation with affine arithmetic. FDL (2012)
Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm
Assertion-based verification of signal processing systems with affine arithmetic. FDL (2012)
Florian Schupfer, Carna Radojicic, Joseph Wenninger, Christoph Grimm
System refinement design flow based on semi-symbolic simulations. AFRICON (2011)