Ursula Goltz

Affiliations:
  • Braunschweig University of Technology, Germany
  • RWTH Aachen University, Germany (PhD 1988)


According to our database1, Ursula Goltz authored at least 74 papers between 1981 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Abstract processes in the absence of conflicts in general place/transition systems.
Inf. Comput., 2022

2021
Abstract processes and conflicts in place/transition systems.
Inf. Comput., 2021

2020
Synchronous and asynchronous communication(s) between three parties.
Acta Informatica, 2020

2019
Stronger Validity Criteria for Encoding Synchrony.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2016
Synchrony versus causality in distributed systems.
Math. Struct. Comput. Sci., 2016

2015
Design for future: managed software evolution.
Comput. Sci. Res. Dev., 2015

Special issue on "Combining Compositionality and Concurrency": part 2.
Acta Informatica, 2015

Special issue on "Combining Compositionality and Concurrency": part 1.
Acta Informatica, 2015

2014
Delta-oriented model-based integration testing of large-scale systems.
J. Syst. Softw., 2014

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
Autom., 2014

Staged configuration of dynamic software product lines with complex binding time constraints.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

On the Step Branching Time Closure of Free-Choice Petri Nets.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013
Dynamic distribution of robot control components under hard realtime constraints - Modeling, experimental results and practical considerations.
J. Syst. Archit., 2013

On Characterising Distributability.
Log. Methods Comput. Sci., 2013

Workshop on Managed Software Evolution.
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Design for Future: Das DFG-Schwerpunktprogramm für langlebige Softwaresysteme.
Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

On Distributability in Process Calculi.
Proceedings of the Programming Languages and Systems, 2013

2012
Model-based pairwise testing for feature interaction coverage in software product line engineering.
Softw. Qual. J., 2012

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.
J. Syst. Softw., 2012

On Distributability of Petri Nets
CoRR, 2012

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform.
Comput. Methods Programs Biomed., 2012

Delta-oriented model-based SPL regression testing.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

On Distributability of Petri Nets - (Extended Abstract).
Proceedings of the Foundations of Software Science and Computational Structures, 2012

IT ecosystems: A new paradigm for engineering complex adaptive software systems.
Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

Towards integrated rule-driven software development for IT ecosystems.
Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

Institut für Programmierung und Reaktive Systeme.
Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

2011
Self-management within a Software Architecture for Parallel Kinematic Machines.
Proceedings of the Robotic Systems for Handling and Assembly, 2011

Model Based Quality Assurance for a Robotic Software Architecture.
Proceedings of the Robotic Systems for Handling and Assembly, 2011

Abstract processes of place/transition systems.
Inf. Process. Lett., 2011

Hybrid Automata as a Modelling Approach in the Behavioural Sciences.
Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011).
Dagstuhl Reports, 2011

Synchrony vs. Causality in Asynchronous Petri Nets
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

UML-Based Analysis of Power Consumption for Real-Time Embedded Systems.
Proceedings of the IEEE 10th International Conference on Trust, 2011

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.
Proceedings of the Formal Methods and Software Engineering, 2011

On Causal Semantics of Petri Nets.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Evolving Adaptable Systems: Potential and Challenges.
Softwaretechnik-Trends, 2010

Feature Interaction Aware Test Case Generation for Embedded Control Systems.
Proceedings of the Sixth Workshop on Model-Based Testing, 2010

Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

2009
Design for Future - Legacy-Probleme von morgen vermeidbar?
Inform. Spektrum, 2009

2008
Symmetric and Asymmetric Asynchronous Interaction.
Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

On Synchronous and Asynchronous Interaction in Distributed Systems.
Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

2007
Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System.
J. Comput., 2007

2006
Extended state identification and verification using a model checker.
Inf. Softw. Technol., 2006

2005
Generating optimal distinguishing sequences with a model checker.
ACM SIGSOFT Softw. Eng. Notes, 2005

2004
Well-behaved flow event structures for parallel composition and action refinement.
Theor. Comput. Sci., 2004

Universal communication architecture for high-dynamic robot systems using QNX.
Proceedings of the 8th International Conference on Control, 2004

2002
Property Dependent Abstraction of Control Structure for Software Verification.
Proceedings of the FME 2002: Formal Methods, 2002

2001
Refinement of actions and equivalence notions for concurrent systems.
Acta Informatica, 2001

1999
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.
Proceedings of the «UML»'99: The Unified Modeling Language, 1999

1996
Modelling Causality via Action Dependencies in Branching Time Semantics.
Inf. Process. Lett., 1996

Comparing Syntactic and Semantic Sction Refinement.
Inf. Comput., 1996

Causal Testing.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994
Finite Petri Nets as Models for Recursive Causal Behaviour.
Theor. Comput. Sci., 1994

On Syntactic and Semantic Action Refinement.
Proceedings of the Theoretical Aspects of Computer Software, 1994

1992
Propositional Temporal Logics and Equivalences.
Proceedings of the CONCUR '92, 1992

Interleaving semantics and action refinement with atomic choice.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991
Modelling nondeterministic concurrent processes with event structures.
Fundam. Informaticae, 1991

Causality Based Models for the Design of Concurrent Systems.
Proceedings of the CONCUR '91, 1991

1990
A deadlock-sensitive congruence for action refinement
Forschungsberichte, TU Munich, 1990

Equivalences and refinement
Forschungsberichte, TU Munich, 1990

CCS and Petri Nets.
Proceedings of the Semantics of Systems of Concurrent Processes, 1990

1989
Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care.
Bull. EATCS, 1989

Refinement of Actions in Causality Based Models.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988
Über die Darstellung von CCS-Programmen durch Petrinetze.
PhD thesis, 1988

On Representing CCS Programs by Finite Petri Nets.
Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1986
Synchronic Distance.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985
Synchronic structure - a tutorial.
Proceedings of the Advances in Petri Nets 1985, 1985

1984
On the Relationship of CCS and Petri Nets.
Proceedings of the Automata, 1984

CSP-programs with individual tokens.
Proceedings of the Advances in Petri Nets 1984, 1984

1983
The Non-sequential Behavior of Petri Nets
Inf. Control., 1983

Processes of Place/Transition-Nets.
Proceedings of the Automata, 1983

1981
Two Alterative Definitions of Synchronic Distance.
Proceedings of the Application and Theory of Petri Nets, 1981

Weighted Synchronic Distances.
Proceedings of the Application and Theory of Petri Nets, 1981


  Loading...