Travelled to:1 × Germany
1 × Portugal
1 × USA
2 × The Netherlands
Collaborated with:T.Margaria-Steffen B.Steffen A.Claßen D.Koschützki J.Knoop J.Kreileder R.Nisius M.Reitenspieß M.v.d.Beeck A.Dannecker C.Friedrich F.Schreiber
Talks about:environ (2) servic (2) frame (2) meta (2) constraint (1) polymorph (1) creation (1) generat (1) control (1) analysi (1)
Person: Volker Braun
DBLP: Braun:Volker
Contributed to:
1999
19981997
19961996Wrote 5 papers:
- TACAS-1999-BraunKMS #online
- The ETI Online Service in Action (VB, JK, TMS, BS), pp. 439–443.
- CC-1998-BraunKK #analysis #control flow #generative #named
- Cool: A Control-Flow Generator for System Analysis (VB, JK, DK), pp. 306–309.
- TACAS-1997-BeeckBCDFKMSS #graph #morphism #polymorphism #power of
- Graphs in METAFrame: The Unifying Power of Polymorphism (MvdB, VB, AC, AD, CF, DK, TMS, FS, BS), pp. 112–129.
- CAV-1996-SteffenMCB
- The METAFrame’95 Environment (BS, TMS, AC, VB), pp. 450–453.
- TACAS-1996-SteffenMCBNR #constraints
- A Constraint-Oriented Service Creation Environment (BS, TMS, AC, VB, RN, MR), pp. 418–421.