Ursula Goltz

According to our database1, Ursula Goltz
  • authored at least 71 papers between 1981 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Synchrony versus causality in distributed systems.
Mathematical Structures in Computer Science, 2016

2015
Design for future: managed software evolution.
Computer Science - R&D, 2015

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

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

2014
Delta-oriented model-based integration testing of large-scale systems.
Journal of Systems and Software, 2014

Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain.
Automatisierungstechnik, 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.
Journal of Systems Architecture - Embedded Systems Design, 2013

Hybrid Automata as a Modelling Approach in the Behavioural Sciences.
Electr. Notes Theor. Comput. Sci., 2013

On Characterising Distributability.
Logical Methods in Computer Science, 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.
Software Quality Journal, 2012

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.
Journal of Systems and Software, 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.
Computer Methods and Programs in Biomedicine, 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

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

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

Abstract Processes of Place/Transition Systems
CoRR, 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.
Electr. Notes Theor. Comput. Sci., 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?
Informatik Spektrum, 2009

Symmetric and Asymmetric Asynchronous Interaction.
Electr. Notes Theor. Comput. Sci., 2009

On Synchronous and Asynchronous Interaction in Distributed Systems
CoRR, 2009

Symmetric and Asymmetric Asynchronous Interaction
CoRR, 2009

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.
JCP, 2007

2006
Extended state identification and verification using a model checker.
Information & Software Technology, 2006

2005
Generating optimal distinguishing sequences with a model checker.
ACM SIGSOFT Software Engineering Notes, 2005

Generating optimal distinguishing sequences with a model checker.
Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, 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 Inf., 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. Inform., 1991

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

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

Equivalences and Refinement.
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.
Bulletin of the 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
Information and 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...