2009 |
35 | EE | Rob J. van Glabbeek,
Ursula Goltz,
Jens-Wolfhard Schicke:
Symmetric and Asymmetric Asynchronous Interaction
CoRR abs/0901.0043: (2009) |
34 | EE | Rob J. van Glabbeek,
Ursula Goltz,
Jens-Wolfhard Schicke:
On Synchronous and Asynchronous Interaction in Distributed Systems
CoRR abs/0901.0048: (2009) |
2008 |
33 | EE | Rob J. van Glabbeek,
Ursula Goltz,
Jens-Wolfhard Schicke:
On Synchronous and Asynchronous Interaction in Distributed Systems.
MFCS 2008: 16-35 |
2007 |
32 | EE | Jens Steiner,
Matthias Hagner,
Ursula Goltz:
Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System.
JCP 2(10): 18-27 (2007) |
2006 |
31 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Extended state identification and verification using a model checker.
Information & Software Technology 48(10): 981-992 (2006) |
2005 |
30 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
A-MOST 2005 |
29 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
2004 |
28 | EE | N. Kohn,
J. Uwe Varchmin,
Jens Steiner,
Ursula Goltz:
Universal communication architecture for high-dynamic robot systems using QNX.
ICARCV 2004: 205-210 |
27 | EE | Rob J. van Glabbeek,
Ursula Goltz:
Well-behaved flow event structures for parallel composition and action refinement.
Theor. Comput. Sci. 311(1-3): 463-478 (2004) |
2002 |
26 | EE | Thomas Firley,
Ursula Goltz:
Property Dependent Abstraction of Control Structure for Software Verification.
FME 2002: 511-530 |
2001 |
25 | EE | Rob J. van Glabbeek,
Ursula Goltz:
Refinement of actions and equivalence notions for concurrent systems.
Acta Inf. 37(4/5): 229-327 (2001) |
1999 |
24 | | Thomas Firley,
Michaela Huhn,
Karsten Diethers,
Thomas Gehrke,
Ursula Goltz:
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study.
UML 1999: 645-660 |
1996 |
23 | | Ursula Goltz,
Heike Wehrheim:
Causal Testing.
MFCS 1996: 394-406 |
22 | | Ursula Goltz,
Roberto Gorrieri,
Arend Rensink:
Comparing Syntactic and Semantic Sction Refinement.
Inf. Comput. 125(2): 118-143 (1996) |
21 | EE | Ursula Goltz,
Heike Wehrheim:
Modelling Causality via Action Dependencies in Branching Time Semantics.
Inf. Process. Lett. 59(4): 179-184 (1996) |
1994 |
20 | | Ursula Goltz,
Roberto Gorrieri,
Arend Rensink:
On Syntactic and Semantic Action Refinement.
TACS 1994: 385-404 |
19 | | Ursula Goltz,
Arend Rensink:
Finite Petri Nets as Models for Recursive Causal Behaviour.
Theor. Comput. Sci. 124(1): 169-179 (1994) |
1992 |
18 | | Ingo Czaja,
Rob J. van Glabbeek,
Ursula Goltz:
Interleaving semantics and action refinement with atomic choice.
Advances in Petri Nets: The DEMON Project 1992: 89-107 |
17 | | Ursula Goltz,
Ruurd Kuiper,
Wojciech Penczek:
Propositional Temporal Logics and Equivalences.
CONCUR 1992: 222-236 |
1991 |
16 | | Ursula Goltz:
Causality Based Models for the Design of Concurrent Systems.
CONCUR 1991: 43-44 |
15 | | Rita Loogen,
Ursula Goltz:
Modelling nondeterministic concurrent processes with event structures.
Fundam. Inform. 14(1): 39-74 (1991) |
1990 |
14 | | Rob J. van Glabbeek,
Ursula Goltz:
Equivalences and Refinement.
Semantics of Systems of Concurrent Processes 1990: 309-333 |
13 | | Ursula Goltz:
CCS and Petri Nets.
Semantics of Systems of Concurrent Processes 1990: 334-357 |
1989 |
12 | | Rob J. van Glabbeek,
Ursula Goltz:
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract).
MFCS 1989: 237-248 |
11 | | Rob J. van Glabbeek,
Ursula Goltz:
Refinement of Actions in Causality Based Models.
REX Workshop 1989: 267-300 |
10 | | Rob J. van Glabbeek,
Ursula Goltz:
Parial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care.
Bulletin of the EATCS 38: 154-163 (1989) |
1988 |
9 | | Ursula Goltz:
On Representing CCS Programs by Finite Petri Nets.
MFCS 1988: 339-350 |
1986 |
8 | | Ursula Goltz:
Synchronic Distance.
Advances in Petri Nets 1986: 338-358 |
1985 |
7 | | Ursula Goltz,
Yuan Chong-Yi:
Synchronic structure - a tutorial.
Applications and Theory in Petri Nets 1985: 233-252 |
1984 |
6 | | Ursula Goltz,
Wolfgang Reisig:
CSP-programs with individual tokens.
European Workshop on Applications and Theory in Petri Nets 1984: 169-196 |
5 | | Ursula Goltz,
Alan Mycroft:
On the Relationship of CCS and Petri Nets.
ICALP 1984: 196-208 |
1983 |
4 | | Ursula Goltz,
Wolfgang Reisig:
Processes of Place/Transition-Nets.
ICALP 1983: 264-277 |
3 | | Ursula Goltz,
Wolfgang Reisig:
The Non-sequential Behavior of Petri Nets
Information and Control 57(2/3): 125-147 (1983) |
1981 |
2 | | Ursula Goltz,
Wolfgang Reisig:
Weighted Synchronic Distances.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 289-300 |
1 | | Ursula Goltz,
Wolfgang Reisig,
P. S. Thiagarajan:
Two Alterative Definitions of Synchronic Distance.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 96-103 |