Travelled to:1 × Ireland
1 × USA
Collaborated with:N.Soundarajan R.Khatchadourian V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens N.Polikarpova T.Ridge J.Smans S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:competit (1) softwar (1) reusabl (1) control (1) concurr (1) verifi (1) report (1) orient (1) formal (1) experi (1)
Person: Derek Bronish
DBLP: Bronish:Derek
Contributed to:
2011
2011Wrote 2 papers:
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- SEKE-2011-SoundarajanBK #aspect-oriented #concurrent #formal method #reuse
- Formalizing Reusable Aspect-Oriented Concurrency Control (NS, DB, RK), pp. 111–114.