J. Bret Michael

14 papers A 1Journal 2Unranked 11

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	The Mobile Software App Takeover. IEEE Softw. Jeffrey M. Voas, J. Bret Michael, Michiel van Genuchten
2011	—	`conf`	A security and usability perspective of cloud file systems. SoSE Alex J. Nelson, George W. Dinolt, J. Bret Michael, Man-tak Shing
2011	—	`conf`	Cloud to cloud interoperability. SoSE Scott Dowell, Albert Barreto, J. Bret Michael, Man-tak Shing
2011	J	`jnl`	Flow-Specific Medium Access for Networked Satellite System. IEEE Syst. J. T. Owens Walker III, Murali Tummala, John C. McEachen, J. Bret Michael
2011	—	`conf`	Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. SoSE Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing
2011	—	`conf`	Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization. SoSE Doron Drusinsky, J. Bret Michael, Thomas W. Otani, Man-tak Shing
2011	—	`conf`	Rapid runtime system verification using automatic source code instrumentation. SoSE Doron Drusinsky, J. Bret Michael, Man-tak Shing
2009	—	`conf`	Medium access for hybrid, large-scale wireless networks for missile defense. SoSE T. Owens Walker III, Murali Tummala, John C. McEachen, J. Bret Michael
2008	—	`conf`	Interface hazard analysis for system of systems. SoSE Patrick J. Redmond, J. Bret Michael, Paul V. Shebalin
2008	—	`conf`	Multistage security for hybrid, large-scale, mobile wireless sensor networks for missile defense. SoSE Grigorios Katsis, T. Owens Walker III, Panagiotis Katopodis, Murali Tummala, J. Bret Michael
2007	—	`conf`	A Distributed Medium Access Control Protocol for Wireless Networks of Cooperative Radar Systems. SoSE T. Owens Walker III, Murali Tummala, J. Bret Michael
2007	—	`conf`	A Hybrid, Large-scale Wireless Sensor Network for Missile Defense. SoSE Panagiotis Katopodis, Grigorios Katsis, T. Owens Walker III, Murali Tummala, J. Bret Michael
2007	—	`conf`	Boost Phase Ballistic Missile Defense Using Multiple Hypothesis Tracking. SoSE B. Rakdham, Murali Tummala, Phillip E. Pace, J. Bret Michael, Z. P. Pace
1993	A	`conf`	The role of policy in requirements definition. RE Edgar H. Sibley, Richard L. Wexelblat, J. Bret Michael, Michael C. Tanner, David C. Littman