Carna Radojicic

15 papers A 2C 4Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2018 — conf
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.
HICSS
Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic
2017 — conf
An open virtual neighbourhood network to connect IoT infrastructures and smart objects - Vicinity: IoT enables interoperability as a service.
GIoTS
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
2017 — conf
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.
MBMV
Christoph Grimm, Carna Radojicic
2017 C conf
Novel metrics for Analog Mixed-Signal coverage.
DDECS
Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Hyun-Sek Lukas Lee, Gregor Nitsche, Markus Olbrich, Carna Radojicic, Fabian Speicher
2017 — conf
Towards Verification of Uncertain Cyber-Physical Systems.
SNR@ETAPS
Carna Radojicic, Christoph Grimm, Axel Jantsch, Michael Rathmair
2016 A conf
Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis.
DATE
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
2016 — —
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Carna Radojicic
2015 — conf
Towards formal validation: Symbolic simulation of SystemC models.
DTIS
Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm
2014 — conf
Semi-Symbolische Analyse eines Sigma-Delta Modulators.
MBMV
Carna Radojicic, Kristin Krüger, Christoph Grimm
2014 A conf
Semi-symbolic analysis of mixed-signal systems including discontinuities.
DATE
Carna Radojicic, Christoph Grimm, Javier Moreno, Xiao Pan
2013 C conf
On more dependable assertion-based verification.
IECON
Carna Radojicic, Javier Moreno, Xiao Pan, Christoph Grimm
2013 J jnl
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.
VLSI Design
Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair
2012 C conf
Assertion-based verification of signal processing systems with affine arithmetic.
FDL
Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm
2012 C conf
Extended framework for system simulation with affine arithmetic.
FDL
Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm
2011 — conf
System refinement design flow based on semi-symbolic simulations.
AFRICON
Florian Schupfer, Carna Radojicic, Joseph Wenninger, Christoph Grimm