Webster, Matt, et al. " Toward reliable autonomous robotic assistants through formal verification: A case study." IEEE Transactions on Human-Machine Systems 46.2 (2016): 186-196. See robosafe.org (opens in a new tab) for details.

Ghaffar, Abid, et al. " Evaluation of tools and techniques for the generation of warning alerts: A survey paper." Transactions on Machine Learning and Artificial Intelligence 3.2 (2015): 10.

R. Stocker, L.A. Dennis, C. Dixon and M. Fisher "Formal verification of human-robot teamwork," submitted to Elsevier April 20, 2015.

R. Stocker, N. Rungta, E. Mercer, F. Raimondi, J. Holbrook, C. Cardoza, and M. Goodrich "An approach to quantify workload in a system of agents," Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), Bordini, Elkind, Weiss, Yolum (eds.), May 4-8 2015, Istanbul, Turkey.

Rungta, Neha, et al. " Aviation safety: modeling and analyzing complex interactions between humans and automated systems." Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems. ACM, 2013.

Kashif, Ayesha, Julie Dugdale, and Stephane Ploix. " Simulating Occupants' Behaviour for Energy Waste Reduction in Dwellings: A Multi Agent Methodology." IEEE Transactions on Human-Machine Systems 46.2 (2016): 186-196.

J. Hunter, F. Raimondi, N. Rungta, and R. Stocker "A synergistic and extensible framework for multi-agent system verification," Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Ito, Jonker, Gini, and Shehory (eds.), May 6-10, 2013, Saint Paul, Minnesota, USA.

W.J. Clancey, C. Linde, C. Seah, and M. Shafto "Work practice simulation of complex human-automation systems in safety critical situations: The Brahms generalized Überlingen model," NASA/TP-2013-216508, 2013.

Bui, Tung, et al. "Virtual Environments for Computational and Analytical Modeling: A Telemedicine Application." Modeling for Decision Support in Network-Based Services (2012): 169-195.

R. Stocker, L. Dennis, C. Dixon and M. Fisher "Verifying Brahms human-robot teamwork models, " 13th European Conference in Logics in Artificial Intelligence, September (2012).

R. Stocker, M. Sierhuis, L. Dennis, C. Dixon and M. Fisher "A formal semantics for Brahms." CLIMA. 2011.

Nanja Smets, Bradshaw, J. M., et al. "Assessing Human-Agent Teams for Future Space Missions," IEEE Intelligent Systems 25(5): 46-53, 2010.

Sierhuis, M., Clancey, W. J. and Hoof, R. v. "Brahms: An Agent-Oriented Language for Work Practice Simulation and Multi-Agent Systems Development," in M. D. Rafael H. Bordini, Jurgen Dix, Amal El Fallah-Seghrouchni (ed.) Multi-Agent Programming, 2nd Edition: Springer, 2009.

Sierhuis, M., Clancey, et al. "NASA's OCA Mirroring System: An application of multiagent systems in Mission Control," 8th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2009). Budapest, Hungary: International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org (opens in a new tab)), 2009.

Sierhuis, M., Clancey, and Seah, C. "Organization and Work System Design and Engineering," in L. Yilmaz and T. Oren (eds.) Agent Directed Simulation: Wiley, 2009.

Sierhuis, M., Clancey, W. J. and Hoof, R. v. "Brahms: A multiagent modeling environment for simulating work processes and practices," International Journal of Simulation and Process Modelling, Inderscience Publishers 3(3): 134-152, 2007.

Sierhuis, M. "It's not just goals all the way down – It's activities all the way down," G. M. P. O'Hare, A. Ricci, M. J. O'Grady and O. Dikenelli (eds.) Engineering Societies in the Agents World VII, 7th International ESAW 2006, Lecture Notes in Computer Science Volume 4457, pp. 1-24. Dublin, Ireland: Springer, 2007.

Clancey, W. J., Sierhuis, M., Damer, B. and Brodsky, B. "The cognitive modeling of "day in the life" social behaviors using Brahms," in R. Sun (ed.) Cognition and Multi-Agent Interaction, pp. pp. 151-184. New York, NY: Cambridge University Press., 2005.

W. J. Clancey, M. Sierhuis, C. Kaskiris, and R. v. Hoof, "Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System," presented at The 16th International FLAIRS Conference 2003, St. Augustine, Fl., 2003.

M. Sierhuis, W. J. Clancey, and R. v. Hoof, "Brahms: a multiagent modeling environment for simulating social phenomena", presented at First conference of the European Social Simulation Association (SIMSOC VI), Groningen, The Netherlands, 2003.

Sierhuis, M.; Bradshaw, J.M.; Acquisti, A.; Hoof, R.v.; Jeffers, R.; and Uszok, A. Human-Agent Teamwork and Adjustable Autonomy in Practice, in Proceedings of The 7th International Symposium on Artificial Intelligence,Robotics and Automation in Space (i-SAIRAS), Nara, Japan, 2003.

M. Sierhuis, W. J. Clancey, C. Seah, J. P. Trimble, and M. H. Sims, Modeling and Simulation for Mission Operations Work System Design, Journal of Management Information Systems, vol. Vol. 19, pp. 85-129, 2003

W. J. Clancey, M.Sierhuis, C. Kaskiris, and R. v. Hoof, "Brahms Mobile Agents: Architecture and Field Tests," presented at AAAI 2002 Fall Symposium on Human-Robot Interaction, North Fallmouth, MA, 2002.

W. J. Clancey, "Simulating Activities: Relating Motives, Deliberation, and Attentive Coordination," Cognitive Systems Research, vol. 3, pp. 471-499, 2002.

M. Sierhuis and W. J. Clancey, Modeling and Simulating Work Practice: A human-centered method for work systems design, IEEE Intelligent Systems, vol. Volume 17(5), 2002.

M. Sierhuis, A. Acquisti, and W. J. Clancey, Multiagent Plan Execution and Work Practice: Modeling plans and practices onboard the ISS, presented at 3rd International NASA Workshop on Planning and Scheduling for Space, Houston, TX, 2002.

A. Acquisti, M. Sierhuis, W. J. Clancey, J. M. Bradshaw, Agent Based Modeling of Collaboration and Work Practices Onboard the International Space Station. Proceedings of the 11th Conference on Computer-Generated Forces and Behavior Representation, Orlando, FL, May 2002.

W. J. Clancey, "Field Science Ethnography: Methods for Systematic Observation on an Expedition," Field Methods, vol. 13, pp. p. 223-243, 2001.

B. Damer, M. Sierhuis, R. van Hoof, B. Campbell, D. Rasmussen, M. Neilson, C. Kaskiris, S. Gold, G. Brandt (2001). Brahms VE: A Collaborative Virtual Environment for Mission Operations, Planning and Scheduling (opens in a new tab), Final Report for STTR Contract #NAS2-01019, October 8, 2001. URL (opens in a new tab)

J. M. Bradshaw, M. Sierhuis, Y. Gawdiak, R. Jeffers, N. Suri, M. Greaves. (2001). Adjustable Autonomy and Teamwork for the Personal Satellite Assistant, in The IJCAI-01 (opens in a new tab) Workshop on Autonomy, Delegation, and Control: Interacting with Autonomous Agents, Seattle, Washington, USA August 6, 2001.

Bradshaw, J. M., Sierhuis, M., Gawdiak, Y., Thomas, H., Greaves, M. and Clancey, W. J. (2000). Human-Centered Design for the Personal Satellite Assistant, In International Conference on Human-Computer Interaction in Aeronautics 2000, Toulouse, France. 

W. J. Clancey, P. Lee, M. Sierhuis. (2001). Empirical Requirements Analysis for Mars Surface Operations Using the Flashline Mars Arctic Research Station, in Proceedings of the Fourteenth International FLAIRS Conference, AAAI Press, pp. 24-26.

