Roberto C. de Oliveira

According to our database, Roberto C. de Oliveira authored at least 11 papers between 1994 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1997

An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.

L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations.

Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira

IEEE J. Sel. Areas Commun., 1996

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.

Jean-Pierre Courtiat, Michel Diaz, Roberto C. de Oliveira, Patrick Sénac

Comput. Commun., 1996

Proving Temporal Consistency in a New Multimedia Synchronization Model.

Jean-Pierre Courtiat, Roberto C. de Oliveira

Proceedings of the Forth ACM International Conference on Multimedia '96, 1996

1995

The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.

Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo

Inf. Syst., 1995

RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.

Jean-Pierre Courtiat, Roberto C. de Oliveira

Proceedings of the International Conference on Multimedia Networking, 1995

Specification and Validation of Multimedia Protocols using RT-LOTOS.

Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

A Reachability Analysis of RT-LOTOS Specifications.

Jean-Pierre Courtiat, Roberto C. de Oliveira

Proceedings of the Formal Description Techniques VIII, 1995

1994

About time nondeterminism and exception handling in a temporal extension of LOTOS.

Jean-Pierre Courtiat, Roberto C. de Oliveira

Proceedings of the Protocol Specification, 1994

Towards a New Multimedia Synchronization Mechanism and its Formal Definition.

Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo

Proceedings of the Second ACM International Conference on Multimedia '94, 1994

A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems.

Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira

Proceedings of the International Conference on Multimedia Computing and Systems, 1994