# Rodney R. Howell

According to our database

^{1}, Rodney R. Howell## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2012

Computing First-to-First Propagation Delays through Sequences of Fixed-Priority Periodic Tasks.

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

2010

Propagation Delays in Fixed-Priority Scheduling of Periodic Tasks.

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2002

Finite-State Self-Stabilizing Protocols in Message-Passing Systems.

J. Parallel Distrib. Comput., 2002

1999

Finite-state self-stabilizing protocols in message-passing systems.

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

1995

On Non-Preemptive Scheduling of Recurring Tasks Using Inserted Idle Times

Inf. Comput., February, 1995

Bounded Self-Stabilizing Petri Nets.

Acta Inf., 1995

1993

Completeness Results for Single-Path Petri Nets

Inf. Comput., October, 1993

Feasibility Problems for Recurring Tasks on one Processor.

Theor. Comput. Sci., 1993

Normal and Sinkless Petri Nets.

J. Comput. Syst. Sci., 1993

1991

A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.

Theor. Comput. Sci., 1991

Global and Local Views of State Fairness.

Theor. Comput. Sci., 1991

The Complexity of Problems Involving Structurally Bounded and Conservative Petri Nets.

Inf. Process. Lett., 1991

Single-Path Petri Nets.

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Bounded Self-Stabilizing Petri Nets.

Proceedings of the Advances in Petri Nets 1993, 1991

1990

Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor.

Real-Time Systems, 1990

The Instability of Self-Stabilization.

Acta Inf., 1990

On Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor.

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989

Problems Concerning Fairness and Temporal Logic for Conflict-Free Petri Nets.

Theor. Comput. Sci., 1989

System Simulation and the Sensitivity of Self-Stabilization.

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

Normal and Sinkless Petri Nets.

Proceedings of the Fundamentals of Computation Theory, 1989

1988

Completeness Results for Conflict-Free Vector Replacement Systems.

J. Comput. Syst. Sci., 1988

A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1987

An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.

J. Comput. Syst. Sci., 1987

An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.

Inf. Process. Lett., 1987

On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States.

Proceedings of the STACS 87, 1987

Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems.

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.

Proceedings of the Advances in Petri Nets 1988, 1987

1986

Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.

Theor. Comput. Sci., 1986

An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

Recent results on the complexity of problems related to Petri nets.

Proceedings of the Advances in Petri Nets 1987, 1986