Prof. Dr. Robert Gold


Prof. Dr. Robert Gold

Studienfachberater Künstliche Intelligenz

Raum: B209
Lehrgebiet: Software Engineering und Programmiersprachen

Vita


  • seit 1998:
    Professor an der THI 
  • 1997 – 1998:
    Fa. Siemens AG, München und Regensburg: Software-Prozessverbesserung und projektbegleitende Software-Qualitätssicherung; Entwicklung von Software für Airbagsteuergeräte
  • 1994 - 1997:
    Fa. Telefunken microelectronic GmbH, Schrobenhausen und Ingolstadt: Entwicklung sicherheitskritischer Software für Kfz-Elektronik; Beauftragter für Software-Qualitätssicherung und Leiter des Software-Arbeitskreises des Bereiches Kfz-Elektronik 
  • 1988 – 1994:
    Promotion und wissenschaftlicher Mitarbeiter an der Fakultät für Informatik der Technischen Universität München; Mitarbeit in Forschung und Lehre 
  • 1982 – 1988:
    Studium der Informatik mit Nebenfach Mathematik an der Technischen Universität München

Veröffentlichungen


  • Brauer, W., R. Gold and W. Vogler (1991). A survey of behaviour and equivalence preserving refinements of Petri nets. In: Rozenberg, G. (ed.), Advances in Petri Nets 1990, Lecture Notes on Computer Science, volume 483, Springer, pp. 1-46.
  • Brauer, W. and  R. Gold (1994): Concurrent processes and Petri nets. In: Schwichtenberg, H. (ed.), Proof and Computation, NATO ASI Series F: Computer and Systems Sciences, Springer, pp. 1-64. 
  • Gold, R. (1994): A fully abstract semantics for termination in Petri nets. In: Privara, I., B. Rovan and D. Razicka (eds.), Proceedings of the 19th Symposium on Mathematical Foundations of Computer Science 1994, Kosice, Slovakia, 22.-26.08.1994, Lecture Notes on Computer Science, volume 841, Springer, pp. 373-382 
  • Gold, R. (1995). A compositional dataflow semantics for Petri nets. Acta Informatica 32(7), pp. 627-645 
  • Miegler, M., R. Gold and F. Großhauser (2002). Modellbasierter Test von Steuergeräten - Ein Beispiel aus der Praxis. 22. Tagung Elektronik im Kraftfahrzeug, Stuttgart, Germany, 12.06.2002. 
  • Gold, R. (2002). Specification and Simulation of distributed systems: Process models and dataflow networks. 11th International Colloquium on Numerical Analysis and Computer Science with Applications, Plovdiv, Bulgaria, 12.-17.08.2002. 
  • Gold, R. (2004). Petri Nets in Software Engineering. FH Ingolstadt, Arbeitsbericht - Working Paper Nr. 5,  http://www.thi.de/fileadmin/daten/allgemein/dokumente/Working_Paper/ABWP_05.pdf 
  • Gold, R. (2010). Control flow graphs and code coverage. International Journal of Applied Mathematics & Computer Science 20(4), pp. 739-749
  • Gold, R. (2012). On cyclomatic complexity and decision graphs. Proceedings of the 10th International Conference of Numerical Analysis and Applied Mathematics, ICNAAM 2012, Kos, Greece, 19.-25.09.2012, AIP Conf. Proc. 1479, pp. 2170-2173.
  • Gold, R. (2013). Applications of decision graphs. 44th International Conference on Combinatorics, Graph Theory and Computing, Boca Raton, USA, 04.-08.03.2013
  • Gold, R. (2013) Decision graphs and their application to software testing. ISRN Software Engineering 2013
  • Gold, R. (2013). The decision structure of programs. Proceedings of the International Research Conference on Information Technology and Computer Sciences, IRCITCS 2013, Kuala Lumpur, Malaysia, 28.-30.09.2013, pp. 12-22
  • Gold, R. (2014). Reductions of control flow graphs. International Conference on Software Engineering and Applications, ICSEA 2014, Dubai, UAE, 12.-13.03.2014
  • Gold, R. (2015). Path-preserving reductions of directed graphs. 46th International Conference on Combinatorics, Graph Theory and Computing (CGTC 46), Boca Raton, USA, 02. - 06.03.2013
  • Gold, R. (2015). A uniform approach to control flow graphs of programs. Far East Journal of Applied Mathematics 93(1), pp. 27-49