Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Finished (Postdoc), 2017
Guy Martin Tchamgoue received his Bachelor of Science, Master of Science and Master of Advanced Studies in Computer Science from the University of Yaoundé I in Cameroon in 2004, 2005 and 2006, respectively. In August 2013 he obtained his Ph.D. in Informatics from Gyeongsang National University in South Korea, where he continued working as a postdoctoral researcher until November 2014. His research interests include the compositional scheduling of real-time embedded systems, power-aware computing, and the dynamic analysis and verification of software systems.
Affiliation:
University of Waterloo
Publications with this group
2017
, "Intersert: Assertions on Distributed Process Interaction Sessions", IEEE International Conference on Software Quality, Reliability & Security (QRS), Prague, Czech Republic, 2017.
[pdf] (515.11 KB)
[pdf] (515.11 KB) , "QDIME: QoS-aware Dynamic Binary Instrumentation", IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Banff, Canada, 2017.
[pdf] (560.77 KB)
[pdf] (560.77 KB) , "Runtime Verification of LTL on Lossy Traces", 32nd ACM Symposium on Applied Computing (SAC), Marrakech, Morocco, pp. 1379-1386, 2017.
[pdf] (325.24 KB)
[pdf] (325.24 KB) , "System Call Logs with Natural Random Faults: Experimental Design and Application", Silicon Errors in Logic -- System Effects (SELSE), Boston, USA, 2017.
[pdf] (251.78 KB)
[pdf] (251.78 KB) 2016
, "Lessons Learned on Assumptions and Scalability with Time-Aware Instrumentation", International Conference on Embedded Software (EMSOFT), Pittsburgh, USA, pp. 1 - 7, 2016.
[pdf] (276.28 KB)
[pdf] (276.28 KB)