Carna Zivkovic
Orcid: 0000-0002-5358-739X
According to our database1,
Carna Zivkovic
authored at least 22 papers
between 2011 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
0
1
2
3
4
5
6
1
1
1
4
2
4
1
1
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2020
Proceedings of the Forum for Specification and Design Languages, 2020
2019
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019
Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019
Making System Level Test Possible by a Mixed-mode, Multi-level, Integrated Modeling Environment.
Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Virtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both?
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
2018
Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018
Proceedings of the 2018 Forum on Specification & Design Languages, 2018
2017
Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017
Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.
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.
Proceedings of the Global Internet of Things Summit, 2017
Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017
2016
PhD thesis, 2016
Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015
2014
Semi-Symbolische Analyse eines Sigma-Delta Modulators.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
VLSI Design, 2013
2012
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
2011
Proceedings of the AFRICON 2011, 2011