Matthias Althoff, Akshay Rajhans, Bruce H. Krogh, Soner Yaldiz, Xin Li & Larry Pileggi (2011):
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization.
In: IEEE/ACM International Conference on Computer Aided Design (ICCAD),
pp. 659–666,
doi:10.1145/2507771.2507783.
R. Alur, C. Coucoubetis, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis & S. Yovine (1995):
The algorithmic analysis of hybrid systems.
Theoretical Computer Science 138,
pp. 3–34,
doi:10.1016/0304-3975(94)00202-T.
Saswat Anand, Patrice Godefroid & Nikolai Tillmann (2008):
Demand-Driven Compositional Symbolic Execution.
In: C.R. Ramakrishnan & Jakob Rehof: Tools and Algorithms for the Construction and Analysis of Systems LNCS 4963.
Springer Berlin Heidelberg,
pp. 367–381,
doi:10.1007/978-3-540-78800-3_28.
Erich Barke, Andreas Fürtig, Georg Gläser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Eckhard Hennig, Hyan-Sek Lukas Lee, Wolfgang Nebel, Gregor Nitsche, Markus Olbrich, Carna Radojicic & Fabian Speicher (2016):
Embedded Tutorial: Analog-/Mixed-Signal Verification Methods for AMS Coverage Analysis.
In: Design, Automation & Test in Europe Conference & Exhibition (DATE'16),
pp. 1102–1111,
doi:10.3850/9783981537079_1010.
Martin Barnasconi, Karsten Einwich, Christoph Grimm & Alain Vachoux (2013):
Standard SystemCAMS extensions 2.0 Language Reference Manua.
OSCI.
Available at http://accellera.org.
Randal E. Bryant (1986):
Graph-based algorithms for Boolean function manipulation.
IEEE Transactions on Computers C-35(8),
pp. 677–691,
doi:10.1109/TC.1986.1676819.
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann & Boris Wirtz (2006):
Automatic Verification of Hybrid Systems with Large Discrete State Space.
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006,
pp. 276–291,
doi:10.1007/11901914_22.
Fang Fang, Tsuhan Chen & Rob. A. Rutenbar (2002):
Floating-Point Bit-Width Optimization for Low-Power Signal Processing Applications.
In: IEEE International Conference on Acoustic, Speech and Signal Processing 3,
pp. 3208–3211,
doi:10.1109/ICASSP.2002.5745332.
Luiz Henrique De Figueiredo & Jorge Stolfi (2004):
Affine Arithmetic: Concepts and Applications.
Numerical Algorithms 37(1-4),
pp. 147–158,
doi:10.1023/B:NUMA.0000049462.70970.b6.
Antoine Girard (Springer, 2005):
Hybrid Systems: Computation and Control, chapter Reachibility of Uncertain Linear Systems Using Zonotopes,
pp. 291–305 LNCS 3414,
doi:10.1007/978-3-540-31954-2_19.
Christoph Grimm, Wilhelm Heupke & Klaus Waldschmidt (2005):
Analysis of mixed-signal systems with affine arithmetic.
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 24(1),
pp. 118–123,
doi:10.1109/TCAD.2004.839469(410) 24.
Christoph Grimm & Michael Rathmair (2017):
Invited: Dealing with Uncertainties in Analog/Mixed-Signal Systems.
In: Proceedings of the 54th Design Automation a Conference, 2017,
pp. 1–6.
Axel Jantsch (2003):
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation.
Morgan Kaufmann Publishers Inc.,
San Francisco, CA, USA.
Axel Jantsch & Ingo Sander (2005):
Models of computation and languages for embedded system design.
Computers and Digital Techniques, IEE Proceedings - 152(2),
pp. 114–129,
doi:10.1049/ip-cdt:20045098.
Jinseong Jeon, Kristopher K. Micinski & Jeffrey S. Foster (2012):
SymDroid: Symbolic Execution for Dalvik Bytecode.
Technical Report CS-TR-5022.
Department of Computer Science, University of Maryland, College Park.
Gilles Kahn (1974):
The semantics of simple language for parallel programming.
In: Proceedings IFIP74.
North-Holland, Amsterdam,
pp. 471–475.
Colas Le Guernic & Antoine Girard (2009):
Reachability Analysis of Hybrid Systems Using Support Functions,
pp. 540–554.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-02658-4_40.
E. A. Lee & A. Sangiovanni-Vincentelli (2006):
A Framework for Comparing Models of Computation.
Trans. Comp.-Aided Des. Integ. Cir. Sys. 17(12),
pp. 1217–1229,
doi:10.1109/43.736561.
E.A. Lee (2008):
Cyber Physical Systems: Design Challenges.
In: Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on,
pp. 363–369,
doi:10.1109/ISORC.2008.25.
Markus Olbrich & Erich Barke (2008):
Distribution Arithmetic for Stochastical Analysis.
In: Proceedings of the 2008 Asia and South Pacific Design Automation Conference,
ASP-DAC '08.
IEEE Computer Society Press,
Los Alamitos, CA, USA,
pp. 537–542,
doi:10.1109/ASPDAC.2008.4484009.
Available at http://dl.acm.org/citation.cfm?id=1356802.1356932.
Sylvie Putot (2013):
Lecture Notes, Digicosme Spring school 2013: Static Analysis of Numerical Programs and Systems.
MEASI Laboratory, CEA LIST.
Carna Radojicic & Christoph Grimm (2016):
Formal Verification of Mixed-Signal Designs Using Extended Affine Arithmetic.
In: 12th Conference on PhD Research in Microelectronics and Electronics,
doi:10.1109/PRIME.2016.7519482.
Carna Radojicic, Christoph Grimm, Florian Schupfer & Michael Rathmair (2013):
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.
VLSI Design 2013,
doi:10.1155/2013/239064.
Alain Vachoux, Karsten Einwich & Christoph Grimm (2005):
Extending SystemC to support mixed discrete-continuous system modeling and simulation.
In: International Symposion on Circuits and Systems 2005 (ISCAS '05).
IEEE,
doi:10.1109/ISCAS.2005.1465798.
Warren E Walker, Poul Harremoës, Jan Rotmans, Jeroen P van der Sluijs, Marjolein BA van Asselt, Peter Janssen & Martin P Krayer von Krauss (2003):
Defining uncertainty: a conceptual basis for uncertainty management in model-based decision support.
Integrated assessment 4(1),
pp. 5–17,
doi:10.1076/iaij.4.1.5.16466.