Name Card

Full name Familienname, Vorname

Radojicic, Carna

Own Publications Eigene Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Rathmair, Michael ; Schupfer, Florian ; Radojicic, Carna ; Grimm, Christoph	Extended Framework for System Simulation with Affine Arithmetic	Konferenzbeitrag Inproceedings	2012
	2		Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph	Checking Property Specifications of Analog Systems with Affine Arithmetic	Konferenzbeitrag Inproceedings	2012
	3		Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph	Assertion-based Verification of Signal Processing Systems with Affine Arithmetic	Konferenzbeitrag Inproceedings	2012
	4		Schupfer, Florian ; Radojicic, Carna ; Wenninger, Joseph Gernot Otto ; Grimm, Christoph	System Refinement Design Flow based on Semi-Symbolic Simulations	Konferenzbeitrag Inproceedings	2011
	5		Radojicic, Carna ; Schupfer, Florian ; Grimm, Christoph	Semi-symbolic Analysis of Analog and Signal Processing Systems	Präsentation Presentation	2011
	6		Schupfer, Florian ; Svarc, Markus ; Radojicic, Carna ; Grimm, Christoph	A Range Based System Simulation and Refinement Design Flow	Konferenzbeitrag Inproceedings	2011