James L. Rash - RankMe

48 papers B 5C 6Misc 2Journal 9Unranked 20

Year	Rank	Type	Title / Venue / Authors
2012	—	`ch.`	You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems. Conquering Complexity Mike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2011	C	`ed.`	34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011 SEW James L. Rash, Christopher A. Rouff
2010	—	`book`	Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems Walt Truszkowski, Harold L. Hallock, Christopher A. Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt
2008	—	`conf`	You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems. IMCSIT Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff
2007	Misc	`conf`	Bionic autonomic nervous system and self-healing for NASA ANTS-like missions. SAC Michael G. Hinchey, Yuan-Shun Dai, James L. Rash, Walt Truszkowski, Manish Madhusoodan
2007	J	`jnl`	Designing and managing evolving systems using a MAS product line approach. Sci. Comput. Program. Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash
2007	B	`conf`	Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing. AINA Michael G. Hinchey, Yuan-Shun Dai, Christopher A. Rouff, James L. Rash, Mingrui Qi
2006	C	`conf`	A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics System. DASC Yuan-Shun Dai, Michael G. Hinchey, Manish Madhusoodan, James L. Rash, Xukai Zou
2006	J	`jnl`	A requirements-based programming approach to developing a NASA autonomous ground control system. Artif. Intell. Rev. James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
2006	J	`jnl`	Achieving dependability in sensor networks through automated requirements-based programming. Comput. Commun. Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Denis Gracanin
2006	J	`jnl`	Autonomous and autonomic systems: a paradigm for future space exploration missions. IEEE Trans. Syst. Man Cybern. Syst. Walter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2006	—	`conf`	Completing and Adapting Models of Biological Processes. BICC Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	—	`conf`	Enhanced Requirements-Based Programming for Embedded Systems Design. MBEES Michael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen
2006	J	`jnl`	Experiences applying formal approaches in the development of swarm-based space exploration systems. Int. J. Softw. Tools Technol. Transf. Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash
2006	—	`ed.`	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 WRAC Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski
2006	—	`conf`	Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach. Software Engineering Research and Practice Joaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash
2006	J	`jnl`	Next generation system and software architectures: Challenges from future NASA exploration missions. Sci. Comput. Program. Roy Sterritt, Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
2005	—	`conf`	A Formal Approach to Requirements-Based Programming. ECBS Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops James L. Rash, Michael G. Hinchey, Denis Gracanin
2005	—	`conf`	Autonomicity of NASA Missions. ICAC Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt
2005	—	`conf`	Autonomous and Autonomic Swarms. Software Engineering Research and Practice Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2005	—	`conf`	Challenges of Developing New Classes of NASA Self-Managing Missions. ICPADS (2) Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Roy Sterritt
2005	—	`conf`	Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems. ICPADS (2) Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System. ECBS James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson
2005	—	`ed.`	Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers FAABS Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff
2005	B	`conf`	Formal Requirements-Based Programming for Complex Systems. ICECCS James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin
2005	J	`jnl`	Internet technology for future space missions. Comput. Networks James L. Rash, Keith Hogie, Ralph Casasanta
2005	C	`conf`	Requirements of an integrated formal method for intelligent swarms. FMICS Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski
2005	—	`conf`	Self*- Properties in NASA Mission. Software Engineering Research and Practice Roy Sterritt, Christopher A. Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey
2005	—	`conf`	Some Verification Issues at NASA Goddard Space Flight Center. VSTTE Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Towards Autonomic Management of NASA Missions. ICPADS (2) Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt
2005	—	`conf`	Towards Formal Specification and Generation of Autonomic Policies. EUC Workshops Roy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Denis Gracanin
2005	C	`conf`	Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. SEW Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski
2005	C	`conf`	Towards an automated development methodology for dependable systems with application to sensor networks. IPCCC Michael G. Hinchey, James L. Rash, Christopher A. Rouff
2005	—	`conf`	Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) Christopher A. Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2005	J	`jnl`	You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems. Trans. SDPS Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt
2004	—	`conf`	Asteroid Exploration with Autonomic Systems. ECBS Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
2004	—	`conf`	Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey
2004	J	`jnl`	NASA's Swarm Missions: The Challenge of Building Autonomous Software. IT Prof. Walt Truszkowski, Mike Hinchey, James L. Rash, Christopher A. Rouff
2004	B	`conf`	Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2004	—	`conf`	Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT. ECBS Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey
2004	—	`conf`	Verification of Emergent Behaviors in Swarm-based Systems. ECBS Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash
2004	B	`conf`	Verification of NASA Emergent Systems. ICECCS Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
2004	Misc	`conf`	Verification of Nasa Emergent Systems. AIAI Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey
2003	—	`ed.`	Formal Approaches to Agent-Based Systems, Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers FAABS Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher A. Rouff, Diana F. Gordon-Spears
2003	C	`conf`	Formal Approaches to Intelligent Swarms. SEW Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey
2001	—	`ed.`	Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers FAABS James L. Rash, Christopher A. Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey
2000	B	`conf`	Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS Christopher A. Rouff, James L. Rash, Michael G. Hinchey