Travelled to:1 × Denmark
1 × Germany
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:R.Wilhelm I.Boneva M.E.Kurbán A.Rensink F.Nielson H.R.Nielson H.Pilegaard W.Damm T.Toben B.Westphal N.Rinetzky T.W.Reps S.Sagiv
Talks about:abstract (3) analysi (3) constraint (1) synthesi (1) procedur (1) communic (1) topolog (1) partner (1) system (1) static (1)
Person: Jörg Bauer
DBLP: Bauer:J=ouml=rg
Contributed to:
2008
2008
20072007
2005Wrote 5 papers:
- ICGT-2008-BauerBKR #abstraction #graph
- A Modal-Logic Based Graph Abstraction (JB, IB, MEK, AR), pp. 321–335.
- SAS-2008-BauerNNP #analysis #correlation #relational
- Relational Analysis of Correlation (JB, FN, HRN, HP), pp. 32–46.
- AGTIVE-2007-BauerDTW #analysis #constraints #ocl #synthesis #verification
- Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.
- SAS-2007-BauerW #abstraction #communication #static analysis
- Static Analysis of Dynamic Communication Systems by Partner Abstraction (JB, RW), pp. 249–264.
- POPL-2005-RinetzkyBRSW #abstraction #semantics
- A semantics for procedure local heaps and its abstractions (NR, JB, TWR, SS, RW), pp. 296–309.