James L. Rash
According to our database1,
James L. Rash
authored at least 42 papers
between 2000 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
You Can't Get There from Here! Large Problems and Potential Solutions in Developing New Classes of Complex Computer Systems.
Proceedings of the Conquering Complexity, 2012
2010
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
NASA Monographs in Systems and Software Engineering, Springer, ISBN: 978-1-84628-233-1, 2010
2008
You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008
2007
Sci. Comput. Program., 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2006
IEEE Trans. Syst. Man Cybern. Syst., 2006
Experiences applying formal approaches in the development of swarm-based space exploration systems.
Int. J. Softw. Tools Technol. Transf., 2006
Next generation system and software architectures: Challenges from future NASA exploration missions.
Sci. Comput. Program., 2006
Achieving dependability in sensor networks through automated requirements-based programming.
Comput. Commun., 2006
A requirements-based programming approach to developing a NASA autonomous ground control system.
Artif. Intell. Rev., 2006
Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006
Proceedings of the Biologically Inspired Cooperative Computing, 2006
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006
2005
You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems.
Trans. SDPS, 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005
Self*- Properties in NASA Mission.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
Autonomous and Autonomic Swarms.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
Towards an automated development methodology for dependable systems with application to sensor networks.
Proceedings of the 24th IEEE International Performance Computing and Communications Conference, 2005
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005
Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
Proceedings of the Second International Conference on Autonomic Computing (ICAC 2005), 2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005
Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005
2004
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Formal Methods for Autonomic and Swarm-based Systems.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Proceedings of the Artificial Intelligence Applications and Innovations, 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004
2003
Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003
2000
Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000