Yang, Shahan., Zhou, Yuchen., Baras, John S., "Compositional Analysis of Dynamic Bayesian Networks and Applications to Complex Dynamic System Decomposition", Conference on Systems Engineering Research (CSER'13),, pp. 167-176, Atlanta, GA, March 19-22, 2013
Yang, Shahan., Wang, Baobing., Baras, John S., "Interactive Tree Decomposition Tool for Reducing System Analysis Complexity", Conference on Systems Engineering Research (CSER'13),, pp. 138-147, Atlanta, GA, March 19-22, 2013
Yang, Shahan., Baras, John S., "Factor Join Trees in Systems Exploration", 23rd International Conference on Software and Systems Engineering and their Applications (ICSSEA 2011), pp. 1-12, Paris, France, November 29 - December 1, 2011
Yang, Shahan., Baras, John S., "Modeling vulnerabilities of ad hoc routing protocols", 1st ACM workshop on Security of ad hoc and sensor networks, pp. 12-20., Fairfax, Virginia, December 1-5, 2003
Yang, Shahan., Baras, John S., "Correctness Proof for a Dynamic Adaptive Routing Algorithm for Mobile Ad-hoc Networks", IFAC Workshop – Modeling and Analysis of Logic Controlled Dynamic Systems, pp. 1-10, Lake Baikal, Russia, July 30 - August 1, 2003
V. R. Ramezani, Yang, Shahan., Baras, John S., "Finite Automata Models for Anomaly Detection", 37th Conference on Information Sciences and Systems (CISS), Baltimore, Maryland, March 12-14, 2003
Yang, Shahan., Baras, John S., "TORA, Verification, Proofs and Model Checking", WiOpt ’03: Modeling and Optimization in Mobile, AdHoc and Wireless Networks, Sophia-Antipolis, France, March 3-5, 2003
Li, Hongjun., Yang, Shahan., Xi, Haifeng., Baras, John S., "System designs for adaptive, distributed network monitoring and control", IEEE/IFIP International Symposium on Integrated Network Management, Seattle, WA, May 14-18, 2001
