The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David J. Musliner" ( http://dblp.L3S.de/Authors/David_J._Musliner )

URL (Homepage):  http://www.cs.umd.edu/~musliner/  Author page on DBLP  Author page in RDF  Community of David J. Musliner in ASPL-2

Publication years (Num. hits)
1992-2001 (16) 2002-2008 (15) 2009-2016 (16)
Publication types (Num. hits)
article(7) incollection(2) inproceedings(38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 48 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. Search on Bibsonomy NFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae An Architecture for Hybrid Planning and Execution. Search on Bibsonomy AAAI Workshop: Planning for Hybrid Systems The full citation details ... 2016 DBLP  BibTeX  RDF
1Scott E. Friedman, David J. Musliner Automatically Repairing Stripped Executables with CFG Microsurgery. Search on Bibsonomy SASO Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman SMT-Based Nonlinear PDDL+ Planning. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Robert P. Goldman, Michael J. S. Pelican, David J. Musliner A loop acceleration technique to speed up verification of automatically generated plans. Search on Bibsonomy STTT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Brett Benyo, Partha P. Pal, Richard E. Schantz, Aaron Paulos, David J. Musliner, Tom Marble, Jeffrey M. Rye, Michael Boldt, Scott E. Friedman Automated Self-Adaptation for Cyber-Defense - Pushing Adaptive Perimeter Protection Inward. Search on Bibsonomy SASO Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Scott E. Friedman, Tom Marble, Jeffrey M. Rye, Michael Boldt, Michael J. S. Pelican Self-Adaptation Metrics for Active Cybersecurity. Search on Bibsonomy SASO Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Scott E. Friedman, Jeffrey M. Rye, Tom Marble Meta-control for Adaptive Cybersecurity in FUZZBUSTER. Search on Bibsonomy SASO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Colin M. Potts, Kurt D. Krebsbach, Jordan Tyler Thayer, David J. Musliner Improving Trust Estimates in Planning Domains with Rare Failure Events. Search on Bibsonomy AAAI Spring Symposium: Trust and Autonomous Systems The full citation details ... 2013 DBLP  BibTeX  RDF
1David 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). Search on Bibsonomy SASO The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Jeffrey M. Rye, Tom Marble Using Concolic Testing to Refine Vulnerability Profiles in FUZZBUSTER. Search on Bibsonomy SASO Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1George Alexander, Anita Raja, David J. Musliner Controlling Deliberation in Coordinators. Search on Bibsonomy Metareasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Jeffrey M. Rye, Dan Thomsen, David D. McDonald, Mark H. Burstein, Paul Robertson FUZZBUSTER: Towards Adaptive Immunity from Cyber Threats. Search on Bibsonomy SASO Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher A. Miller 0001, 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. Search on Bibsonomy HCI (21) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Robert P. Goldman Priority-Based Meta-control within Hierarchical Task Network Planning. Search on Bibsonomy SASO Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Michael J. S. Pelican, Kurt D. Krebsbach Building Coordinated Real-Time Control Plans. Search on Bibsonomy Safety and Security in Multiagent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1George Alexander, Anita Raja, David J. Musliner Controlling deliberation in a Markov decision process-based agent. Search on Bibsonomy AAMAS (1) The full citation details ... 2008 DBLP  BibTeX  RDF
1David 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. Search on Bibsonomy AAAI Spring Symposium: Emotion, Personality, and Social Behavior The full citation details ... 2008 DBLP  BibTeX  RDF
1Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu "Unrolling" Complex Task Models into MDPs. Search on Bibsonomy AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents The full citation details ... 2007 DBLP  BibTeX  RDF
1David J. Musliner, Michael J. S. Pelican, Robert P. Goldman Incremental Verification for On-the-Fly Controller Synthesis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andreas 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. Search on Bibsonomy AI Magazine The full citation details ... 2006 DBLP  BibTeX  RDF
1David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy Coordinated Plan Management Using Multiagent MDPs. Search on Bibsonomy AAAI Spring Symposium: Distributed Plan and Schedule Management The full citation details ... 2006 DBLP  BibTeX  RDF
1Edmund H. Durfee, David J. Musliner Organizing Committee. Search on Bibsonomy AAAI Spring Symposium: Distributed Plan and Schedule Management The full citation details ... 2006 DBLP  BibTeX  RDF
1Edmund H. Durfee, David J. Musliner Preface. Search on Bibsonomy AAAI Spring Symposium: Distributed Plan and Schedule Management The full citation details ... 2006 DBLP  BibTeX  RDF
1David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach Deliberation scheduling strategies for adaptive mission planning in real-time environments. Search on Bibsonomy AAAI Spring Symposium: Metacognition in Computation The full citation details ... 2005 DBLP  BibTeX  RDF
1Kurt D. Krebsbach, David J. Musliner Projection and Reaction for Decision Support in Refineries: Combining Multiple Theories. Search on Bibsonomy AAAI Spring Symposium: Challenges to Decision Support in a Changing World The full citation details ... 2005 DBLP  BibTeX  RDF
1Robert P. Goldman, Michael J. S. Pelican, David J. Musliner Guiding Planner Backjumping Using Verifier Traces. Search on Bibsonomy ICAPS The full citation details ... 2004 DBLP  BibTeX  RDF
1David J. Musliner CIRCADIA Demonstration: Active Adaptive Defense. Search on Bibsonomy DISCEX (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Håkan L. S. Younes, David J. Musliner, Reid G. Simmons A Framework for Planning in Continuous-time Stochastic Domains. Search on Bibsonomy ICAPS The full citation details ... 2003 DBLP  BibTeX  RDF
1Vu A. Ha, David J. Musliner Balancing Safety Against Performance: Tradeoffs in Internet Security. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert P. Goldman, David J. Musliner, Michael J. S. Pelican Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. Search on Bibsonomy HSCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal Applications of Model Checking at Honeywell Laboratories. Search on Bibsonomy SPIN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach Managing Online Self-adaptation in Real-Time Environments. Search on Bibsonomy IWSAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David J. Musliner, Robert P. Goldman, Michael J. S. Pelican Planning with increasingly complex executive models. Search on Bibsonomy IROS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1David 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). Search on Bibsonomy AI Magazine The full citation details ... 2000 DBLP  BibTeX  RDF
1David J. Musliner, Robert P. Goldman, Michael J. S. Pelican Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. Search on Bibsonomy ICRA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1David J. Musliner Imposing Real-Time Constraints on Self-Adaptive Controller Synthesis. Search on Bibsonomy IWSAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Reid G. Simmons, David Apfelbaum, Dieter Fox, Robert P. Goldman, Karen Zita Haigh, David J. Musliner, Michael J. S. Pelican, Sebastian Thrun Coordinated deployment of multiple, heterogeneous robots. Search on Bibsonomy IROS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Dejan S. Milojicic, David J. Musliner, Wolfgang Schröder-Preikschat Agents: Mobility and Communication. Search on Bibsonomy HICSS (7) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy Dynamic Abstraction Planning. Search on Bibsonomy AAAI/IAAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Robert C. Kohout, James A. Hendler, David J. Musliner Guaranteeing Safety in Spatially Situated Agents. Search on Bibsonomy AAAI/IAAI, Vol. 2 The full citation details ... 1996 DBLP  BibTeX  RDF
1David J. Musliner, Christopher A. Miller 0001 Agent and Task Modeling at Honeywell. Search on Bibsonomy Agent Modeling The full citation details ... 1996 DBLP  BibTeX  RDF
1David J. Musliner, Edmund H. Durfee, Kang G. Shin World Modeling for the Dynamic Construction of Real-Time Control Plans. Search on Bibsonomy Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David J. Musliner, James A. Hendler, Ashok K. Agrawala, Edmund H. Durfee, Jay K. Strosnider, C. J. Paul The Challenges of Real-Time All. Search on Bibsonomy IEEE Computer The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1David J. Musliner Using Abstraction and Nondeterminism to Plan Reaction Loops. Search on Bibsonomy AAAI The full citation details ... 1994 DBLP  BibTeX  RDF
1David J. Musliner, Edmund H. Durfee, Kang G. Shin CIRCA: a cooperative intelligent real-time control architecture. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1David J. Musliner, James W. Dolter, Kang G. Shin BIBDB: A Bibliographic Database for Collaboration. Search on Bibsonomy CSCW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF distributed & replicated databases, incremental indexing, partial locking, collaborative writing, bibliographic databases, relaxed consistency
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license