Sibylle Peuker

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2006
j2		Sibylle Peuker: Buchrezension: Resilience Engineering. MMI Interaktiv 11 (2006)
	2003
c5		Sibylle Peuker: Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. Petri Net Technology for Communication-Based Systems 2003: 430-454
c4		Sibylle Peuker, Ian J. Hayes: Reasoning about Deadlines in Concurrent Real-Time Programs. IPDPS 2003: 237
	2002
c3		Sibylle Peuker: Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. ICATPN 2002: 374-393
c2		Sibylle Peuker, Ian J. Hayes: Towards a Refinement Calculus for Concurrent Real-Time Programs. ICFEM 2002: 335-346
	2001
c1		Sibylle Peuker: Property Preserving Transition Refinement with Concurrent Runs: An Example. ACSD 2001: 77-86
	1999
j1		Ekkart Kindler, Sibylle Peuker: Integrating Distributed Algorithms into Distributed Systems. Fundam. Inform. 37(3): 291-308 (1999)

Coauthor Index

1	Ian J. Hayes	[c4] [c2]
2	Ekkart Kindler	[j1]

Last update Wed May 22 20:15:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page