Michael W Whalen

Research output

Research output per year 1997 2008 2010 2011 2012 2013 2014 2015 2016 2018 2021

• 70 Conference contribution
• 16 Article
• 5 Working paper
• 3 Other contribution
• 5 More
  • 2 Commissioned report
  • 2 Editorial
  • 1 Other chapter contribution

Research output per year

Research output per year

Search results

• 2010

  Model checking information flow

  Whalen, M. W., Greve, D. A. & Wagner, L. G., 2010, Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer US, p. 381-428 48 p.

  Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  12 Scopus citations