John S. Baras

Shah-An Yang

Waiting for Historical PicturePost-Doctoral Researcher

Ph.D. in Electrical Engineering, University of Maryland, College Park (December 2007).

B.S. in Electrical Engineering, University of Maryland, College Park (May 1998).

Research Interests

Publications

  1. S. Yang, J. S. Baras, "Modeling Vulnerabilities of Ad Hoc Routing Protocols", Proceedings of SASN 2003, pp. 12-20, Fairfax, VA, October 31, 2003.
  2. S. Yang, J. S. Baras, "Correctness Proof for a Dynamic Adaptive Routing Algorithm for Mobile Ad Hoc Networks", Proceedings of the IFAC Workshop Modeling and Analysis of Logic Controlled Dynamic Systems, Irkutsk, Lake Baikal, Russia, July 30 - August 1, 2003.
  3. V. Ramezani, S. Yang, and J. S. Baras, "Finite Automata Models for Anomaly Detection", Proceedings of the 37th Conference on Information Sciences and Systems, Baltimore, Maryland, March 12-14, 2003.
  4. S. Yang and J. S. Baras, "TORA, Verification, Proofs and Model Checking", Proceedings of WiOpt '03, Sophia-Antipolis, France, March 3-5, 2003.
  5. H. Li, S. Yang, H. Xi and J. Baras, "Systems Designs for Adaptive, Distributed Network Monitoring and Control", Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, pp. 77-90, Seattle, Washington, May 14-18, 2001.

Contact Information

Office Address:

AVW 2251
A.V. Williams Building 115
University of Maryland
College Park, Maryland 20742.
Phone: 301 - 405 - 6594

Email: syang@nospam.umd.edu - Please remove "nospam." from email address

Personal Webpage: none.

Biography | Site Map | Contact Dr. Baras | Send Feedback | ©2008 ISR