Raymond R. Devillers

	2011
54		Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers: A Petri Net Interpretation of Open Reconfigurable Systems. Petri Nets 2011: 208-227
	2010
53		Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers: A Decidable Characterization of a Graphical Pi-calculus with Iterators INFINITY 2010: 47-61
	2009
52		Franck Pommereau, Raymond R. Devillers, Hanna Klaudel: Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. Electr. Notes Theor. Comput. Sci. 239: 119-129 (2009)
	2008
51		Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau: Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Petri Nets 2008: 72-91
50		Vincent Nélis, Joël Goossens, Raymond R. Devillers, Dragomir Milojevic, Nicolas Navet: Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. SUTC 2008: 209-216
49		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A compositional Petri net translation of general pi -calculus terms. Formal Asp. Comput. 20(4-5): 429-450 (2008)
	2007
48		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Modelling Mobility in High-level Petri Nets. ACSD 2007: 110-119
47		Vandy Berten, Raymond R. Devillers, Guy Louchard: FIFO Queuing of Constant Length Fully Synchronous Jobs. GSEM 2007: 81-95
46		Anastasia Yartseva, Hanna Klaudel, Raymond R. Devillers, François Képès: Incremental and unifying modelling formalism for biological interaction networks. BMC Bioinformatics 8: (2007)
45		Vincent Nélis, Joël Goossens, Nicolas Navet, Raymond R. Devillers, Dragomir Milojevic: Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms CoRR abs/0712.2958: (2007)
44		Anastasia Yartseva, Raymond R. Devillers, Hanna Klaudel, François Képès: From MIN model to ordinary differential equations. J. Integrative Bioinformatics 4(3): (2007)
	2006
43		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Translation of pi-Calculus Terms. ICTAC 2006: 138-152
42		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: A Petri Net Semantics of a Simple Process Algebra for Mobility. Electr. Notes Theor. Comput. Sci. 154(3): 71-94 (2006)
41		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-calculus Terms. Fundam. Inform. 70(3): 203-226 (2006)
40		Raymond R. Devillers, Laurent Van Begin: Boundedness undecidability for synchronized nets. Inf. Process. Lett. 99(5): 208-214 (2006)
39		Maxime Van Assche, Joël Goossens, Raymond R. Devillers: Joint garbage collection and hard real-time scheduling. J. Embedded Computing 2(3-4): 313-326 (2006)
	2005
38		Raymond R. Devillers, Hanna Klaudel: Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. Fundam. Inform. 66(3): 221-257 (2005)
	2004
37		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Context-based Process Algebras for Mobility. ACSD 2004: 79-88
36		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny: Petri Net Semantics of the Finite pi-Calculus. FORTE 2004: 309-325
	2003
35		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: Asynchronous Box Calculus. Fundam. Inform. 54(4): 295-344 (2003)
34		Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann: General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. 300(1-3): 259-300 (2003)
	2002
33		Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau: An Algebra of Non-safe Petri Boxes. AMAST 2002: 192-207
32		Eike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra = Petri Nets + Process Expressions. Inf. Comput. 178(1): 44-100 (2002)
	2001
31		Eike Best, Raymond R. Devillers, Maciej Koutny: Petri net algebra. Springer 2001: I-XI, 1-378
30		Eike Best, Raymond R. Devillers, Maciej Koutny: Recursion and Petri nets. Acta Inf. 37(11-12): 781-829 (2001)
	2000
29		Raymond R. Devillers, Joël Goossens: Liu and Layland's schedulability test revisited. Inf. Process. Lett. 73(5-6): 157-161 (2000)
28		Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz: An Algebraic Box Calculus. Journal of Automata, Languages and Combinatorics 5(2): 81-108 (2000)
	1999
27		Eike Best, Raymond R. Devillers, Maciej Koutny: The Box Algebra - A Model of Nets and Process Expressions. ICATPN 1999: 344-363
26		Joël Goossens, Raymond R. Devillers: Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. RTCSA 1999: 54-61
25		Raymond R. Devillers, Joël Goossens: General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks. Fundam. Inform. 40(2-3): 199-219 (1999)
	1998
24		Raymond R. Devillers, Maciej Koutny: Recursive Nets in the Box Algebra. ACSD 1998: 239-249
	1997
23		Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann: General Refinement for High Level Petri Nets. FSTTCS 1997: 297-311
22		Joël Goossens, Raymond R. Devillers: The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems. Real-Time Systems 13(2): 107-126 (1997)
	1996
