search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
vv-lab:publications [2021/09/01 16:12] 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== | ||
| + | * 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]. | * 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. | ||
