Travelled to:1 × United Kingdom
3 × USA
Collaborated with:N.Rungta R.Kumar S.Wesonga P.Anderson N.Vrvilo V.Sarkar
Talks about:model (4) check (4) program (3) guid (3) transform (1) polymorph (1) benchmark (1) structur (1) parallel (1) explicit (1)
Person: Eric G. Mercer
DBLP: Mercer:Eric_G=
Contributed to:
2011
2009
2008
200720052015Wrote 6 papers:
- ASE-2011-WesongaMR #concurrent #fault #source code #visualisation
- Guided test visualization: Making sense of errors in concurrent programs (SW, EGM, NR), pp. 624–627.
- PEPM-2009-RungtaM #model checking #morphism #polymorphism #source code
- Guided model checking for programs with polymorphism (NR, EGM), pp. 21–30.
- GT-VMT-2008-KumarM #automaton #sequence chart #verification
- Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
- SEFM-2007-RungtaM #benchmark #metric #model checking
- Hardness for Explicit State Software Model Checking Benchmarks (NR, EGM), pp. 247–256.
- ASE-2005-RungtaM #heuristic #model checking
- A context-sensitive structural heuristic for guided search model checking (NR, EGM), pp. 410–413.
- ASE-2015-MercerAVS #model checking #parallel #source code #using
- Model Checking Task Parallel Programs Using Gradual Permissions (N) (EGM, PA, NV, VS), pp. 535–540.