Ursula Goltz

	2012
47		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann: On Distributability of Petri Nets - (Extended Abstract). FoSSaCS 2012: 331-345
46		Matthias Gietzelt, Ursula Goltz, Daniel Grunwald, Malte Lochau, Michael Marschollek, Bianying Song, Klaus-Hendrik Wolf: Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform. Computer Methods and Programs in Biomedicine 106(2): 114-125 (2012)
	2011
45		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Causal Semantics of Petri Nets. CONCUR 2011: 43-59
44		Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz: Synchrony vs. Causality in Asynchronous Petri Nets EXPRESS 2011: 119-131
43		Narges Khakpour, Marjan Sirjani, Ursula Goltz: Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. ICFEM 2011: 16-32
42		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Abstract Processes of Place/Transition Systems CoRR abs/1103.5916: (2011)
41		Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell: Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports 1(1): 1-26 (2011)
40		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Abstract processes of place/transition systems. Inf. Process. Lett. 111(13): 626-633 (2011)
	2010
39		Matthias Hagner, Ursula Goltz: Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation. IMCSIT 2010: 797-804
38		Malte Lochau, Ursula Goltz: Feature Interaction Aware Test Case Generation for Embedded Control Systems. Electr. Notes Theor. Comput. Sci. 264(3): 37-52 (2010)
	2009
37		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction CoRR abs/0901.0043: (2009)
36		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems CoRR abs/0901.0048: (2009)
35		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: Symmetric and Asymmetric Asynchronous Interaction. Electr. Notes Theor. Comput. Sci. 229(3): 77-95 (2009)
34		Gregor Engels, Michael Goedicke, Ursula Goltz, Andreas Rausch, Ralf Reussner: Design for Future - Legacy-Probleme von morgen vermeidbar? Informatik Spektrum 32(5): 393-397 (2009)
	2008
33		Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke: On Synchronous and Asynchronous Interaction in Distributed Systems. MFCS 2008: 16-35
	2007
32		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		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		Christopher Robinson-Mallett, Peter Liggesmeyer, Tilo Mücke, Ursula Goltz: Generating optimal distinguishing sequences with a model checker. A-MOST 2005
29		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		N. Kohn, J. Uwe Varchmin, Jens Steiner, Ursula Goltz: Universal communication architecture for high-dynamic robot systems using QNX. ICARCV 2004: 205-210
27		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		Thomas Firley, Ursula Goltz: Property Dependent Abstraction of Control Structure for Software Verification. FME 2002: 511-530
	2001
25		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		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

Coauthor Index

1	Hans-Juergen Boehm	[41]
2	Yuan Chong-Yi	[7]
3	Ingo Czaja	[18]
4	Karsten Diethers	[24]
5	Gregor Engels	[34]
6	Thomas Firley	[24] [26]
7	Thomas Gehrke	[24]
8	Matthias Gietzelt	[46]
9	Rob J. van Glabbeek	[10] [11] [12] [14] [18] [25] [27] [33] [35] [36] [37] [40] [42] [45] [47]
10	Michael Goedicke	[34]
11	Roberto Gorrieri	[20] [22]
12	Daniel Grunwald	[46]
13	Matthias Hagner	[32] [39]
14	Holger Hermanns	[41]
15	Michaela Huhn	[24]
16	Narges Khakpour	[43]
17	N. Kohn	[28]
18	Ruurd Kuiper	[17]
19	Peter Liggesmeyer	[29] [30] [31]
20	Malte Lochau	[38] [46]
21	Rita Loogen	[15]
22	Michael Marschollek	[46]
23	Tilo Mücke	[29] [30] [31]
24	Alan Mycroft	[5]
25	Wojciech Penczek	[17]
26	Kirstin Peters	[44]
27	Andreas Rausch	[34]
28	Wolfgang Reisig	[1] [2] [3] [4] [6]
29	Arend Rensink	[19] [20] [22]
30	Ralf Reussner (Ralf H. Reussner)	[34]
31	Christopher Robinson-Mallett	[29] [30] [31]
32	Jens-Wolfhard Schicke (Jens-Wolfhard Schicke-Uffmann)	[33] [35] [36] [37] [40] [42] [44] [45] [47]
33	Peter Sewell	[41]
34	Marjan Sirjani	[43]
35	Bianying Song	[46]
36	Jens Steiner	[28] [32]
37	P. S. Thiagarajan	[1]
38	J. Uwe Varchmin	[28]
39	Heike Wehrheim	[21] [23]
40	Klaus-Hendrik Wolf	[46]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page