Research Assistant
Critical Systems Group

Publications

  • Ghassabani, E., Gacek, A., Whalen, M. W., Heimdahl, M., and Wagner, L. Proof-based coverage metrics for formal verification. In ASE2017: 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
  • Ghassabani, E., Whalen M. W., and Gacek, A., Efficient generation of all minimal inductive validity cores. In FMCAD2017: International Conference on Formal Methods in Computer-Aided Design, 2017.
  • Ghassabani, E., Gacek, A., and Whalen, M. W., 2016, November. Efficient Generation of Inductive Validity Cores for Safety Properties. FSE2016: ACM Sigsoft International Symposium on the Foundations of Software
  • Whalen, M. W., Murugesan, A., Ghassabani, E., and Heimdahl, M.P., 2016, September. Complete Traceability for Requirements in Satisfaction Arguments. 24th International Requirements Engineering Conference (RE@Next! Track)
  • Whalen, M.W., Rayadurgam, S., Ghassabani, E., Murugesan, A., Sokolsky, O., Heimdahl, M.P. and Lee, I., 2015, September. Hierarchical multi-formalism proofs of cyber-physical systems. In Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE International Conference on (pp. 90-95). IEEE.
  • Whalen, M.W., Rayadurgam, S., Ghassabani, E., Murugesan, A., Sokolsky, O., Heimdahl, M.P. and Lee, I., 2015, August. Hierarchical multi-formalism proofs of cyber-physical systems. Technical report, Department of Computer Science, University of Minnesota.