Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers von Rash, James L, Truszkowski, Walt, Hinchey, Michael G, Rouff, Christopher A, Gordon, Diana

Volltext

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods von Peña, Joaquin, Rouff, Christopher A., Hinchey, Mike, Ruiz-Cortés, Antonio

Volltext

Model-Based Design for Affordability of a Netted Intelligence, Surveillance, and Reconnaissance Concept von Brown, K Dewayne, Chipkevich, Mary Beth A, Bamberger, Robert J, Huang, Tam-Thanh C, Matties, Mark A, Reeves, James D, Rouff, Christopher A

Volltext

Sustainable space exploration missions von Hinchey, Michael G., Sterritt, Roy, Rouff, Christopher A.

Volltext

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers von Hinchey, Michael G, Rash, James L, Truszkowski, Walter F, Rouff, Christopher, Gordon-Spears, Diana

Volltext

Introduction: DARPA Urban Grand Challenge von Rouff, Christopher A

Volltext

Robot Memetics: A Space Exploration Perspective von Truszkowski, Walt, Rouff, Christopher, Akhavannik, Mohammad, Tunstel, Edward

Volltext

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers von Hinchey, Michael G, Rash, James L, Truszkowski, Walter F, Rouff, Christopher A

Volltext

A requirements-based programming approach to developing a NASA autonomous ground control system von Rash, James L, Hinchey, Michael G, Rouff, Christopher A, Gracanin, Denis, Erickson, John

Volltext

Next generation system and software architectures Challenges from future NASA exploration missions von Sterritt, Roy, Rouff, Christopher A, Hinchey, Michael G, Rash, James L, Truszkowski, Walt

Volltext

Towards formal specification and generation of autonomic policies von STERRITT, Roy, HINCHEY, Michael G, RASH, James L, TRUSZKOWSKI, Walt, ROUFF, Christopher A, GRACANIN, Denis

Volltext

Achieving dependability in sensor networks through automated requirements-based programming von Hinchey, Michael G., Rash, James L., Rouff, Christopher A., Gračanin, Denis

Volltext

Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers von Rash, James L, Rouff, Christopher A, Truszkowski, Walter, Gordon, Diana, Hinchey, Michael G

Volltext

Autonomous and autonomic systems: a paradigm for future space exploration missions von Truszkowski, W.F., Hinchey, M.G., Rash, J.L., Rouff, C.A.

Volltext

Two Formal Gas Models for Multi-agent Sweeping and Obstacle Avoidance von Kerr, Wesley, Spears, Diana, Spears, William, Thayer, David

Volltext

Agent-Based Chemical Plume Tracing Using Fluid Dynamics von Zarzhitsky, Dimitri, Spears, Diana, Thayer, David, Spears, William

Volltext

Formal Specification of Interaction in Agent Societies von Dignum, Virginia, Meyer, John-Jules C., Dignum, Frank, Weigand, Hans

Volltext

Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results von Lomuscio, A., Łasica, T., Penczek, W.

Volltext

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Pa... von Hinchey, Michael G, Rago, Patricia, Rash, James L, Rouff, Christopher A, Truszkowski, Walt

Volltext

Analysis of a Phase Transition in a Physics-Based Multiagent System von Gordon-Spears, Diana F., Spears, William M.

Volltext