@article{DAVIES201588,
  title = "Formal model-driven engineering of critical information systems",
  author = "Jim Davies and David Milward and Chen-Wei Wang and James Welch",
  year = "2015",
  issn = "0167-6423",
  journal = "Science of Computer Programming",
  keywords = "Model-driven engineering, Formal methods, Critical systems, Information systems, Data migration",
  pages = "88 - 113",
  volume = "103",
  doi = "10.1016/j.scico.2014.11.004",
}
@phdthesis{WangThesis2012,
  title = "Model-Driven Development of Information Systems",
  author = "Chen-Wei Wang",
  year = "2012",
}
@inproceedings{wang2011,
  title = "Formal and Model-Based Testing of Concurrent Workflows",
  author = "Chen-Wei Wang and Alessandra Cavarra and Jim Davies",
  year = "2011",
  journal = "Workshop on Formal Methods in the Development of Software (WS-FMDS '11)",
}
@inproceedings{TASE2010,
  title = "A Guarded Workflow Language and Its Formal Semantics",
  author = "Chen-Wei Wang and Jim Davies and James Welch",
  year = "2010",
  address = "Los Alamitos, CA, USA",
  isbn = "978-0-7695-4148-8",
  journal = "Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on",
  pages = "25-34",
  publisher = "IEEE Computer Society",
  doi = "10.1109/TASE.2010.21",
}
@inproceedings{wang2009,
  title = "Checking Model Consistency using Data-Flow Testing",
  author = "Chen-Wei Wang and Alessandra Cavarra",
  year = "2009",
  booktitle = "Proceedings of APSEC'09: 16th Asia-Pacific Software Engineering Conference",
  publisher = "IEEE",
}
@inproceedings{espec06,
  title = "Automated Model-based Verification of Object-Oriented Code",
  author = "J. S. Ostroff and C. Wang and E. Kerfoot and F. A. Torshizi",
  year = "2006",
  booktitle = "Verified Software: Theories, Tools, Experiments (VSTTE  Workshop, Floc 2006)",
  publisher = "Microsoft Research MSR-TR-2006-117",
}
@inproceedings{Ostroff*2006:Automated,
  title = "Automated Model-Based Verification of Object-Oriented Code",
  author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
  year = "2006",
  booktitle = "Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE)",
}
@inproceedings{Ostroff*2006:ESVerify,
  title = "{ES-Verify}: A Tool for Automated Model-based Verification of Object-Oriented Code",
  author = "Jonathan Ostroff and Chen-wei Wang and Eric Kerfoot and Faraz A. Torshizi",
  booktitle = "Formal Methods 2006",
  note = "Poster",
}