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/07/06 13:10]
egm [Conference Papers]
vv-lab:publications [2018/10/08 16:18] (current)
egm [Workshop Papers]
Line 42: Line 42:
 * M. D. Jones and E. Mercer. "​[http://​www.springerlink.com/​content/​trk4p7ve30dvnuje/​ Explicit state model checking with Hopper],"​ ''​International SPIN Workshop on Software Model Checking (SPIN'​04)'',​ Springer, Barcelona, Spain, no. 2989, in LNCS, pp. 146-150, March 2004. * M. D. Jones and E. Mercer. "​[http://​www.springerlink.com/​content/​trk4p7ve30dvnuje/​ Explicit state model checking with Hopper],"​ ''​International SPIN Workshop on Software Model Checking (SPIN'​04)'',​ Springer, Barcelona, Spain, no. 2989, in LNCS, pp. 146-150, March 2004.
 ==Workshop Papers== ==Workshop Papers==
 +* Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, and Eric Mercer. ''​Memory safety in C by abstract interpretation.''​ Java PathFinder Workshop (JPF 2018). Lake Buena Vista, FL, USA.
 +* Kyle Storey, Jacob Powell, Ben Ogles, Joshua Hooker, Peter Aldous, and Eric Mercer. ''​Optimized Sound and Complete Data Race Detection in Structured Parallel Programs.''​ The 31st International Workshop on Languages and Compilers for Parallel Computing (LCPC 2018). Salt Lake City, UT, USA.
 * A. Neupane, M. Goodrich, E. Mercer, ''​Grammatical Evolution Algorithm for Evolution of Swarm Behaviors'',​ The Genetic and Evolutionary Computation Conference (GECCO), Japan, 2018. * A. Neupane, M. Goodrich, E. Mercer, ''​Grammatical Evolution Algorithm for Evolution of Swarm Behaviors'',​ The Genetic and Evolutionary Computation Conference (GECCO), Japan, 2018.
 * A. Neupane, M. Goodrich, E. Mercer, ''​GEESE:​ Grammatical Evolution Algorithm for Evolution of Swarm Behaviors'',​ Extended Abstract, International Conference on Autonomous Agents and Multia- gent Systems (AAMAS), Sweden, 2018. * A. Neupane, M. Goodrich, E. Mercer, ''​GEESE:​ Grammatical Evolution Algorithm for Evolution of Swarm Behaviors'',​ Extended Abstract, International Conference on Autonomous Agents and Multia- gent Systems (AAMAS), Sweden, 2018.
vv-lab/publications.1530882615.txt.gz ยท Last modified: 2018/07/06 13:10 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