James L. Rash - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 43 from 43

2012

You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer SystemsMike Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt. In Mike Hinchey, Lorcan Coyle, editors, Conquering Complexity. pages 159-176, Springer, 2012. [doi]

2010

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration SystemsWalt Truszkowski, Harold L. Hallock, Christopher Rouff, Jay Karlin, James L. Rash, Michael G. Hinchey, Roy Sterritt. NASA Monographs in Systems and Software Engineering, Springer, 2010. [doi]

2008

You can t get there from here! Problems and potential solutions in developing new classes of complex computer systemsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt, Christopher A. Rouff. imcsit 2008: 639-647 [doi]

2007

2006

A Prototype Model for Self-Healing and Self-Reproduction In Swarm Robotics SystemYuan-Shun Dai, Michael G. Hinchey, Manish Madhusoodan, James L. Rash, Xukai Zou. dasc 2006: 3-10 [doi]

Achieving dependability in sensor networks through automated requirements-based programmingMichael G. Hinchey, James L. Rash, Christopher Rouff, Denis Gracanin. comcom, 29(2):246-256, 2006. [doi]

Enhanced Requirements-Based Programming for Embedded Systems DesignMichael G. Hinchey, Tiziana Margaria, James L. Rash, Christopher A. Rouff, Bernhard Steffen. mbees 2006: 43-52 [doi]

Completing and Adapting Models of Biological ProcessesTiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen. ifip10 2006: 43-54 [doi]

Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line ApproachJoaquín Peña, Michael G. Hinchey, Manuel Resinas, Roy Sterritt, James L. Rash. serp 2006: 995-1001

A requirements-based programming approach to developing a NASA autonomous ground control systemJames L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson. air, 25(4):285-297, 2006. [doi]

Experiences applying formal approaches in the development of swarm-based space exploration systemsChristopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash. STTT, 8(6):587-603, 2006. [doi]

Next generation system and software architectures: Challenges from future NASA exploration missionsRoy Sterritt, Christopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski. SCP, 61(1):48-57, 2006. [doi]

Autonomous and autonomic systems: a paradigm for future space exploration missionsWalter Truszkowski, Michael G. Hinchey, James L. Rash, Christopher A. Rouff. tsmc, 36(3):279-291, 2006. [doi]

2005

Some Verification Issues at NASA Goddard Space Flight CenterMichael G. Hinchey, James L. Rash, Christopher A. Rouff. vstte 2008: 403-412 [doi]

Towards an automated development methodology for dependable systems with application to sensor networksMichael G. Hinchey, James L. Rash, Christopher A. Rouff. ipccc 2005: 445-451 [doi]

Requirements of an integrated formal method for intelligent swarmsMichael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski. fmics 2005: 125-133 [doi]

You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex SystemsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher A. Rouff, Roy Sterritt. jid, 9(1):1-16, 2005. [doi]

Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed SystemsMichael G. Hinchey, James L. Rash, Christopher Rouff. icpads 2005: 570-574 [doi]

Challenges of Developing New Classes of NASA Self-Managing MissionsMichael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Roy Sterritt. icpads 2005: 463-467 [doi]

A Formal Approach to Requirements-Based ProgrammingMichael G. Hinchey, James L. Rash, Christopher Rouff. ECBS 2005: 339-345 [doi]

Autonomous and Autonomic SwarmsMichael G. Hinchey, James L. Rash, Walter Truszkowski, Christopher Rouff, Roy Sterritt. serp 2005: 36-44

Internet technology for future space missionsJames L. Rash, Keith Hogie, Ralph Casasanta. cn, 47(5):651-659, 2005. [doi]

An Approach to Generating and Verifying Complex Scripts and ProceduresJames L. Rash, Michael G. Hinchey, Denis Gracanin. csb 2005: 305-313 [doi]

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control SystemJames L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin, John Erickson. ECBS 2005: 490-497 [doi]

Formal Requirements-Based Programming for Complex SystemsJames L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin. ICECCS 2005: 116-125 [doi]

Towards a Hybrid Formal Method for Swarm-Based Exploration MissionsChristopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski. sew 2006: 253-264 [doi]

Verifying Large Numbers of Cooperating Adaptive AgentsChristopher Rouff, Michael G. Hinchey, Walt Truszkowski, James L. Rash. icpads 2005: 391-397 [doi]

Autonomicity of NASA MissionsChristopher Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski, Roy Sterritt. icac 2005: 387-388 [doi]

Towards Autonomic Management of NASA MissionsChristopher Rouff, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Roy Sterritt. icpads 2005: 473-477 [doi]

Towards Formal Specification and Generation of Autonomic PoliciesRoy Sterritt, Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, Denis Gracanin. euc 2005: 1245-1254 [doi]

Self*- Properties in NASA MissionRoy Sterritt, Christopher Rouff, James L. Rash, Walter Truszkowski, Michael G. Hinchey. serp 2005: 66-72

2004

Formal Methods for Autonomic and Swarm-based SystemsChristopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey. ISoLA 2004: 100-102

Verification of Nasa Emergent SystemsChristopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey. ifip12 2004: 167-176

Verification of Emergent Behaviors in Swarm-based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. ECBS 2004: 443-448 [doi]

Verification of NASA Emergent SystemsChristopher Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey. ICECCS 2004: 231-238 [doi]

Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based SystemsChristopher Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash. SEFM 2004: 24-33 [doi]

Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACTWalt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey. ECBS 2004: 490-499 [doi]

Asteroid Exploration with Autonomic SystemsWalt Truszkowski, James L. Rash, Christopher Rouff, Michael G. Hinchey. ECBS 2004: 484-489 [doi]

NASA s Swarm Missions: The Challenge of Building Autonomous SoftwareWalt Truszkowski, Mike Hinchey, James L. Rash, Christopher Rouff. itpro, 6(5):47-52, 2004. [doi]

2003

Formal Approaches to Intelligent SwarmsChristopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey. sew 2004: 51 [doi]

2000

Experience Using Formal Methods for Specifying a Multi-Agent SystemChristopher Rouff, James L. Rash, Michael G. Hinchey. ICECCS 2000: 72 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'James L. Rash'

Viewing Publication 1 - 43 from 43

2012

2010

2008

2007

2006

2005

2004

2003

2000

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'James L. Rash'

Viewing Publication 1 - 43 from 43

2012

2010

2008

2007

2006

2005

2004

2003

2000

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1