Christopher A. Rouff

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 5

Top Topics

Industrial Process

Autonomic Systems

Adjustable Autonomy

Top Venues

Innov. Syst. Softw. Eng.

Found. Trends Priv. Secur.

Publications

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) (2023)
Valeti Manoj, Shao Wenda, Niu Sihan, Christopher A. Rouff, Lanier A. Watkins, Aviel Rubin
Explainable Autonomic Cybersecurity For Industrial Control Systems. CCWC (2023)
Christopher A. Rouff, Lanier A. Watkins
Assured Autonomy Survey. Found. Trends Priv. Secur. 4 (1) (2022)
Christopher A. Rouff, Lanier A. Watkins, Roy Sterritt, Salim Hariri
SoK: Autonomic Cybersecurity - Securing Future Disruptive Technologies. CSR (2021)
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)
Emil Vassev, Roy Sterritt, Christopher A. Rouff, Mike Hinchey
Swarm Technology at NASA: Building Resilient Systems. IT Prof. 14 (2) (2012)
Christopher A. Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey
approach to verification of adaptive systems. C3S2E (2012)
Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher A. Rouff, Richard W. Buskens
Verification of Adaptive Systems. Infotech@Aerospace (2012)
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) (2011)
Peter Haglich, Christopher A. Rouff, Laura Pullum
Detecting Emergence in Social Networks. SocialCom/PASSAT (2010)
James Starz, Jason Losco, Brian P. Kettler, Rachel Hingst, Christopher A. Rouff
Leveraging Emergent Ontologies in the Intelligence Community. OIC (2008)
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)
Christopher A. Rouff
Introduction to the Second Special Section on the DARPA Urban Grand Challenge. J. Aerosp. Comput. Inf. Commun. 5 (12) (2008)
Christopher A. Rouff
Introduction: DARPA Urban Grand Challenge. J. Aerosp. Comput. Inf. Commun. 4 (12) (2007)
Christopher A. Rouff
Intelligence in Future NASA Swarm-based Missions. AAAI Fall Symposium: Regarding the Intelligence in Distributed Intelligent Systems (2007)
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)
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)
Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff
Swarms and Swarm Intelligence. Computer 40 (4) (2007)
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) (2006)
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) (2006)
Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
Completing and Adapting Models of Biological Processes. BICC (2006)
Michael G. Hinchey, Roy Sterritt, Joaquín Peña, Christopher A. Rouff
Software engineering and swarm-based systems. SEAMS@ICSE (2006)
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) (2006)
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) (2006)
Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES (2006)
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) (2006)
Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt
Towards Autonomic Management of NASA Missions. ICPADS (2) (2005)
James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin
Formal Requirements-Based Programming for Complex Systems. ICECCS (2005)
Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW (2005)
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)
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)
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)
Roy Sterritt, Christopher A. Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey
Self*- Properties in NASA Mission. Software Engineering Research and Practice (2005)
Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski
Requirements of an integrated formal method for intelligent swarms. FMICS (2005)
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) (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC (2005)
Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt
Autonomicity of NASA Missions. ICAC (2005)
Walt Truszkowski, Christopher A. Rouff, Sidney C. Bailin, Mike Rilee
Progressive Autonomy - An Incremental Agent-based Approach. Software Engineering Research and Practice (2005)
Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash
Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) (2005)
Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
Autonomous and Autonomic Swarms. Software Engineering Research and Practice (2005)
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) (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
A Formal Approach to Requirements-Based Programming. ECBS (2005)
Michael G. Hinchey, James L. Rash, Christopher A. Rouff
Some Verification Issues at NASA Goddard Space Flight Center. VSTTE (2005)
Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
Verification of NASA Emergent Systems. ICECCS (2004)
Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
Verification of Nasa Emergent Systems. AIAI (2004)
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)
Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
Asteroid Exploration with Autonomic Systems. ECBS (2004)
Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
Verification of Emergent Behaviors in Swarm-based Systems. ECBS (2004)
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)
Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher A. Rouff
NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Prof. 6 (5) (2004)
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)
Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey
Formal Approaches to Intelligent Swarms. SEW (2003)
Christopher A. Rouff
Testing and Monitoring Intelligent Agents. WRAC (2002)
Christopher A. Rouff, James L. Rash, Michael G. Hinchey
Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS (2000)
Mary Ann Robbert, Christopher A. Rouff, Christian Burkhardt
A cooperative mission development environment for crossplatform integration. SAC (1997)
Christopher A. Rouff, Mary Ann Robbert
Developing the cooperative mission development environment. GROUP (1997)
Christopher A. Rouff
Formal specification of user interfaces. ACM SIGCHI Bull. 28 (3) (1996)
Christopher A. Rouff
Workshop on formal specification of user interfaces (abstract). CHI 95 Conference Companion (1995)