Dipl.-Inf. Andreas Fürtig

Postanschrift:

Andreas Fürtig
Professur für Entwurfsmethodik
Institut für Informatik
Johann Wolfgang Goethe-Universität
Postfach 11 19 32
60054 Frankfurt am Main

Telefon:

+49 69 798-28242

Fax:

+49 69 798-28919

eMail:

fuertig(at)em.informatik.uni-frankfurt.de
PGP Key

Büro:

Zimmer 213
Robert-Mayer-Str. 11
60325 Frankfurt

Forschungsinteressen

  • Coverageberechnung und Testmethodiken von Analogen Schaltungen
  • Autonome Roboter im RoboCup Umfeld

Veröffentlichungen

  • Andreas Fürtig, Jonathan Cyriax Brast, Sina Ditzel, Hans-Joachim Hammer, Timm Hess, Kyle Rinfreschi, Jens-Michael Siegl, Stefanie Steiner, Felix Weiglhofer, and
    Philipp Wörner: Team Description Paper for Robocup 2017 in Japan, pdf
  • Andreas Fürtig, Moritz Paschke and Lars Hedrich: "Comparing Code Coverage Metrics for Analog Behavioral Models". In: Proceedings of the 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD, 2017, Taormina, Italy.
  • Andreas Fürtig, Georg Gläser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Hyun-Sek Lukas Lee, Gregor Nitsche, Markus Olbrich, Carna Radojicic and Fabian Speicher: "Novel Metrics for Analog Mixed-Signal Coverage". In: Proceedings of the 20th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems, DDECS,  2017, Dresden, Germany, pdf
  • Andreas Fürtig, Sebastian Steinhorst, Lars Hedrich: "Feature based State Space Coverage of Analog Circuits". In: Proceedings of the Forum on Specification and Design Languages (FDL 2016). Bremen, Germany, pdf
  • Erich Barke, Andreas Fürtig, Georg Gläser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Eckhard Hennig, Hyun-Sek Lukas Lee, Wolfgang Nebel, Gregor Nitsche, Markus Olbrich, Carna Radojicic and Fabian Speicher : "Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis",  2016 Design, Automation & Test in Europe Conference (DATE), pp. 1102--1111, 2016, pdf
  • Andreas Fürtig: "Detecting Design Flaws using Analog State Space Coverage", FDL 2015, Forum on specification & Design Languages, Barcelona, Special Session "Towards Analog-/Mixed-Signal Coverage"
  • Andreas Fürtig, Holger Friedrich, Rudolf Mester: "Robust Pixel Classification for RoboCup", 16. Workshop Farbbildverarbeitung, Ilmenau 2010

Betreute Abschlussarbeiten:

  • M. Paschke, 2017, "Implementation and Definition of a Coverage Metric for Verilog-A using Public Domain Analog Circuit Simulator", Masterarbeit
  • R. Piper, 2016, "Werkzeug zur Konvertierung ausgesuchter Model-Checker-Formate", Forschungsprojekt
  • P. Bestle, 2016, "Formale Verifikation analoger Systeme unter Berücksichtigung der Slew Rate", Masterarbeit
  • R. Piper, 2016, "Modelchecking auf Analog/Mixed-Signal Schaltungen", Bachelorarbeit
  • N. Berker, 2015, "Coverageberechnung von Mixed-Signal Schaltungen", Bachelorarbeit
  • G. Ruscher, 2014, "Entwurf und Realisierung eines Frameworkes zur Bewegungsplanung eines humanoiden Roboters", Diplomarbeit