Author:
Zivkovic Carna,Grimm Christoph
Publisher
Springer International Publishing
Reference19 articles.
1. Ball, T., & Daniel, J. (2014). Deconstructing dynamic symbolic execution. In Proceedings of the 2014 Marktoberdorf Summer School on Dependable Software Systems Engineering.
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/dse.pdf
.
2. Bryant, R. E. (1986). Graph-based algorithms for boolean function manipulation. IEEE Transactions on Communications, 35(8), 677–691.
http://dx.doi.org/10.1109/TC.1986.1676819
.
3. Grabowski, D., Grimm, C., & Barke, E. (2006). Semi-symbolic modeling and simulation of circuits and systems. In IEEE International Symposium on Circuits and Systems (ISCAS) (pp. 983–986). Washington: IEEE.
https://doi.org/10.1109/ISCAS.2006.1692752
.
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1692752
.
4. Grimm, C., Heupke, W., & Waldschmidt, K. (2005). Analysis of mixed-signal systems with affine arithmetic. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 24(1), 118–123.
https://doi.org/10.1109/TCAD.2004.839469(410)24
.
https://ieeexplore.ieee.org/document/1372667/
.
5. Grimm, C., & Rathmair, M. (2017). Dealing with uncertainties in analog/mixed-signal systems: Invited. In Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, 18–22 June 2017 (pp. 35:1–35:6).
https://doi.org/10.1145/3061639.3072949
.
http://doi.acm.org/10.1145/3061639.3072949
.