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 [2019/07/17 16:37]
egm
vv-lab:publications [2019/08/26 16:13] (current)
egm [Journal Articles]
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. 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. 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.
vv-lab/publications.txt ยท Last modified: 2019/08/26 16:13 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