Weighted Synchronic Distances. - Ursula Goltz; Wolfgang Reisig (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Two Alterative Definitions of Synchronic Distance. - Ursula Goltz; Wolfgang Reisig; P. S. Thiagarajan (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Processes of Place/Transition-Nets. - Ursula Goltz; Wolfgang Reisig (ICALP, 1983)

The Non-sequential Behavior of Petri Nets - Ursula Goltz; Wolfgang Reisig (Inf. Control., 1983)

CSP-programs with individual tokens. - Ursula Goltz; Wolfgang Reisig (European Workshop on Applications and Theory in Petri Nets, 1984)

On the Relationship of CCS and Petri Nets. - Ursula Goltz; Alan Mycroft (ICALP, 1984)

Synchronic structure - a tutorial. - Ursula Goltz; Yuan Chong-Yi (Applications and Theory in Petri Nets, 1985)

Synchronic Distance. - Ursula Goltz (Advances in Petri Nets, 1986)

On Representing CCS Programs by Finite Petri Nets. - Ursula Goltz (MFCS, 1988)

Über die Darstellung von CCS-Programmen durch Petrinetze. - Ursula Goltz (Oldenbourg, 1988)

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). - Rob J. van Glabbeek; Ursula Goltz (MFCS, 1989)

Refinement of Actions in Causality Based Models. - Rob J. van Glabbeek; Ursula Goltz (REX Workshop, 1989)

Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care. - Rob J. van Glabbeek; Ursula Goltz (Bull. EATCS, 1989)

CCS and Petri Nets. - Ursula Goltz (Semantics of Systems of Concurrent Processes, 1990)

Equivalences and refinement - Rob van Glabbeek; Ursula Goltz (Forschungsberichte, TU Munich, 1990)

A deadlock-sensitive congruence for action refinement - Rob van Glabbeek; Ursula Goltz (Forschungsberichte, TU Munich, 1990)

Causality Based Models for the Design of Concurrent Systems. - Ursula Goltz (CONCUR, 1991)

Modelling nondeterministic concurrent processes with event structures. - Rita Loogen; Ursula Goltz (Fundam. Informaticae, 1991)

Interleaving semantics and action refinement with atomic choice. - Ingo Czaja; Rob J. van Glabbeek; Ursula Goltz (Advances in Petri Nets: The DEMON Project, 1992)

Propositional Temporal Logics and Equivalences. - Ursula Goltz; Ruurd Kuiper 001; Wojciech Penczek (CONCUR, 1992)

On Syntactic and Semantic Action Refinement. - Ursula Goltz; Roberto Gorrieri; Arend Rensink (TACS, 1994)

Finite Petri Nets as Models for Recursive Causal Behaviour. - Ursula Goltz; Arend Rensink (Theor. Comput. Sci., 1994)

Causal Testing. - Ursula Goltz; Heike Wehrheim (MFCS, 1996)

Comparing Syntactic and Semantic Sction Refinement. - Ursula Goltz; Roberto Gorrieri; Arend Rensink (Inf. Comput., 1996)

Modelling Causality via Action Dependencies in Branching Time Semantics. - Ursula Goltz; Heike Wehrheim (Inf. Process. Lett., 1996)

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. - Thomas Firley; Michaela Huhn; Karsten Diethers; Thomas Gehrke; Ursula Goltz (UML, 1999)

Refinement of actions and equivalence notions for concurrent systems. - Rob J. van Glabbeek; Ursula Goltz (Acta Informatica, 2001)

Property Dependent Abstraction of Control Structure for Software Verification. - Thomas Firley; Ursula Goltz (FME, 2002)

Universal communication architecture for high-dynamic robot systems using QNX. - Nnamdi Kohn; J. Uwe Varchmin; Jens Steiner; Ursula Goltz (ICARCV, 2004)

Well-behaved flow event structures for parallel composition and action refinement. - Rob J. van Glabbeek; Ursula Goltz (Theor. Comput. Sci., 2004)

Generating optimal distinguishing sequences with a model checker. - Christopher Robinson-Mallett; Peter Liggesmeyer; Tilo Mücke; Ursula Goltz (ACM SIGSOFT Softw. Eng. Notes, 2005)

Extended state identification and verification using a model checker. - Christopher Robinson-Mallett; Peter Liggesmeyer; Tilo Mücke; Ursula Goltz (Inf. Softw. Technol., 2006)

Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System. - Jens Steiner; Matthias Hagner; Ursula Goltz (J. Comput., 2007)

On Synchronous and Asynchronous Interaction in Distributed Systems. - Rob J. van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke (MFCS, 2008)

Symmetric and Asymmetric Asynchronous Interaction. - Rob J. van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke (ICE@ICALP, 2008)

Design for Future - Legacy-Probleme von morgen vermeidbar? - Gregor Engels; Michael Goedicke; Ursula Goltz; Andreas Rausch 001; Ralf H. Reussner (Inform. Spektrum, 2009)

Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation. - Matthias Hagner; Ursula Goltz (IMCSIT, 2010)

Feature Interaction Aware Test Case Generation for Embedded Control Systems. - Malte Lochau; Ursula Goltz (MBT@ETAPS, 2010)

Evolving Adaptable Systems: Potential and Challenges. - Klaus Schmid; Holger Eichelberger; Ursula Goltz; Malte Lochau (Softwaretechnik-Trends, 2010)

On Causal Semantics of Petri Nets. - Rob J. van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke (CONCUR, 2011)

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. - Narges Khakpour; Marjan Sirjani; Ursula Goltz (ICFEM, 2011)

UML-Based Analysis of Power Consumption for Real-Time Embedded Systems. - Matthias Hagner; Adina Aniculaesei; Ursula Goltz (TrustCom, 2011)

Synchrony vs. Causality in Asynchronous Petri Nets - Jens-Wolfhard Schicke; Kirstin Peters; Ursula Goltz (EXPRESS, 2011)

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). - Hans-Juergen Boehm; Ursula Goltz; Holger Hermanns; Peter Sewell (Dagstuhl Reports, 2011)

