Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (35)
  1. 3. Nélis, V., Goossens, J., Navet, N., Devillers, R., & Milojevic, D. (2007). Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms.
  2. 4. Goossens, J., & Devillers, R. (1999). General response time computation for hard real-time asynchronous periodic task sets using static schedulers.
  3. 5. Devillers, R., Klaudel, H., & Riemann, R.-C. (1997). General Refinement in the M-net Calculus: (LIT 357). ULB: Laboratoire d'informatique théorique.
  4. 6. Devillers, R. (1994). The Synchronisation Operator Revisited for the Petri Box Calculus: (LIT 290). ULB: Laboratoire d'informatique théorique.
  5. 7. Devillers, R. (1993). S-invariant Analysis of Petri Boxes: (LIT 273). ULB: Laboratoire d'informatique théorique.
  6. 8. Devillers, R. (1993). On a More Liberal Synchronisation Operator for the Petri Box Calculus: (LIT 281). ULB: Laboratoire d'informatique théorique.
  7. 9. Devillers, R. (1993). Modelling Petri Boxes are not too infinite: (LIT 284). ULB: Laboratoire d'informatique théorique).
  8. 10. Devillers, R. (1993). Towards a General Relabelling Operator for the Petri Box Calculus: (LIT 274). ULB: Laboratoire d'informatique théorique.
  9. 11. Devillers, R. (1993). S-invariant Analysis of General Refined Petri Boxes: (LIT 291). ULB: Laboratoire d'informatique théorique.
  10. 12. Best, E., Devillers, R., & Esparza, J. (1992). General Refinement and Recursion for the Box Calculus: (Hildesheimer Informatik-Bericht 26/92). Hildesheim: Hildesheimer Informatik.
  11. 13. Devillers, R. (1992). Tree Interfaces in the Petri Box Calculus: (LIT 265). ULB: Laboratoire d'informatique théorique.
  12. 14. Massart, T., & Devillers, R. (1991). Agents or expressions: which semantics for a process calculus: (LIT 230). ULB: Laboratoire d'informatique théorique.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Suivant >>