Follow
James Bret Michael
James Bret Michael
Professor of Computer Science, Naval Postgraduate School
Verified email at nps.edu - Homepage
Title
Cited by
Cited by
Year
Capacity analysis of traffic flow over a single-lane automated highway system
JB Michael, DN Godbole, J Lygeros, R Sengupta
Journal of Intelligent Transportation System 4 (1-2), 49-80, 1998
1201998
Quality management metrics for software development
JS Osmundson, JB Michael, MJ Machniak, MA Grossman
Information & Management 40 (8), 799-812, 2003
932003
Perspectives on the SolarWinds incident
S Peisert, B Schneier, H Okhravi, F Massacci, T Benzel, C Landwehr, ...
IEEE Security & Privacy 19 (2), 7-13, 2021
692021
Cloud to cloud interoperability
S Dowell, A Barreto, JB Michael, MT Shing
2011 6th International Conference on System of Systems Engineering, 258-263, 2011
642011
Software decoys: Intrusion detection and countermeasures
JB Michael, M Auguston, NC Rowe, R Riehle
Proc. Workshop on Inf. Assurance, 130-138, 2002
542002
Natural-language processing support for developing policy-governed software systems
JB Michael, VL Ong, NC Rowe
Proceedings 39th International Conference and Exhibition on Technology of …, 2001
502001
Environment behavior models for scenario generation and testing automation
M Auguston, JB Michael, MT Shing
ACM SIGSOFT Software Engineering Notes 30 (4), 1-6, 2005
462005
Measured responses to cyber attacks using Schmitt analysis: a case study of attack scenarios for a software-intensive system
JB Michael, TC Wingfield, D Wijesekera
Proceedings 27th Annual International Computer Software and Applications …, 2003
442003
Environment behavior models for automation of testing and assessment of system safety
M Auguston, JB Michael, MT Shing
Information and Software Technology 48 (10), 971-980, 2006
422006
A visual tradeoff space for formal verification and validation techniques
D Drusinsky, JB Michael, MT Shing
IEEE Systems Journal 2 (4), 513-519, 2008
372008
Verification and validation for trustworthy software systems
JB Michael, D Drusinsky, TW Otani, MT Shing
IEEE software 28 (6), 86-92, 2011
342011
Metrics for measuring the effectiveness of software-testing tools
JB Michael, BJ Bossuyt, BB Snyder
13th International Symposium on Software Reliability Engineering, 2002 …, 2002
342002
The verification and validation of software architecture for systems of systems
JB Michael, R Riehle, MT Shing
2009 IEEE International Conference on System of Systems Engineering (SoSE), 1-6, 2009
312009
Intelligent software decoys
JB Michael, R Riehle
Engineering Automation for Reliable Software-Interim Progress Report (10/01 …, 2001
312001
Benefit evaluation of crash avoidance systems
DN Godbole, R Sengupta, J Misener, N Kourjanskaia, JB Michael
Transportation research record 1621 (1), 1-9, 1998
311998
A Validation Metrics Framework for safety-critical software-intensive Systems
KJ Cruickshank, JB Michael, MT Shing
2009 IEEE International Conference on System of Systems Engineering (SoSE), 1-8, 2009
302009
Use of an experimental policy workbench: Description and preliminary results
EH Sibley, JB Michael, RL Wexelblat
Results of the IFIP WG 11.3 Workshop on Database Security V: Status and …, 1991
291991
Architectural patterns and auto-fusion process for automated multisensor fusion in soa system-of-systems
KJ Rothenhaus, JB Michael, MT Shing
IEEE Systems Journal 3 (3), 304-316, 2009
282009
Validating UML statechart-based assertions libraries for improved reliability and assurance
D Drusinsky, JB Michael, TW Otani, MT Shing
2008 Second International Conference on Secure System Integration and …, 2008
282008
Architectural framework for a system-of-systems
DS Caffall, JB Michael
2005 IEEE international conference on systems, man and cybernetics 2, 1876-1881, 2005
282005
The system can't perform the operation now. Try again later.
Articles 1–20