# Raymond R. Devillers

According to our database

^{1}, Raymond R. Devillers## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2017

Characterisation of the state spaces of marked graph Petri nets.

Inf. Comput., 2017

A Graph-Theoretical Characterisation of State Separation.

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

2016

Preface.

Fundam. Inform., 2016

Minimal Elements for the Prime Numbers.

Experimental Mathematics, 2016

Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

The Power of Prime Cycles.

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Products of Transition Systems and Additions of Petri Nets.

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Synthesis of Live and Bounded Persistent Systems.

Fundam. Inform., 2015

Indefinite waitings in MIRELA systems.

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015

State space axioms for T-systems.

Acta Inf., 2015

Synthesis and reengineering of persistent systems.

Acta Inf., 2015

Modelling and Analysing Mixed Reality Applications.

Proceedings of the Man-Machine Interactions 4, 2015

Synthesis of Bounded Choice-Free Petri Nets.

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets.

Proceedings of the Language and Automata Theory and Applications, 2014

Deadlock and Temporal Properties Analysis in Mixed Reality Applications.

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Synthesis of Persistent Systems.

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

A Petri Net Interpretation of Open Reconfigurable Systems.

Fundam. Inform., 2013

Implementing Timed Automata Specifications: The "Sandwich" Approach.

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2011

A Petri Net Interpretation of Open Reconfigurable Systems.

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

A Decidable Characterization of a Graphical Pi-calculus with Iterators

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

2009

Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.

Electr. Notes Theor. Comput. Sci., 2009

2008

A compositional Petri net translation of general

*pi*-calculus terms.
Formal Asp. Comput., 2008

Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms.

Proceedings of the IEEE International Conference on Sensor Networks, 2008

Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

From MIN model to ordinary differential equations.

J. Integrative Bioinformatics, 2007

Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms

CoRR, 2007

Incremental and unifying modelling formalism for biological interaction networks.

BMC Bioinformatics, 2007

FIFO Queuing of Constant Length Fully Synchronous Jobs.

Proceedings of the Grid Service Engineering and Management: The 4th International Conference on Grid Service Engineering and Management, 2007

Modelling Mobility in High-level Petri Nets.

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Joint garbage collection and hard real-time scheduling.

J. Embedded Computing, 2006

Boundedness undecidability for synchronized nets.

Inf. Process. Lett., 2006

Petri Net Semantics of the Finite pi-calculus Terms.

Fundam. Inform., 2006

A Petri Net Semantics of a Simple Process Algebra for Mobility.

Electr. Notes Theor. Comput. Sci., 2006

A Petri Net Translation of

*pi*-Calculus Terms.
Proceedings of the Theoretical Aspects of Computing, 2006

2005

Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets.

Fundam. Inform., 2005

2004

Petri Net Semantics of the Finite pi-Calculus.

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Context-based Process Algebras for Mobility.

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

General parameterised refinement and recursion for the M-net calculus.

Theor. Comput. Sci., 2003

Asynchronous Box Calculus.

Fundam. Inform., 2003

2002

The Box Algebra = Petri Nets + Process Expressions.

Inf. Comput., 2002

An Algebra of Non-safe Petri Boxes.

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Recursion and Petri nets.

Acta Inf., 2001

Petri net algebra.

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-04457-5, 2001

2000

An Algebraic Box Calculus.

Journal of Automata, Languages and Combinatorics, 2000

Liu and Layland's schedulability test revisited.

Inf. Process. Lett., 2000

1999

General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks.

Fundam. Inform., 1999

Feasibility Intervals for the Deadline Driven Scheduler with Arbitrary Deadlines.

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

The Box Algebra - A Model of Nets and Process Expressions.

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Recursive Nets in the Box Algebra.

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems.

Real-Time Systems, 1997

General Refinement for High Level Petri Nets.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

1996

Petri Boxes and Finite Precedence.

Proceedings of the CONCUR '96, 1996

Petri Nets, Process Algebras and Concurrent Programming Languages.

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995

S-Invariant Analysis of General Recursive Petri Boxes.

Acta Inf., 1995

1993

Equality of Agent Expressions is preserved Under an Extension of the Universe of Actions.

Formal Asp. Comput., 1993

General Refinement and Recursion Operators for the Petri Box Calculus.

Proceedings of the STACS 93, 1993

Construction of S-invariants and S-components for Refined Petri Boxes.

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992

Maximality Preserving Bisimulation.

Theor. Comput. Sci., 1992

Maximality preservation and the ST-idea for action refinements.

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

The box calculus: a new causal algebra with multi-label communication.

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Concurrent Bisimulations in Petri Nets.

Acta Inf., 1991

1988

The semantics of capacities in P/T nets.

Proceedings of the Advances in Petri Nets 1989, 1988

1987

Sequential and Concurrent Behaviour in Petri Net Theory.

Theor. Comput. Sci., 1987

1986

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.

Theor. Comput. Sci., 1986

1984

Maximally Concurrent Evolution of Non-sequential Systems.

Proceedings of the Seminar on Concurrency, 1984

1982

On a Class of Allocation Strategies Inducing Bounded Delays Only.

Comput. J., 1982

1980

A Cosy Banker.

Proceedings of the International Symposium on Programming, 1980

1978

A General Mechanism for Avoiding Starvation with Distributed Control.

Inf. Process. Lett., 1978

1977

Game Interpretation of the Deadlock Avoidance Problem.

Commun. ACM, 1977

Using Auxiliary Variables in Parallel Programs Verification.

Proceedings of the International Computing Symposium 1977, 1977

1976

Improvement of Parallelism in a Finite Buffer Sharing Policy.

Comput. J., 1976

1973

Realization of Petri Nets Without Conditional Statements.

Inf. Process. Lett., 1973