Experiences applying formal approaches in the development of swarm-based space exploration systems
Rouff, Christopher A., Hinchey, Michael G., Truszkowski, Walter F., Rash, James L.
Published in International journal on software tools for technology transfer (01.11.2006)
Published in International journal on software tools for technology transfer (01.11.2006)
Get full text
Journal Article
Memetic Engineering as a Basis for Learning in Robotic Communities
Truszkowski, Walter F, Rouff, Christopher, Akhavannik, Mohammad H
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (10.10.2014)
Get full text
Published in NASA Center for AeroSpace Information (CASI). Conference Proceedings (10.10.2014)
Conference Proceeding
Experiences applying formal approaches in the development of swarm-based space exploration systems : Leveraging formal methods
ROUFF, Christopher A, HINCHEY, Michael G, TRUSZKOWSKI, Walter F, RASH, James L
Published in International journal on software tools for technology transfer (Print) (2006)
Get full text
Published in International journal on software tools for technology transfer (Print) (2006)
Conference Proceeding
You Can't Get There From Here! Problems and Potential Solutions in Developing New Classes of Complex Computer Systems
Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Sterritt, R., Rouff, C.A.
Published in 2008 International Multiconference on Computer Science and Information Technology (01.10.2008)
Published in 2008 International Multiconference on Computer Science and Information Technology (01.10.2008)
Get full text
Conference Proceeding
Autonomous and autonomic systems : A paradigm for future space exploration missions : Engineering of Autonomic Systems
TRUSZKOWSKI, Walter F, HINCHEY, Michael G, RASH, James L, ROUFF, Christopher A
Published in IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews (2006)
Get full text
Published in IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews (2006)
Journal Article
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions
Rouff, C.A., Hinchey, M.G., Rash, J.L., Truszkowski, W.F.
Published in 29th Annual IEEE/NASA Software Engineering Workshop (2005)
Published in 29th Annual IEEE/NASA Software Engineering Workshop (2005)
Get full text
Conference Proceeding