BIBDB: A Bibliographic Database for Collaboration. - David J. Musliner; James W. Dolter; Kang G. Shin (CSCW, 1992)

CIRCA: a cooperative intelligent real-time control architecture. - David J. Musliner; Edmund H. Durfee; Kang G. Shin (IEEE Trans. Syst. Man Cybern., 1993)

CIRCA: The Cooperative Intelligent Real-time Control Architecture. - David J. Musliner (1993)

Using Abstraction and Nondeterminism to Plan Reaction Loops. - David J. Musliner (AAAI, 1994)

World Modeling for the Dynamic Construction of Real-Time Control Plans. - David J. Musliner; Edmund H. Durfee; Kang G. Shin (Artif. Intell., 1995)

The Challenges of Real-Time All. - David J. Musliner; James A. Hendler; Ashok K. Agrawala; Edmund H. Durfee; Jay K. Strosnider; C. J. Paul (Computer, 1995)

Guaranteeing Safety in Spatially Situated Agents. - Robert C. Kohout; James A. Hendler; David J. Musliner (AAAI/IAAI, Vol. 2, 1996)

Agent and Task Modeling at Honeywell. - David J. Musliner; Christopher A. Miller 001 (Agent Modeling, 1996)

Dynamic Abstraction Planning. - Robert P. Goldman; David J. Musliner; Kurt D. Krebsbach; Mark S. Boddy (AAAI/IAAI, 1997)

Contract-Based Distributed Scheduling for Distributed Processing. - David J. Musliner; Mark S. Boddy (AAAI Workshop: Constraints & Agents, 1997)

Agents: Mobility and Communication. - Dejan S. Milojicic; David J. Musliner; Wolfgang Schröder-Preikschat (HICSS (7), 1998)

Self-adaptive software for hard real-time environments. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican; Kurt D. Krebsbach (IEEE Intell. Syst., 1999)

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican (ICRA, 2000)

Coordinated deployment of multiple, heterogeneous robots. - Reid G. Simmons; David Apfelbaum; Dieter Fox; Robert P. Goldman; Karen Zita Haigh; David J. Musliner; Michael J. S. Pelican; Sebastian Thrun (IROS, 2000)

Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. - David J. Musliner (IWSAS, 2000)

Reports on the AAAI Spring Symposia (March 1999). - David J. Musliner; Barney Pell; Wolff Dobson; Kai Goebel; Gautam Biswas; Sheila A. McIlraith; Giuseppina C. Gini; Sven Koenig; Shlomo Zilberstein; Weixiong Zhang (AI Mag., 2000)

Modifying HYTECH to automatically synthesize hybrid controllers. - Ranjana G. Deshpande; David J. Musliner; Jorge E. Tierno; Robert P. Goldman (CDC, 2001)

Planning with increasingly complex executive models. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican (IROS, 2001)

Managing Online Self-adaptation in Real-Time Environments. - Robert P. Goldman; David J. Musliner; Kurt D. Krebsbach (IWSAS, 2001)

Applications of Model Checking at Honeywell Laboratories. - Darren D. Cofer; Eric Engstrom; Robert P. Goldman; David J. Musliner; Steve Vestal (SPIN, 2001)

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. - Robert P. Goldman; David J. Musliner; Michael J. S. Pelican (HSCC, 2002)

A Framework for Planning in Continuous-time Stochastic Domains. - Håkan L. S. Younes; David J. Musliner; Reid G. Simmons (ICAPS, 2003)

CIRCADIA Demonstration: Active Adaptive Defense. - David J. Musliner (DISCEX (2), 2003)

Balancing Safety Against Performance: Tradeoffs in Internet Security. - Vu A. Ha; David J. Musliner (HICSS, 2003)

Guiding Planner Backjumping Using Verifier Traces. - Robert P. Goldman; Michael J. S. Pelican; David J. Musliner (ICAPS, 2004)

Projection and Reaction for Decision Support in Refineries: Combining Multiple Theories. - Kurt D. Krebsbach; David J. Musliner (AAAI Spring Symposium: Challenges to Decision Support in a Changing World, 2005)

Deliberation scheduling strategies for adaptive mission planning in real-time environments. - David J. Musliner; Robert P. Goldman; Kurt D. Krebsbach (AAAI Spring Symposium: Metacognition in Computation, 2005)

Incremental Verification for On-the-Fly Controller Synthesis. - David J. Musliner; Michael J. S. Pelican; Robert P. Goldman (MoChArt@CONCUR/SPIN, 2005)

