| 2006 |
|---|
| 30 | 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 |
|---|
| 29 | EE | Christopher Robinson-Mallett,
Peter Liggesmeyer,
Tilo Mücke,
Ursula Goltz:
Generating optimal distinguishing sequences with a model checker.
A-MOST 2005 |
| 28 | 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 |
|---|
| 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 |
