Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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.
vv-lab/publications.txt ยท Last modified: 2019/07/17 16:37 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