Hybrid Automata as a Modelling Approach in the Behavioural Sciences. - Matthias Buntins; Jens-Wolfhard Schicke; Frank Eggert; Ursula Goltz (Hybrid Autonomous Systems@ETAPS, 2011)

Abstract processes of place/transition systems. - Rob J. van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke (Inf. Process. Lett., 2011)

Model Based Quality Assurance for a Robotic Software Architecture. - Jens Steiner; Karsten Diethers; Matthias Hagner; Ursula Goltz (Robotic Systems for Handling and Assembly, 2011)

Self-management within a Software Architecture for Parallel Kinematic Machines. - Jens Steiner; Ursula Goltz; Jochen Maaß (Robotic Systems for Handling and Assembly, 2011)

Institut für Programmierung und Reaktive Systeme. - Klaus Alber; Ursula Goltz (40 Jahre Informatik @ Braunschweig, 2012)

Towards integrated rule-driven software development for IT ecosystems. - Benjamin Mensing; Ursula Goltz; Adina Aniculaesei; Sebastian Herold; Andreas Rausch 001; Stefan Gärtner 001; Kurt Schneider (DEST, 2012)

IT ecosystems: A new paradigm for engineering complex adaptive software systems. - Andreas Rausch 001; Jörg P. Müller; Dirk Niebuhr; Sebastian Herold; Ursula Goltz (DEST, 2012)

On Distributability of Petri Nets - (Extended Abstract). - Rob J. van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke-Uffmann (FoSSaCS, 2012)

Delta-oriented model-based SPL regression testing. - Sascha Lity; Malte Lochau; Ina Schaefer; Ursula Goltz (PLEASE@ICSE, 2012)

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 (Comput. Methods Programs Biomed., 2012)

On Distributability of Petri Nets - Rob J. van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke-Uffmann (CoRR, 2012)

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. - Narges Khakpour; Saeed Jalili; Marjan Sirjani; Ursula Goltz; Bahareh Abolhasanzadeh (J. Syst. Softw., 2012)

Model-based pairwise testing for feature interaction coverage in software product line engineering. - Malte Lochau; Sebastian Oster; Ursula Goltz; Andy Schürr (Softw. Qual. J., 2012)

On Distributability in Process Calculi. - Kirstin Peters; Uwe Nestmann; Ursula Goltz (ESOP, 2013)

Design for Future: Das DFG-Schwerpunktprogramm für langlebige Softwaresysteme. - Ursula Goltz (Software Engineering, 2013)

Workshop on Managed Software Evolution. - Ursula Goltz; Lukas Märtin (Software Engineering, 2013)

On Characterising Distributability. - Rob J. van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke-Uffmann (Log. Methods Comput. Sci., 2013)

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 (J. Syst. Archit., 2013)

On the Step Branching Time Closure of Free-Choice Petri Nets. - Stephan Mennicke; Jens-Wolfhard Schicke-Uffmann; Ursula Goltz (FORTE, 2014)

Staged configuration of dynamic software product lines with complex binding time constraints. - Johannes Bürdek; Sascha Lity; Malte Lochau; Markus Berens; Ursula Goltz; Andy Schürr (VaMoS, 2014)

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain. - Malte Lochau; Johannes Bürdek; Sascha Lity; Matthias Hagner; Christoph Legat; Ursula Goltz; Andy Schürr (Autom., 2014)

Delta-oriented model-based integration testing of large-scale systems. - Malte Lochau; Sascha Lity; Remo Lachmann; Ina Schaefer; Ursula Goltz (J. Syst. Softw., 2014)

Special issue on "Combining Compositionality and Concurrency": part 1. - Rob J. van Glabbeek; Ursula Goltz; Ernst-Rüdiger Olderog (Acta Informatica, 2015)

Special issue on "Combining Compositionality and Concurrency": part 2. - Rob J. van Glabbeek; Ursula Goltz; Ernst-Rüdiger Olderog (Acta Informatica, 2015)

Design for future: managed software evolution. - Ursula Goltz; Ralf H. Reussner; Michael Goedicke; Wilhelm Hasselbring; Lukas Märtin; Birgit Vogel-Heuser (Comput. Sci. Res. Dev., 2015)

Synchrony versus causality in distributed systems. - Kirstin Peters; Jens-Wolfhard Schicke-Uffmann; Ursula Goltz; Uwe Nestmann (Math. Struct. Comput. Sci., 2016)

Stronger Validity Criteria for Encoding Synchrony. - Rob van Glabbeek; Ursula Goltz; Christopher Lippert 001; Stephan Mennicke (The Art of Modelling Computational Systems, 2019)

Synchronous and asynchronous communication(s) between three parties. - Ursula Goltz; Jens-Wolfhard Schicke-Uffmann (Acta Informatica, 2020)

Abstract processes and conflicts in place/transition systems. - Rob van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke-Uffmann (Inf. Comput., 2021)

Abstract processes in the absence of conflicts in general place/transition systems. - Rob van Glabbeek; Ursula Goltz; Jens-Wolfhard Schicke-Uffmann (Inf. Comput., 2022)