default search action
James L. Rash
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 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
- [e5]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
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
- [j9]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) - [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 - [c30]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
- [j8]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) - [j7]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) - [j6]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) - [j5]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) - [j4]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) - [c29]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 - [c28]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 - [c27]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 - [c26]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:
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
- [j3]James L. Rash, Keith Hogie, Ralph Casasanta:
Internet technology for future space missions. Comput. Networks 47(5): 651-659 (2005) - [j2]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) - [c25]James L. Rash, Michael G. Hinchey, Denis Gracanin:
An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313 - [c24]Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345 - [c23]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 - [c22]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 - [c21]Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski:
Requirements of an integrated formal method for intelligent swarms. FMICS 2005: 125-133 - [c20]Christopher A. 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 A. Rouff, Denis Gracanin:
Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125 - [c18]Christopher A. 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 A. Rouff, Roy Sterritt:
Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) 2005: 463-467 - [c16]Christopher A. 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 A. 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 A. Rouff, Roy Sterritt:
Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44 - [c12]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 - [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 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
- [j1]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) - [c9]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 - [c8]Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey:
Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489 - [c7]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 - [c6]Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of NASA Emergent Systems. ICECCS 2004: 231-238 - [c5]Christopher A. 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 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
- [c2]Christopher A. 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 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] - 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
- [c1]Christopher A. Rouff, James L. Rash, Michael G. Hinchey:
Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-
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:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint