Ursula Goltz

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