Search results for "Bruce M. McMillin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bruce M. McMillin, Ravi Akella	Verification and Protection of Confidentiality in an Advanced Smart Grid.	HICSS	2012	DBLP DOI BibTeX RDF
1	Thoshitha T. Gamage, Thomas P. Roth, Bruce M. McMillin	Confidentiality Preserving Security Properties for Cyber-Physical Systems.	COMPSAC	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jason Madden, Bruce M. McMillin, Anik Sinha	Environmental Obfuscation of a Cyber Physical System - Vehicle Example.	COMPSAC Workshops	2010	DBLP DOI BibTeX RDF
1	Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin	Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Ravi Akella, Bruce M. McMillin	Information Flow Analysis of Energy Management in a Smart Grid.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin	Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Derek P. Ditch, Bruce M. McMillin	The Security Implication of Multiple Observers in a Distributed System.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Ravi Akella, Bruce M. McMillin	Model-Checking BNDC Properties in Cyber-Physical Systems.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	David A. Cape, Bruce M. McMillin	Dihomotopic Reduction Used in Deadlock Detection.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	failure propagation, cyber-physical, FACTS devices, reliability analysis, power grid
1	Thoshitha T. Gamage, Bruce M. McMillin	EM Enforcing Information Flow Properties using Compensating Events.	HICSS	2009	DBLP DOI BibTeX RDF
1	David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur	Recursive Decomposition of Progress Graphs.	SSIRI	2009	DBLP DOI BibTeX RDF	dihomotopy, verification, deadlock, SPIN, LTL
1	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	2008	DBLP DOI BibTeX RDF
1	Han Tang, Bruce M. McMillin	Security Property Violation in CPS through Timing.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
1	Ryan C. Underwood, Bruce M. McMillin, Mariesa L. Crow	An Open Framework for Highly Concurrent Real-Time Hardware-in-the-Loop Simulation.	COMPSAC	2008	DBLP DOI BibTeX RDF	HIL, Simulation, Real-Time, Power
1	Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin	The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Reliability, power grid, complexity reduction
1	Sojan Markose, Xiaoqing Frank Liu, Bruce M. McMillin	A Systematic Framework for Structured Object-Oriented Security Requirements Analysis in Embedded Systems.	EUC	2008	DBLP DOI BibTeX RDF
1	Bruce M. McMillin	Future Trends: Computing as a Core Discipline.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin	Reliability Modeling for the Advanced Electric Power Grid.	SAFECOMP	2007	DBLP DOI BibTeX RDF	cyber-physical, Reliability, embedded, power grid, FACTS
1	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	DBLP DOI BibTeX RDF
1	Han Tang, Bruce M. McMillin	Security of Information Flow in the Electric Power Grid.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	information flow, confidentiality, power grid, Cyber-physical systems
1	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	2006	DBLP DOI BibTeX RDF
1	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	2006	DBLP DOI BibTeX RDF
1	David A. Cape, Bruce M. McMillin, James K. Townsend	Model Checking Control Communication of a FACTS Device.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	lossy, model-checking, communication, verification, real-time, protocol, control, FACTS
1	Austin Armbruster, Michael R. Gosnell, Bruce M. McMillin, Mariesa L. Crow	Power Transmission Control Using Distributed Max Flow.	COMPSAC	2005	DBLP DOI BibTeX RDF	FT Algorithms, FT Communication, Fault Injection, maximum flow, power system
1	Michael R. Gosnell, Ryan Albarelli, Maggie Xiaoyan Cheng, Bruce M. McMillin	Energy Balanced Broadcasting Through Delayed Intelligence.	ITCC	2005	DBLP DOI BibTeX RDF	Load Balancing, Broadcasting, Wireless Ad Hoc Network, Energy Conservation, On-Demand Routing
1	Austin Armbruster, Matt Ryan, Xiaoqing Frank Liu, Ying Cheng, Bruce M. McMillin	Hardware/software co-design for power system test development.	WISER	2004	DBLP DOI BibTeX RDF	HOOMT, test development, hardware/software co-design, system test
1	Martina Schollmeyer, Bruce M. McMillin	Efficient run-time assurance in distributed systems through selection of executable assertions.	Journal of Systems and Software	2000	DBLP DOI BibTeX RDF
1	Martina Schollmeyer, Bruce M. McMillin	A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	fault tolerance, architecture, mapping, Error detection, multicomputers, fault-tolerant algorithms
1	Cristina Serban, Bruce M. McMillin	Run-Time Security Evaluation (RTSE) for Distributed Applications.	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF
1	Aggie Y. Sun, Bruce M. McMillin	Wheels: An Automated Program Analysis Tool.	SEKE	1996	DBLP BibTeX RDF
1	Chul-Eui Hong, Bruce M. McMillin	Relaxing Synchronization in Distributed Simulated Annealing.	IEEE Trans. Parallel Distrib. Syst.	1995	DBLP DOI BibTeX RDF
1	Martina Schollmeyer, Bruce M. McMillin	Checking Program Proofs Made Eas. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification
1	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
1	Martina Schollmeyer, Bruce M. McMillin	A General Method for Maximizing the Error-Detecting Ability of Distributed Algorithms.	PARLE	1994	DBLP DOI BibTeX RDF
1	J.-L. Liu, T. J. Sager, Bruce M. McMillin	An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes.	ICPADS	1994	DBLP BibTeX RDF
1	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.	1993	DBLP DOI BibTeX RDF
1	Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002	Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Concurrent Program Verification, Changeling, Fault Tolerance, Formal Methods, Distributed Databases, Transformation, Executable Assertions
1	Bruce M. McMillin, Lionel M. Ni	Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	reliable distributed sorting, noniterative convergence, application-oriented faulttolerance, fault-tolerant parallel sorting algorithm, processor/link failure, host sorting, bitonic sort/merge, parallel programming, fault tolerant computing, sorting, programming theory, parallelalgorithms, performance penalty, n-cube
1	Rashi Khanna, Bruce M. McMillin	SMILI: Visualization of asynchronous massively parallel programs.	Journal of Systems and Software	1992	DBLP DOI BibTeX RDF
1	Henry Clark, Bruce M. McMillin	DAWGS - A Distributed Compute Server Utilizing Idle Workstations.	J. Parallel Distrib. Comput.	1992	DBLP DOI BibTeX RDF
1	Junlin Liu, Bruce M. McMillin	A Divide and Conquer Ring Embedding Scheme in Hypercubes with Efficient Recovery Ability.	ICPP	1992	DBLP BibTeX RDF
1	Steve Franks, Bruce M. McMillin, Rashi Khanna	PAFMV-Pairwise Asynchronous Multigrid.	ICPP	1990	DBLP BibTeX RDF

Publications of "Bruce M. McMillin" ( http://dblp.L3S.de/Authors/Bruce_M._McMillin )