• 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.