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):

 

·      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.

 

·      D. Drusinsky and M. Shing, “Using UML Statecharts with Knowledge Logic Guards,” Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, CO, USA, October 4-9, 2009. Published as the Lecture Notes in Computer Science Vol 5795, A. Schürr and B. Selic (Eds.), Springer, pp. 586-590, 2009

 

·      K. Cruickshank, B. Michael and M. Shing, “A Validation Metrics Framework for Safety-Critical Software-Intensive Systems,” Proceedings of the 4th IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

·      D. Meacham, B. Michael, M. Shing and J. Voas, “Standards Interoperability: Applying Software Safety Assurance Standards to the Evolution of Legacy Software,” Proceedings of the 4th IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

·      B. Michael, R. Riehle and M. Shing, “The Verification and Validation of Software Architecture for Systems of Systems,” Proceedings of the 4th IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

·      T. Otani, B. Michael and M. Shing, “Software Reuse in the IV&V of System of Systems,” Proceedings of the 4th IEEE International Conference on System of Systems Engineering, Albuquerque, NM, 1-3 June 2009.

 

·      A. Olagbemiro, M. Shing and J. Mun, “Application of Real Options Theory to Software-Intensive System Acquisitions”, Proceedings of the 6th Annual Acquisition Research Symposium, Vol. 2: Defense Acquisition in Transition, Monterey, CA, 13-14 May 2009. http://acquisitionresearch.net/_files/FY2009/NPS-AM-09-042.pdf

 

·      D. Drusinsky, J.B. Michael and M. Shing, “A Visual Tradeoff Space for Formal Verification and Validation Techniques,” IEEE Systems Journal, 2(4), pp. 513-519, Dec. 2008.

 

·      T.C. Hu, L. Landa and M. Shing, “The Unbounded Knapsack Problem,” in Research Trends in Combinatorial Optimization, W. J. Cook, L. Lov_sz, and J. Vygen (Eds.), Springer, pp. 201-218, 2008.

 

·      D. Drusinsky, J.B. Michael, T.W. Otani, and M. Shing, “Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance,” Proceedings of the 2nd International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008), Yokohama, Japan, 14-17 July 2008, pp. 47-51.

 

·      D. Drusinsky, J.B. Michael and M. Shing, “A Framework for Computer-Aided Validation,” Innovations in Systems and Software Engineering, 4(2), June 2008, pp. 161-168.

 

·      G.P. Ball, K. Squire, C. Martell and M. Shing, “MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents,” Proceedings of the 19th IEEE/IFIP International Symposium on Rapid Systems Prototyping, Monterey, CA, 3-5 June 2008, pp. 189-195.

 

·      B. Warren, J.B. Michael and M. Shing, “A Framework for Software Reuse in Safety-Critical System-of-Systems,” Proceedings of the 3rd IEEE International Conference on System of Systems Engineering, Monterey, CA, 2-4 June 2008.

 

·      D. Drusinsky, J.B. Michael, T.W. Otani and M. Shing, “Integrating Statechart Assertions into Java Components Using AspectJ,” Proceedings of the 3rd IEEE International Conference on System of Systems Engineering, Monterey, CA, 2-4 June 2008.

 

·      D. Drusinsky, M. Shing, and K. Demir, “Creating and Validating Embedded Assertion Statecharts,” IEEE Distributed Systems Online, 8(5), 2007, art. no. 0705-o5003.

 

·      M. Shing and D. Drusinsky, “Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems,” in the Proceedings of the Monterey Workshop 2005: Reliable Systems on Unreliable Networked Platforms, Laguna Beach, CA, September 22-24, 2005. Published as the Lecture Notes in Computer Science Vol 4322, F. Kordon and J. Sztipanovits (Eds.), Springer, pp. 281-303, 2007.

 

·      T. W. Otani, M. Auguston, T. S. Cook, D. Drusinsky, J. B. Michael, and M. Shing, “A Design Pattern for Using Non-developmental Items in Real-time Java,”_ Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES ’07), Vienna, Austria, 26-28 September 2007, pp. 135-143.

 

·      D. Drusinsky and M. Shing, “Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation,” Proceedings of the 18th IEEE/IFIP International Workshop on Rapid Systems Prototyping, Porto Alegre, Brazil, 28-30 June 2007, pp. 82-88.

 

·      T.S. Cook, D. Drusinsky and M. Shing, “Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors,” Proceedings of the 2nd IEEE International Conference on System of Systems Engineering, San Antonio, TX, 16-18 April 2007.

 

 

 


 

Last modified 21 October 2011 by Man-Tak Shing (shing@nps.edu)