Concepedia

Guy Martin Tchamgoue

GM

Statistics

Publications

6

Citations

90

H-Index

6

Active since

2010

Affiliations

Gyeongsang National University(Current)

University of Waterloo

Guy Martin Tchamgoue is an author at Gyeongsang National University specializing in computer science, computer engineering, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringSystem SoftwareProgram AnalysisSoftware AnalysisParallel ComputingComputer ArchitectureVerificationSoftware Testing

Publications per year

2010–2017

6

Publications

6

On-the-fly detection of data races in OpenMP programs

Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue et al. · 2012 · 29 citations

Cluster Computing, Engineering, Large Openmp Programs +22

Runtime verification of LTL on lossy traces

Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister · 2017 · 20 citations

Engineering, Verification, Computer-aided Verification +17

On-the-fly healing of race conditions in ARINC-653 flight software

Ok-Kyoon Ha, Guy Martin Tchamgoue, Jeong-Bae Suh et al. · 2010 · 11 citations

Engineering, Computer Architecture, Concurrent System +20

Verification of Data Races in Concurrent Interrupt Handlers

Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun · International Journal of Distributed Sensor Networks · 2013 · 10 citations · Full text

Engineering, Verification, Computer Architecture +20

Hierarchical Real-Time Scheduling Framework for Imprecise Computations

Guy Martin Tchamgoue, Kyong Hoon Kim, Yong-Kee Jun et al. · 2010 · 10 citations

Engineering, Computer Architecture, Computational Complexity +18

1–5 of 6