Organizing Committee. - Edmund H. Durfee; David J. Musliner (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

Preface. - Edmund H. Durfee; David J. Musliner (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

Coordinated Plan Management Using Multiagent MDPs. - David J. Musliner; Edmund H. Durfee; Jianhui Wu 006; Dmitri A. Dolgov; Robert P. Goldman; Mark S. Boddy (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

AAAI 2006 Spring Symposium Reports. - Andreas Abecker; Rachid Alami 001; Chitta Baral; Timothy W. Bickmore; Edmund H. Durfee; Terry Fong; Mehmet H. Göker; Nancy L. Green; Mark Y. Liberman; Christian Lebiere; James H. Martin; Gregoris Mentzas; et al. (AI Mag., 2006)

"Unrolling" Complex Task Models into MDPs. - Robert P. Goldman; David J. Musliner; Mark S. Boddy; Edmund H. Durfee; Jianhui Wu 006 (AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents, 2007)

The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. - David J. Musliner; Michael J. S. Pelican; Robert P. Goldman; Kurt D. Krebsbach; Edmund H. Durfee (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

Controlling deliberation in a Markov decision process-based agent. - George Alexander; Anita Raja; David J. Musliner (AAMAS (1), 2008)

Building Coordinated Real-Time Control Plans. - David J. Musliner; Michael J. S. Pelican; Kurt D. Krebsbach (Safety and Security in Multiagent Systems, 2009)

Priority-Based Meta-control within Hierarchical Task Network Planning. - David J. Musliner; Robert P. Goldman (SASO Workshops, 2010)

Controlling Deliberation in Coordinators. - George Alexander; Anita Raja; David J. Musliner (Metareasoning, 2011)

Delegation to Automation: Performance and Implications in Non-optimal Situations. - Christopher A. Miller 001; Tyler H. Shaw; Joshua D. Hamell; Adam Emfield; David J. Musliner; Ewart de Visser; Raja Parasuraman (HCI (21), 2011)

FUZZBUSTER: Towards Adaptive Immunity from Cyber Threats. - David J. Musliner; Jeffrey M. Rye; Dan Thomsen; David D. McDonald 002; Mark H. Burstein; Paul Robertson 001 (SASO Workshops, 2011)

Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER. - David J. Musliner; Jeffrey M. Rye; Tom Marble (SASO Workshops, 2012)

Automatic Self-Adaptation to Mitigate Software Vulnerabilities: A Fuzzbuster Progress Report (Extended Abstract for Poster). - David J. Musliner; Jeffrey M. Rye; Timothy Woods; Tom Marble; Kevin Raison (SASO, 2012)

Improving Trust Estimates in Planning Domains with Rare Failure Events. - Colin M. Potts; Kurt D. Krebsbach; Jordan Tyler Thayer; David J. Musliner (AAAI Spring Symposium: Trust and Autonomous Systems, 2013)

Automated Self-Adaptation for Cyber-Defense - Pushing Adaptive Perimeter Protection Inward. - Brett Benyo; Partha P. Pal; Richard E. Schantz; Aaron Paulos; David J. Musliner; Tom Marble; Jeffrey M. Rye; Michael Boldt; Scott E. Friedman (SASO Workshops, 2013)

Self-Adaptation Metrics for Active Cybersecurity. - David J. Musliner; Scott E. Friedman; Tom Marble; Jeffrey M. Rye; Michael Boldt; Michael J. S. Pelican (SASO Workshops, 2013)

Meta-control for Adaptive Cybersecurity in FUZZBUSTER. - David J. Musliner; Scott E. Friedman; Jeffrey M. Rye; Tom Marble (SASO, 2013)

A loop acceleration technique to speed up verification of automatically generated plans. - Robert P. Goldman; Michael J. S. Pelican; David J. Musliner (Int. J. Softw. Tools Technol. Transf., 2014)

SMT-Based Nonlinear PDDL+ Planning. - Daniel Bryce; Sicun Gao; David J. Musliner; Robert P. Goldman (AAAI, 2015)

Automatically Repairing Stripped Executables with CFG Microsurgery. - Scott E. Friedman; David J. Musliner (SASO Workshops, 2015)

An Architecture for Hybrid Planning and Execution. - Robert P. Goldman; Daniel Bryce; Michael J. S. Pelican; David J. Musliner; Kyungmin Bae (AAAI Workshop: Planning for Hybrid Systems, 2016)

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. - Robert P. Goldman; Daniel Bryce; Michael J. S. Pelican; David J. Musliner; Kyungmin Bae (NFM, 2016)

A Changepoint Method for Open-World Novelty Detection. - Matthew D. McLure; David J. Musliner (IGARSS, 2022)