Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
vv-lab:publications [2021/08/02 13:01]
egm [Conference Papers]
vv-lab:publications [2022/04/06 12:53]
egm [Journal Articles]
Line 3: Line 3:
  
 ==Journal Articles== ==Journal Articles==
 +*D. Cofer, I. Amundson, J. Babar, D. Hardin, K. Slind, A. Perry, J. Hatcliff, Robby, G. Klein, C. Lewis, and E. Mercer, [https://​ieeexplore.ieee.org/​stamp/​stamp.jsp?​arnumber=9734792 Cyberassured Systems Engineering at Scale], IEEE Security and Privacy, DOI 10.1109/​MSEC.2022.3151733,​ 2022.
 * Y. Huang, K. Gong, and E. Mercer,​[https://​www.sciencedirect.com/​science/​article/​pii/​S0167819119301760 An efficient algorithm for match pair approximation in message passing], ''​Journal of Parallel Computing'',​ Volume 91, March 2020, pp. 102585. * Y. Huang, K. Gong, and E. Mercer,​[https://​www.sciencedirect.com/​science/​article/​pii/​S0167819119301760 An efficient algorithm for match pair approximation in message passing], ''​Journal of Parallel Computing'',​ Volume 91, March 2020, pp. 102585.
 * R. Nakade, E. Mercer, P. Aldous, K. Storey, B. Ogles, J. Hooker, S. J. Powell, and J. McCarthy, "​[https://​faculty.cs.byu.edu/​~pdiddy/​papers/​c-aam.pdf Model-checking task-parallel programs for data-race]",''​Innovations in Systems and Software Engineering'',​ Volume 15(3), pp. 289-306, 2019, 10.1007/​s11334-019-00343-5,​ [https://​faculty.cs.byu.edu/​~pdiddy/​papers/​cg-journal-errata.pdf Errata]. * R. Nakade, E. Mercer, P. Aldous, K. Storey, B. Ogles, J. Hooker, S. J. Powell, and J. McCarthy, "​[https://​faculty.cs.byu.edu/​~pdiddy/​papers/​c-aam.pdf Model-checking task-parallel programs for data-race]",''​Innovations in Systems and Software Engineering'',​ Volume 15(3), pp. 289-306, 2019, 10.1007/​s11334-019-00343-5,​ [https://​faculty.cs.byu.edu/​~pdiddy/​papers/​cg-journal-errata.pdf Errata].
Line 10: Line 11:
  
 ==Conference Papers== ==Conference Papers==
-* B. Decker, B. Winters, E. Mercer,"​Towards Verifying ​{SHA256in OpenSSL with the Software Analysis Workbench",​ ''​NASA Formal Methods - 13th International Symposium''​ (NFM), 2021 Virtual Event, May 24-28, 2021. ''​Lecture Notes in Computer Science'',​ vol 12673, 72--78, Springer, 2021, [https://​doi.org/​10.1007/​978-3-030-76384-8\_5 DOI].+* B. Decker, B. Winters, E. Mercer,"​Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench",​ ''​NASA Formal Methods - 13th International Symposium''​ (NFM), 2021 Virtual Event, May 24-28, 2021. ''​Lecture Notes in Computer Science'',​ vol 12673, 72--78, Springer, 2021, [https://​doi.org/​10.1007/​978-3-030-76384-8_5 DOI].
 * Y. Huang, B. Ogles, and E, Mercer, ''​A Predictive Analysis for Detecting Deadlock in MPI Programs'',​ Proceedings of Automated Software Engineering (ASE), September 2020, ACM. * Y. Huang, B. Ogles, and E, Mercer, ''​A Predictive Analysis for Detecting Deadlock in MPI Programs'',​ Proceedings of Automated Software Engineering (ASE), September 2020, ACM.
 * B. Ogles, E. Mercer, P. Aldous, ''​Proving Data Race Freedom in Task Parallel Programs with a Weaker Partial Order'',​ Proceedings of Formal Methods in Computer Aided Design (FMCAD), Oct 22-25 2019, IEEE. * B. Ogles, E. Mercer, P. Aldous, ''​Proving Data Race Freedom in Task Parallel Programs with a Weaker Partial Order'',​ Proceedings of Formal Methods in Computer Aided Design (FMCAD), Oct 22-25 2019, IEEE.
vv-lab/publications.txt ยท Last modified: 2022/04/06 13:05 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0