The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Bruce M. McMillin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin, M. L. Crow
    Power Transmission Control Using Distributed Max Flow. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:256-263 [Conf]
  2. Martina Schollmeyer, Bruce M. McMillin
    Checking Program Proofs Made Eas. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:102-107 [Conf]
  3. Matt Ryan, Sule Simsek, Xiaoqing Frank Liu, Bruce M. McMillin, Ying Cheng
    An Instance-Based Structured Object Oriented Method for Co-analysis/Co-design of Concurrent Embedded Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:273-280 [Conf]
  4. Yan Sun, Xiaoqing Frank Liu, Bruce M. McMillin
    A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2006, pp:281-290 [Conf]
  5. Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
    Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:363-376 [Conf]
  6. Grace Tsai, M. Insall, Bruce M. McMillin
    Ensuring the satisfaction of a temporal specification at run-time. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:397-404 [Conf]
  7. J.-L. Liu, T. J. Sager, Bruce M. McMillin
    An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes. [Citation Graph (0, 0)][DBLP]
    ICPADS, 1994, pp:508-515 [Conf]
  8. Steve Franks, Bruce M. McMillin, Rashi Khanna
    PAFMV-Pairwise Asynchronous Multigrid. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1990, pp:388-392 [Conf]
  9. Junlin Liu, Bruce M. McMillin
    A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability. [Citation Graph (0, 0)][DBLP]
    ICPP (3), 1992, pp:38-45 [Conf]
  10. David A. Cape, Bruce M. McMillin, James K. Townsend
    Model Checking Control Communication of a FACTS Device. [Citation Graph (0, 0)][DBLP]
    ICPP Workshops, 2006, pp:391-396 [Conf]
  11. Michael R. Gosnell, Ryan Albarelli, Maggie Xiaoyan Cheng, Bruce M. McMillin
    Energy Balanced Broadcasting Through Delayed Intelligence. [Citation Graph (0, 0)][DBLP]
    ITCC (2), 2005, pp:627-632 [Conf]
  12. Martina Schollmeyer, Bruce M. McMillin
    A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:725-736 [Conf]
  13. Aggie Y. Sun, Bruce M. McMillin
    Wheels: An Automated Program Analysis Tool. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:269-276 [Conf]
  14. Cristina Serban, Bruce M. McMillin
    Run-Time Security Evaluation (RTSE) for Distributed Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Symposium on Security and Privacy, 1996, pp:222-237 [Conf]
  15. Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, Ying Cheng, Bruce M. McMillin
    Hardware/software co-design for power system test development. [Citation Graph (0, 0)][DBLP]
    WISER, 2004, pp:83-88 [Conf]
  16. Henry Clark, Bruce M. McMillin
    DAWGS - A Distributed Compute Server Utilizing Idle Workstations. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1992, v:14, n:2, pp:175-186 [Journal]
  17. James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, Gary G. Leininger
    Parallel Implementation of a Recursive Least-Squares Neural Network Training Method on the Intel iPSC/2. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1993, v:18, n:1, pp:89-93 [Journal]
  18. Rashi Khanna, Bruce M. McMillin
    SMILI: Visualization of asynchronous massively parallel programs. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1992, v:19, n:3, pp:261-275 [Journal]
  19. Martina Schollmeyer, Bruce M. McMillin
    Efficient run-time assurance in distributed systems through selection of executable assertions. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2000, v:52, n:1, pp:33-54 [Journal]
  20. Chul-Eui Hong, Bruce M. McMillin
    Relaxing Synchronization in Distributed Simulated Annealing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1995, v:6, n:2, pp:189-195 [Journal]
  21. Bruce M. McMillin, Lionel M. Ni
    Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1992, v:3, n:4, pp:411-420 [Journal]
  22. Martina Schollmeyer, Bruce M. McMillin
    A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1997, v:8, n:2, pp:164-172 [Journal]
  23. Bruce M. McMillin
    Future Trends: Computing as a Core Discipline. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2007, pp:3-7 [Conf]
  24. Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin
    Reliability Modeling for the Advanced Electric Power Grid. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2007, pp:370-383 [Conf]

  25. An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. [Citation Graph (, )][DBLP]


  26. Model-Checking BNDC Properties in Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  27. Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research. [Citation Graph (, )][DBLP]


  28. Dihomotopic Reduction Used in Deadlock Detection. [Citation Graph (, )][DBLP]


  29. The Security Implication of Multiple Observers in a Distributed System. [Citation Graph (, )][DBLP]


  30. A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems. [Citation Graph (, )][DBLP]


  31. EM Enforcing Information Flow Properties using Compensating Events. [Citation Graph (, )][DBLP]


  32. Security Property Violation in CPS through Timing. [Citation Graph (, )][DBLP]


  33. Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. [Citation Graph (, )][DBLP]


  34. Information Flow Analysis of Energy Management in a Smart Grid. [Citation Graph (, )][DBLP]


  35. Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. [Citation Graph (, )][DBLP]


  36. The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. [Citation Graph (, )][DBLP]


  37. Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. [Citation Graph (, )][DBLP]


  38. Security of Information Flow in the Electric Power Grid. [Citation Graph (, )][DBLP]


  39. Recursive Decomposition of Progress Graphs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.153secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002