default search action
Christopher A. Rouff
Person information
- affiliation: Johns Hopkins University, Applied Physics Laboratory, Laurel, MD, USA
- affiliation: Lockheed Martin, Advanced Technology Laboratories, Arlington, VA, USA
- affiliation: Science Applications International Corporation (SAIC), McLean, VA, USA
- affiliation: NASA Goddard Space Flight Center, Greenbelt, MD, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j16]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:
Agile services and analysis framework for autonomous and autonomic critical infrastructure. Innov. Syst. Softw. Eng. 19(2): 145-156 (2023) - [c43]Valeti Manoj, Shao Wenda, Niu Sihan, Christopher A. Rouff, Lanier A. Watkins, Aviel Rubin:
Explainable Autonomic Cybersecurity For Industrial Control Systems. CCWC 2023: 900-9006 - 2022
- [j15]Christopher A. Rouff, Lanier A. Watkins:
Assured Autonomy Survey. Found. Trends Priv. Secur. 4(1): 1-116 (2022) - 2021
- [c42]Christopher A. Rouff, Lanier A. Watkins, Roy Sterritt, Salim Hariri:
SoK: Autonomic Cybersecurity - Securing Future Disruptive Technologies. CSR 2021: 66-72
2010 – 2019
- 2017
- [b2]Harold L. Hallock, Gary Welter, David G. Simpson, Christopher A. Rouff:
ACS Without an Attitude. NASA Monographs in Systems and Software Engineering, Springer 2017, ISBN 978-1-4471-7324-3, pp. 1-226 - [c41]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:
Automatic generation of network element software (AGNES): short paper. CISRC 2017: 15:1-15:4 - 2012
- [j14]Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey:
Swarm Technology at NASA: Building Resilient Systems. IT Prof. 14(2): 36-42 (2012) - [c40]Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey:
The AdaptiV approach to verification of adaptive systems. C3S2E 2012: 118-122 - [c39]Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens:
Verification of Adaptive Systems. Infotech@Aerospace 2012 - [p1]Mike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt:
You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. Conquering Complexity 2012: 159-176 - 2011
- [j13]Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés:
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Softw. Syst. Model. 10(1): 55-62 (2011) - [e6]James L. Rash, Christopher A. Rouff:
34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4627-8 [contents] - 2010
- [b1]Walt Truszkowski, Harold L. Hallock, Christopher A. Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt:
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems. NASA Monographs in Systems and Software Engineering, Springer 2010, ISBN 978-1-84628-232-4, pp. 1-289 - [c38]Peter Haglich, Christopher A. Rouff, Laura Pullum:
Detecting Emergence in Social Networks. SocialCom/PASSAT 2010: 693-696
2000 – 2009
- 2008
- [j12]Christopher A. Rouff:
Introduction to the Second Special Section on the DARPA Urban Grand Challenge. J. Aerosp. Comput. Inf. Commun. 5(12): 490 (2008) - [c37]Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff:
You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. IMCSIT 2008: 639-647 - [c36]James Starz, Jason Losco, Brian P. Kettler, Rachel Hingst, Christopher A. Rouff:
Leveraging Emergent Ontologies in the Intelligence Community. OIC 2008 - 2007
- [j11]Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff:
Swarms and Swarm Intelligence. Computer 40(4): 111-113 (2007) - [j10]Christopher A. Rouff:
Introduction: DARPA Urban Grand Challenge. J. Aerosp. Comput. Inf. Commun. 4(12): 1046 (2007) - [c35]Christopher A. Rouff:
Intelligence in Future NASA Swarm-based Missions. AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems 2007: 112-115 - [c34]Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi:
Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. AINA 2007: 250-257 - [c33]Christopher A. Rouff, Michael G. Hinchey, Joaquín Peña, Antonio Ruiz Cortés:
Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems. SIS 2007: 348-355 - 2006
- [j9]James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson:
A requirements-based programming approach to developing a NASA autonomous ground control system. Artif. Intell. Rev. 25(4): 285-297 (2006) - [j8]Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Denis Gracanin:
Achieving dependability in sensor networks through automated requirements-based programming. Comput. Commun. 29(2): 246-256 (2006) - [j7]Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski:
Next generation system and software architectures: Challenges from future NASA exploration missions. Sci. Comput. Program. 61(1): 48-57 (2006) - [j6]Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash:
Experiences applying formal approaches in the development of swarm-based space exploration systems. Int. J. Softw. Tools Technol. Transf. 8(6): 587-603 (2006) - [j5]Walter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. Syst. 36(3): 279-291 (2006) - [c32]Michael G. Hinchey, Roy Sterritt, Joaquín Peña, Christopher A. Rouff:
Software engineering and swarm-based systems. SEAMS@ICSE 2006: 97 - [c31]Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Completing and Adapting Models of Biological Processes. BICC 2006: 43-54 - [c30]Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen:
Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES 2006: 43-52 - [e5]Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski:
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. Lecture Notes in Computer Science 3825, Springer 2006, ISBN 978-3-540-69265-2 [contents] - 2005
- [j4]Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee:
Progressive autonomy: a method for gradually introducing autonomy into space missions. Innov. Syst. Softw. Eng. 1(2): 89-99 (2005) - [j3]Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt:
You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems. Trans. SDPS 9(1): 1-16 (2005) - [c29]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345 - [c28]James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson:
Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS 2005: 490-497 - [c27]Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Denis Gracanin:
Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops 2005: 1245-1254 - [c26]Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski:
Requirements of an integrated formal method for intelligent swarms. FMICS 2005: 125-133 - [c25]Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt:
Autonomicity of NASA Missions. ICAC 2005: 387-388 - [c24]James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin:
Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125 - [c23]Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397 - [c22]Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt:
Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) 2005: 463-467 - [c21]Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt:
Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477 - [c20]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) 2005: 570-574 - [c19]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC 2005: 445-451 - [c18]Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee:
Progressive Autonomy - An Incremental Agent-based Approach. Software Engineering Research and Practice 2005: 9-15 - [c17]Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt:
Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44 - [c16]Roy Sterritt, Christopher A. Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey:
Self*- Properties in NASA Mission. Software Engineering Research and Practice 2005: 66-72 - [c15]Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski:
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW 2005: 253-264 - [c14]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412 - [e4]Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff:
Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3228, Springer 2005, ISBN 3-540-24422-0 [contents] - 2004
- [j2]Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher A. Rouff:
NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Prof. 6(5): 47-52 (2004) - [c13]Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448 - [c12]Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey:
Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489 - [c11]Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey:
Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS 2004: 490-499 - [c10]Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of NASA Emergent Systems. ICECCS 2004: 231-238 - [c9]Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of Nasa Emergent Systems. AIAI 2004: 167-176 - [c8]Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) 2004: 100-102 - [c7]Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM 2004: 24-33 - 2003
- [c6]Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
Formal Approaches to Intelligent Swarms. SEW 2003: 51 - [e3]Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears:
Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers. Lecture Notes in Computer Science 2699, Springer 2003, ISBN 3-540-40665-4 [contents] - [e2]Walt Truszkowski, Christopher A. Rouff, Michael G. Hinchey:
Innovative Concepts for Agent-Based Systems, First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002, Revised Papers. Lecture Notes in Computer Science 2564, Springer 2003, ISBN 3-540-40725-1 [contents] - 2002
- [c5]Christopher A. Rouff:
Testing and Monitoring Intelligent Agents. WRAC 2002: 155-164 - 2001
- [e1]James L. Rash, Christopher A. Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey:
Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Lecture Notes in Computer Science 1871, Springer 2001, ISBN 3-540-42716-3 [contents] - 2000
- [c4]Christopher A. Rouff, James L. Rash, Michael G. Hinchey:
Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-
1990 – 1999
- 1997
- [c3]Christopher A. Rouff, Mary Ann Robbert:
Developing the cooperative mission development environment. GROUP 1997: 351-357 - [c2]Mary Ann Robbert, Christopher A. Rouff, Christian Burkhardt:
A cooperative mission development environment for crossplatform integration. SAC 1997: 180-181 - 1996
- [j1]Christopher A. Rouff:
Formal specification of user interfaces. ACM SIGCHI Bull. 28(3): 27-33 (1996) - 1995
- [c1]Christopher A. Rouff:
Workshop on formal specification of user interfaces (abstract). CHI 95 Conference Companion 1995: 441
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint