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

Bruce M. McMillin Vis

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

*2009
33EEThoshitha T. Gamage, Bruce M. McMillin: EM Enforcing Information Flow Properties using Compensating Events. HICSS 2009: 1-7
32EEAyman Z. Faza, Sahra Sedigh, Bruce M. McMillin: Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. SAFECOMP 2009: 257-269
2008
31EERyan C. Underwood, Bruce M. McMillin, Mariesa L. Crow: An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation. COMPSAC 2008: 44-51
30EESojan Markose, Xiaoqing Frank Liu, Bruce M. McMillin: A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems. EUC (1) 2008: 75-81
29EEHan Tang, Bruce M. McMillin: Security Property Violation in CPS through Timing. ICDCS Workshops 2008: 519-524
28EEAyman Z. Faza, Sahra Sedigh, Bruce M. McMillin: The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. SAFECOMP 2008: 429-439
27EEWilliam M. Siever, Daniel R. Tauritz, Ann Miller, Mariesa L. Crow, Bruce M. McMillin, Stanley Atcitty: Symbolic Reduction for High-Speed Power System Simulation. Simulation 84(6): 297-309 (2008)
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, Mariesa 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
7EEHanan 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]
3Stanley Atcitty [27]
4David A. Cape [20] [24]
5Maggie Xiaoyan Cheng [18]
6Ying Cheng [17] [22]
7Henry Clark [3]
8Mariesa L. Crow [19] [27] [31]
9Ayman Z. Faza [23] [28] [32]
10Steve Franks [1]
11Thoshitha T. Gamage [33]
12Michael R. Gosnell [18] [19]
13Chul-Eui Hong [10]
14M. Insall [11]
15Rashi Khanna [1] [2]
16K. Krishnamurthy [6]
17Gary G. Leininger [6]
18J.-L. Liu [9]
19Junlin Liu [5]
20Xiaoqing Frank Liu [17] [21] [22] [24] [30]
21Hanan Lutfiyya (Hanan Lutfi Lutfiyya) [7]
22Sojan Markose [30]
23Ann Miller [27]
24Lionel M. Ni [4]
25Matt Ryan [17] [22]
26T. J. Sager [9]
27Martina Schollmeyer [8] [12] [15] [16]
28Sahra Sedigh (Sahra Sedigh-Ali) [23] [28] [32]
29Cristina Serban [14]
30William M. Siever [27]
31Sule Simsek [22]
32James Edward Steck [6]
33Alan Su [7]
34Aggie Y. Sun [13]
35Yan Lindsay Sun (Yan Sun) [21] [24]
36Han Tang [25] [29]
37Daniel R. Tauritz [27]
38James K. Townsend [20]
39Grace Tsai [11]
40Ryan C. Underwood [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)