Jackie Wang : Publications

Journal papers

• [1]

  Formal model−driven engineering of critical information systems

  Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch

  In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.

  Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)

Conference papers

• [1]

  Formal and Model−Based Testing of Concurrent Workflows

  Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies

  2011.

  Details about Formal and Model−Based Testing of Concurrent Workflows | BibTeX data for Formal and Model−Based Testing of Concurrent Workflows

• [2]

  A Guarded Workflow Language and Its Formal Semantics

  Chen−Wei Wang‚ Jim Davies and James Welch

  Pages 25−34. Los Alamitos‚ CA‚ USA. 2010. IEEE Computer Society.

  Details about A Guarded Workflow Language and Its Formal Semantics | BibTeX data for A Guarded Workflow Language and Its Formal Semantics | DOI (10.1109/TASE.2010.21)

• [3]

  Checking Model Consistency using Data−Flow Testing

  Chen−Wei Wang and Alessandra Cavarra

  In Proceedings of APSEC'09: 16th Asia−Pacific Software Engineering Conference. IEEE. 2009.

  Details about Checking Model Consistency using Data−Flow Testing | BibTeX data for Checking Model Consistency using Data−Flow Testing

• [4]

  Automated Model−based Verification of Object−Oriented Code

  J. S. Ostroff‚ C. Wang‚ E. Kerfoot and F. A. Torshizi

  In Verified Software: Theories‚ Tools‚ Experiments (VSTTE Workshop‚ Floc 2006). Microsoft Research MSR−TR−2006−117. 2006.

  Details about Automated Model−based Verification of Object−Oriented Code | BibTeX data for Automated Model−based Verification of Object−Oriented Code | Download  (pdf) of Automated Model−based Verification of Object−Oriented Code

• [5]

  Automated Model−Based Verification of Object−Oriented Code

  Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi

  In Workshop on Verified Software: Theory‚ Tools‚ and Experiments (VSTTE). 2006.

  Details about Automated Model−Based Verification of Object−Oriented Code | BibTeX data for Automated Model−Based Verification of Object−Oriented Code

• [6]

  ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code

  Jonathan Ostroff‚ Chen−wei Wang‚ Eric Kerfoot and Faraz A. Torshizi

  In Formal Methods 2006.

  Poster

  Details about ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code | BibTeX data for ES−Verify: A Tool for Automated Model−based Verification of Object−Oriented Code

Theses

• [1]

  Model−Driven Development of Information Systems

  Chen−Wei Wang

  PhD Thesis 2012.

  Details about Model−Driven Development of Information Systems | BibTeX data for Model−Driven Development of Information Systems