A Changepoint Method for Open-World Novelty Detection
McLure, Matthew D., Musliner, David J.
Published in IGARSS 2022 - 2022 IEEE International Geoscience and Remote Sensing Symposium (17.07.2022)
Published in IGARSS 2022 - 2022 IEEE International Geoscience and Remote Sensing Symposium (17.07.2022)
Get full text
Conference Proceeding
Automatically Repairing Stripped Executables with CFG Microsurgery
Friedman, Scott E., Musliner, David J.
Published in 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.09.2015)
Published in 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.09.2015)
Get full text
Conference Proceeding
Using model checking to guarantee safety in automatically-synthesized real-time controllers
Musliner, D.J., Goldman, R.P., Pelican, M.J.
Published in Proceedings - IEEE International Conference on Robotics and Automation (2000)
Published in Proceedings - IEEE International Conference on Robotics and Automation (2000)
Get full text
Conference Proceeding
Journal Article
Delegation to Automation: Performance and Implications in Non-optimal Situations
Miller, Christopher A., Shaw, Tyler H., Hamell, Joshua D., Emfield, Adam, Musliner, David J., de Visser, Ewart, Parasurman, Raja
Published in Engineering Psychology and Cognitive Ergonomics (2011)
Published in Engineering Psychology and Cognitive Ergonomics (2011)
Get full text
Book Chapter
World modeling for the dynamic construction of real-time control plans
Musliner, David J., Durfee, Edmund H., Shin, Kang G.
Published in Artificial intelligence (01.03.1995)
Published in Artificial intelligence (01.03.1995)
Get full text
Journal Article
Self-Adaptation Metrics for Active Cybersecurity
Musliner, David J., Friedman, Scott E., Marble, Tom, Rye, Jeffrey M., Boldt, Michael W., Pelican, Michael
Published in 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (01.09.2013)
Published in 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (01.09.2013)
Get full text
Conference Proceeding
Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER
Musliner, D. J., Rye, J. M., Marble, T.
Published in 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.09.2012)
Published in 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.09.2012)
Get full text
Conference Proceeding
Meta-control for Adaptive Cybersecurity in FUZZBUSTER
Musliner, David J., Friedman, Scott E., Rye, Jeffrey M., Marble, Tom
Published in 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems (01.09.2013)
Published in 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems (01.09.2013)
Get full text
Conference Proceeding
Automated Self-Adaptation for Cyber-Defense -- Pushing Adaptive Perimeter Protection Inward
Benyo, Brett, Pal, Partha, Schantz, Richard, Paulos, Aaron, Musliner, David J., Marble, Tom, Rye, Jeffrey M., Boldt, Michael W., Friedman, Scott
Published in 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (01.09.2013)
Published in 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops (01.09.2013)
Get full text
Conference Proceeding
Priority-Based Meta-control within Hierarchical Task Network Planning
Musliner, D J, Goldman, R P
Published in 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (01.09.2010)
Published in 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop (01.09.2010)
Get full text
Conference Proceeding
FUZZBUSTER: Towards Adaptive Immunity from Cyber Threats
Musliner, D. J., Rye, J. M., Thomsen, D., McDonald, D. D., Burstein, M. H., Robertson, P.
Published in 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.10.2011)
Published in 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (01.10.2011)
Get full text
Conference Proceeding
Incremental Verification for On-the-Fly Controller Synthesis
Musliner, David J., Pelican, Michael J.S., Goldman, Robert P.
Published in Electronic notes in theoretical computer science (14.02.2006)
Published in Electronic notes in theoretical computer science (14.02.2006)
Get full text
Journal Article
The challenges of real-time AI
Musliner, D.J., Hendler, J.A., Agrawala, A.K., Durfee, E.H., Strosnider, J.K., Paul, C.J.
Published in Computer (Long Beach, Calif.) (01.01.1995)
Published in Computer (Long Beach, Calif.) (01.01.1995)
Get full text
Journal Article
CIRCA: a cooperative intelligent real-time control architecture
Musliner, D.J., Durfee, E.H., Shin, K.G.
Published in IEEE transactions on systems, man, and cybernetics (01.11.1993)
Published in IEEE transactions on systems, man, and cybernetics (01.11.1993)
Get full text
Journal Article