Communications publiées lors de congrès ou colloques nationaux et internationaux (16)
  1. 10. Devillers, R. (1992). Pre-order Temporal Logics for the Description and the Comparison of Elementary Net Systems. Workshop on Logics for Distributed Systems
  2. 11. Devillers, R. (1991). Maximality Preserving Bisimulation: Simplifications and Extensions. In E. Best (Ed.), 3rd Workshop on Concurrency and Compositionality: GMD-Studien Nr. 191: Vol. 6 (pp. 80-82) Hildesheimer Informatik-Berichte.
  3. 12. Devillers, R. (1988). Concurrency, Bisimulation and Refinement. Workshop on "Combining Compositonality and Concurrency" (1988: Köningswinter)
  4. 13. Devillers, R. (1980). Interprétation en terme de jeu du problème de l'évitement des interblocages. In P. Hansen & D. De Werra (Eds.), REGARDS SUR LA THÉORIE DES GRAPHES Presses Polytechniques Romandes de Lausanne.
  5. 14. Beaufays, O., Devillers, R., Van Binst, P., et al. (1979). Study of the Replacement of the Computers at the Brussels Universities Computer Centre. Proceedings de la Convention Informatique 1979 (Paris)
  6. 15. Devillers, R., & Louchard, G. (1977). Using Auxiliary Variables in Parallel Programs Verification. Proceedings of the International Computing Symposium (pp. 217--225) (4-7 avril 1977: Liège).
  7. 16. Devillers, R. (1975). Evitement des Interblocages dans un Modèle à Organigrammes. In Structure et programmation des calculateurs: textes des exposés du Séminaire organisé par l'] Institut de recherche d'informatique et d'automatique, [Rocquencourt, 1973]. Rocquencourt : IRIA.
    8.   Rapports de recherche, comptes rendus, lettres à l'éditeur, working papers (35)
  8. 1. Best, E., & Devillers, R. (2014). Characterisation of the State Spaces of Marked Graph Petri Nets. (Berichte aus dem Department für Informatik No 3/14). Universität Oldenburg: Department für Informatik.
  9. 2. Best, E., & Devillers, R. (2014). Persistent Systems with Unique Minimal Cyclic Parikh Vectors. (Technical Report No 02/14). Carl von Ossietzki Universität Oldenburg: Dep. Informatik.
  10. 3. Nélis, V., Goossens, J., Navet, N., Devillers, R., & Milojevic, D. (2007). Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms.
  11. 4. Goossens, J., & Devillers, R. (1999). General response time computation for hard real-time asynchronous periodic task sets using static schedulers.
  12. 5. Devillers, R., Klaudel, H., & Riemann, R.-C. (1997). General Refinement in the M-net Calculus: (LIT 357). 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 >>