Prof. Dr. Robert Gold

Vita

• Since 1998: Technische Hochschule Ingolstadt
• 1997-1998: Siemens AG, Munich and Regensburg: Software process improvement and software project quality assurance; Software development for airbag control units
• 1994-1997: Telefunken microelectronic GmbH, Schrobenhausen and Ingolstadt: Development of safety critical automotive software; Software quality assurance representative
• 1988-1994: Technische Universität München, Faculty of Computer Science, Research and teaching, Dissertation
• 1982-1988: Technische Universität München, Computer Science studies, Diploma

Publications

• 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