TU BRAUNSCHWEIG

Prof. Dr. Ursula Goltz

Technische Universität Braunschweig
Institut für Programmierung und Reaktive Systeme
Mühlenpfordtstr. 23 (R 205a)
38106 Braunschweig

Postfach 3329
38023 Braunschweig

Telefon: 0531/391-7466 (Sekretariat)
Fax: 0531/391-8111
E-Mail: (deaktiviert)

 

Aus gesundheitlichen Gründen wird das IPS kommissarisch geleitet durch:

Prof. Dr. Wolf-Tilo Balke

Technische Universität Braunschweig
Institut für Informationssysteme
Mühlenpfordtstr. 23 (R 237)
38106 Braunschweig

Telefon: 0531/391-3271
E-Mail: balke@ifis.cs.tu-bs.de

  

 

 

Lehre bis WS 2013/2014

  • Grundlagen reaktiver Systeme
  • Reaktive Systeme
  • Verifikation reaktiver Systeme
  • Software Engineering für Software im Automobil
  • Compiler I / II
  • Prozessalgebra
  • Weitere Informationen hier

Veröffentlichungen

2015
[GRG+2015] Design for future: managed software evolution - The DFG priority programme for long-living software systems (Ursula Goltz, Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Lukas Märtin, Birgit Vogel-Heuser), In Computer Science - R&D, volume 30, 2015. [doi]
2014
[MSUG14] On the Step Branching Time Closure of Free-Choice Petri Nets (Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz), Chapter in Formal Techniques for Distributed Objects, Components, and Systems (Erika Abraham, Catuscia Palamidessi, eds.), Springer Berlin Heidelberg, volume 8461, 2014. [pdf] [doi]
2013
[MSH+13a] A Methodology for Model-based Development and Automated Verification of Software for Aerospace Systems (Lukas Märtin, Maxim Schatalov, Matthias Hagner, Olaf Maibaum, Ursula Goltz), In 34th IEEE International Aerospace Conference, 2013.
[PNG2013] On Distributability in Process Calculi (Kirstin Peters, Uwe Nestmann, Ursula Goltz), Chapter in Programming Languages and Systems (Matthias Felleisen, Philippa Gardner, eds.), Springer Berlin Heidelberg, volume 7792, 2013. [pdf] [doi]
[MSH+13b] Supporting Design Decisions in Interdisciplinary Product Development (Benjamin Mensing, Carsten Stechert, Matthias Hagner, Jafet Sánchez, Ursula Goltz, Thomas Vietor), In 5th International Congress of International Association of Societies of Design Research (IASRD), Tokyo, Japan, 2013.
[Lochau2013] Delta-oriented Model-based Integration Testing of Large-scale Systems (Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer, Ursula Goltz), In Journal of Systems and Software, 2013. [pdf] [doi]
[Lity2013] A Formal Operational Semantics of Sequential Function Tables for Model-based SPL Conformance Testing (Sascha Lity, Malte Lochau, Ursula Goltz), Technical report, TU Braunschweig, 2013.
[Gol13] Design for Future: Das DFG-Schwerpunktprogramm für langlebige Softwaresysteme (Ursula Goltz), In Software Engineering, 2013.
[GM13] Workshop on Managed Software Evolution (Ursula Goltz, Lukas Märtin), In Software Engineering, 2013.
[DMH+13] Dynamic distribution of robot control components under hard realtime constraints - Modeling, experimental results and practical considerations (Franz Dietrich, Jochen Maaß, Matthias Hagner, Jens Steiner, Ursula Goltz, Annika Raatz), In Journal of Systems Architecture, 2013. [pdf] [doi]
2012
[SBESG12] Modelling driving behaviour using hybrid automata (Anke Schwarze, Matthias Borgstede, Frank Eggert, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz), In European Conference on Human Centred Design for Intelligent Transport Systems (Pedro Valero Mora, Jean-Francois Pace, Lucile Mendoza, eds.), 2012.
[MGA+2012] Towards integrated rule-driven software development for IT ecosystems (Benjamin Mensing, Ursula Goltz, Adina Aniculaesei, Sebastian Herold, Andreas Rausch, S Gartner, Kurt Schneider), In Digital Ecosystems Technologies (DEST), 2012 6th IEEE International Conference on, 2012.
[KGM+12] Automated Verification of Functional Interface Compatibility (S. Kolatzki, U. Goltz, M. Hagner, A. Rausch, B. Schindler), Technical report, NTH Computer Science Report, 2012. [pdf]
[HG12] A Methodology for Scheduling Analysis Based on UML Development Models (M. Hagner, U. Goltz), Chapter in 10, InTech, 2012.
[GGS12a] On Distributability of Petri Nets (Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann), Technical report, TU Braunschweig, Institut für Programmierung und Reaktive Systeme, 2012. [pdf]
[GGS12] On Distributability of Petri Nets - (Extended Abstract) (Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann), In Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings (Lars Birkedal, ed.), Springer, volume 7213, 2012. [pdf] [doi]
2011
[HAG11] UML-Based Analysis of Power Consumption for Real-Time Embedded Systems (Matthias Hagner, Adina Aniculaesei, Ursula Goltz), In 8th IEEE International Conference on Embedded Software and Systems (IEEE ICESS-11), Changsha, China, 2011.
[SPG11] Synchrony vs. Causality in Asynchronous Petri Nets (Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz), In Proceedings 18th International Workshop on Expressiveness in Concurrency (Bas Luttik, Frank Valencia, eds.), 2011. [pdf] [doi]
[GGS11a] On Causal Semantics of Petri Nets (extended abstract) (Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke), In International Conference on Concurrency Theory (CONCUR 2011) (Joost-Pieter Katoen, Barbara König, eds.), 2011. [pdf]
[GGS11b] On Causal Semantics of Petri Nets (Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke), Technical report, TU Braunschweig, 2011. [pdf]
[BSEG11] Hybrid Automata as a Modelling Approach in the Behavioural Sciences (Matthias Borgstede, Jens-Wolfhard Schicke, Frank Eggert, Ursula Goltz), In , 2011. [pdf]
[SHGV11] Requirements Management from an Interdisciplinary Point of View (Carsten Stechert, Matthias Hagner, Thomas Vietor, Ursula Goltz), In International Association of Societies of Design Research Conference 2011 (IASDR), 2011.
[Lochau2011] Model-based Pairwise Testing for Feature Interaction Coverage in Software Product Line Engineering (Malte Lochau, Sebastian Oster, Ursula Goltz, Andy Schürr), In Software Quality Journal, Springer Netherlands, 2011. [pdf]
[Gietzelt2011] Arden2ByteCode: A one-pass Arden Syntax Compiler for Service-oriented Decision Support Systems based on the OSGi Platform (Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf), In Computer Methods and Programs in Biomedicine, 2011. [pdf] [doi]
[GGS11] Abstract processes of place/transition systems (Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke), In Information Processing Letters, volume 111, 2011. [pdf] [doi]
[Boehm2011] Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011) (Hans J. Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell), In Dagstuhl Reports (Hans J. Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell, eds.), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, volume 1, 2011. [pdf] [doi]
[BSEG11a] Verhaltensbasierte Fahrermodellierung mittels Hybrider Automaten (Matthias Borgstede, Jens-Wolfhard Schicke, Frank Eggert, Ursula Goltz), 2011.
2010
[KG10] An Executable Semantics for UML 2 Activity Diagrams (Christoph Knieke, Ursula Goltz), In ECOOP 2010 Workshop Proceedings of the International Workshop on Formalization of Modeling Languages (FML 2010). Maribor, Slovenia, ACM, ACM, 2010.
[SGM10] Self-Management within a Software Architecture for Parallel Kinematic Machines (Jens Steiner, Ursula Goltz, Jochen Maaß), Chapter in (D. Schütz, F. M. Wahl, eds.), Springer, 2010.
[SEGL10] Evolving Adaptable Systems: Potential and Challenges (Klaus Schmid, Holger Eichelberger, Ursula Goltz, Malte Lochau), In 2. Workshop Design For Future 2010 - Langlebige Softwaresysteme (L2S2), 2010. [pdf]
[SDHG10] Model Based Quality Assurance for a Robotic Software Architecture (Jens Steiner, Karsten Diethers, Matthias Hagner, Ursula Goltz), Chapter in (D. Schütz, F. M. Wahl, eds.), Springer, 2010.
[RGMN10] IT-Ökosysteme als Lösungsansatz aus Sicht des Software Engineering (Andreas Rausch, Ursula Goltz, Jörg Müller, Dirk Niebuhr), volume Ausgabe Architekturen/2010, 2010. [pdf]
[LG10b] Feature Interaction Aware Test Case Generation for Embedded Control Systems (Malte Lochau, Ursula Goltz), In Electronic Notes in Theoretical Computer Science, volume 264, 2010. (Proceedings of the Sixth Workshop on Model-Based Testing (MBT 2010)) [pdf] [doi]
[LG10a] Feature Interaction Aware Test Case Generation for Embedded Control Systems (Malte Lochau, Ursula Goltz), In Proceedings of the 6. International Workshop on Model-Based Testing - MBT, 2010.
[HG10] Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation (Matthias Hagner, Ursula Goltz), In 5th International Workshop on Real Time Software (RTS'10) at IMCSIT'10, 2010.
[GLB+2010] An Abstract State Machine Model for the Generic Java Type System (Daniel Grunwald, Malte Lochau, Egon Börger, Ursula Goltz), Technical report, TU Braunschweig, 2010. [pdf]
[GKK+2010] Behavioral Modeling of IT Ecosystems (Ursula Goltz, Narges Khakpour, Christoph Knieke, Lukas Märtin), Technical report, TU Braunschweig, 2010. [pdf]
2009
[LG09] Qualitätssichernde Koevolution von Architekturen eingebetteter Systeme (Malte Lochau, Ursula Goltz), In 1. Workshop: Design for Future - Langlebige Softwaresysteme (L2S2), 2009. [pdf]
[LSGH09] Model-based Parameter Optimization of an Engine Control Unit using Genetic Algorithms (Malte Lochau, Bo Sun, Ursula Goltz, Petra Huhn), In Symbosium on Automotive/Avionics Systems Engineering (SAASE), 2009.
[SLHG09] Parameter Optimization of an Engine Control Unit using Genetic Algorithms (Bo Sun, Malte Lochau, Petra Huhn, Ursula Goltz), Technical report, TU Braunschweig, 2009. [pdf]
[SGM09] Dynamische Verteilung von Steuerungskomponenten unter Erhalt von Echtzeiteigenschaften (Jens Steiner, Ursula Goltz, Jochen Maaß), In 6. Paderborner Workshop Entwurf mechatronischer Systeme, 2009.
[RGE+09] LaZuSo 2009: 1. Workshop für langlebige und zukunftsfähige Softwaresysteme 2009 (A. Rausch, U. Goltz, G. Engels, M. Goedicke, R. Reussner), Technical report, TU Braunschweig, Institut für Programmierung und Reaktive Systeme, 2009. [pdf]
[MLD+2009] Umsetzung eines modellbasierten durchgängigen Entwicklungsprozesses für AUTOSAR-Systeme mit integrierter Qualitätssicherung (Tobias Müller, Malte Lochau, Stefan Detering, Falko Saust, Henning Garbers, Lukas Märtin, Thomas Form, Ursula Goltz), Technical report, Technische Universität Braunschweig, 2009. [pdf]
[LMS+09] Optimierung von AUTOSAR-Systemen durch automatisierte Architektur-Evaluation (Malte Lochau, Tobias C. Müller, Jens Steiner, Ursula Goltz, Thomas Form), In 14. Internationale Konferenz Elektronik im Kraftfahrzeug, VDI Wissensforum GmbH, volume VDI-Berichte 2075, 2009.
[LMD+09] Architektur-Evaluation von AUTOSAR-Systemen: Adaption und Integration (Malte Lochau, Tobias C. Müller, Stefan Detering, Ursula Goltz, Thomas Form), In Elektronik automotive congress, 2009. [pdf]
[GGS09] Symmetric and Asymmetric Asynchronous Interaction (R. van Glabbeek, U. Goltz, J.-W. Schicke), In First Interaction and Concurrency Experiences Workshop (ICE 2008), Satellite Workshop ICALP 2008, elsevier, volume Vol. 229, 2009. [pdf]
[EGG+09] Design for Future - Legacy-Probleme von morgen vermeidbar? (Gregor Engels, Michael Goedicke, Ursula Goltz, Andreas Rausch, Ralf Reussner), In Informatik Spektrum, Springer-Verlag, volume Vol. 32, 2009. [pdf] [doi]
2008
[SAG+08] Engineering Self-Management into a Robot Control System (Jens Steiner, Ana Amado, Ursula Goltz, Matthias Hagner, Michaela Huhn), In Proceedings of 3rd International Colloquium of the CollaborativeResearch Center 562, 2008.
[GGS08d] On Synchronous and Asynchronous Interaction in Distributed Systems (R. van Glabbeek, U. Goltz, J.-W. Schicke), Technical report, TU Braunschweig, 2008. (Extended abstract in Proceedings 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008), Torun, Poland, August 2008 (E. Ochmanski J. Tyszkiewicz, eds.), LNCS 5162, Springer, 2008, pp. 16-35) [pdf]
[GGS08c] On Synchronous and Asynchronous Interaction in Distributed Systems (R. van Glabbeek, U. Goltz, J.-W. Schicke), In 33rd Intern. Symp. on Mathematical Foundations of Computer Science (MFCSÂ’08) (E. Ochmanski, J. Tyszkiewicz, eds.), Springer Berlin Heidelberg, volume LNCS 5162, 2008. [pdf]
[GGS08b] Symmetric and Asymmetric Asynchronous Interaction (R. van Glabbeek, U. Goltz, J.-W. Schicke), Technical report, TU Braunschweig, 2008. (Extended abstract in Proceedings 1st Interaction and Concurrency Experience (ICE08) on Synchronous and Asynchronous Interactions in Concurrent Distributed Systems, in Electronic Notes in Theoretical Computer Science, Elsevier) [pdf]
2007
[SG07] Engineering Self-Management into Legacy Systems (J. Steiner, U. Goltz), In System and Information Science Notes (Huaglory Tianfield, ed.), volume 2, 2007. (Proceeding for 3rd International Conference on Self-Organizationand Autonomous Systems in Computing and Communications (SOAS 2007))
[FGB+07] Architekturevaluation: Qualitätssicherung in frühen Entwicklungsphasen (B. Florentz, U. Goltz, J. Braam, R. Ernst, T. Saul), In Achtes Symposium AAET 2007 - Automatisierungs-, Assistenzsystemeund eingebettete Systeme für Transportmittel, 2007.
[SHG07] Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System (Jens Steiner, Matthias Hagner, Ursula Goltz), In Journal of Computers (JCP), volume 2, 2007.
[MHSG07] Self-Management in a Robot Control Architecture (J. Maaß, J. Hesselbach, J. Steiner, U. Goltz), In Proceedings of Second International Workshop on Software Development and Integration in Robotics (SDIR 2007), affiliated with ICRA 2007, 2007.
2006
[RMLG06] Extended State Identification and Verification Using a Model Checker (C.. Robinson-Mallett, T. Mücke, P. Liggesmeyer, U. Goltz), In IST Special Issue on Model Based Testing, 2006.
2005
[SDM+05] Rigorous Tool-supported Software Developmentof a Robot Control System (J. Steiner, K. Diethers, T. Mücke, U. Goltz, M. Huhn), In Robot Systems for Handling and Assembly,2nd Colloquium of the Collaborative Research Center 562, 2005.
[RML+05] Generating Optimal Distinguishing Sequences with a Model Checker. (C. Robinson-Mallett, T. Mücke, P. Liggesmeyer, U. Goltz), In A-MOST, 2005.
[MG05] Single Run Coverage Criteria subsume EX-Weak Mutation Coverage (T. Mücke, U. Goltz), Technical report, Institiute for Programming and Reactive Systems, 2005.
[KHG05] Modelling and Simulation of an Automotive System using LSCs (C. Knieke, M. Huhn, U. Goltz), In Proceedings of the 4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005), Fredrikstad, Norway (Jan Jürjens, ed.), 2005.
2004
[KVSG04] Universal Communication Architecture for high-dynamic Robot Systemsusing QNX (N. Kohn, J.-U. Varchmin, J. Steiner, U. Goltz), In Proceedings of International Conference on Control, Automation, Roboticsand Vision (ICARCV 8th), IEEE Computer Society, volume 1, 2004. (ISBN: 0-7803-8653-1) [doi]
[GMH+04] Modellbasierte Entwicklungsmethodik für Steuergeräte im Automobilbereich (U. Goltz, M. Mutz, M. Huhn, B. Prammer, C. Knieke), Technical report, , 2004.
[GG04] Well-behaved Flow Event Structures for Parallel Composition and Action Refinement (U. Goltz, R. van Glabbeek), In Theoretical Computer Science, Elsevier, volume 311, 2004.
2003
[MHH+03] Ein durchgehender modellbasierter Entwicklungsprozess für elektronische Systeme im Automobil. (M. Mutz, M. Harms, M. Horstmann, M. Huhn, G. Bikker, C. Krömke, K. Lange, U. Goltz, E. Schnieder, J.-U. Varchmin), In 11. Internationale Konferenz Elektronik im Kraftfahrzeug, Springer, volume 1789, 2003.
[MHGK03] Model Based System Development in Automotive. (M. Mutz, M. Huhn, U. Goltz, C. Krömke), In SAE World Congress, 2003. (10 p.)
[FG03] Property Preserving Abstraction for Software Verification - A Case Study (T. Firley, U. Goltz), In Proceedings Automated Verification of Infinite-State System (AVIS 2003), 2003.
2002
[GHHM02] A Structured Development Process for Automotive Systems. (U. Goltz, P.-M. Hofmann, M. Huhn, M. Mutz), In Requirements Engineering Workshop, 2002.
[FG02] Property Dependent Abstraction of Control Structure for Software Verification. (T. Firley, U. Goltz), In International Symposium of Formal Methods Europe, Getting IT Right (FME 2002), LNCS 2391, pp. 511-530, Springer-Verlag, 2002.
[DGV02] Analysis of Real-Time Systems Modeled by UML-Statecharts (K. Diethers, U. Goltz, S. Vocke), In In Proceedings of the First International Colloquium of SFB 562, Robot Systems for Handling and Assembly, 2002.
[DGH02] Model Checking UML Statecharts with Time. (K. Diethers, U. Goltz, M. Huhn), In Workshop on Critical Systems Development with UML (CSDUML 02), 2002.
2001
[GHM01] Die Entwicklung von vernetzten Steuergeräten aus softwaretechnischer Sicht. (U. Goltz, M. Huhn, M. Mutz), In ZVB-Kolloquium, Braunschweig, 2001.
[GG01] Refinement of Actions and Equivalence Notions for Concurrent Systems (U. Goltz, R. van Glabbeek), In Acta Informatica, volume 37, 2001.
2000
[GG00] High-Level Sequence Charts with Data Manipulation (U. Goltz, T. Gehrke), Technical report, , 2000.
1999
[GGW99] Zur semantischen Analyse der dynamischen Modelle von UML mit Petri-Netzen (T. Gehrke, U. Goltz, H. Wehrheim), In In Tagungsband der 6. Fachtagung Entwicklung und Betrieb komplexer Automatisierungsbetriebe (EKA '99) pp. 547-566, Beyrich, Braunschweig, 1999.
[FHD+99] Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. (T. Firley, M. Huhn, K. Diethers, T. Gehrke, U. Goltz), In 12nd International Conference on the Unified Modeling Language (UML 99), volume 1723, 1999. [pdf]
1998
[GGW98] The Dynamic Models of UML: Towards a Semantics and its Application in the Development Process (Th. Gehrke, U. Goltz, H. Wehrheim), In Hildesheimer Informatik-Bericht 11/98, Universität Hildesheim, 1998.
1996
[GW96a] Causal Testing (U. Goltz, H. Wehrheim), In Proc. MFCS 96 (Mathematical Foundations of Computer Science), Lecture Notes in Computer Science 1113, 1996, extendet Version in Hildesheimer Informatik Bericht 5/96, 1996.
[GW96] Modelling Causality via Action Dependencies in Branching Time Semantics. (U. Goltz, H. Wehrheim), In Information Processing Letters 59, 1996.
[GGR96] Comparing Syntactic and Semantic Action Refinement. (U. Goltz, R. Gorrieri, A. Rensink), In Information and Computation, Academic Press, Vol 125, 1996.
1994
[GR94] Finite Petri Nets as Models for Recursive Causal Behaviour (U. Goltz, A. Rensink), In Theoretical Computer Science, volume Vol. 124, 1994.
[GGR94] On Syntactic and Semantic Action Refinement (U. Goltz, R. Gorrieri, A. Rensink), In Proc. Theoretical Aspects of Computer Software, Lecture Notes in Computer Science 789, Springer-Verlag, 1994.
1992
[Gol92] Propositional Temporal Logics and Equivalences (U. Goltz, R. Kuiper, W. Penczek), In Proc. CONCUR 92, Lecture Notes in Computer Science 630, Springer-Verlag, 1992.
[GR92] Logics for Distributed Systems (U. Goltz, W. Reisig), In Summary of a Workshop. - Bonn, March 1992. - GMD-Studie Nr. 214, 1992.
[CvGG92] Interleaving Semantics and Action Refinement with Atomic Choice. (I. Czaja, R. van Glabbeekk, U. Goltz), In G. Rozenberg (Eds.): Advances in Petri Nets, volume Vol. 609, 1992.
1991
[Gol91] Causality Based Models for the Design of Concurrent Systems (Abstract) (U. Goltz), In Proc. CONCUR 91, Lecture Notes in Computer Science 527, Springer-Verlag, 1991.
[GL91] Modelling Nondeterministic Concurrent Processes with Event Structures. (U. Goltz, R. Loogen), In Fundamenta Informaticae, Vol 14, No. 1, 1991.
[GG91a] Modelling a Simple Communication Protocol in a Language with Action Refinement (U. Goltz, N. Götz), In Proc. CEDISYS-Workshop, 1991.
[GG91] A Deadlock-sensitive Congruence for Action Refinement (R.J. van Glabbeek, U. Goltz), In Proceedings 3rd Workshop on Concurrency and (E. Best, G. Rozenberg, eds.), 1991.
1990
[GG90b] A Deadlock-sensitive Congruence for Action Refinement (R.J. van Glabbeek, U. Goltz), Technical report, , 1990. (Abstract in E. Best & G. Rozenberg, editors:)
[GG90a] Equivalences and Refinement (R.J. van Glabbeek, U. Goltz), In Proc. 18ième Ecole de Printemps D`Informatique Théorique (I. Guessarian, ed.), Springer, volume 469, 1990.
[Gol90] CCS and Petri Nets (U. Goltz), In Proc. 18ième Ecole de Printemps D`Informatique Théorique, Lecture Notes in Computer Science 469, Springer-Verlag, 1990.
[GG90] Refinement of actions in causality based models (R.J. van Glabbeek, U. Goltz), In Proceedings REX Workshop on Stepwise Refinement (J.W. de Bakker, W.P. de Roever, G. Rozenberg, eds.), Springer, volume 430, 1990.
1989
[GG89a] Partial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care (R.J. van Glabbeek, U. Goltz), In Bulletin of the European Association for Theoretical Computer Science, volume 38, 1989.
[GG89b] Equivalence Notions for Concurrent Systems and Refinement of Actions (R.J. van Glabbeek, U. Goltz), In Proc. MFCS (A. Kreczmar, G. Mirkowska, eds.), Springer, volume 379, 1989.
[BGP89] Systementwurf mit kausalitätsbasierten Modellen (E. Best, U. Goltz, A. Poigné), In Aufsatz im Jahresbericht der GMD, 1989.
1988
[Gol88b] Über die Darstellung von CCS- Programmen durch Petrinetze (U. Goltz), In PhD-thesis, RWTH Aachen, Berichte über GMD Nr 172. Oldenbourg Verlag München, 1988.
[Gol88a] On Representing CCS Programs by Finite Petri Nets (U. Goltz), In Proc. MFCS 88, Lecture Notes in Computer Science 324, Springer Verlag, 1988.
[Gol88] Kompositionalität verteilter Systeme (U. Goltz), In Aufsatz im Jahresbericht der GMD, 1988.
[GG088] Combining Compositionality and Concurrency (R. van Glabbeekk, U. Goltz, E.-R. Olderog), In Summary of a GMD-Workshop, Königswinter, March 1988, Arbeitspapiere der GMD No. 320, Sankt Augustin, 1988.
1987
[Gol87a] On Condition/Event Representations of Place/Transition Nets. (U. Goltz), In K. Voss, H. J. Genrich, G. Rozenberg (Eds.): Concurrency and Nets, Springer Verlag, 1987.
[Gol87] Synchronic Distance. - Petri Nets: Central Models and Their Properties. (U. Goltz), In Advances in Petri Nets, Part I, Lecture Notes in Computer Science 254, Springer-Verlag, 1987.
[GL87b] A Non-Interleaving Semantic Model for Nondeterministic Concurrent Processes (U. Goltz, R. Loogen), In Aachener Informatik Berichte Nr. 12, RWTH Aachen, 1987.
1986
[Gol86b] How many Transitions may be in Conflict? (U. Goltz), In In: Petri Net Newsletter 25, 1986.
[Gol86a] Building Structured Petri Nets (U. Goltz), In Arbeitspapiere der GMD 223, Sankt Augustin, 1986.
[Gol86] An Exercise in Building Structured Petri Nets (U. Goltz), In Proc. 7th European Workshop on Petri Nets, Oxford, 1986.
[GC86] Synchronic Structure - A Tutorial. (U. Goltz, Yuan Chong-Yi), In Advances in Petri Nets, Lecture Notes in Computer Science 122, Springer-Verlag, 1986.
1985
[Gol85] Considering Nets as Distributed Transition Systems (U. Goltz), In In: Petri Net Newsletter 20, 1985.
[GR85] CSP-Programs as Nets with Individual Tokens. (U. Goltz, W. Reisig), In Advances in Petri- Nets 1984, volume Vol. 188, Springer-Verlag, 1985.
[GL85] Towards a Non-Interleaving Semantic Model for CSP-like Languages (U. Goltz, R. Loogen), In Schriften zur Informatik und angewandten Mathematik Nr 105, RWTH Aachen, 1985.
1984
[GM84] On the Relationship of CCS and Petri Nets (U. Goltz, A. Mycroft), In 11th Int. Colloquium on Automata, Languages and Programming, Antwerpen 1984, Lecture Notes in Computer Science 172, Springer-Verlag, 1984.
1983
[GV83] Processes of Relation Nets (U. Goltz, U. Vogt), In In: Petri Net Newsletter 14, 1983.
[GR83b] The Non-Sequential Behaviour of Petri Nets (U. Goltz, W. Reisig), In Information and Control, Vol. 57, Nos 2-3, pp 125-147., 1983. [pdf]
[GR83] Process of Place/Transition Nets (U. Goltz, W. Reisig), In 10th Int. Colloquium on Automata, Languages and Programming, Barcelona 1983, Lecture Notes in Computer Science 154, Springer-Verlag, 1983.
[BG83] Reachable Markings and Discrete Processes (E. Best, U. Goltz), In Bericht Begrund-22 GMD-ISF, St. Augustin, 1983.
1982
[Gol82] Synchronieabstände in Bedingungs-/Ereignis-Systemen (U. Goltz), In Diplomarbeit, RWTH Aachen, 1982.
1981
[GR81] Weighted Synchronic Distances (U. Goltz, W. Reisig), In 2nd European Workshop on Application and Theory of Petri Nets, Bad Honnef, 1981.
1980
[Gol80] Konzepte der Programmiersprache Ada (U. Goltz), In Schriften zur Informatik und angewandten Mathematik Nr. 57, RWTH Aachen, 1980.
[GRT80] Two Alternative Definitions of Synchronic Distances (U. Goltz, W. Reisig, P. S. Thiagarajan), In 1st European Workshop on Application and Theory of Petri Nets, Straßburg, 1980.

Projekte bis Dezember 2013

  • ESPRIT Basic Research Action DEMON (Design Methods Based on Nets), 1989-1991 
    Teilvorhaben "Entwicklung zuverlässiger reaktiver Systeme" im Rahmen des BMFT-Projekts KORSO, 1991-1994
  • Esprit Basic Research Working Group No. 6067, CALIBAN (Causal Calculi Based on Nets), 1992-1995
  • Human Capital and Mobility Cooperation Network, EXPRESS (Expressiveness of Languages for Concurrency), 1993-1997
  • HIVS (Hierarchische Spezifikation und Verifikation sicherer verteilter Systeme) DAAD (VIGONI), 1995-1996
  • DFG-Projekt EREAS (Entwurf reaktiver Systeme), 1995-2001
  • Step-X (Strukturierter Entwicklungsprozess am Beispiel von X-by-wire-Anwendungen), in Zusammenarbeit mit der Volkswagen AG, 2001-2006
  • SFB 562, A5 (Robotersysteme für Handhabung und Montage), 2000-2010
  • ArchiVal (Architektur Evaluation eingebetteter Systeme im Automobil), in Zusammenarbeit mit der Volkswagen AG, 2006-2007
  • OMgA (Optimierung einer Motorsteuerung mit genetischen Algorithmen), in Zusammenarbeit mit der Volkswagen AG, 2007
  • IT-Ökosysteme (Projekte AIM und ruleIT), 2009-2011
  • HyBS-HD - Hybrid Behaviour Simulation of Human Drivers. Zusammenarbeit mit der Psychologie, Förderung aus dem Zukunftsfond der TU Braunschweig, 2010-2012
  • DFG-Projekt SAS - Synchrone und asynchrone Interaktion in verteilten Systemen, seit 2010
  • DFG SPP1593: Design For Future - Managed Software Evolution (Koordination), seit 2012
  • DFG-Projekt IMoTEP im SPP1593, seit 2012

Lebenslauf

  • 1982 Diplom Informatik, Technische Universität Aachen
  • 1982-85 Wissenschaftliche Mitarbeiterin an der Technische Universität Aachen
  • 1986-92 Wissenschaftliche Mitarbeiterin an der GMD, St. Augustin
  • 1988 Dr. rer. nat.,Technische Universität Aachen
  • 1988-89 Lehraktivitäten an der Universität Bonn
  • 1989-91 Lehraktivitäten an den Universitäten München, Erlangen-Nürnberg, Mannheim und Bonn
  • 1992-98 Professorin an der Universität Hildesheim
  • seit 1998 Professor an der Technischen Universität Braunschweig

  aktualisiert am 17.01.2018
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang