Stephanie Balzer

	2011
6		Stephanie Balzer, Thomas R. Gross: Verifying Multi-object Invariants with Relationships. ECOOP 2011: 358-382
	2010
5		Stephanie Balzer, Thomas R. Gross: Modular reasoning about invariants over shared state with interposed data members. PLPV 2010: 49-56
	2009
4		Stephanie Balzer, Thomas R. Gross: Modular reasoning about invariants over shared state with interposed data members: (abstract only). SIGPLAN Notices 44(11): 6-7 (2009)
	2008
3		Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip: Relationships and associations in object-oriented languages. OOPSLA Companion 2008: 855-856
	2007
2		Stephanie Balzer, Thomas R. Gross, Patrick Eugster: A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. ECOOP 2007: 323-346
	2005
1		Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer: Can Aspects Implement Contracts?. RISE 2005: 145-157

Coauthor Index

1	Gavin M. Bierman	[3]
2	Patrick Th. Eugster (Patrick Eugster)	[1] [2]
3	Thomas R. Gross	[2] [4] [5] [6]
4	Erik Meijer	[3]
5	Bertrand Meyer	[1]
6	Stephen Nelson	[3]
7	James Noble	[3]
8	David J. Pearce	[3]
9	Jiri Soukup (Jirí Soukup)	[3]
10	Frank Tip	[3]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page