BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Singapore
1 × United Kingdom
Collaborated with:
T.R.Gross P.Eugster B.Toninho F.Pfenning L.Nistor J.Aldrich H.Mehnert
Talks about:
object (3) relationship (2) proposit (1) manifest (1) deadlock (1) collabor (1) session (1) freedom (1) verifi (1) reason (1)

Person: Stephanie Balzer

DBLP DBLP: Balzer:Stephanie

Contributed to:

FM 20142014
ECOOP 20112011
ECOOP 20072007
ESOP 20192019

Wrote 4 papers:

Object Propositions (LN, JA, SB, HM), pp. 497–513.
ECOOP-2011-BalzerG #invariant #multi #verification
Verifying Multi-object Invariants with Relationships (SB, TRG), pp. 358–382.
ECOOP-2007-BalzerGE #reasoning #relational
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships (SB, TRG, PE), pp. 323–346.
Manifest Deadlock-Freedom for Shared Session Types (SB, BT, FP), pp. 611–639.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.