Christopher A. Rouff

68 papers B 6C 5Misc 3Journal 16Unranked 30

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Agile services and analysis framework for autonomous and autonomic critical infrastructure. Innov. Syst. Softw. Eng. Joseph Maurio, Paul Wood, Sebastián A. Zanlongo, Josh Silbermann, Tamim Sookoor, Alberto Lorenzo, Randall Sleight, James Rogers, Daniel Muller, Noah Armiger, Christopher A. Rouff, Lanier A. Watkins
2023	—	`conf`	Explainable Autonomic Cybersecurity For Industrial Control Systems. CCWC Valeti Manoj, Shao Wenda, Sihan Niu, Christopher A. Rouff, Lanier A. Watkins, Aviel Rubin
2022	J	`jnl`	Assured Autonomy Survey. Found. Trends Priv. Secur. Christopher A. Rouff, Lanier A. Watkins
2021	Misc	`conf`	SoK: Autonomic Cybersecurity - Securing Future Disruptive Technologies. CSR Christopher A. Rouff, Lanier A. Watkins, Roy Sterritt, Salim Hariri
2017	—	`book`	ACS Without an Attitude Harold L. Hallock, Gary Welter, David G. Simpson, Christopher A. Rouff
2017	—	`conf`	Automatic generation of network element software (AGNES): short paper. CISRC Christopher A. Rouff, M. Douglas Williams, Qinqing Zhang, Daniel J. Bennett, Raymond C. McDowell, Anthony R. Nowicki, J. Aaron Pendergrass, Daniel R. Anderson, Robert Douglass, Bradley T. Dufresne, Jonathan T. Pham
2012	J	`jnl`	Swarm Technology at NASA: Building Resilient Systems. IT Prof. Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey
2012	—	`conf`	The C3S2E Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey
2012	—	`conf`	Verification of Adaptive Systems. Infotech@Aerospace Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens
2012	—	`ch.`	You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. Conquering Complexity Mike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2011	C	`ed.`	34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011 SEW James L. Rash, Christopher A. Rouff
2011	J	`jnl`	Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Softw. Syst. Model. Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés
2010	—	`book`	Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems Walt Truszkowski, Harold L. Hallock, Christopher A. Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt
2010	—	`conf`	Detecting Emergence in Social Networks. SocialCom/PASSAT Peter Haglich, Christopher A. Rouff, Laura Pullum
2008	J	`jnl`	Introduction to the Second Special Section on the DARPA Urban Grand Challenge. J. Aerosp. Comput. Inf. Commun. Christopher A. Rouff
2008	—	`conf`	Leveraging Emergent Ontologies in the Intelligence Community. OIC James Starz, Jason Losco, Brian P. Kettler, Rachel Hingst, Christopher A. Rouff
2008	—	`conf`	You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. IMCSIT Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff
2007	—	`conf`	Intelligence in Future NASA Swarm-based Missions. AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems Christopher A. Rouff
2007	J	`jnl`	Introduction: DARPA Urban Grand Challenge. J. Aerosp. Comput. Inf. Commun. Christopher A. Rouff
2007	B	`conf`	Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. AINA Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi
2007	J	`jnl`	Swarms and Swarm Intelligence. Computer Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff
2007	—	`conf`	Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. SIS Christopher A. Rouff, Michael G. Hinchey, Joaquín Peña, Antonio Ruiz Cortés
2006	J	`jnl`	A requirements-based programming approach to developing a NASA autonomous ground control system. Artif. Intell. Rev. James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
2006	J	`jnl`	Achieving dependability in sensor networks through automated requirements-based programming. Comput. Commun. Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Denis Gracanin
2006	J	`jnl`	Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. Syst. Walter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2006	—	`conf`	Completing and Adapting Models of Biological Processes. BICC Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	—	`conf`	Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	J	`jnl`	Experiences applying formal approaches in the development of swarm-based space exploration systems. Int. J. Softw. Tools Technol. Transf. Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash
2006	—	`ed.`	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 Papers WRAC Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski
2006	J	`jnl`	Next generation system and software architectures: Challenges from future NASA exploration missions. Sci. Comput. Program. Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
2006	—	`conf`	Software engineering and swarm-based systems. SEAMS@ICSE Michael G. Hinchey, Roy Sterritt, Joaquín Peña, Christopher A. Rouff
2005	—	`conf`	A Formal Approach to Requirements-Based Programming. ECBS Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Autonomicity of NASA Missions. ICAC Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt
2005	—	`conf`	Autonomous and Autonomic Swarms. Software Engineering Research and Practice Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2005	—	`conf`	Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt
2005	—	`conf`	Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
2005	—	`ed.`	Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers FAABS Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff
2005	B	`conf`	Formal Requirements-Based Programming for Complex Systems. ICECCS James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin
2005	—	`conf`	Progressive Autonomy - An Incremental Agent-based Approach. Software Engineering Research and Practice Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee
2005	J	`jnl`	Progressive autonomy: a method for gradually introducing autonomy into space missions. Innov. Syst. Softw. Eng. Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee
2005	C	`conf`	Requirements of an integrated formal method for intelligent swarms. FMICS Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski
2005	—	`conf`	Self*- Properties in NASA Mission. Software Engineering Research and Practice Roy Sterritt, Christopher A. Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey
2005	—	`conf`	Some Verification Issues at NASA Goddard Space Flight Center. VSTTE Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Towards Autonomic Management of NASA Missions. ICPADS (2) Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt
2005	—	`conf`	Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Denis Gracanin
2005	C	`conf`	Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
2005	C	`conf`	Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2005	J	`jnl`	You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems. Trans. SDPS Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2004	—	`conf`	Asteroid Exploration with Autonomic Systems. ECBS Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
2004	—	`conf`	Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey
2004	J	`jnl`	NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Prof. Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher A. Rouff
2004	B	`conf`	Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2004	—	`conf`	Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
2004	—	`conf`	Verification of Emergent Behaviors in Swarm-based Systems. ECBS Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2004	B	`conf`	Verification of NASA Emergent Systems. ICECCS Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
2004	Misc	`conf`	Verification of Nasa Emergent Systems. AIAI Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
2003	—	`ed.`	Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers FAABS Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears
2003	C	`conf`	Formal Approaches to Intelligent Swarms. SEW Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey
2003	—	`ed.`	Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers WRAC Walt Truszkowski, Christopher A. Rouff, Michael G. Hinchey
2002	—	`conf`	Testing and Monitoring Intelligent Agents. WRAC Christopher A. Rouff
2001	—	`ed.`	Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers FAABS James L. Rash, Christopher A. Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey
2000	B	`conf`	Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS Christopher A. Rouff, James L. Rash, Michael G. Hinchey
1997	Misc	`conf`	A cooperative mission development environment for crossplatform integration. SAC Mary Ann Robbert, Christopher A. Rouff, Christian Burkhardt
1997	B	`conf`	Developing the cooperative mission development environment. GROUP Christopher A. Rouff, Mary Ann Robbert
1996	J	`jnl`	Formal specification of user interfaces. ACM SIGCHI Bull. Christopher A. Rouff
1995	—	`conf`	Workshop on formal specification of user interfaces (abstract). CHI 95 Conference Companion Christopher A. Rouff