Articles with public access mandates - Christopher RouffLearn more
Not available anywhere: 1
Automatic generation of network element software (AGNES) short paper
CA Rouff, MD Williams, Q Zhang, DJ Bennett, RC McDowell, AR Nowicki, ...
Proceedings of the 12th Annual Conference on Cyber and Information Security …, 2017
Mandates: US Department of Defense
Available somewhere: 4
Swarm Technology at NASA
E Vassev, R Sterritt, C Rouff, M Hinchey
IT Pro, 36-42, 2012
Mandates: Science Foundation Ireland
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
J Peña, CA Rouff, M Hinchey, A Ruiz-Cortés
Software & Systems Modeling 10 (1), 55-62, 2011
Mandates: Science Foundation Ireland
The AdaptiV approach to verification of adaptive systems
C Rouff, R Buskens, L Pullum, X Cui, M Hinchey
Proceedings of the fifth international c* conference on computer science and …, 2012
Mandates: Science Foundation Ireland
Verification of adaptive systems
L Pullum, X Cui, E Vassev, M Hinchey, C Rouff, R Buskens
Infotech@ Aerospace 2012, 2478, 2012
Mandates: Science Foundation Ireland
Publication and funding information is determined automatically by a computer program