Bruce M. McMillin

	2012
45		Bruce M. McMillin, Ravi Akella: Verification and Protection of Confidentiality in an Advanced Smart Grid. HICSS 2012: 2169-2175
	2011
44		Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin: Confidentiality Preserving Security Properties for Cyber-Physical Systems. COMPSAC 2011: 28-37
43		Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Thomas P. Roth, Bruce M. McMillin: Invariants as a unified knowledge model for Cyber-Physical Systems. SOCA 2011: 1-8
	2010
42		Thoshitha T. Gamage, Bruce M. McMillin, Thomas P. Roth: Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation. COMPSAC Workshops 2010: 158-163
41		Jason Madden, Bruce M. McMillin, Anik Sinha: Environmental Obfuscation of a Cyber Physical System - Vehicle Example. COMPSAC Workshops 2010: 176-181
40		Ravi Akella, Bruce M. McMillin: Information Flow Analysis of Energy Management in a Smart Grid. SAFECOMP 2010: 263-276
39		Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin: Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. SAFECOMP 2010: 277-290
	2009
38		David A. Cape, Bruce M. McMillin: Dihomotopic Reduction Used in Deadlock Detection. COMPSAC (1) 2009: 648-651
37		Ravi Akella, Bruce M. McMillin: Model-Checking BNDC Properties in Cyber-Physical Systems. COMPSAC (1) 2009: 660-663
36		Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin: Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research. COMPSAC (1) 2009: 672-675
35		Derek P. Ditch, Bruce M. McMillin: The Security Implication of Multiple Observers in a Distributed System. COMPSAC (2) 2009: 341-346
34		Thoshitha T. Gamage, Bruce M. McMillin: EM Enforcing Information Flow Properties using Compensating Events. HICSS 2009: 1-7
33		Ayman 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
32		David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur: Recursive Decomposition of Progress Graphs. SSIRI 2009: 23-31
	2008
31		Ryan 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
30		Sojan 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
29		Han Tang, Bruce M. McMillin: Security Property Violation in CPS through Timing. ICDCS Workshops 2008: 519-524
28		Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin: The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling. SAFECOMP 2008: 429-439
27		William 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
26		Bruce M. McMillin: Future Trends: Computing as a Core Discipline. COMPSAC (1) 2007: 3-7
25		Han Tang, Bruce M. McMillin: Security of Information Flow in the Electric Power Grid. Critical Infrastructure Protection 2007: 43-56
24		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		Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin: Reliability Modeling for the Advanced Electric Power Grid. SAFECOMP 2007: 370-383
	2006
22		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		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		David A. Cape, Bruce M. McMillin, James K. Townsend: Model Checking Control Communication of a FACTS Device. ICPP Workshops 2006: 391-396
	2005
19		Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin, Mariesa L. Crow: Power Transmission Control Using Distributed Max Flow. COMPSAC (1) 2005: 256-263
18		Michael R. Gosnell, Ryan Albarelli, Maggie Xiaoyan Cheng, Bruce M. McMillin: Energy Balanced Broadcasting Through Delayed Intelligence. ITCC (2) 2005: 627-632
	2004
17		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		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		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		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		Martina Schollmeyer, Bruce M. McMillin: Checking Program Proofs Made Eas. COMPSAC 1995: 102-107
11		Grace Tsai, M. Insall, Bruce M. McMillin: Ensuring the satisfaction of a temporal specification at run-time. ICECCS 1995: 397-404
10		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		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		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

Coauthor Index

1	Ravi Akella	[37] [40] [45]
2	Ryan Albarelli	[18]
3	Austin Armbruster	[17] [19]
4	Stanley Atcitty	[27]
5	David A. Cape	[20] [24] [32] [38]
6	Maggie Xiaoyan Cheng (Maggie X. Cheng)	[18]
7	Ying Cheng	[17] [22]
8	Henry Clark	[3]
9	Mariesa L. Crow	[19] [27] [31]
10	Derek P. Ditch	[35]
11	Ayman Z. Faza	[23] [28] [33] [36] [39]
12	Steve Franks	[1]
13	Thoshitha T. Gamage	[34] [42] [44]
14	Michael R. Gosnell	[18] [19]
15	Chul-Eui Hong	[10]
16	M. Insall	[11]
17	Rashi Khanna	[1] [2]
18	Jonathan W. Kimball	[43]
19	K. Krishnamurthy	[6]
20	Gary G. Leininger	[6]
21	J.-L. Liu	[9]
22	Junlin Liu	[5]
23	Xiaoqing Frank Liu	[17] [21] [22] [24] [30]
24	Hanan Lutfiyya (Hanan Lutfi Lutfiyya)	[7]
25	Jason Madden	[41]
26	Sojan Markose	[30]
27	Ann Miller	[27]
28	Lionel M. Ni	[4]
29	Benjamin W. Passer	[32]
30	Tamal Paul	[43]
31	Thomas P. Roth	[42] [43] [44]
32	Matt Ryan	[17] [22]
33	T. J. Sager	[9]
34	Martina Schollmeyer	[8] [12] [15] [16]
35	Sahra Sedigh (Sahra Sedigh-Ali)	[23] [28] [33] [36] [39]
36	Cristina Serban	[14]
37	William M. Siever	[27]
38	Sule Simsek	[22]
39	Anik Sinha	[41]
40	James Edward Steck	[6]
41	Alan Su	[7]
42	Aggie Y. Sun	[13]
43	Yan Lindsay Sun (Yan Sun)	[21] [24]
44	Han Tang	[25] [29]
45	Daniel R. Tauritz	[27]
46	Mayur Thakur	[32]
47	James K. Townsend	[20]
48	Grace Tsai	[11]
49	Ryan C. Underwood	[31]
50	Maciej J. Zawodniok	[43]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page