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.
James L. Rash
2010 – today
- 2011
[e5]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
2000 – 2009
- 2008
- [c31]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
- [j7]Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash: Designing and managing evolving systems using a MAS product line approach. Sci. Comput. Program. 66(1): 71-86 (2007)
- [c30]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
- [c29]Michael G. Hinchey, Yuan-Shun Dai, James L. Rash, Walt Truszkowski, Manish Madhusoodan: Bionic autonomic nervous system and self-healing for NASA ANTS-like missions. SAC 2007: 90-96
- 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)
- [c28]Yuan-Shun Dai, Michael G. Hinchey, Manish Madhusoodan, James L. Rash, Xukai Zou: A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System. DASC 2006: 3-10
- [c27]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
- [c26]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
- [c25]Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash: Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach. Software Engineering Research and Practice 2006: 995-1001
- [e4]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]James L. Rash, Keith Hogie, Ralph Casasanta: Internet technology for future space missions. Computer Networks 47(5): 651-659 (2005)
- [c24]James L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313
- [c23]Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345
- [c22]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
- [c21]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
- [c20]Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388
- [c19]James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125
- [c18]Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397
- [c17]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
- [c16]Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477
- [c15]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
- [c14]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
- [c13]Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44
- [c12]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
- [c11]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
- [c10]Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412
- [e3]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)
- [c9]Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
- [c8]Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489
- [c7]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
- [c6]Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238
- [c5]Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176
- [c4]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
- [c3]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
- [c2]Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51
- [e2]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
- 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
- [c1]Christopher Rouff, James L. Rash, Michael G. Hinchey: Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-19 21:35 CET by the dblp team