Concepedia

Ursula Goltz

UG

28

Publications

1.2K

Citations

18

H-Index

1983

Active since

Affiliations

Technische Universität Braunschweig(Current)

Technical University of Darmstadt

Technical University of Munich

Data61

Ursula Goltz is an author at Technische Universität Braunschweig specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsSoftware AnalysisSoftware DesignProgram AnalysisSoftware TestingSoftware EngineeringFormal Verification

Publications per year

1983–2014

28

Publications

28

The non-sequential behaviour of Petri nets

Ursula Goltz, Wolfgang Reisig · Information and Control · 1983 · 295 citations

Petri Net, Engineering, Non-sequential Behaviour +5

Refinement of actions and equivalence notions for concurrent systems

Rob van Glabbeek, Ursula Goltz · Acta Informatica · 2001 · 244 citations

Engineering, Automated Reasoning, Concurrent Programming +5

Modelling Nondeterministic Concurrent Processes with Event Structures

Rita Loogen, Ursula Goltz · Fundamenta Informaticae · 1991 · 63 citations

Engineering, Non-interleaving Model, Nondeterministic Concurrent +10

Model-based pairwise testing for feature interaction coverage in software product line engineering

Malte Lochau, Sebastian Oster, Ursula Goltz et al. · Software Quality Journal · 2011 · 61 citations

Engineering, Program Analysis, Software Testing +14

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)

Rob J. van Glabbeek, Ursula Goltz · Mathematical Foundations of Computer Science · 1989 · 58 citations

Equivalence Notions, Engineering, Automated Reasoning +10

Rows per page

1–5 of 28