21		Raymond R. Devillers: Petri Boxes and Finite Precedence. CONCUR 1996: 465-480
20		Eike Best, Raymond R. Devillers, Maciej Koutny: Petri Nets, Process Algebras and Concurrent Programming Languages. Petri Nets (2) 1996: 1-84
	1995
19		Raymond R. Devillers: S-Invariant Analysis of General Recursive Petri Boxes. Acta Inf. 32(4): 313-345 (1995)
	1993
18		Raymond R. Devillers: Construction of S-invariants and S-components for Refined Petri Boxes. Application and Theory of Petri Nets 1993: 242-261
17		Eike Best, Raymond R. Devillers, Javier Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. STACS 1993: 130-140
16		Thierry Massart, Raymond R. Devillers: Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. Formal Asp. Comput. 5(1): 79-88 (1993)
	1992
15		Raymond R. Devillers: Maximality preservation and the ST-idea for action refinements. Advances in Petri Nets: The DEMON Project 1992: 108-151
14		Eike Best, Raymond R. Devillers, Jon G. Hall: The box calculus: a new causal algebra with multi-label communication. Advances in Petri Nets: The DEMON Project 1992: 21-69
13		Raymond R. Devillers: Maximality Preserving Bisimulation. Theor. Comput. Sci. 102(1): 165-183 (1992)
	1991
12		Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello: Concurrent Bisimulations in Petri Nets. Acta Inf. 28(3): 231-264 (1991)
	1988
11		Raymond R. Devillers: The semantics of capacities in P/T nets. European Workshop on Applications and Theory in Petri Nets 1988: 128-150
	1987
10		Eike Best, Raymond R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theor. Comput. Sci. 55(1): 87-136 (1987)
	1986
9		Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers: Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. Theor. Comput. Sci. 43: 213-238 (1986)
	1984
8		Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers: Maximally Concurrent Evolution of Non-sequential Systems. Seminar on Concurrency 1984: 268-280
	1982
7		J. J. Cocu, Raymond R. Devillers: On a Class of Allocation Strategies Inducing Bounded Delays Only. Comput. J. 25(1): 52-55 (1982)
	1980
6		Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers: A Cosy Banker. Symposium on Programming 1980: 223-239
	1978
5		Raymond R. Devillers, Peter E. Lauer: A General Mechanism for Avoiding Starvation with Distributed Control. Inf. Process. Lett. 7(3): 156-158 (1978)
	1977
4		Raymond R. Devillers, Guy Louchard: Using Auxiliary Variables in Parallel Programs Verification. International Computing Symposium 1977: 217-225
3		Raymond R. Devillers: Game Interpretation of the Deadlock Avoidance Problem. Commun. ACM 20(10): 741-745 (1977)
	1976
2		Raymond R. Devillers, Guy Louchard: Improvement of Parallelism in a Finite Buffer Sharing Policy. Comput. J. 19(3): 238-245 (1976)
	1973
1		Raymond R. Devillers, Guy Louchard: Realization of Petri Nets Without Conditional Statements. Inf. Process. Lett. 2(4): 105-107 (1973)

Coauthor Index

1	Maxime Van Assche	[39]
2	Laurent Van Begin	[40]
3	Vandy Berten	[47]
4	Eike Best	[10] [12] [14] [17] [20] [27] [30] [31] [32]
5	Roland Bouroulet	[51]
6	J. J. Cocu	[7]
7	Javier Esparza	[17]
8	Joël Goossens	[22] [25] [26] [29] [39] [45] [50]
9	Jon G. Hall	[14]
10	Ryszard Janicki	[8] [9]
11	François Képès	[44] [46]
12	Astrid Kiehn	[12]
13	Hanna Klaudel	[23] [28] [33] [34] [35] [36] [37] [38] [41] [42] [43] [44] [46] [48] [49] [51] [52] [53] [54]
14	Maciej Koutny	[9] [20] [24] [27] [30] [31] [32] [33] [35] [36] [37] [41] [42] [43] [48] [49]
15	Peter E. Lauer	[5] [6] [8] [9]
16	Guy Louchard	[1] [2] [4] [47]
17	Thierry Massart	[16]
18	Dragomir Milojevic	[45] [50]
19	Nicolas Navet	[45] [50]
20	Vincent Nélis	[45] [50]
21	Elisabeth Pelz	[28] [51]
22	Frédéric Peschanski	[53] [54]
23	Lucia Pomello	[12]
24	Franck Pommereau	[33] [35] [51] [52]
25	Robert-C. Riemann	[23] [34]
26	Piero R. Torrigiani	[6]
27	Anastasia Yartseva	[44] [46]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page