Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christopher A. Rouff
Christopher Rouff
2010 – today
- 2012
[j10]Emil Vassev, Roy Sterritt, Christopher Rouff, Mike Hinchey: Swarm Technology at NASA: Building Resilient Systems. IT Professional 14(2): 36-42 (2012)- [c34]Christopher Rouff, Richard W. Buskens, Laura Pullum, Xiaohui Cui, Mike Hinchey: The AdaptiV approach to verification of adaptive systems. C3S2E 2012: 118-122
- 2011
- [j9]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. Software and System Modeling 10(1): 55-62 (2011)
- [e6]James L. Rash, Christopher Rouff (Eds.): 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4627-8
- 2010
- [c33]Peter Haglich, Christopher Rouff, Laura Pullum: Detecting Emergence in Social Networks. SocialCom/PASSAT 2010: 693-696
2000 – 2009
- 2008
- [c32]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
- 2007
- [j8]Michael G. Hinchey, Roy Sterritt, Christopher A. Rouff: Swarms and Swarm Intelligence. IEEE Computer 40(4): 111-113 (2007)
- [j7]Christopher A. Rouff: Introduction: DARPA Urban Grand Challenge Editorial). JACIC 4(12): 1046-1046 (2007)
- [c31]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
- 2006
- [j6]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)
- [j5]Michael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin: Achieving dependability in sensor networks through automated requirements-based programming. Computer Communications 29(2): 246-256 (2006)
- [j4]Roy Sterritt, Christopher 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)
- [j3]Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash: Experiences applying formal approaches in the development of swarm-based space exploration systems. STTT 8(6): 587-603 (2006)
- [c30]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
- [c29]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 (Eds.): 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
- 2005
- [j2]Walt Truszkowski, Christopher Rouff, Sidney C. Bailin, Mike Rilee: Progressive autonomy: a method for gradually introducing autonomy into space missions. ISSE 1(2): 89-99 (2005)
- [c28]Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345
- [c27]James L. Rash, Michael G. Hinchey, Christopher 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
- [c26]Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin: Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops 2005: 1245-1254
- [c25]Christopher 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 Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125
- [c23]Christopher 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 Rouff, Roy Sterritt: Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) 2005: 463-467
- [c21]Christopher 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 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 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 Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44
- [c16]Roy Sterritt, Christopher 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 Rouff (Eds.): 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
- 2004
- [j1]Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher Rouff: NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Professional 6(5): 47-52 (2004)
- [c13]Christopher 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 Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489
- [c11]Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS 2004: 490-499
- [c10]Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238
- [c9]Christopher 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 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 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 Rouff, Diana F. Gordon-Spears (Eds.): 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
- [e2]Walt Truszkowski, Christopher Rouff, Michael G. Hinchey (Eds.): 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
- 2002
- [c5]
- 2001
- [e1]James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey (Eds.): 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
- 2000
- [c4]Christopher 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 Rouff, Mary Ann Robbert: Developing the cooperative mission development environment. GROUP 1997: 351-357
- [c2]Mary Ann Robbert, Christopher Rouff, Christian Burkhardt: A cooperative mission development environment for crossplatform integration. SAC 1997: 180-181
- 1995
- [c1]Christopher Rouff: Workshop on formal specification of user interfaces (abstract). CHI 95 Conference Companion 1995: 441
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-19 21:36 CET by the dblp team