Guy Martin Tchamgoue

Jean-Christophe Petkovich

Proceedings of the Symposium on Applied Computing, 2017

Intersert: Assertions on Distributed Process Interaction Sessions.

[BibT_eX]

[DOI]

Zack Newsham

Augusto Born de Oliveira

Ahmad Saif Ur Rehman

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

QDIME: QoS-Aware Dynamic Binary Instrumentation.

[BibT_eX]

[DOI]

Pansy Arafa

Hany Kashif

Proceedings of the 25th IEEE International Symposium on Modeling, 2017

A Reordering Framework for Testing Message-Passing Systems.

[BibT_eX]

[DOI]

Milad Irannejad

Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

2016

EventHealer: Bypassing data races in event-driven programs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Lessons learned on assumptions and scalability with time-aware instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Supporting fault-tolerance in a compositional real-time scheduling framework.

[BibT_eX]

[DOI]

SIGBED Rev., 2015

Power-aware scheduling of compositional real-time frameworks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Compositional power-aware real-time scheduling with discrete frequency levels.

[BibT_eX]

[DOI]

J. Syst. Archit., 2015

2014

Power-Aware Real-Time Virtual Machine Schedulers in Discrete DVFS Systems.

[BibT_eX]

[DOI]

Jun-Ho Seo

Proceedings of the IEEE 12th International Conference on Dependable, 2014

2013

Compositional real-time scheduling framework for periodic reward-based task model.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Verification of Data Races in Concurrent Interrupt Handlers.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2013

2012

An Optimal Resource Sharing in Hierarchical Virtual Organizations in the Grid.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

A New Compositional Scheduling Framework for Power-Aware Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Dynamic Race Detection Techniques for Interrupt-Driven Programs.

[BibT_eX]

[DOI]

Proceedings of the Future Generation Information Technology - 4th International Conference, 2012

Efficient Detection of First Races in Concurrent Signal Handlers.

[BibT_eX]

[DOI]

Sahaja Dorankula

Proceedings of the Computer Applications for Graphics, Grid Computing, and Industrial Environment, 2012

Dynamic Voltage Scaling for Power-aware Hierarchical Real-Time Scheduling Framework.

[BibT_eX]

[DOI]