dblp.uni-trier.dewww.uni-trier.de

Ursula Goltz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
35EERob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction CoRR abs/0901.0043: (2009)
34EERob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems CoRR abs/0901.0048: (2009)
2008
33EERob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems. MFCS 2008: 16-35
2007
32EEJens Steiner, Matthias Hagner, Ursula Goltz: Runtime Analysis and Adaptation of a Hard Real-Time Robotic Control System. JCP 2(10): 18-27 (2007)
2006
31EEChristopher 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
30EEChristopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Generating optimal distinguishing sequences with a model checker. A-MOST 2005
29EEChristopher 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
28EEN. Kohn, J. Uwe Varchmin, Jens Steiner, Ursula Goltz: Universal communication architecture for high-dynamic robot systems using QNX. ICARCV 2004: 205-210
27EERob 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
26EEThomas Firley, Ursula Goltz: Property Dependent Abstraction of Control Structure for Software Verification. FME 2002: 511-530
2001
25EERob 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
23EEUrsula 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)
21EEUrsula 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
18EEIngo 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
17EEUrsula Goltz, Ruurd Kuiper, Wojciech Penczek: Propositional Temporal Logics and Equivalences. CONCUR 1992: 222-236
1991
16EEUrsula 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
14EERob J. van Glabbeek, Ursula Goltz: Equivalences and Refinement. Semantics of Systems of Concurrent Processes 1990: 309-333
13EEUrsula Goltz: CCS and Petri Nets. Semantics of Systems of Concurrent Processes 1990: 334-357
1989
12EERob J. van Glabbeek, Ursula Goltz: Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). MFCS 1989: 237-248
11EERob 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
9EEUrsula 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
7EEUrsula Goltz, Yuan Chong-Yi: Synchronic structure - a tutorial. Applications and Theory in Petri Nets 1985: 233-252
1984
6EEUrsula Goltz, Wolfgang Reisig: CSP-programs with individual tokens. European Workshop on Applications and Theory in Petri Nets 1984: 169-196
5EEUrsula Goltz, Alan Mycroft: On the Relationship of CCS and Petri Nets. ICALP 1984: 196-208
1983
4EEUrsula 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

Coauthor Index

1Yuan Chong-Yi [7]
2Ingo Czaja [18]
3Karsten Diethers [24]
4Thomas Firley [24] [26]
5Thomas Gehrke [24]
6Rob J. van Glabbeek [10] [11] [12] [14] [18] [25] [27] [33] [34] [35]
7Roberto Gorrieri [20] [22]
8Matthias Hagner [32]
9Michaela Huhn [24]
10N. Kohn [28]
11Ruurd Kuiper [17]
12Peter Liggesmeyer [29] [30] [31]
13Rita Loogen [15]
14Tilo Mücke [29] [30] [31]
15Alan Mycroft [5]
16Wojciech Penczek [17]
17Wolfgang Reisig [1] [2] [3] [4] [6]
18Arend Rensink [19] [20] [22]
19Christopher Robinson-Mallett [29] [30] [31]
20Jens-Wolfhard Schicke [33] [34] [35]
21Jens Steiner [28] [32]
22P. S. Thiagarajan [1]
23J. Uwe Varchmin [28]
24Heike Wehrheim [21] [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)