Raymond R. Devillers

According to our database1, Raymond R. Devillers
  • authored at least 74 papers between 1973 and 2017.
  • has a "Dijkstra number"2 of four.

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

Modeling and checking robustness of communicating autonomous vehicles.
Proceedings of the Distributed Computing and Artificial Intelligence, 2017

On Liveness and Deadlockability in Subclasses of Weighted Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 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
Specification of highly parallel and distributed resource management.
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


  Loading...