Ursula Goltz - Concepedia

Author

Ursula Goltz

Technische Universität Braunschweig

Also Known As

Goltz, Ursula, Hagiya, M., U Goltz, U. Goltz, URSULA GOLTZ, Ursula Goltz

110

Publications

2.3K

Citations

H-Index

Concepts

All Affiliations

Technische Universität Braunschweig Technical University of Darmstadt Technical University of Munich UNSW Sydney Data61

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	24	1.1K
2	Computer Engineering	10	10	208
3	Language Studies	1	1	21
4	Social Sciences	1	1	18
5	Cognitive Science	1	1	11

Ursula Goltz

Publications

1.2K

Citations

H-Index

Page 1

	Year	Citations
The non-sequential behaviour of Petri nets Ursula Goltz, Wolfgang Reisig Information and Control Petri NetEngineeringNon-sequential BehaviourConcurrency TheoryStochastic Petri Net	1983	295
Refinement of actions and equivalence notions for concurrent systems Rob van Glabbeek, Ursula Goltz Acta Informatica EngineeringAutomated ReasoningConcurrent ProgrammingConcurrency TheoryFormal Methods	2001	244
Modelling Nondeterministic Concurrent Processes with Event Structures Rita Loogen, Ursula Goltz Fundamenta Informaticae EngineeringNon-interleaving ModelNondeterministic ConcurrentConcurrency TheoryFormal Methods	1991	63
Model-based pairwise testing for feature interaction coverage in software product line engineering Malte Lochau, Sebastian Oster, Ursula Goltz, Software Quality Journal EngineeringProgram AnalysisSoftware TestingDesignVerification	2011	61
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) Rob J. van Glabbeek, Ursula Goltz Mathematical Foundations of Computer Science Equivalence NotionsEngineeringAutomated ReasoningConcurrent ProgrammingConcurrency Theory	1989	58
Timed sequence diagrams and tool-based analysis: a case study Thomas Firley, Michaela Huhn, Karsten Diethers, Lecture notes in computer science EngineeringFormal ModelingProgram AnalysisTiming AnalysisSoftware Testing	1999	50
Delta-oriented model-based integration testing of large-scale systems Malte Lochau, Sascha Lity, Remo Lachmann, Journal of Systems and Software EngineeringSystem TestingSoftware TestingVerificationComputer Engineering	2013	50
Design for future: managed software evolution Ursula Goltz, Ralf Reussner, Michael Goedicke, Computer Science - Research and Development Software MaintenanceEngineeringSoftware SystemsSoftware StudiesSoftware Engineering	2014	29
Staged configuration of dynamic software product lines with complex binding time constraints Johannes Bürdek, Sascha Lity, Malte Lochau, Software MaintenanceEngineeringSoftware EngineeringComputer-aided DesignSoftware Analysis	2014	27
Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Computer Methods and Programs in Biomedicine EngineeringData ScienceProgram AnalysisOsgi PlatformService-oriented Software Engineering	2011	26

Page 1