Ursula Goltz

Publication Activity (10 Years)

Years Active: 1981-2022
Publications (10 Years): 8

Top Venues

CoRR

Acta Informatica

Inf. Comput.

Software Engineering

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract Processes in the Absence of Conflicts in General Place/Transition Systems. CoRR (2022)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract processes in the absence of conflicts in general place/transition systems. Inf. Comput. 289 (Part) (2022)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract processes and conflicts in place/transition systems. Inf. Comput. 281 (2021)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Causal Semantics of Petri Nets. CoRR (2021)
Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Abstract Processes and Conflicts in Place/Transition Systems. CoRR (2021)
Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
Synchronous and asynchronous communication(s) between three parties. Acta Informatica 57 (3-5) (2020)
Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke
Stronger Validity Criteria for Encoding Synchrony. The Art of Modelling Computational Systems (2019)
Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann
Synchrony versus causality in distributed systems. Math. Struct. Comput. Sci. 26 (8) (2016)
Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
Special issue on "Combining Compositionality and Concurrency": part 1. Acta Informatica 52 (1) (2015)
Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
Special issue on "Combining Compositionality and Concurrency": part 2. Acta Informatica 52 (4-5) (2015)
Ursula Goltz, Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Lukas Märtin, Birgit Vogel-Heuser
Design for future: managed software evolution. Comput. Sci. Res. Dev. 30 (3-4) (2015)
Malte Lochau, Johannes Bürdek, Sascha Lity, Matthias Hagner, Christoph Legat, Ursula Goltz, Andy Schürr
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain. Autom. 62 (11) (2014)
Johannes Bürdek, Sascha Lity, Malte Lochau, Markus Berens, Ursula Goltz, Andy Schürr
Staged configuration of dynamic software product lines with complex binding time constraints. VaMoS (2014)
Stephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz
On the Step Branching Time Closure of Free-Choice Petri Nets. FORTE (2014)
Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer, Ursula Goltz
Delta-oriented model-based integration testing of large-scale systems. J. Syst. Softw. 91 (2014)
Ursula Goltz
Design for Future: Das DFG-Schwerpunktprogramm für langlebige Softwaresysteme. Software Engineering (2013)
Franz Dietrich, Jochen Maaß, Matthias Hagner, Jens Steiner, Ursula Goltz, Annika Raatz
Dynamic distribution of robot control components under hard realtime constraints - Modeling, experimental results and practical considerations. J. Syst. Archit. 59 (10-C) (2013)
Kirstin Peters, Uwe Nestmann, Ursula Goltz
On Distributability in Process Calculi. ESOP (2013)
Ursula Goltz, Lukas Märtin
Workshop on Managed Software Evolution. Software Engineering (2013)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
On Characterising Distributability. Log. Methods Comput. Sci. 9 (3) (2013)
Matthias Buntins, Jens-Wolfhard Schicke, Frank Eggert, Ursula Goltz
Hybrid Automata as a Modelling Approach in the Behavioural Sciences. Electron. Notes Theor. Comput. Sci. 297 (2013)
Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz
Delta-oriented model-based SPL regression testing. PLEASE@ICSE (2012)
Narges Khakpour, Saeed Jalili, Marjan Sirjani, Ursula Goltz, Bahareh Abolhasanzadeh
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study. J. Syst. Softw. 85 (12) (2012)
Malte Lochau, Sebastian Oster, Ursula Goltz, Andy Schürr
Model-based pairwise testing for feature interaction coverage in software product line engineering. Softw. Qual. J. 20 (3-4) (2012)
Andreas Rausch, Jörg P. Müller, Dirk Niebuhr, Sebastian Herold, Ursula Goltz
IT ecosystems: A new paradigm for engineering complex adaptive software systems. DEST (2012)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
On Distributability of Petri Nets CoRR (2012)
Klaus Alber, Ursula Goltz
Institut für Programmierung und Reaktive Systeme. 40 Jahre Informatik @ Braunschweig (2012)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
On Distributability of Petri Nets - (Extended Abstract). FoSSaCS (2012)
Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf
Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform. Comput. Methods Programs Biomed. 106 (2) (2012)
Benjamin Mensing, Ursula Goltz, Adina Aniculaesei, Sebastian Herold, Andreas Rausch, Stefan Gärtner, Kurt Schneider
Towards integrated rule-driven software development for IT ecosystems. DEST (2012)
Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz
Synchrony vs. Causality in Asynchronous Petri Nets EXPRESS (2011)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Abstract processes of place/transition systems. Inf. Process. Lett. 111 (13) (2011)
Narges Khakpour, Marjan Sirjani, Ursula Goltz
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. ICFEM (2011)
Matthias Hagner, Adina Aniculaesei, Ursula Goltz
UML-Based Analysis of Power Consumption for Real-Time Embedded Systems. TrustCom (2011)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Causal Semantics of Petri Nets. CONCUR (2011)
Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports 1 (1) (2011)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Abstract Processes of Place/Transition Systems CoRR (2011)
Klaus Schmid, Holger Eichelberger, Ursula Goltz, Malte Lochau
Evolving Adaptable Systems: Potential and Challenges. Softwaretechnik-Trends 30 (2) (2010)
Malte Lochau, Ursula Goltz
Feature Interaction Aware Test Case Generation for Embedded Control Systems. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Matthias Hagner, Ursula Goltz
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation. IMCSIT (2010)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Synchronous and Asynchronous Interaction in Distributed Systems CoRR (2009)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Symmetric and Asymmetric Asynchronous Interaction CoRR (2009)
Gregor Engels, Michael Goedicke, Ursula Goltz, Andreas Rausch, Ralf H. Reussner
Design for Future - Legacy-Probleme von morgen vermeidbar? Inform. Spektrum 32 (5) (2009)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Symmetric and Asymmetric Asynchronous Interaction. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Synchronous and Asynchronous Interaction in Distributed Systems. MFCS (2008)
Jens Steiner, Matthias Hagner, Ursula Goltz
Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System. J. Comput. 2 (10) (2007)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Extended state identification and verification using a model checker. Inf. Softw. Technol. 48 (10) (2006)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Generating optimal distinguishing sequences with a model checker. A-MOST (2005)
Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz
Generating optimal distinguishing sequences with a model checker. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Rob J. van Glabbeek, Ursula Goltz
Well-behaved flow event structures for parallel composition and action refinement. Theor. Comput. Sci. 311 (1-3) (2004)
Nnamdi Kohn, J. Uwe Varchmin, Jens Steiner, Ursula Goltz
Universal communication architecture for high-dynamic robot systems using QNX. ICARCV (2004)
Thomas Firley, Ursula Goltz
Property Dependent Abstraction of Control Structure for Software Verification. FME (2002)
Rob J. van Glabbeek, Ursula Goltz
Refinement of actions and equivalence notions for concurrent systems. Acta Informatica 37 (4/5) (2001)
Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML (1999)
Ursula Goltz, Heike Wehrheim
Causal Testing. MFCS (1996)
Ursula Goltz, Heike Wehrheim
Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett. 59 (4) (1996)
Ursula Goltz, Roberto Gorrieri, Arend Rensink
Comparing Syntactic and Semantic Sction Refinement. Inf. Comput. 125 (2) (1996)
Ursula Goltz, Roberto Gorrieri, Arend Rensink
On Syntactic and Semantic Action Refinement. TACS (1994)
Ursula Goltz, Arend Rensink
Finite Petri Nets as Models for Recursive Causal Behaviour. Theor. Comput. Sci. 124 (1) (1994)
Ursula Goltz, Ruurd Kuiper, Wojciech Penczek
Propositional Temporal Logics and Equivalences. CONCUR (1992)
Ursula Goltz
Causality Based Models for the Design of Concurrent Systems. CONCUR (1991)
Rita Loogen, Ursula Goltz
Modelling nondeterministic concurrent processes with event structures. Fundam. Informaticae 14 (1) (1991)
Ursula Goltz
CCS and Petri Nets. Semantics of Systems of Concurrent Processes (1990)
Rob J. van Glabbeek, Ursula Goltz
Equivalences and Refinement. Semantics of Systems of Concurrent Processes (1990)
Rob van Glabbeek, Ursula Goltz
Equivalences and refinement Forschungsberichte, TU Munich (1990)
Rob van Glabbeek, Ursula Goltz
A deadlock-sensitive congruence for action refinement Forschungsberichte, TU Munich (1990)
Rob J. van Glabbeek, Ursula Goltz
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). MFCS (1989)
Rob J. van Glabbeek, Ursula Goltz
Refinement of Actions in Causality Based Models. REX Workshop (1989)
Rob J. van Glabbeek, Ursula Goltz
Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care. Bull. EATCS 38 (1989)
Ursula Goltz
On Representing CCS Programs by Finite Petri Nets. MFCS (1988)
Ursula Goltz
Synchronic Distance. Advances in Petri Nets (1986)
Ursula Goltz, Yuan Chong-Yi
Synchronic structure - a tutorial. Applications and Theory in Petri Nets (1985)
Ursula Goltz, Alan Mycroft
On the Relationship of CCS and Petri Nets. ICALP (1984)
Ursula Goltz, Wolfgang Reisig
CSP-programs with individual tokens. European Workshop on Applications and Theory in Petri Nets (1984)
Ursula Goltz, Wolfgang Reisig
The Non-sequential Behavior of Petri Nets Inf. Control. 57 (2/3) (1983)
Ursula Goltz, Wolfgang Reisig
Processes of Place/Transition-Nets. ICALP (1983)
Ursula Goltz, Wolfgang Reisig
Weighted Synchronic Distances. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan
Two Alterative Definitions of Synchronic Distance. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)

Ursula Goltz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ursula Goltz