The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Barnett: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Using Abstract State Machines at Microsoft: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:367-379 [Conf]
  2. Michael Barnett, Wolfram Schulte, Nikolai Tillmann
    Using AsmL for Runtime Verification. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:407- [Conf]
  3. Michael Barnett, Christian Lengauer
    Unimodularity Considered Non-Essential. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1992, pp:659-664 [Conf]
  4. Michael Barnett, David A. Naumann, Wolfram Schulte, Qi Sun
    Allowing State Changes in Specifications. [Citation Graph (0, 0)][DBLP]
    ETRICS, 2006, pp:321-336 [Conf]
  5. Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Towards a Tool Environment for Model-Based Testing with AsmL. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:252-266 [Conf]
  6. Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs 0002, K. Rustan M. Leino
    Boogie: A Modular Reusable Verifier for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:364-387 [Conf]
  7. Michael Barnett, Christian Lengauer
    The Synthesis of Systolic Programs. [Citation Graph (0, 0)][DBLP]
    Research Directions in High-Level Parallel Programming Languages, 1991, pp:309-325 [Conf]
  8. Stefan Tritscher, Roman Zajcew, Michael Barnett
    Load Leveling on the Paragon Multicomputer. [Citation Graph (0, 0)][DBLP]
    HPCN, 1994, pp:330-337 [Conf]
  9. Michael Barnett, Christian Lengauer
    A Systolizing Compilation Scheme: Abstract. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1991, pp:296-297 [Conf]
  10. Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn
    Global Combine on Mesh Architectures with Wormhole Routing. [Citation Graph (0, 0)][DBLP]
    IPPS, 1993, pp:156-162 [Conf]
  11. David A. Naumann, Michael Barnett
    Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:313-323 [Conf]
  12. Michael Barnett, Christian Lengauer
    A Systolizing Compilation Scheme for Nested Loops with Linear Bounds. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:374-398 [Conf]
  13. Michael Barnett, David A. Naumann
    Friends Need a Bit More: Maintaining Invariants Over Shared State. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:54-84 [Conf]
  14. Michael Barnett, K. Rustan M. Leino
    Weakest-precondition of unstructured programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:82-87 [Conf]
  15. Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn
    Efficient Communication Primitives on Mesh Architectures with Hardware Routing. [Citation Graph (0, 0)][DBLP]
    PPSC, 1993, pp:943-948 [Conf]
  16. Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Validating Use-Cases with the AsmL Test Tool. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:238-246 [Conf]
  17. Michael Barnett, Lance Shuler, Satya Gupta, David G. Payne, Robert A. van de Geijn, Jerrell Watts
    Building a high-performance collective communication library. [Citation Graph (0, 0)][DBLP]
    SC, 1994, pp:107-116 [Conf]
  18. Michael Barnett
    The formal derivation of distributed programs from systolic arrays. [Citation Graph (0, 0)][DBLP]
    SPDP, 1990, pp:363-366 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    USENIX Winter, 1993, pp:449-468 [Conf]
  20. Michael Barnett, Charles J. Miller
    Analysis of the virtual enterprise using distributed supply chain modeling and simulation: an application of e-SCOR. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2000, pp:352-355 [Conf]
  21. Christian Lengauer, Michael Barnett, Duncan G. Hudson III
    Towards Systolizing Compilation. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1991, v:5, n:, pp:7-24 [Journal]
  22. Michael Barnett, Wolfram Schulte
    The ABCs of specification: asml, behavior, and components. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 2001, v:25, n:4, pp:- [Journal]
  23. Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
    Verification of Object-Oriented Programs with Invariants. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:6, pp:27-56 [Journal]
  24. Michael Barnett, Richard J. Littlefield, David G. Payne, Robert A. van de Geijn
    Global Combine Algorithms for 2-D Meshes with Wormhole Routing. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:24, n:2, pp:191-201 [Journal]
  25. Michael Barnett, David G. Payne, Robert A. van de Geijn, Jerrell Watts
    Broadcasting on Meshes with Wormhole Routing. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1996, v:35, n:2, pp:111-122 [Journal]
  26. Michael Barnett, Wolfram Schulte
    Runtime verification of .NET contracts. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:65, n:3, pp:199-208 [Journal]
  27. Michael Barnett, Christian Lengauer
    Unimodularity and the Prallelization of Loops. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1992, v:2, n:, pp:273-281 [Journal]
  28. David A. Naumann, Michael Barnett
    Towards imperative modules: Reasoning about invariants and sharing of mutable state. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:143-168 [Journal]
  29. Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
    Specification and verification of component-based systems 2007. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:609-610 [Conf]

  30. Exploiting the synergy between automated-test-generation and programming-by-contract. [Citation Graph (, )][DBLP]


  31. Embedded contract languages. [Citation Graph (, )][DBLP]


  32. Specification and verification of component-based systems 2007. [Citation Graph (, )][DBLP]


  33. Boogie Meets Regions: A Verification Experience Report. [Citation Graph (, )][DBLP]


  34. To Goto Where No Statement Has Gone Before. [Citation Graph (, )][DBLP]


  35. The Spec# Programming System: Challenges and Directions. [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.026secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002