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: Balzer:Stephanie
Contributed to:
2014
20112007
2019Wrote 4 papers:
- FM-2014-NistorABM
- 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.
- ESOP-2019-BalzerTP
- Manifest Deadlock-Freedom for Shared Session Types (SB, BT, FP), pp. 611–639.