The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raymond R. Devillers: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eike Best, Raymond R. Devillers, Maciej Koutny
    Petri Nets, Process Algebras and Concurrent Programming Languages. [Citation Graph (0, 0)][DBLP]
    Petri Nets (2), 1996, pp:1-84 [Conf]
  2. Raymond R. Devillers, Maciej Koutny
    Recursive Nets in the Box Algebra. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:239-249 [Conf]
  3. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Context-based Process Algebras for Mobility. [Citation Graph (0, 0)][DBLP]
    ACSD, 2004, pp:79-88 [Conf]
  4. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
    An Algebra of Non-safe Petri Boxes. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:192-207 [Conf]
  5. Eike Best, Raymond R. Devillers, Jon G. Hall
    The box calculus: a new causal algebra with multi-label communication. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:21-69 [Conf]
  6. Eike Best, Raymond R. Devillers, Maciej Koutny
    The Box Algebra - A Model of Nets and Process Expressions. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:344-363 [Conf]
  7. Raymond R. Devillers
    The semantics of capacities in P/T nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:128-150 [Conf]
  8. Raymond R. Devillers
    Maximality preservation and the ST-idea for action refinements. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets: The DEMON Project, 1992, pp:108-151 [Conf]
  9. Raymond R. Devillers
    Construction of S-invariants and S-components for Refined Petri Boxes. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:242-261 [Conf]
  10. Raymond R. Devillers
    Petri Boxes and Finite Precedence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:465-480 [Conf]
  11. Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers
    Maximally Concurrent Evolution of Non-sequential Systems. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:268-280 [Conf]
  12. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Petri Net Semantics of the Finite pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:309-325 [Conf]
  13. Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
    General Refinement for High Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:297-311 [Conf]
  14. Raymond R. Devillers, Guy Louchard
    Using Auxiliary Variables in Parallel Programs Verification. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:217-225 [Conf]
  15. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    A Petri Net Translation of pi-Calculus Terms. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:138-152 [Conf]
  16. Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers
    A Cosy Banker. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:223-239 [Conf]
  17. Joël Goossens, Raymond R. Devillers
    Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. [Citation Graph (0, 0)][DBLP]
    RTCSA, 1999, pp:54-61 [Conf]
  18. Eike Best, Raymond R. Devillers, Javier Esparza
    General Refinement and Recursion Operators for the Petri Box Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:130-140 [Conf]
  19. Eike Best, Raymond R. Devillers, Maciej Koutny
    Recursion and Petri nets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2001, v:37, n:11-12, pp:781-829 [Journal]
  20. Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello
    Concurrent Bisimulations in Petri Nets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1991, v:28, n:3, pp:231-264 [Journal]
  21. Raymond R. Devillers
    S-Invariant Analysis of General Recursive Petri Boxes [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:4, pp:313-345 [Journal]
  22. Raymond R. Devillers
    Game Interpretation of the Deadlock Avoidance Problem. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:10, pp:741-745 [Journal]
  23. J. J. Cocu, Raymond R. Devillers
    On a Class of Allocation Strategies Inducing Bounded Delays Only. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1982, v:25, n:1, pp:52-55 [Journal]
  24. Raymond R. Devillers, Guy Louchard
    Improvement of Parallelism in a Finite Buffer Sharing Policy. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1976, v:19, n:3, pp:238-245 [Journal]
  25. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    A Petri Net Semantics of a Simple Process Algebra for Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:71-94 [Journal]
  26. Thierry Massart, Raymond R. Devillers
    Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1993, v:5, n:1, pp:79-88 [Journal]
  27. Raymond R. Devillers, Joël Goossens
    General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:40, n:2-3, pp:199-219 [Journal]
  28. Raymond R. Devillers, Hanna Klaudel
    Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:66, n:3, pp:221-257 [Journal]
  29. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Petri Net Semantics of the Finite pi-calculus Terms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:70, n:3, pp:203-226 [Journal]
  30. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
    Asynchronous Box Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:4, pp:295-344 [Journal]
  31. Eike Best, Raymond R. Devillers, Maciej Koutny
    The Box Algebra = Petri Nets + Process Expressions. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:178, n:1, pp:44-100 [Journal]
  32. Raymond R. Devillers, Joël Goossens
    Liu and Layland's schedulability test revisited. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:73, n:5-6, pp:157-161 [Journal]
  33. Raymond R. Devillers, Guy Louchard
    Realization of Petri Nets Without Conditional Statements. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1973, v:2, n:4, pp:105-107 [Journal]
  34. Raymond R. Devillers, Peter E. Lauer
    A General Mechanism for Avoiding Starvation with Distributed Control. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:3, pp:156-158 [Journal]
  35. Raymond R. Devillers, Laurent Van Begin
    Boundedness undecidability for synchronized nets. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:99, n:5, pp:208-214 [Journal]
  36. Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz
    An Algebraic Box Calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2000, v:5, n:2, pp:81-108 [Journal]
  37. Joël Goossens, Raymond R. Devillers
    The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1997, v:13, n:2, pp:107-126 [Journal]
  38. Eike Best, Raymond R. Devillers
    Sequential and Concurrent Behaviour in Petri Net Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:55, n:1, pp:87-136 [Journal]
  39. Raymond R. Devillers
    Maximality Preserving Bisimulation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:102, n:1, pp:165-183 [Journal]
  40. Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
    General parameterised refinement and recursion for the M-net calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:300, n:1-3, pp:259-300 [Journal]
  41. Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers
    Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:43, n:, pp:213-238 [Journal]
  42. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny
    Modelling Mobility in High-level Petri Nets. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:110-119 [Conf]

  43. Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. [Citation Graph (, )][DBLP]


  44. FIFO Queuing of Constant Length Fully Synchronous Jobs. [Citation Graph (, )][DBLP]


  45. Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. [Citation Graph (, )][DBLP]


  46. Incremental and unifying modelling formalism for biological interaction networks. [Citation Graph (, )][DBLP]


  47. Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms [Citation Graph (, )][DBLP]


  48. Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. [Citation Graph (, )][DBLP]


Search in 1.201secs, Finished in 1.204secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002