David J. Musliner

53 papers A* 5A 3C 1Journal 8Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned. CoRR Cen Zhang, Younggi Park, Fabian Fleischer, Yu-Fu Fu, Jiho Kim, Dongkwan Kim, Youngjoon Kim, Qingxiao Xu, Andrew Chin, Ze Sheng, Hanqing Zhao, Brian J. Lee, Joshua Wang, Michael Pelican, David J. Musliner, Jeff Huang, Jon Silliman, Mikel Mcdaniel, Jefferson Casavant, Isaac Goldthwaite, Nicholas Vidovich, Matthew Lehman, Taesoo Kim
2022	C	`conf`	A Changepoint Method for Open-World Novelty Detection. IGARSS Matthew D. McLure, David J. Musliner
2016	—	`conf`	A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. NFM Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
2016	—	`conf`	An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
2015	—	`conf`	Automatically Repairing Stripped Executables with CFG Microsurgery. SASO Workshops Scott E. Friedman, David J. Musliner
2015	A*	`conf`	SMT-Based Nonlinear PDDL+ Planning. AAAI Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman
2014	J	`jnl`	A loop acceleration technique to speed up verification of automatically generated plans. Int. J. Softw. Tools Technol. Transf. Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
2013	—	`conf`	Automated Self-Adaptation for Cyber-Defense - Pushing Adaptive Perimeter Protection Inward. SASO Workshops Brett Benyo, Partha P. Pal, Richard E. Schantz, Aaron Paulos, David J. Musliner, Tom Marble, Jeffrey M. Rye, Michael Boldt, Scott E. Friedman
2013	—	`conf`	Improving Trust Estimates in Planning Domains with Rare Failure Events. AAAI Spring Symposium: Trust and Autonomous Systems Colin M. Potts, Kurt D. Krebsbach, Jordan Tyler Thayer, David J. Musliner
2013	—	`conf`	Meta-control for Adaptive Cybersecurity in FUZZBUSTER. SASO David J. Musliner, Scott E. Friedman, Jeffrey M. Rye, Tom Marble
2013	—	`conf`	Self-Adaptation Metrics for Active Cybersecurity. SASO Workshops David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael Boldt, Michael J. S. Pelican
2012	—	`conf`	Automatic Self-Adaptation to Mitigate Software Vulnerabilities: A Fuzzbuster Progress Report (Extended Abstract for Poster). SASO David J. Musliner, Jeffrey M. Rye, Timothy Woods, Tom Marble, Kevin Raison
2012	—	`conf`	Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER. SASO Workshops David J. Musliner, Jeffrey M. Rye, Tom Marble
2011	—	`ch.`	Controlling Deliberation in Coordinators. Metareasoning George Alexander, Anita Raja, David J. Musliner
2011	—	`conf`	Delegation to Automation: Performance and Implications in Non-optimal Situations. HCI (21) Christopher A. Miller, Tyler H. Shaw, Joshua D. Hamell, Adam Emfield, David J. Musliner, Ewart de Visser, Raja Parasuraman
2011	—	`conf`	FUZZBUSTER: Towards Adaptive Immunity from Cyber Threats. SASO Workshops David J. Musliner, Jeffrey M. Rye, Dan Thomsen, David D. McDonald, Mark H. Burstein, Paul Robertson
2010	—	`conf`	Priority-Based Meta-control within Hierarchical Task Network Planning. SASO Workshops David J. Musliner, Robert P. Goldman
2009	—	`ch.`	Building Coordinated Real-Time Control Plans. Safety and Security in Multiagent Systems David J. Musliner, Michael J. S. Pelican, Kurt D. Krebsbach
2008	—	`conf`	Controlling deliberation in a Markov decision process-based agent. AAMAS (1) George Alexander, Anita Raja, David J. Musliner
2008	—	`conf`	The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. AAAI Spring Symposium: Emotion, Personality, and Social Behavior David J. Musliner, Michael J. S. Pelican, Robert P. Goldman, Kurt D. Krebsbach, Edmund H. Durfee
2007	—	`conf`	"Unrolling" Complex Task Models into MDPs. AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu
2006	J	`jnl`	AAAI 2006 Spring Symposium Reports. AI Mag. Andreas Abecker, Rachid Alami, 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, 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
2006	—	`conf`	Coordinated Plan Management Using Multiagent MDPs. AAAI Spring Symposium: Distributed Plan and Schedule Management David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy
2006	—	`conf`	Organizing Committee. AAAI Spring Symposium: Distributed Plan and Schedule Management Edmund H. Durfee, David J. Musliner
2006	—	`conf`	Preface. AAAI Spring Symposium: Distributed Plan and Schedule Management Edmund H. Durfee, David J. Musliner
2005	—	`conf`	Deliberation scheduling strategies for adaptive mission planning in real-time environments. AAAI Spring Symposium: Metacognition in Computation David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach
2005	—	`conf`	Incremental Verification for On-the-Fly Controller Synthesis. MoChArt@CONCUR/SPIN David J. Musliner, Michael J. S. Pelican, Robert P. Goldman
2005	—	`conf`	Projection and Reaction for Decision Support in Refineries: Combining Multiple Theories. AAAI Spring Symposium: Challenges to Decision Support in a Changing World Kurt D. Krebsbach, David J. Musliner
2004	A*	`conf`	Guiding Planner Backjumping Using Verifier Traces. ICAPS Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
2003	A*	`conf`	A Framework for Planning in Continuous-time Stochastic Domains. ICAPS Håkan L. S. Younes, David J. Musliner, Reid G. Simmons
2003	—	`conf`	Balancing Safety Against Performance: Tradeoffs in Internet Security. HICSS Vu A. Ha, David J. Musliner
2003	—	`conf`	CIRCADIA Demonstration: Active Adaptive Defense. DISCEX (2) David J. Musliner
2002	—	`conf`	Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC Robert P. Goldman, David J. Musliner, Michael J. S. Pelican
2001	—	`conf`	Applications of Model Checking at Honeywell Laboratories. SPIN Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
2001	—	`conf`	Managing Online Self-adaptation in Real-Time Environments. IWSAS Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach
2001	—	`conf`	Modifying HYTECH to automatically synthesize hybrid controllers. CDC Ranjana G. Deshpande, David J. Musliner, Jorge E. Tierno, Robert P. Goldman
2001	A	`conf`	Planning with increasingly complex executive models. IROS David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
2000	A	`conf`	Coordinated deployment of multiple, heterogeneous robots. IROS Reid G. Simmons, David Apfelbaum, Dieter Fox, Robert P. Goldman, Karen Zita Haigh, David J. Musliner, Michael J. S. Pelican, Sebastian Thrun
2000	—	`conf`	Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. IWSAS David J. Musliner
2000	J	`jnl`	Reports on the AAAI Spring Symposia (March 1999). AI Mag. David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang
2000	A*	`conf`	Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. ICRA David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
1999	J	`jnl`	Self-adaptive software for hard real-time environments. IEEE Intell. Syst. David J. Musliner, Robert P. Goldman, Michael J. S. Pelican, Kurt D. Krebsbach
1998	—	`conf`	Agents: Mobility and Communication. HICSS (7) Dejan S. Milojicic, David J. Musliner, Wolfgang Schröder-Preikschat
1997	—	`conf`	Contract-Based Distributed Scheduling for Distributed Processing. AAAI Workshop: Constraints & Agents David J. Musliner, Mark S. Boddy
1997	—	`conf`	Dynamic Abstraction Planning. AAAI/IAAI Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy
1996	—	`conf`	Agent and Task Modeling at Honeywell. Agent Modeling David J. Musliner, Christopher A. Miller
1996	—	`conf`	Guaranteeing Safety in Spatially Situated Agents. AAAI/IAAI, Vol. 2 Robert C. Kohout, James A. Hendler, David J. Musliner
1995	J	`jnl`	The Challenges of Real-Time All. Computer David J. Musliner, James A. Hendler, Ashok K. Agrawala, Edmund H. Durfee, Jay K. Strosnider, C. J. Paul
1995	J	`jnl`	World Modeling for the Dynamic Construction of Real-Time Control Plans. Artif. Intell. David J. Musliner, Edmund H. Durfee, Kang G. Shin
1994	A*	`conf`	Using Abstraction and Nondeterminism to Plan Reaction Loops. AAAI David J. Musliner
1993	—	`—`	CIRCA: The Cooperative Intelligent Real-time Control Architecture. David J. Musliner
1993	J	`jnl`	CIRCA: a cooperative intelligent real-time control architecture. IEEE Trans. Syst. Man Cybern. David J. Musliner, Edmund H. Durfee, Kang G. Shin
1992	A	`conf`	B CSCW David J. Musliner, James W. Dolter, Kang G. Shin