This is an official U.S. Navy website.
Material contained herein is made available for the purpose of peer review and discussion
and does not necessarily reflect the views of the Department of the Navy or the Department of Defense.


 



 

Man-Tak Shing, Associate Professor


Computer Science Department, Code CS/Sh
Naval Postgraduate School
1411 Cunningham Road
Monterey, CA 93943

Phone: (831) 656-2634
FAX: (831) 656-2814
DSN: 756-XXXX
E-mail: shing@nps.edu


BIOGRAPHICAL SKETCH:

Professor Shing joined the US Naval Postgraduate School in 1988 and is currently an associate professor of computer science. He works in the areas of Software Engineering, Real-time and Distributed System Modeling and Design, Validation and Run-time Monitoring of Temporal Specifications, Service Oriented Architectures and Cloud Computing.

(My Vitae)

 


EDUCATION:

·      Ph.D. in Computer Science, University of California at San Diego, 1981

·      M.S. in Computer Science, University of California at San Diego, 1978

·      B.S. in Electronics, Chinese University of Hong Kong, 1976


RESEARCH INTERESTS:

·      Specification, validation and run-time monitoring of temporal assertions, Real-time and Distributed System Modeling and Design, Service Oriented Architectures, Cloud Computing


RECENT PUBLICATIONS (last five years):

 

·      M.C.B. Alves, D. Drusinsky, J.B. Michael and M. Shing, “End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software”, IEEE Systems Journal, Vol. 7. No. 4, Dec. 2013, pp. 632-641.

 

·      C. Bonine, M. Shing and T.W. Otani, “Computer-Aided Process and Tools for Mobile Software Acquisition”, Proceedings of the 10th Annual Acquisition Research Symposium, NPS-SE-13-C10P07R05-075, pp. 685-703, Monterey, CA, April 1, 2013. http://www.acquisitionresearch.net/files/FY2013/NPS-SE-13-C10P07R05-075.pdf

 

·      A. Olagbemiro, J. Mun, and M. Shing, “Application of Real Options Theory to Department of Defense Software Acquisitions,” in Handbook of Industrial and System Engineering, 2nd Edition, A.B. Badiru (Ed.), pp. 699-715, Boca Raton, FL., CRC Press, 2013.

 

·      J.B. Michael, D. Drusinsky, T.W. Otani and M. Shing, “Verification and Validation for Trustworthy Software Systems,” IEEE Software, Vol. 28, No. 6, Nov-Dec 2011, pp. 86-92.

 

·      J.S. Bolin, J.B. Michael and M. Shing, “Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes,” Proc. 2011 IEEE World Congress on Services (SERVICES), Washington,  DC, 4-9 July 2011, pp. 589 – 593.

 

·      S. Kelly, C. Mazyck, K. Pfeiffer and M. Shing, “A Cloud Computing Application for Synchronized Disaster Response Operations,” Proc. 2011 IEEE World Congress on Services (SERVICES), Washington,  DC, 4-9 July 2011, pp. 612 – 616.

 

·      A.J. Nelson, G. Dinolt, J.B. Michael and M. Shing, “A security and usability perspective of cloud file systems,” Proc. 6th International Conference on System of Systems Engineering, Albuquerque, NM, 27-30 June 2011, pp. 161 – 166.

 

·      D. Drusinsky, J.B. Michael and M. Shing, “Rapid runtime system verification using automatic source code instrumentation,” Proc. 6th International Conference on System of Systems Engineering, Albuquerque, NM, 27-30 June 2011, pp. 1 – 6.

 

·      D. Drusinsky, J.B. Michael, T. Otani and M. Shing, “Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization,” Proc. 6th International Conference on System of Systems Engineering, Albuquerque, NM, 27-30 June 2011, pp. 119 – 124.

 

·      M.C.B. Alves, D. Drusinsky, J.B. Michael and M. Shing, “Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring,” Proc. 6th International Conference on System of Systems Engineering, Albuquerque, NM, 27-30 June 2011, pp. 155 – 160.

 

·      S. Dowell, A. Barreto, J.B. Michael and M. Shing, “Cloud to cloud interoperability,” Proc. 6th International Conference on System of Systems Engineering, Albuquerque, NM, 27-30 June 2011, pp. 258 – 263.

 

·      M.C.B. Alves, D. Drusinsky and M. Shing, “A Practical Formal Approach for Requirements Validation and Verification of Dependable Systems,” Proc. 5th Latin-American Symposium on Dependable Computing (LADC 2011), São José dos Campos, São Paulo, Brazil, 25-29 April 2011, pp. 47-51.

 

·      A. Olagbemiro, J. Mun, and M. Shing, “Application of Real Options Theory to DoD Software Acquisitions,” Defense Acquisition Research Journal (ARJ), 18(1), pp. 81-106, Jan. 2011.

 

·      D. Drusinsky, J.B. Michael, T. Otani, M. Shing and D. Wijesekera, “Computer-Assisted Validation and Verification of Cybersecurity Requirements,” Proceedings of the 2010 IEEE International Conference on Technologies for Homeland Security, Waltham, MA, 8-10 November, 2010.

 

·      K. Foster, J. Shea, B. Michael, T. Otani, L. Peitso and M. Shing, “Cloud Computing for Large-Scale Weapon Systems,” Proceedings of the 2010 IEEE International Conference on Granular Computing, San Jose, CA, 14-16 August 2010, pp. 161-166.

 

·      K. Foster, J. Shea, D. Drusinsky, B. Michael, T. Otani and M. Shing, “Removing the Boundaries: Steps Toward a Cloud Nirvana,” Proceedings of the 2010 IEEE International Conference on Granular Computing, San Jose, CA, 14-16 August 2010, pp. 167-171.

 

·      J.B. Michael, M.T. Shing, K.J. Cruickshank, and P.J. Redmond, “Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety,” IEEE Systems Journal, 4(2), pp. 186 – 197, June 2010.

 

·      S. Driskell, J. Murphy, B. Michael and M. Shing, “Independent Validation of Software Safety Requirements for Systems of Systems,” Proceedings of the 5th IEEE International Conference on System of Systems Engineering, Loughborough University, UK, 22-24 June 2010.

 

·      T. Otani, B. Michael and M. Shing, “Goal-Driven Software Reuse in the IV&V of System of Systems,” Proceedings of the 5th IEEE International Conference on System of Systems Engineering, Loughborough University, UK, 22-24 June 2010.

 

·      D. Drusinsky and M. Shing, “Validating Quality Attribute Requirements via Execution-based Model Checking”, Proceedings of the 21st IEEE International Symposium on Rapid Systems Prototyping, George Mason University, Fairfax, VA, 8-11 June 2010.

 

 

 

 



 

Last modified 21 February 2014 by Man-Tak Shing (shing@nps.edu)