Roberto C. de Oliveira

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

Publications

L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. FORTE (1997)
Jean-Pierre Courtiat, Roberto C. de Oliveira
Proving Temporal Consistency in a New Multimedia Synchronization Model. ACM Multimedia (1996)
Jean-Pierre Courtiat, Michel Diaz, Roberto C. de Oliveira, Patrick Sénac
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems. Comput. Commun. 19 (14) (1996)
Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations. IEEE J. Sel. Areas Commun. 14 (1) (1996)
Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism. Inf. Syst. 20 (6) (1995)
Jean-Pierre Courtiat, Roberto C. de Oliveira
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. MMNET (1995)
Jean-Pierre Courtiat, Roberto C. de Oliveira
A Reachability Analysis of RT-LOTOS Specifications. FORTE (1995)
Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana
Specification and Validation of Multimedia Protocols using RT-LOTOS. FTDCS (1995)
Jean-Pierre Courtiat, Roberto C. de Oliveira
About time nondeterminism and exception handling in a temporal extension of LOTOS. PSTV (1994)
Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems. ICMCS (1994)
Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
Towards a New Multimedia Synchronization Mechanism and its Formal Definition. ACM Multimedia (1994)