PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mercer, Eric"

Author of the publication

copydeleteadd this publication to your clipboard
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions.

, , , and . ACM SIGSOFT Software Engineering Notes, 40 (1): 1-5 (2015)

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.

Eric Steinbrücker University of Stuttgart

Dr. -Ing. Eric Jennes University of Stuttgart

Eric Nkrumah University of Stuttgart

Eric Price University of Stuttgart

Dr. rer. nat. Eric Heintze University of Stuttgart

 

Other publications of authors with the same name

Vector-clock based partial order reduction for JPF., , and . ACM SIGSOFT Software Engineering Notes, 39 (1): 1-5 (2014)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)Modeling UASs for Role Fusion and Human Machine Interface Optimization., , and . SMC, page 1929-1937. IEEE, (2013)JPF Verification of Habanero Java Programs using Gradual Type Permission Regions., , , and . ACM SIGSOFT Software Engineering Notes, 40 (1): 1-5 (2015)Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability., , and . IEEE Trans. Hum. Mach. Syst., 46 (2): 169-173 (2016)Symbolically modeling concurrent MCAPI executions., , and . PPOPP, page 307-308. ACM, (2011)Computing and visualizing the impact of change with Java PathFinder extensions., , and . ACM SIGSOFT Software Engineering Notes, 37 (6): 1-5 (2012)A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems., , and . ARVLSI, page 188-201. IEEE Computer Society, (2001)