Carna Radojicic

According to our database, Carna Radojicic authored at least 13 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.

Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic

Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

2017

Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.

Christoph Grimm, Carna Radojicic

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

An open virtual neighbourhood network to connect IoT infrastructures and smart objects - Vicinity: IoT enables interoperability as a service.

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

Proceedings of the Global Internet of Things Summit, 2017

Novel 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

Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

2016

Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic

Carna Radojicic

PhD thesis, 2016

Embedded 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

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Towards formal validation: Symbolic simulation of SystemC models.

Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm

Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

2014

Semi-Symbolische Analyse eines Sigma-Delta Modulators.

Carna Radojicic, Kristin Krüger, Christoph Grimm

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

Semi-symbolic analysis of mixed-signal systems including discontinuities.

Carna Radojicic, Christoph Grimm, Javier Moreno, Xiao Pan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

On more dependable assertion-based verification.

Carna Radojicic, Javier Moreno, Xiao Pan, Christoph Grimm

Proceedings of the IECON 2013, 2013

2012

Extended framework for system simulation with affine arithmetic.

Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Assertion-based verification of signal processing systems with affine arithmetic.

Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

2011

System refinement design flow based on semi-symbolic simulations.

Florian Schupfer, Carna Radojicic, Joseph Wenninger, Christoph Grimm

Proceedings of the AFRICON 2011, 2011