Michael Barnett

Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot: A semantic integrated development environment. SPLASH 2012: 15-16

Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett: An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA 2012: 213-232

Manuel Fähndrich, Michael Barnett, Francesco Logozzo: Embedded contract languages. SAC 2010: 2103-2110

Michael Barnett, K. Rustan M. Leino: To Goto Where No Statement Has Gone Before. VSTTE 2010: 157-168

Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402

Anindya Banerjee, Michael Barnett, David A. Naumann: Boogie Meets Regions: A Verification Experience Report. VSTTE 2008: 177-191

Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610

Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (Companion) 2007: 609-610

David A. Naumann, Michael Barnett: Towards imperative modules: Reasoning about invariants and sharing of mutable state. Theor. Comput. Sci. 365(1-2): 143-168 (2006)

Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun: Allowing State Changes in Specifications. ETRICS 2006: 321-336

Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K. Rustan M. Leino: Boogie: A Modular Reusable Verifier for Object-Oriented Programs. FMCO 2005: 364-387

Michael Barnett, K. Rustan M. Leino: Weakest-precondition of unstructured programs. PASTE 2005: 82-87

Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter: The Spec# Programming System: Challenges and Directions. VSTTE 2005: 144-152

Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte: Verification of Object-Oriented Programs with Invariants. Journal of Object Technology 3(6): 27-56 (2004)

David A. Naumann, Michael Barnett: Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. LICS 2004: 313-323

Michael Barnett, David A. Naumann: Friends Need a Bit More: Maintaining Invariants Over Shared State. MPC 2004: 54-84

Jim Davies, Wolfram Schulte, Michael Barnett (Eds.): Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings. Lecture Notes in Computer Science 3308, Springer 2004, isbn 3-540-23841-7

Michael Barnett, Wolfram Schulte: Runtime verification of .NET contracts. Journal of Systems and Software 65(3): 199-208 (2003)

Michael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407

Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246

Michael Barnett, Wolfram Schulte: The ABCs of specification: asml, behavior, and components. Informatica (Slovenia) 25(4) (2001)

Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines 2000: 367-379

Michael Barnett, Charles J. Miller: Analysis of the virtual enterprise using distributed supply chain modeling and simulation: an application of e-SCOR. Winter Simulation Conference 2000: 352-355

Michael Barnett, David G. Payne, Robert A. van de Geijn, Jerrell Watts: Broadcasting on Meshes with Wormhole Routing. J. Parallel Distrib. Comput. 35(2): 111-122 (1996)

Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn: Global Combine Algorithms for 2-D Meshes with Wormhole Routing. J. Parallel Distrib. Comput. 24(2): 191-201 (1995)

Stefan Tritscher, Roman Zajcew, Michael Barnett: Load Leveling on the Paragon Multicomputer. HPCN 1994: 330-337

Michael Barnett, Lance Shuler, Satya Gupta, David G. Payne, Robert A. van de Geijn, Jerrell Watts: Building a high-performance collective communication library. SC 1994: 107-116

Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn: Global Combine on Mesh Architectures with Wormhole Routing. IPPS 1993: 156-162

Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 374-398

Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn: Efficient Communication Primitives on Mesh Architectures with Hardware Routing. PPSC 1993: 943-948

Roman Zajcew, Paul Roy, David L. Black, Chris Peak, Paulo Guedes, Bradford Kemp, John LoVerso, Michael Leibensperger, Michael Barnett, Faramarz Rabii, Durriya Netterwala: An OSF/1 UNIX for Massively Parallel Multicomputers. USENIX Winter 1993: 449-468

Michael Barnett, Christian Lengauer: Unimodularity and the Prallelization of Loops. Parallel Processing Letters 2: 273-281 (1992)

Michael Barnett, Christian Lengauer: Unimodularity Considered Non-Essential. CONPAR 1992: 659-664

Christian Lengauer, Michael Barnett, Duncan G. Hudson III: Towards Systolizing Compilation. Distributed Computing 5: 7-24 (1991)

Michael Barnett, Christian Lengauer: The Synthesis of Systolic Programs. Research Directions in High-Level Parallel Programming Languages 1991: 309-325

Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme: Abstract. ICPP (2) 1991: 296-297

Michael Barnett: The formal derivation of distributed programs from systolic arrays. SPDP 1990: 363-366