The latest contributions to conferences and journals:
- "The AdaptiV Approach to Verification of Adaptive Systems," Proceedings of the Fifth International C* Conference on Computer Science & Software Engineering, Montreal, Canada, June 27-29, 2012, ACM 2012, pp. 118-122.
- "AIR: A Framework For Adaptive Immune Response for Cyber Defense," Journal of Intelligence Community Research and Development, Intelink, May 25, 2012.
- "Autonomy for a Mapleseed-Inspired UAS," presented at that the AUVSI APL Small UAS Symposium, Laurel, MD, June 26-28, 2012.