2009 |
30 | EE | Thoshitha T. Gamage,
Bruce M. McMillin:
EM Enforcing Information Flow Properties using Compensating Events.
HICSS 2009: 1-7 |
2008 |
29 | EE | Ryan 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 |
28 | EE | Han Tang,
Bruce M. McMillin:
Security Property Violation in CPS through Timing.
ICDCS Workshops 2008: 519-524 |
27 | EE | Ayman Z. Faza,
Sahra Sedigh,
Bruce M. McMillin:
The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling.
SAFECOMP 2008: 429-439 |
2007 |
26 | EE | Bruce M. McMillin:
Future Trends: Computing as a Core Discipline.
COMPSAC (1) 2007: 3-7 |
25 | EE | Han Tang,
Bruce M. McMillin:
Security of Information Flow in the Electric Power Grid.
Critical Infrastructure Protection 2007: 43-56 |
24 | EE | Yan 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 |
23 | EE | Ayman Z. Faza,
Sahra Sedigh,
Bruce M. McMillin:
Reliability Modeling for the Advanced Electric Power Grid.
SAFECOMP 2007: 370-383 |
2006 |
22 | EE | 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.
COMPSAC (1) 2006: 273-280 |
21 | EE | 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.
COMPSAC (1) 2006: 281-290 |
20 | EE | David A. Cape,
Bruce M. McMillin,
James K. Townsend:
Model Checking Control Communication of a FACTS Device.
ICPP Workshops 2006: 391-396 |
2005 |
19 | EE | Austin Armbruster,
Michael R. Gosnell,
Bruce M. McMillin,
M. L. Crow:
Power Transmission Control Using Distributed Max Flow.
COMPSAC (1) 2005: 256-263 |
18 | EE | Michael R. Gosnell,
Ryan Albarelli,
Maggie Xiaoyan Cheng,
Bruce M. McMillin:
Energy Balanced Broadcasting Through Delayed Intelligence.
ITCC (2) 2005: 627-632 |
2004 |
17 | EE | Austin 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 |
16 | EE | Martina 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 |
15 | EE | Martina 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 |
14 | EE | Cristina 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 |
12 | EE | Martina Schollmeyer,
Bruce M. McMillin:
Checking Program Proofs Made Eas.
COMPSAC 1995: 102-107 |
11 | EE | Grace Tsai,
M. Insall,
Bruce M. McMillin:
Ensuring the satisfaction of a temporal specification at run-time.
ICECCS 1995: 397-404 |
10 | EE | Chul-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 |
4 | EE | Bruce 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) |
2 | EE | Rashi 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 |