- A. Tarraf, "Formal Abstraction and Verification of Analog Circuits", Universität Frankfurt a.M, 2021 pdf
- Y. Kolluru, "Methodology for Vibration, Wear and Noise in Electro-mechanical Drivetrains", Universität Frankfurt a.M, 2021 pdf.
- F. Salfelder, "On ageing effects in analogue integrated circuits", Dissertation, Universität Frankfurt a.M., hebis, urn:nbn:de:hebis:30:3-415788, 2016 pdf
- T. Dackermann, "Generische domänenübergreifende Methodik für die Modellierung und Simulation vibroakustischer Mechanismen in Getrieben", Dissertation, Universität Frankfurt a.M., hebis, ppn 397164785, 2016
- M. Meissner, "FEATS - Framework for Explorative, Analog Topology Synthesis", Dissertation, Universität Frankfurt a.M., ppn 418495785, 2015 pdf
- J. v. Rosen, "A highly dependable, analog multi-core mixe-signal task distribution system", Dissertation, Universität Frankfurt a. M.,urn:nbn:de:hebis:3-379661, 2015 pdf
- X. Wang, "Analog circuit design approaches", Dissertation, Frankfurt, Dr.-Hut Verlag, ISBN: 978-3-8539-1627-1, 2014
- S. Steinhorst, "Formal verification methodologies for nonlinear analog circuits", Disseration, Universität Frankfurt a. M.,urn:nbn:de:hebis:30-90615, 2011 pdf
- A. Jesser. "Mixed-Signal Circuit Verification Using Symbolic Model Checking Techniques", Dissertation, Universität Frankfurt a. M., ISBN 978-3-89963-841-7, Dr. Hut Verlag, Oktober 2008.
- L. Hedrich, Ansätze zur formalen Verifikation analoger Schaltungen, Fortschrittberichte VDI, Reihe 20: Rechnergestützte Verfahren, Nr. 257, VDI Verlag, Düsseldorf, 1997.
