David J. Musliner

According to our database, David J. Musliner authored at least 52 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

A Changepoint Method for Open-World Novelty Detection.

Matthew D. McLure, David J. Musliner

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2022

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

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

An Architecture for Hybrid Planning and Execution.

Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae

Proceedings of the Planning for Hybrid Systems, 2016

2015

Automatically Repairing Stripped Executables with CFG Microsurgery.

Scott E. Friedman, David J. Musliner

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

SMT-Based Nonlinear PDDL+ Planning.

Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

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

2013

Meta-control for Adaptive Cybersecurity in FUZZBUSTER.

David J. Musliner, Scott E. Friedman, Jeffrey M. Rye, Tom Marble

Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Self-Adaptation Metrics for Active Cybersecurity.

David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael Boldt, Michael J. S. Pelican

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 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

Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013

Improving Trust Estimates in Planning Domains with Rare Failure Events.

Colin M. Potts, Kurt D. Krebsbach, Jordan Tyler Thayer, David J. Musliner

Proceedings of the Trust and Autonomous Systems, 2013

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

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER.

David J. Musliner, Jeffrey M. Rye, Tom Marble

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2011

FUZZBUSTER: Towards Adaptive Immunity from Cyber Threats.

David J. Musliner, Jeffrey M. Rye, Dan Thomsen, David D. McDonald, Mark H. Burstein, Paul Robertson

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Delegation to Automation: Performance and Implications in Non-optimal Situations.

Christopher A. Miller, Tyler H. Shaw, Joshua D. Hamell, Adam Emfield, David J. Musliner, Ewart de Visser, Raja Parasuraman

Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2011

Controlling Deliberation in Coordinators.

George Alexander, Anita Raja, David J. Musliner

Proceedings of the Metareasoning - Thinking about Thinking., 2011

2010

Priority-Based Meta-control within Hierarchical Task Network Planning.

David J. Musliner, Robert P. Goldman

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

2009

Building Coordinated Real-Time Control Plans.

David J. Musliner, Michael J. S. Pelican, Kurt D. Krebsbach

Proceedings of the Safety and Security in Multiagent Systems, 2009

2008

Controlling deliberation in a Markov decision process-based agent.

George Alexander, Anita Raja, David J. Musliner

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

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

Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008

2007

"Unrolling" Complex Task Models into MDPs.

Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu

Proceedings of the Game Theoretic and Decision Theoretic Agents, 2007

2006

AAAI 2006 Spring Symposium Reports.

Andreas Abecker, Rachid Alami, Chitta Baral, Timothy W. Bickmore, Edmund H. Durfee, Terry Fong, Mehmet H. Göker, Nancy L. 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

AI Mag., 2006

Coordinated Plan Management Using Multiagent MDPs.

David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy

Proceedings of the Distributed Plan and Schedule Management, 2006

Preface.

Edmund H. Durfee, David J. Musliner

Proceedings of the Distributed Plan and Schedule Management, 2006

Organizing Committee.

Edmund H. Durfee, David J. Musliner

Proceedings of the Distributed Plan and Schedule Management, 2006

2005

Incremental Verification for On-the-Fly Controller Synthesis.

David J. Musliner, Michael J. S. Pelican, Robert P. Goldman

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Deliberation scheduling strategies for adaptive mission planning in real-time environments.

David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach

Proceedings of the 2005 AAAI Spring Symposium on Metacognition in Computation, 2005

Projection and Reaction for Decision Support in Refineries: Combining Multiple Theories.

Kurt D. Krebsbach, David J. Musliner

Proceedings of the Challenges to Decision Support in a Changing World, 2005

2004

Guiding Planner Backjumping Using Verifier Traces.

Robert P. Goldman, Michael J. S. Pelican, David J. Musliner

Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004

2003

Balancing Safety Against Performance: Tradeoffs in Internet Security.

Vu A. Ha, David J. Musliner

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

CIRCADIA Demonstration: Active Adaptive Defense.

David J. Musliner

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

A Framework for Planning in Continuous-time Stochastic Domains.

Håkan L. S. Younes, David J. Musliner, Reid G. Simmons

Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003

2002

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.

Robert P. Goldman, David J. Musliner, Michael J. S. Pelican

Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

2001

Applications of Model Checking at Honeywell Laboratories.

Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal

Proceedings of the Model Checking Software, 2001

Managing Online Self-adaptation in Real-Time Environments.

Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

Planning with increasingly complex executive models.

David J. Musliner, Robert P. Goldman, Michael J. S. Pelican

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001

Modifying HYTECH to automatically synthesize hybrid controllers.

Ranjana G. Deshpande, David J. Musliner, Jorge E. Tierno, Robert P. Goldman

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

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

Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis.

David J. Musliner

Proceedings of the Self-Adaptive Software, First International Workshop, 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

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers.

David J. Musliner, Robert P. Goldman, Michael J. S. Pelican

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999

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

1998

Agents: Mobility and Communication.

Dejan S. Milojicic, David J. Musliner, Wolfgang Schröder-Preikschat

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Contract-Based Distributed Scheduling for Distributed Processing.

David J. Musliner, Mark S. Boddy

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

Dynamic Abstraction Planning.

Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Agent and Task Modeling at Honeywell.

David J. Musliner, Christopher A. Miller

Proceedings of the Agent Modeling, Papers from the 1996 AAAI Workshop, 1996

Guaranteeing Safety in Spatially Situated Agents.

Robert C. Kohout, James A. Hendler, David J. Musliner

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

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

World Modeling for the Dynamic Construction of Real-Time Control Plans.

David J. Musliner, Edmund H. Durfee, Kang G. Shin

Artif. Intell., 1995

1994

Using Abstraction and Nondeterminism to Plan Reaction Loops.

David J. Musliner

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

CIRCA: The Cooperative Intelligent Real-time Control Architecture.

David J. Musliner

PhD thesis, 1993

CIRCA: a cooperative intelligent real-time control architecture.

David J. Musliner, Edmund H. Durfee, Kang G. Shin

IEEE Trans. Syst. Man Cybern., 1993

1992

B<i>IB</i>D<i>B</i>: A Bibliographic Database for Collaboration.

David J. Musliner, James W. Dolter, Kang G. Shin

Proceedings of the CSCW '92, Proceedings of the Conference on Computer Supported Cooperative Work, Toronto, Canada, October 31, 1992