System refinement design flow based on semi-symbolic simulations. - Florian Schupfer; Carna Radojicic; Joseph Wenninger; Christoph Grimm 001 (AFRICON, 2011)

Assertion-based verification of signal processing systems with affine arithmetic. - Carna Radojicic; Florian Schupfer; Michael Rathmair; Christoph Grimm 001 (FDL, 2012)

Extended framework for system simulation with affine arithmetic. - Michael Rathmair; Florian Schupfer; Carna Radojicic; Christoph Grimm 001 (FDL, 2012)

On more dependable assertion-based verification. - Carna Radojicic; Javier Moreno 003; Xiao Pan; Christoph Grimm 001 (IECON, 2013)

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. - Carna Radojicic; Christoph Grimm 001; Florian Schupfer; Michael Rathmair (VLSI Design, 2013)

Semi-symbolic analysis of mixed-signal systems including discontinuities. - Carna Radojicic; Christoph Grimm 001; Javier Moreno 003; Xiao Pan (DATE, 2014)

Semi-Symbolische Analyse eines Sigma-Delta Modulators. - Carna Radojicic; Kristin Krüger; Christoph Grimm 001 (MBMV, 2014)

Towards formal validation: Symbolic simulation of SystemC models. - Carna Radojicic; Thiyagarajan Purusothaman; Christoph Grimm 001 (DTIS, 2015)

Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis. - Erich Barke; Andreas Furtig; Georg Glaeser; Christoph Grimm 001; Lars Hedrich; Stefan Heinen; Eckhard Hennig; Hyun-Sek Lukas Lee; Wolfgang Nebel; Gregor Nitsche; Markus Olbrich; Carna Radojicic; et al. (DATE, 2016)

Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic - Carna Radojicic (2016)

Novel metrics for Analog Mixed-Signal coverage. - Andreas Furtig; Georg Glaeser; Christoph Grimm 001; Lars Hedrich; Stefan Heinen; Hyun-Sek Lukas Lee; Gregor Nitsche; Markus Olbrich; Carna Radojicic; Fabian Speicher (DDECS, 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 001; 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 001; et al. (GIoTS, 2017)

Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems. - Christoph Grimm 001; Carna Radojicic (MBMV, 2017)

Towards Verification of Uncertain Cyber-Physical Systems. - Carna Radojicic; Christoph Grimm 001; Axel Jantsch; Michael Rathmair (SNR@ETAPS, 2017)

Symbolic Simulation of SystemC AMS Without Yet Another Compiler. - Carna Zivkovic; Christoph Grimm 001 (FDL, 2018)

Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. - Michael Rathmair; Christoph Luckeneder; Hermann Kaindl; Carna Radojicic (HICSS, 2018)

Virtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both? - Xiao Pan; Carna Zivkovic; Christoph Grimm 001 (ASP-DAC, 2019)

Nubolic Simulation of AMS Systems with Data Flow and Discrete Event Models. - Carna Zivkovic; Christoph Grimm 001 (DATE, 2019)

Making System Level Test Possible by a Mixed-mode, Multi-level, Integrated Modeling Environment. - Nooshin Nosrati; Katayoon Basharkhah; Rezgar Sadeghi; Carna Zivkovic; Christoph Grimm 001; Zainalabedin Navabi (EWDTS, 2019)

Optimization Framework for Hardware Design of Engine Control Units. - Iryna Kmitina; Nico Bannow; Christoph Grimm 001; Daniel Zielinski; Carna Zivkovic (MBMV, 2019)

Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams. - Carna Zivkovic; Christoph Grimm 001; Markus Olbrich; Oliver Scharf; Erich Barke (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. - Carna Zivkovic; Christoph Grimm 001; Johannes Kölsch; D. Short; M. Ferstl; Dirk Denger; D. Krems; Andre Barisic (FDL, 2020)

Piecewise Linear Performance Models for Analog Mixed-Signal Verification. - Jan Rödel; Carna Zivkovic; Neha Chavan; Sören Kwasigroch; Christoph Grimm 001 (ISCAS, 2025)

Efficient Parameter Reduction for Statistical Behavioral Modeling. - Jan Rödel; Carna Zivkovic; Neha Chavan; Christoph Grimm 001 (SMACD, 2025)