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