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 Both sides next revision
vv-lab:publications [2021/08/02 13:01]
egm [Conference Papers]
vv-lab:publications [2021/09/01 16:12]
egm [Conference Papers]
Line 10: Line 10:
  
 ==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