James L. Rash

2007
39	EE	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
38	EE	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
37	EE	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)
2006
36		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 Springer 2006
35	EE	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
34	EE	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
33		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
32	EE	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)
31	EE	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)
30	EE	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)
29	EE	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)
2005
28		Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff: Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers Springer 2005
27	EE	James L. Rash, Michael G. Hinchey, Denis Gracanin: An Approach to Generating and Verifying Complex Scripts and Procedures. CSB Workshops 2005: 305-313
26	EE	Michael G. Hinchey, James L. Rash, Christopher Rouff: A Formal Approach to Requirements-Based Programming. ECBS 2005: 339-345
25	EE	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
24	EE	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
23	EE	Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt: Autonomicity of NASA Missions. ICAC 2005: 387-388
22	EE	James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. ICECCS 2005: 116-125
21	EE	Christopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verifying Large Numbers of Cooperating Adaptive Agents. ICPADS (1) 2005: 391-397
20	EE	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
19	EE	Christopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt: Towards Autonomic Management of NASA Missions. ICPADS (2) 2005: 473-477
18	EE	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
17	EE	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
16	EE	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
15		Michael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt: Autonomous and Autonomic Swarms. Software Engineering Research and Practice 2005: 36-44
14		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
13	EE	Michael G. Hinchey, James L. Rash, Christopher A. Rouff: Some Verification Issues at NASA Goddard Space Flight Center. VSTTE 2005: 403-412
12	EE	James L. Rash, Keith Hogie, Ralph Casasanta: Internet technology for future space missions. Computer Networks 47(5): 651-659 (2005)
2004
11		Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of Nasa Emergent Systems. AIAI 2004: 167-176
10	EE	Christopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash: Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
9	EE	Walt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey: Asteroid Exploration with Autonomic Systems. ECBS 2004: 484-489
8	EE	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
7	EE	Christopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey: Verification of NASA Emergent Systems. ICECCS 2004: 231-238
6		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
5	EE	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
4		Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher 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 Springer 2003
3	EE	Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey: Formal Approaches to Intelligent Swarms. SEW 2003: 51
2001
2		James L. Rash, Christopher 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 Springer 2001
2000
1	EE	Christopher Rouff, James L. Rash, Michael G. Hinchey: Experience Using Formal Methods for Specifying a Multi-Agent System. ICECCS 2000: 72-

Coauthor Index

1	Ralph Casasanta	[12]
2	Yuan-Shun Dai	[34] [38] [39]
3	John Erickson	[25] [32]
4	Denis Gracanin	[22] [24] [25] [27] [31] [32]
5	Michael G. Hinchey (Mike Hinchey)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39]
6	Keith Hogie	[12]
7	Manish Madhusoodan	[34] [38]
8	Tiziana Margaria (Tiziana Margaria-Steffen)	[35]
9	Joaquín Peña	[33] [37]
10	Mingrui Qi	[39]
11	Harald Raffelt	[35]
12	Patricia Rago	[36]
13	Manuel Resinas	[33] [37]
14	Christopher A. Rouff (Christopher Rouff)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [28] [29] [30] [31] [32] [35] [36] [39]
15	Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon)	[2] [4]
16	Bernhard Steffen	[35]
17	Roy Sterritt	[14] [15] [19] [20] [23] [24] [29] [33] [36] [37]
18	Walter Truszkowski (Walt Truszkowski)	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15] [16] [19] [20] [21] [23] [24] [28] [29] [30] [36] [38]
19	Amy Vanderbilt	[5] [6] [7] [10] [11]
20	Xukai Zou	[34]

Colors in the list of coauthors