Ursula Goltz | Academic Influence

Ursula Goltz's AcademicInfluence.com Rankings

Ursula Goltz

Computer Science

#11693

World Rank

#12421

Historical Rank

Computational Linguistics

#3022

World Rank

#3057

Historical Rank

Machine Learning

#5492

World Rank

#5566

Historical Rank

Artificial Intelligence

#5935

World Rank

#6025

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Ursula Goltz's Degrees

Bachelors Computer Science Technical University of Berlin
Masters Computer Science Technical University of Berlin
PhD Computer Science University of Potsdam

Similar Degrees You Can Earn

Why Is Ursula Goltz Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Ursula Goltz is a German computer scientist, professor emerita at the Technical University of Braunschweig, formerly affiliated with the Institute for Programming and Reactive Systems there, and former coordinator of a German Research Foundation program on long-lasting software systems. Her research concerns the theory of concurrent computing, including the use of Petri nets to model concurrent systems. Goltz earned her Ph.D. at RWTH Aachen University in 1988, with the dissertation, Über die Darstellung von CCS-Programmen durch Petrinetze.

(See a Problem?)

Ursula Goltz's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Refinement of actions and equivalence notions for concurrent systems (2001) (275)
The Non-sequential Behavior of Petri Nets (1983) (242)
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) (1989) (241)
Refinement of Actions in Causality Based Models (1990) (123)
On Representing CCS Programs by Finite Petri Nets (1988) (88)
On the Relationship of CCS and Petri Nets (1984) (79)
Model-based pairwise testing for feature interaction coverage in software product line engineering (2012) (76)
Modelling nondeterministic concurrent processes with event structures (1991) (74)
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study (1999) (61)
CCS and Petri Nets (1990) (48)
Propositional Temporal Logics and Equivalences (1992) (46)
Delta-oriented model-based integration testing of large-scale systems (2014) (45)
On Distributability in Process Calculi (2013) (41)
Processes of Place/Transition-Nets (1983) (41)
Design for future: managed software evolution (2015) (40)
Equivalences and Refinement (1990) (39)
Interleaving semantics and action refinement with atomic choice (1992) (35)
Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform (2012) (33)
On Synchronous and Asynchronous Interaction in Distributed Systems (2008) (33)
Staged configuration of dynamic software product lines with complex binding time constraints (2014) (32)
CSP-programs with individual tokens (1985) (31)
Model Based System Development in Automotive (2003) (30)
Feature Interaction Aware Test Case Generation for Embedded Control Systems (2010) (27)
Comparing Syntactic and Semantic Sction Refinement (1996) (26)
On Distributability of Petri Nets (2012) (26)
Delta-oriented model-based SPL regression testing (2012) (24)
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain (2014) (23)
Universal communication architecture for high-dynamic robot systems using QNX (2004) (23)
On Characterising Distributability (2013) (22)
Causal Testing (1996) (21)
On Syntactic and Semantic Action Refinement (1994) (19)
UML-Based Analysis of Power Consumption for Real-Time Embedded Systems (2011) (17)
On Causal Semantics of Petri Nets (2011) (17)
Synchronic Distance (1986) (17)
Abstract processes of place/transition systems (2011) (16)
Symmetric and Asymmetric Asynchronous Interaction (2008) (15)
IT ecosystems: A new paradigm for engineering complex adaptive software systems (2012) (14)
Integration of scheduling analysis into UML based development processes through model transformation (2010) (14)
Generating optimal distinguishing sequences with a model checker (2005) (14)
Well-behaved flow event structures for parallel composition and action refinement (2004) (13)
Extended state identification and verification using a model checker (2006) (13)
Modelling driving behaviour using hybrid automata (2013) (13)
Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care (1989) (12)
An executable semantics for UML 2 activity diagrams (2010) (12)
A methodology for model-based development and automated verification of software for aerospace systems (2013) (11)
Defining Domain Specific Operational Semantics for Activity Diagrams (2012) (11)
Weighted Synchronic Distances (1980) (11)
Model based quality assurance and self-management within a software architecture for parallel kinematic machines (2006) (10)
Synchrony vs. Causality in Asynchronous Petri Nets (2011) (9)
A Comprehensive Description of a Model-based, Continuous Development Process for AUTOSAR Systems with Integrated Quality Assurance (2009) (9)
On condition/event representations of place/transition nets (1987) (8)
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study (2012) (8)
Towards integrated rule-driven software development for IT ecosystems (2012) (7)
Design for Future – Legacy-Probleme von morgen vermeidbar? (2009) (7)
Finite Petri Nets as Models for Recursive Causal Behaviour (1994) (7)
Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System (2007) (6)
Hybrid Automata as a Modelling Approach in the Behavioural Sciences (2013) (6)
Two Alterative Definitions of Synchronic Distance (1980) (6)
Modelling Causality via Action Dependencies in Branching Time Semantics (1996) (5)
Model Based Quality Assurance for a Robotic Software Architecture (2011) (5)
Synchrony versus causality in distributed systems † (2014) (4)
Design for future: managed software evolution (2014) (4)
THE RULEIT METHODOLOGY (2010) (4)
Synchronic structure - a tutorial (1985) (4)
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems (2011) (3)
Parameter Optimization of an Engine Control Unit using Genetic Algorithms (2009) (3)
On causal semantics of petri nets (extended abstract) (2011) (3)
Timed sequence diagrams and tool-based analysis: a case study (1999) (2)
A Case Study on Evaluating Encodings Between Process Calculi ∗ (2018) (2)
Stronger Validity Criteria for Encoding Synchrony (2019) (2)
Universal Communication Architecture for highdynamic Robot Systems (2004) (2)
Dynamic distribution of robot control components under hard realtime constraints - Modeling, experimental results and practical considerations (2013) (2)
Evolving Adaptable Systems: Potential and Challenges (2010) (2)
An Abstract State Machine Model for the Generic Java Type System (2010) (2)
Special issue on “Combining Compositionality and Concurrency”: part 1 (2015) (2)
Causality Based Models for the Design of Concurrent Systems (1991) (1)
On the Step Branching Time Closure of Free-Choice Petri Nets (2014) (1)
Abstract Processes and Conflicts in Place/Transition Systems (2021) (1)
Special issue on “Combining Compositionality and Concurrency”: part 2 (2015) (1)
Property Dependent Abstraction of Control Structure for Software Verification (2002) (1)
Behavioral Modeling of IT Ecosystems (2010) (1)
Automated Verification of Functional Interface Compatibility (2012) (1)
A Methodology for Scheduling Analysis Based on UML Development Models (2012) (0)
Synchronous and asynchronous communication(s) between three parties (2020) (0)
NTH School for IT Ecosystems Behavioral Modeling of IT Ecosystems (2010) (0)
Inheritance and mining of WF-nets (2002) (0)
Supporting Design Decisions in Interdisciplinary Product Development (2013) (0)
High-level Sequence Charts with Data Manipulation (2000) (0)
Information Systems as Reactive Systems (Dagstuhl Seminar 98071) (2021) (0)
SPECIFICATION OF DISTRIBUTED INFORMATION SYSTEMS (2008) (0)
Specification of Distributed Information Systems (Dagstuhl Seminar 00081) (2021) (0)
Workshop on Managed Software Evolution (2013) (0)
Synchronous and asynchronous communication(s) between three parties (2020) (0)
Special issue on “Combining Compositionality and Concurrency”: part 2 (2015) (0)
Expressiveness in Concurrency (Dagstuhl Seminar 9638) (2021) (0)
Abstract Processes in the Absence of Conflicts in General Place/Transition Systems (2022) (0)
Special issue on “Combining Compositionality and Concurrency”: part 1 (2014) (0)
Dagstuhl Seminar Expressiveness in Concurrency (2008) (0)
Property Preserving Abstraction for Software Verification – A Case Study (2003) (0)
Software Intensive Embedded Systems - with Special Emphasis on Automotive (Dagstuhl Seminar 03461) (2021) (0)
Concurrency and Dynamic Behaviour Modelling: Pragmatics & Semantics (Dagstuhl Seminar 02111) (2021) (0)
Model-based pairwise testing for feature interaction coverage in software product line engineering (2011) (0)
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011) (2011) (0)
Real-Time Specifications Formalism with States : Application to VHDL Semantics (2008) (0)
On Syntactic and Semantic Notions of Refinement (1992) (0)
Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411) (2021) (0)

This paper list is powered by the following services:

Other Resources About Ursula Goltz

en.wikipedia.org

What Schools Are Affiliated With Ursula Goltz?

Ursula Goltz is affiliated with the following schools: