Name Card

Full name Familienname, Vorname

Radojicic, Carna

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Rathmair, Michael ; Luckeneder, Christoph ; Kaindl, Hermann ; Radojicic, Carna	Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems [Best Paper Award]	Konferenzbeitrag Inproceedings	2018
	2		Radojicic, Carna ; Grimm, Christoph ; Jantsch, Axel ; Rathmair, Michael	Towards verification of uncertain cyber-physical systems	Konferenzbeitrag Inproceedings	2017
	3		Rathmair, Michael ; Schupfer, Florian ; Grimm, Christoph ; Radojicic, Carna	Simulationsgestützte Analyse der inneren Eigenschaften von Mixed-Signal Systemen	Konferenzbeitrag Inproceedings	2014
	4		Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael	Worst Case, Noise and Sensitivity Analysis of Sigma Delta Modulator with Affine Arithmetic	Konferenzbeitrag Inproceedings	2014
	5		Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael	Assertion-based Verification of Phase-Locked Loop Circuit with Affine Arithmetic	Präsentation Presentation	2013
	6		Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael	Verification of Mixed-Signal Systems with Affine Arithmetic Assertions	Artikel Article	2013