dblp.uni-trier.dewww.uni-trier.de

Bruce M. McMillin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
30EEThoshitha T. Gamage, Bruce M. McMillin: EM Enforcing Information Flow Properties using Compensating Events. HICSS 2009: 1-7
2008
29EERyan C. Underwood, Bruce M. McMillin, M. L. Crow: An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. COMPSAC 2008: 44-51
28EEHan Tang, Bruce M. McMillin: Security Property Violation in CPS through Timing. ICDCS Workshops 2008: 519-524
27EEAyman Z. Faza, Sahra Sedigh, Bruce M. McMillin: The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. SAFECOMP 2008: 429-439
2007
26EEBruce M. McMillin: Future Trends: Computing as a Core Discipline. COMPSAC (1) 2007: 3-7
25EEHan Tang, Bruce M. McMillin: Security of Information Flow in the Electric Power Grid. Critical Infrastructure Protection 2007: 43-56
24EEYan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape: Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid. QSIC 2007: 363-369
23EEAyman Z. Faza, Sahra Sedigh, Bruce M. McMillin: Reliability Modeling for the Advanced Electric Power Grid. SAFECOMP 2007: 370-383
2006
22EEMatt 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. COMPSAC (1) 2006: 273-280
21EEYan 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. COMPSAC (1) 2006: 281-290
20EEDavid A. Cape, Bruce M. McMillin, James K. Townsend: Model Checking Control Communication of a FACTS Device. ICPP Workshops 2006: 391-396
2005
19EEAustin Armbruster, Michael R. Gosnell, Bruce M. McMillin, M. L. Crow: Power Transmission Control Using Distributed Max Flow. COMPSAC (1) 2005: 256-263
18EEMichael R. Gosnell, Ryan Albarelli, Maggie Xiaoyan Cheng, Bruce M. McMillin: Energy Balanced Broadcasting Through Delayed Intelligence. ITCC (2) 2005: 627-632
2004
17EEAustin Armbruster, Matt Ryan, Xiaoqing Frank Liu, Ying Cheng, Bruce M. McMillin: Hardware/software co-design for power system test development. WISER 2004: 83-88
2000
16EEMartina Schollmeyer, Bruce M. McMillin: Efficient run-time assurance in distributed systems through selection of executable assertions. Journal of Systems and Software 52(1): 33-54 (2000)
1997
15EEMartina Schollmeyer, Bruce M. McMillin: A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. IEEE Trans. Parallel Distrib. Syst. 8(2): 164-172 (1997)
1996
14EECristina Serban, Bruce M. McMillin: Run-Time Security Evaluation (RTSE) for Distributed Applications. IEEE Symposium on Security and Privacy 1996: 222-237
13 Aggie Y. Sun, Bruce M. McMillin: Wheels: An Automated Program Analysis Tool. SEKE 1996: 269-276
1995
12EEMartina Schollmeyer, Bruce M. McMillin: Checking Program Proofs Made Eas. COMPSAC 1995: 102-107
11EEGrace Tsai, M. Insall, Bruce M. McMillin: Ensuring the satisfaction of a temporal specification at run-time. ICECCS 1995: 397-404
10EEChul-Eui Hong, Bruce M. McMillin: Relaxing Synchronization in Distributed Simulated Annealing. IEEE Trans. Parallel Distrib. Syst. 6(2): 189-195 (1995)
1994
9 J.-L. Liu, T. J. Sager, Bruce M. McMillin: An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes. ICPADS 1994: 508-515
8 Martina Schollmeyer, Bruce M. McMillin: A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms. PARLE 1994: 725-736
1993
7 Hanan Lutfiyya, Bruce M. McMillin, Alan Su: Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. Formal Methods in Programming and Their Applications 1993: 363-376
6 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. J. Parallel Distrib. Comput. 18(1): 89-93 (1993)
1992
5 Junlin Liu, Bruce M. McMillin: A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability. ICPP (3) 1992: 38-45
4EEBruce M. McMillin, Lionel M. Ni: Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm. IEEE Trans. Parallel Distrib. Syst. 3(4): 411-420 (1992)
3 Henry Clark, Bruce M. McMillin: DAWGS - A Distributed Compute Server Utilizing Idle Workstations. J. Parallel Distrib. Comput. 14(2): 175-186 (1992)
2EERashi Khanna, Bruce M. McMillin: SMILI: Visualization of asynchronous massively parallel programs. Journal of Systems and Software 19(3): 261-275 (1992)
1990
1 Steve Franks, Bruce M. McMillin, Rashi Khanna: PAFMV-Pairwise Asynchronous Multigrid. ICPP (1) 1990: 388-392

Coauthor Index

1Ryan Albarelli [18]
2Austin Armbruster [17] [19]
3David A. Cape [20] [24]
4Maggie Xiaoyan Cheng [18]
5Ying Cheng [17] [22]
6Henry Clark [3]
7M. L. Crow [19] [29]
8Ayman Z. Faza [23] [27]
9Steve Franks [1]
10Thoshitha T. Gamage [30]
11Michael R. Gosnell [18] [19]
12Chul-Eui Hong [10]
13M. Insall [11]
14Rashi Khanna [1] [2]
15K. Krishnamurthy [6]
16Gary G. Leininger [6]
17J.-L. Liu [9]
18Junlin Liu [5]
19Xiaoqing Frank Liu [17] [21] [22] [24]
20Hanan Lutfiyya (Hanan Lutfi Lutfiyya) [7]
21Lionel M. Ni [4]
22Matt Ryan [17] [22]
23T. J. Sager [9]
24Martina Schollmeyer [8] [12] [15] [16]
25Sahra Sedigh (Sahra Sedigh-Ali) [23] [27]
26Cristina Serban [14]
27Sule Simsek [22]
28James Edward Steck [6]
29Alan Su [7]
30Aggie Y. Sun [13]
31Yan Lindsay Sun (Yan Sun) [21] [24]
32Han Tang [25] [28]
33James K. Townsend [20]
34Grace Tsai [11]
35Ryan C. Underwood [29]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)