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
vv-lab:publications [2021/08/02 13:01]
egm [Conference Papers]
vv-lab:publications [2022/04/06 13:05]
egm [Conference Papers]
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].+* J. Belt, J. Hatcliff, Robby, J. Shackleton, J. Carciofini, T. Carpenter, E. Mercer, I. Amundson, J. Babar, D. Cofer, D. Hardin, K. Hoech, K. Slind, I. Kuz, K. Mcleod, Model-Driven Development for the seL4 Microkernel Using the HAMR Framework, ''​Proceedings of the 26th Ada-Europe International Conference on Reliable Software Technologies'',​ 2022. 
 +* C. Liu, J. Babar, I. Amundson, K. Hoech, D. Coffer, and E. Mercer, Assume-Guarantee Reasoning with Scheduled Components, ''​NASA Formal Methods - 14th International Symposium (NFM)'',​ 2022. 
 +* E. Mercer, K. Butler, and A. Bahrami, Model Checking Functional Integration of Human Cognition and Machine Reasoning, ''​The 16th Annual IEEE International Systems Conference (SYSCON)'',​ 2022, IEEE. 
 +* E. Mercer, K. Slind, I. Amundson, D. Cofer, J. Babar, and D. Hardin, Synthesizing Verified Components for Cyber Assured Systems Engineering,​ ''​2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)'',​ pp. 205–215, 2021, IEEE. 
 +* 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