( en | de | ru )

 

Disambiguation of "Mercer, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction and Persistence: Macro-Level Guarantees of Collective Bio-Inspired Teams under Human Supervision.

, and . Infotech@Aerospace, (2012)

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.

Friederike Erichsen-Wendt

Claus Erichsen

Kay Erichsen

Curt Erich

Knut Erichsen

 

Other publications of authors with the same name

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)Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order., , and . FMCAD, page 55-63. IEEE, (2019)A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems., , and . ARVLSI, page 188-201. IEEE Computer Society, (2001)Explicit State Model Checking with Hopper., and . SPIN, volume 2989 of Lecture Notes in Computer Science, page 146-150. Springer, (2004)Modeling Asynchronous Message Passing for C Programs., , , and . VMCAI, volume 7148 of Lecture Notes in Computer Science, page 332-347. Springer, (2012)Dynamic verification of Multicore Communication applications in MCAPI., , and . HLDVT, page 100-105. IEEE Computer Society, (2009)Symbolically modeling concurrent MCAPI executions., , and . PPoPP, page 307-308. ACM, (2011)JPF Verification of Habanero Java Programs using Gradual Type Permission Regions., , , and . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)Modeling UASs for Role Fusion and Human Machine Interface Optimization., , and . SMC, page 1929-1937. IEEE, (2013)