navigation
search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
vv-lab:publications [2018/10/08 16:18] egm [Workshop Papers] |
vv-lab:publications [2019/07/17 16:37] (current) egm |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ==Journal Articles== | ==Journal Articles== | ||
| + | * 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'', May 2019, [https://faculty.cs.byu.edu/~pdiddy/papers/cg-journal-errata.pdf Errata]. | ||
| * R. Kumar and E. Mercer, ''Improved Live Sequence Chart to Automata Translation for Verification'', ''Electronic Communications of the European Association of Software Science and Technology (EASST)'', vol. 10, ISSN 1863-2122, 2008. | * R. Kumar and E. Mercer, ''Improved Live Sequence Chart to Automata Translation for Verification'', ''Electronic Communications of the European Association of Software Science and Technology (EASST)'', vol. 10, ISSN 1863-2122, 2008. | ||
| * Michael Jones and Jacob Sorber. ''[[Parallel Search for LTL Violations]],'' in ''Software Tools for Technology Transfer (STTT)''. vol. 7, no. 1, pp. 31-42, 2005. | * Michael Jones and Jacob Sorber. ''[[Parallel Search for LTL Violations]],'' in ''Software Tools for Technology Transfer (STTT)''. vol. 7, no. 1, pp. 31-42, 2005. | ||
| Line 8: | Line 9: | ||
| ==Conference Papers== | ==Conference Papers== | ||
| + | * 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), to appear, 2019. | ||
| * Nakade R., Mercer E., Aldous P., McCarthy J. (2018) [https://faculty.cs.byu.edu/~pdiddy/papers/cg.pdf ''Model-Checking Task Parallel Programs for Data-Race'']. In: Dutle A., Muoz C., Narkawicz A. (eds) NASA Formal Methods. NFM 2018. Lecture Notes in Computer Science, vol 10811. Springer, Cham. | * Nakade R., Mercer E., Aldous P., McCarthy J. (2018) [https://faculty.cs.byu.edu/~pdiddy/papers/cg.pdf ''Model-Checking Task Parallel Programs for Data-Race'']. In: Dutle A., Muoz C., Narkawicz A. (eds) NASA Formal Methods. NFM 2018. Lecture Notes in Computer Science, vol 10811. Springer, Cham. | ||
| * B. Hillery, E. Mercer, N. Rungta, and S. Person, ''Exact Heap Summaries for Symbolic Execution'', in Proceedings of Verification, Model Checking, and Abstract Interpretation (VMCAI 2016), Lecture Notes in Computer Science, Volume 9583, pp 206-225, 2016. | * B. Hillery, E. Mercer, N. Rungta, and S. Person, ''Exact Heap Summaries for Symbolic Execution'', in Proceedings of Verification, Model Checking, and Abstract Interpretation (VMCAI 2016), Lecture Notes in Computer Science, Volume 9583, pp 206-225, 2016. | ||
