. (2015). Resilient traffic light control (Poster). (Original work published 10/2015AD)
First name
Himanshu
Last name
Neema
. (2016). SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster). (Original work published 02/2016AD)
. (2004). Synthesis of Robust Task Schedules for Minimum Disruption Repair. In IEEE International Conference on Systems, Man and Cybernetics (Vol. 6, pp. 5056-5061). (Original work published 10/2004AD)
. (2007). Mixed-Initiative Planning for Space Exploration Missions. In ICAPS'07. International Conference on Automated Planning and Scheduling. Workshop on Moving Planning and Scheduling Systems into the Real World.. Providence, Rhode Island. (Original work published 09/2007AD)
. (2008). A Solution-Clusters Based Approach To Solve Hard Constraint Satisfaction Problems. Master's Thesis. Vanderbilt University. (Original work published May, 2008)
. (2009). Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2. In Armed Forces Communications and Electronics Association - George Mason University Symposium. Lansdowne, Virginia: George Mason University: http://hdl.handle.net/1920/5639. (Original work published 05/2009AD)
. (2009). Model Based Integration and Experimentation of Information Fusion and C2 Systems. In FUSION '09. 12th International Conference on Information Fusion. Seattle, WA. (Original work published 07/2009AD)
. (2010). Simulation of Network Attacks on SCADA Systems. In First Workshop on Secure Control Systems, Cyber Physical Systems Week 2010. (Original work published 04/2010AD)
. (2010). A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments (No. ISIS-10-107).
. (2010). SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-hoc Networks. In The 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010) (pp. 179-188). Fairfax, VA. (Original work published 10/2010AD)