| 2014 | FORTE | On the Step Branching Time Closure of Free-Choice Petri Nets. | Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz |
| 2013 | ESOP | On Distributability in Process Calculi. | Kirstin Peters, Uwe Nestmann, Ursula Goltz |
| 2012 | FOSSACS | On Distributability of Petri Nets - (Extended Abstract). | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann |
| 2012 | ICSE | Delta-oriented model-based SPL regression testing. | Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz |
| 2011 | CONCUR | On Causal Semantics of Petri Nets. | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke |
| 2011 | ICFEM | Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. | Narges Khakpour, Marjan Sirjani, Ursula Goltz |
| 2011 | TrustCom | UML-Based Analysis of Power Consumption for Real-Time Embedded Systems. | Matthias Hagner, Adina Aniculaesei, Ursula Goltz |
| 2008 | MFCS | On Synchronous and Asynchronous Interaction in Distributed Systems. | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke |
| 2004 | ICARCV | Universal communication architecture for high-dynamic robot systems using QNX. | Nnamdi Kohn, J. Uwe Varchmin, Jens Steiner, Ursula Goltz |
| 2002 | FM | Property Dependent Abstraction of Control Structure for Software Verification. | Thomas Firley, Ursula Goltz |
| 1996 | MFCS | Causal Testing. | Ursula Goltz, Heike Wehrheim |
| 1992 | CONCUR | Propositional Temporal Logics and Equivalences. | Ursula Goltz, Ruurd Kuiper, Wojciech Penczek |
| 1991 | CONCUR | Causality Based Models for the Design of Concurrent Systems. | Ursula Goltz |
| 1989 | MFCS | Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). | Rob J. van Glabbeek, Ursula Goltz |
| 1988 | MFCS | On Representing CCS Programs by Finite Petri Nets. | Ursula Goltz |
| 1984 | ICALP | On the Relationship of CCS and Petri Nets. | Ursula Goltz, Alan Mycroft |
| 1983 | ICALP | Processes of Place/Transition-Nets. | Ursula Goltz, Wolfgang Reisig |