Clancey , W. J, P. Sachs, M. Sierhuis, R. van Hoof. (1998). "Brahms: Simulating practice for work systems design." International Journal on Human-Computer Studies 49: 831-865.

Sierhuis, M., W.J. Clancey, M.H. Sims (2002). Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design, In the Proceedings of the Hawai'i International Conference on System Sciences, January 7-10, 2002, Big Island, Hawaii (forthcoming).

Sierhuis, M. (2001). Modeling and Simulating Work Practice. BRAHMS: a multiagent modeling and simulation language for work system analysis and design, Ph.D. thesis, Social Science and Informatics (SWI), University of Amsterdam, SIKS Dissertation Series No. 2001-10, Amsterdam, The Netherlands, ISBN 90-6464-849-2.

Sierhuis, M. (2001), Modeling and Simulation for Work System Design, 2001 Computational and Mathematical Organization Theory Conference, July 5 - 8, 2001, Carnegie Mellon University. URL (opens in a new tab)

Sierhuis, M., R. van Hoof, W. J. Clancey, M. Scott. (2001). From Work Practice Models and Simulation to Implementation of Human-Centered Agent Systems, Workshop on Agent Supported Cooperative Work (ASCW01) at 5th International Conference on Autonomous Agents, Montreal, Canada,  May 29, 2001.

Sierhuis, M., Clancey, W. J., Hoof, R. v. and Hoog, R. d. (2000a). Modeling and Simulating Human Activity, In 2000 AAAI Fall Symposium on Simulating Human Agents(Ed, Freed, M.) AAAI Press, North Falmouth, MA, pp. 100-110. (this paper describes the Apollo example)

Sierhuis, M. (2000). Modeling and Simulation of Work Practices on the Moon, In Computational Analysis of Social and Organizational Systems 2000, Carnegie Mellon University, Pittsburgh, PA. (this is a short Brahms paper)

Sierhuis, M., Clancey, W. J., Hoof, R. v. and Hoog, R. d. (2000b). Modeling and Simulating Human Activity, In Autonomous Agents 2000 workshop on Intelligent Agents for Computer Supported Co-operative Work: Technology and Risks (Ed, Petsch, M.) Barcelona. Spain. (this paper also describes the Apollo example)

Sierhuis, M., Clancey, W. J., Hoof, R. v. and Hoog, R. d. (2000c). Modeling and simulating work practices from Apollo12, In International Workshop on Simulation for European Space Programmes, ESTEC, Noordwijk, The Netherlands. (this paper also describes the Apollo example)

Sierhuis, M., Sims, M. H., Clancey, W. J. and Lee, P. (2000). Applying multiagent simulation to planetary surface operations, In COOP'2000 workshop on Modelling Human Activity (Ed, Chaudron, L.) Sophia Antipolis, France, pp. 19-28.

Sierhuis, M., W.J. Clancey, R. van Hoof. (1999). BRAHMS: A multi-agent programming language for simulating work practice, RIACS/NASA Ames Research Center. (working papers comments are welcome)

Sierhuis, M. and W. J. Clancey (1997). Knowledge, Practice, Activities, and People. Proceedings of AAAI Spring Symposium on Artificial Intelligence in Knowledge Management, Stanford University, CA., (this is a knowledge management paper)

Sierhuis, M. (1996). SELECTIVE ETHNOGRAPHIC ANALYSIS; Qualitative Modeling for Work Place Ethnography. Presented during the American Association of Anthropology Conference 1996, San Fransisco, CA. (this paper is about ethnography and modeling)

Sierhuis, M and A.M. Selvin (1996). Towards a Framework for Collaborative Modeling and Simulation. Presented at the Workshop on Strategies for Collaborative Modeling and Simulation, CSCW'96 conference, Boston, MA.