Michael Barnett

2006
29	EE	Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun: Allowing State Changes in Specifications. ETRICS 2006: 321-336
28	EE	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
27	EE	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
26	EE	Michael Barnett, K. Rustan M. Leino: Weakest-precondition of unstructured programs. PASTE 2005: 82-87
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	EE	David A. Naumann, Michael Barnett: Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. LICS 2004: 313-323
23	EE	Michael Barnett, David A. Naumann: Friends Need a Bit More: Maintaining Invariants Over Shared State. MPC 2004: 54-84
22	EE	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	EE	Michael Barnett, Wolfram Schulte, Nikolai Tillmann: Using AsmL for Runtime Verification. Abstract State Machines 2003: 407
20	EE	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	EE	Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
18	EE	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	EE	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	EE	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	EE	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	EE	Michael Barnett: The formal derivation of distributed programs from systolic arrays. SPDP 1990: 363-366

Coauthor Index

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

Colors in the list of coauthors