Travelled to:1 × Canada
1 × Croatia
1 × Finland
1 × Portugal
1 × Switzerland
1 × USA
Collaborated with:F.Logozzo K.R.M.Leino D.A.Naumann M.Fähndrich P.Cousot R.Cousot J.Aldrich D.Giannakopoulou G.T.Leavens N.Sharygina W.Grieskamp L.Nachmanson W.Schulte N.Tillmann M.Veanes
Talks about:contract (2) toward (2) base (2) unstructur (1) precondit (1) interpret (1) framework (1) refactor (1) abstract (1) weakest (1)
Person: Michael Barnett
DBLP: Barnett:Michael
Contributed to:
2012
2010
2007
2005
2004
2003Wrote 6 papers:
- OOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring
- An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.
- SAC-2010-FahndrichBL #contract #embedded
- Embedded contract languages (MF, MB, FL), pp. 2103–2110.
- ESEC-FSE-2007-AldrichBGLS #component #specification #verification
- Specification and verification of component-based systems 2007 (JA, MB, DG, GTL, NS), pp. 609–610.
- PASTE-2005-BarnettL #source code
- Weakest-precondition of unstructured programs (MB, KRML), pp. 82–87.
- LICS-2004-NaumannB #imperative #invariant #reasoning #towards
- Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (DAN, MB), pp. 313–323.
- FATES-2003-BarnettGNSTV #modelling #testing #towards
- Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.