Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Raymond R. Devillers" ( http://dblp.L3S.de/Authors/Raymond_R._Devillers )

  Author page on DBLP  Author page in RDF  Community of Raymond R. Devillers in ASPL-2

Publication years (Num. hits)
1973-1992 (15) 1993-2001 (16) 2002-2007 (17) 2008-2011 (6)
Publication types (Num. hits)
article(29) book(1) inproceedings(24)
Venues (Conferences, Journals, ...)
Fundam. Inform.(4) Inf. Process. Lett.(4) Theor. Comput. Sci.(4) ACSD(3) Acta Inf.(3) Petri Nets(3) Advances in Petri Nets: The DE...(2) Comput. J.(2) Electr. Notes Theor. Comput. S...(2) Formal Asp. Comput.(2) AMAST(1) Application and Theory of Petr...(1) BMC Bioinformatics(1) Commun. ACM(1) CONCUR(1) CoRR(1) More (+10 of total 34)
Authors
Raymond R. Devillers(54) Hanna Klaudel(19) Maciej Koutny(16) Eike Best(9) Joël Goossens(7) Franck Pommereau(4) Guy Louchard(4) Peter E. Lauer(4) Anastasia Yartseva(2) Dragomir Milojevic(2) Elisabeth Pelz(2) François Képès(2) Frédéric Peschanski(2) Nicolas Navet(2) Robert-C. Riemann(2) Ryszard Janicki(2) More (+10 of total 28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 31 occurrences of 16 keywords
Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers A Petri Net Interpretation of Open Reconfigurable Systems. Search on Bibsonomy Petri Nets The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers A Decidable Characterization of a Graphical Pi-calculus with Iterators Search on Bibsonomy INFINITY The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franck Pommereau, Raymond R. Devillers, Hanna Klaudel Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny A compositional Petri net translation of general pi -calculus terms. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus
1Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal specification, Petri nets, process algebras, security protocols
1Vincent Nélis, Joël Goossens, Raymond R. Devillers, Dragomir Milojevic, Nicolas Navet Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms. Search on Bibsonomy SUTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multiprocessors real-time scheduling, Power-aware scheduling, Energy-aware scheduling
1Anastasia Yartseva, Raymond R. Devillers, Hanna Klaudel, François Képès From MIN model to ordinary differential equations. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anastasia Yartseva, Hanna Klaudel, Raymond R. Devillers, François Képès Incremental and unifying modelling formalism for biological interaction networks. Search on Bibsonomy BMC Bioinformatics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Vincent Nélis, Joël Goossens, Nicolas Navet, Raymond R. Devillers, Dragomir Milojevic Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Modelling Mobility in High-level Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra
1Vandy Berten, Raymond R. Devillers, Guy Louchard FIFO Queuing of Constant Length Fully Synchronous Jobs. Search on Bibsonomy GSEM The full citation details ... 2007 DBLP  BibTeX  RDF
1Raymond R. Devillers, Laurent Van Begin Boundedness undecidability for synchronized nets. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Maxime Van Assche, Joël Goossens, Raymond R. Devillers Joint garbage collection and hard real-time scheduling. Search on Bibsonomy J. Embedded Computing The full citation details ... 2006 DBLP  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny A Petri Net Semantics of a Simple Process Algebra for Mobility. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Petri Net Semantics of the Finite pi-calculus Terms. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny A Petri Net Translation of pi-Calculus Terms. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compositional translation, behavioural consistency, mobility, Petri nets, process algebra, ?-calculus
1Raymond R. Devillers, Hanna Klaudel Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Petri Net Semantics of the Finite pi-Calculus. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Context-based Process Algebras for Mobility. Search on Bibsonomy ACSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann General parameterised refinement and recursion for the M-net calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau Asynchronous Box Calculus. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Maciej Koutny The Box Algebra = Petri Nets + Process Expressions. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau An Algebra of Non-safe Petri Boxes. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Petri nets, process algebra, operational semantics
1Eike Best, Raymond R. Devillers, Maciej Koutny Recursion and Petri nets. Search on Bibsonomy Acta Inf. The full citation details ... 2001 DBLP  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Maciej Koutny Petri net algebra. Search on Bibsonomy 2001   RDF
1Raymond R. Devillers, Joël Goossens Liu and Layland's schedulability test revisited. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz An Algebraic Box Calculus. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 2000 DBLP  BibTeX  RDF
1Raymond R. Devillers, Joël Goossens General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Maciej Koutny The Box Algebra - A Model of Nets and Process Expressions. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
1Joël Goossens, Raymond R. Devillers Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines. Search on Bibsonomy RTCSA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF hard real-time scheduling, periodic task set, feasibility interval, Deadline driven scheduler, arbitrary deadline
1Raymond R. Devillers, Maciej Koutny Recursive Nets in the Box Algebra. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint
1Joël Goossens, Raymond R. Devillers The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems. Search on Bibsonomy Real-Time Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann General Refinement for High Level Petri Nets. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers Petri Boxes and Finite Precedence. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Maciej Koutny Petri Nets, Process Algebras and Concurrent Programming Languages. Search on Bibsonomy Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers S-Invariant Analysis of General Recursive Petri Boxes. Search on Bibsonomy Acta Inf. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Thierry Massart, Raymond R. Devillers Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers Construction of S-invariants and S-components for Refined Petri Boxes. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Javier Esparza General Refinement and Recursion Operators for the Petri Box Calculus. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers Maximality Preserving Bisimulation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers Maximality preservation and the ST-idea for action refinements. Search on Bibsonomy Advances in Petri Nets: The DEMON Project The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Jon G. Hall The box calculus: a new causal algebra with multi-label communication. Search on Bibsonomy Advances in Petri Nets: The DEMON Project The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello Concurrent Bisimulations in Petri Nets. Search on Bibsonomy Acta Inf. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers The semantics of capacities in P/T nets. Search on Bibsonomy European Workshop on Applications and Theory in Petri Nets The full citation details ... 1988 DBLP  DOI  BibTeX  RDF P/T nets, enabling rule, concurrency, languages, capacity
1Eike Best, Raymond R. Devillers Sequential and Concurrent Behaviour in Petri Net Theory. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers Maximally Concurrent Evolution of Non-sequential Systems. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
1J. J. Cocu, Raymond R. Devillers On a Class of Allocation Strategies Inducing Bounded Delays Only. Search on Bibsonomy Comput. J. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers A Cosy Banker. Search on Bibsonomy Symposium on Programming The full citation details ... 1980 DBLP  BibTeX  RDF
1Raymond R. Devillers, Peter E. Lauer A General Mechanism for Avoiding Starvation with Distributed Control. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers Game Interpretation of the Deadlock Avoidance Problem. Search on Bibsonomy Commun. ACM The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Guy Louchard Using Auxiliary Variables in Parallel Programs Verification. Search on Bibsonomy International Computing Symposium The full citation details ... 1977 DBLP  BibTeX  RDF
1Raymond R. Devillers, Guy Louchard Improvement of Parallelism in a Finite Buffer Sharing Policy. Search on Bibsonomy Comput. J. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Guy Louchard Realization of Petri Nets Without Conditional Statements. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.