| 2010 | EDCC | Tree scheduling versus sequential scheduling. | Christian Fotsing, Annie Geniet, Guy Vidal-Naquet |
| 2009 | EuroSys | A communication mechanism for resource isolation. | Matthieu Lemerre, Vincent David, Guy Vidal-Naquet |
| 2009 | SEW | A Realistic Model of Real-Time Systems for Efficient Scheduling. | Christian Fotsing, Annie Geniet, Guy Vidal-Naquet |
| 2008 | ICWS | A Framework for the Semantic Composition of Web Services Handling User Constraints. | Youssef Gamha, Nacra Bennacer, Guy Vidal-Naquet, Bchir el Ayeb, Lotfi Ben Romdhane |
| 2008 | RTAS | Equivalence between Schedule Representations: Theory and Applications. | Matthieu Lemerre, Vincent David, Christophe Aussagus, Guy Vidal-Naquet |
| 2006 | ICSoft | A primitive execution model for heterogeneous modeling. | Frdric Boulanger, Guy Vidal-Naquet |
| 1992 | STACS | Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. | Eric Nassor, Guy Vidal-Naquet |
| 1991 | STACS | Actors as a Parallel Programming Model. | Franoise Baude, Guy Vidal-Naquet |
| 1991 | STACS | Detection of Deadlocks in an Infinite Family of Nets. | Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet |
| 1972 | ICALP | Quelques applications des automates arbres infinis. | Guy Vidal-Naquet |