( en | de | ru )

 

Disambiguation of "Mercer, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
Explicit State Model Checking with Hopper.

, and . SPIN, volume 2989 of Lecture Notes in Computer Science, page 146-150. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ull Erich

Hauke Erichsen

Gerda Erich

Badrian Erich

Klaus Erichson

 

Other publications of authors with the same name

Explicit State Model Checking with Hopper., and . SPIN, volume 2989 of Lecture Notes in Computer Science, page 146-150. Springer, (2004)Vector-clock based partial order reduction for JPF., , and . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)Modeling Asynchronous Message Passing for C Programs., , , and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 332-347. Springer, (2012)The Java Pathfinder Workshop 2019., , , , , , , , , and 28 other author(s). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)Dynamic verification of Multicore Communication applications in MCAPI., , and . HLDVT, page 100-105. IEEE Computer Society, (2009)Model-Checking Task Parallel Programs for Data-Race., , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 367-382. Springer, (2018)Exact Heap Summaries for Symbolic Execution., , , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 206-225. Springer, (2016)Computing and visualizing the impact of change with Java PathFinder extensions., , and . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 1-5 (2012)Cyberassured Systems Engineering at Scale., , , , , , , , , and 2 other author(s). IEEE Secur. Priv., 20 (3): 52-64 (2022)Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order., , and . FMCAD, page 55-63. IEEE, (2019)