David J. Musliner

David J. Musliner, Jeffrey M. Rye, Tom Marble: Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER. SASO Workshops 2012: 9-14

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

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

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

David J. Musliner, Robert P. Goldman: Priority-Based Meta-control within Hierarchical Task Network Planning. SASO Workshops 2010: 282-286

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

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

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

Andreas Abecker, Rachid Alami, Chitta Baral, Timothy W. Bickmore, Edmund H. Durfee, Terry Fong, Mehmet H. Göker, Nancy Green, Mark Liberman, Christian Lebiere, James H. Martin, Gregoris Mentzas, David J. Musliner, Nicolas Nicolov, Illah R. Nourbakhsh, Franco Salvetti, Daniel G. Shapiro, Debbie Schrekenghost, Amit P. Sheth, Ljiljana Stojanovic, Vytas SunSpiral, Robert E. Wray: AAAI 2006 Spring Symposium Reports. AI Magazine 27(3): 107-112 (2006)

David J. Musliner, Michael J. S. Pelican, Robert P. Goldman: Incremental Verification for On-the-Fly Controller Synthesis. Electr. Notes Theor. Comput. Sci. 149(2): 71-90 (2006)

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

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

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

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

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

Robert P. Goldman, Michael J. S. Pelican, David J. Musliner: Guiding Planner Backjumping Using Verifier Traces. ICAPS 2004: 279-286

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

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

Vu A. Ha, David J. Musliner: Balancing Safety Against Performance: Tradeoffs in Internet Security. HICSS 2003: 205

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

Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach: Managing Online Self-adaptation in Real-Time Environments. IWSAS 2001: 6-23

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

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

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

David J. Musliner: Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. IWSAS 2000: 143-160

Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy: Dynamic Abstraction Planning. AAAI/IAAI 1997: 680-686

David J. Musliner, Christopher A. Miller: Agent and Task Modeling at Honeywell. Agent Modeling 1996: 112-

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

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

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

David J. Musliner: Using Abstraction and Nondeterminism to Plan Reaction Loops. AAAI 1994: 1036-1041

David J. Musliner, Edmund H. Durfee, Kang G. Shin: CIRCA: a cooperative intelligent real-time control architecture. IEEE Transactions on Systems, Man, and Cybernetics 23(6): 1561-1574 (1993)

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