Michael Barnett

	2009
34		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
	2008
33		Anindya Banerjee, Michael Barnett, David A. Naumann: Boogie Meets Regions: A Verification Experience Report. VSTTE 2008: 177-191
	2007
32		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
31		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
	2006
30		Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun: Allowing State Changes in Specifications. ETRICS 2006: 321-336
29		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)
	2005
28		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
27		Michael Barnett, K. Rustan M. Leino: Weakest-precondition of unstructured programs. PASTE 2005: 82-87
26		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
	2004
25		Jim Davies, Wolfram Schulte, Michael Barnett: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings Springer 2004
24		David A. Naumann, Michael Barnett: Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. LICS 2004: 313-323
23		Michael Barnett, David A. Naumann: Friends Need a Bit More: Maintaining Invariants Over Shared State. MPC 2004: 54-84
22		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)
	2003
21		Michael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407
20		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
19		Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
18		Michael Barnett, Wolfram Schulte: Runtime verification of .NET contracts. Journal of Systems and Software 65(3): 199-208 (2003)
	2001
17		Michael Barnett, Wolfram Schulte: The ABCs of specification: asml, behavior, and components. Informatica (Slovenia) 25(4): (2001)
	2000
16		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
15		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
	1996
14		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)
	1995
13		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)
	1994
12		Stefan Tritscher, Roman Zajcew, Michael Barnett: Load Leveling on the Paragon Multicomputer. HPCN 1994: 330-337
11		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
	1993
10		Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 374-398
9		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
8		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
7		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
	1992
6		Michael Barnett, Christian Lengauer: Unimodularity Considered Non-Essential. CONPAR 1992: 659-664
5		Michael Barnett, Christian Lengauer: Unimodularity and the Prallelization of Loops. Parallel Processing Letters 2: 273-281 (1992)
	1991
4		Michael Barnett, Christian Lengauer: A Systolizing Compilation Scheme: Abstract. ICPP (2) 1991: 296-297
3		Michael Barnett, Christian Lengauer: The Synthesis of Systolic Programs. Research Directions in High-Level Parallel Programming Languages 1991: 309-325
2		Christian Lengauer, Michael Barnett, Duncan G. Hudson III: Towards Systolizing Compilation. Distributed Computing 5: 7-24 (1991)
	1990
1		Michael Barnett: The formal derivation of distributed programs from systolic arrays. SPDP 1990: 363-366

Coauthor Index

1	Jonathan Aldrich	[31] [32]
2	Anindya Banerjee	[33]
3	David L. Black	[7]
4	Egon Börger	[16]
5	Bor-Yuh Evan Chang	[28]
6	Jim Davies	[25]
7	Robert DeLine	[22] [26] [28]
8	Manuel Fähndrich	[22] [26] [34]
9	Robert A. van de Geijn	[8] [9] [11] [13] [14]
10	Dimitra Giannakopoulou	[31] [32]
11	Wolfgang Grieskamp	[19] [20]
12	Paulo Guedes	[7]
13	Satya Gupta	[11]
14	Yuri Gurevich	[16]
15	Peli de Halleux	[34]
16	Duncan G. Hudson III	[2]
17	Bart Jacobs	[26] [28]
18	Bradford Kemp	[7]
19	Gary T. Leavens	[31] [32]
20	Michael Leibensperger	[7]
21	K. Rustan M. Leino	[22] [26] [27] [28]
22	Christian Lengauer	[2] [3] [4] [5] [6] [10]
23	Richard J. Littlefield	[8] [9] [13]
24	John LoVerso	[7]
25	Francesco Logozzo	[34]
26	Charles J. Miller	[15]
27	Lev Nachmanson	[20]
28	David A. Naumann	[23] [24] [29] [30] [33]
29	Durriya Netterwala	[7]
30	David G. Payne	[8] [9] [11] [13] [14]
31	Chris Peak	[7]
32	Faramarz Rabii	[7]
33	Paul Roy	[7]
34	Wolfram Schulte	[16] [17] [18] [19] [20] [21] [22] [25] [26] [30]
35	Natasha Sharygina	[31] [32]
36	Lance Shuler	[11]
37	Qi Sun	[30]
38	Nikolai Tillmann	[19] [20] [21] [34]
39	Stefan Tritscher	[12]
40	Margus Veanes	[16] [19] [20]
41	Herman Venter	[26]
42	Jerrell Watts	[11] [14]
43	Roman Zajcew	[7] [12]

Colors in the list of coauthors