Roberto C. de Oliveira

11 papers A* 2C 2Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
1997 C conf
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
L. Andriantsiferana, Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Picci
1996 J jnl
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations.
IEEE J. Sel. Areas Commun.
Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
1996 J jnl
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.
Comput. Commun.
Jean-Pierre Courtiat, Michel Diaz, Roberto C. de Oliveira, Patrick Sénac
1996 A* conf
Proving Temporal Consistency in a New Multimedia Synchronization Model.
ACM Multimedia
Jean-Pierre Courtiat, Roberto C. de Oliveira
1995 C conf
A Reachability Analysis of RT-LOTOS Specifications.
FORTE
Jean-Pierre Courtiat, Roberto C. de Oliveira
1995 — conf
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.
MMNET
Jean-Pierre Courtiat, Roberto C. de Oliveira
1995 — conf
Specification and Validation of Multimedia Protocols using RT-LOTOS.
FTDCS
Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana
1995 J jnl
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.
Inf. Syst.
Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
1994 — conf
A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems.
ICMCS
Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
1994 — conf
About time nondeterminism and exception handling in a temporal extension of LOTOS.
PSTV
Jean-Pierre Courtiat, Roberto C. de Oliveira
1994 A* conf
Towards a New Multimedia Synchronization Mechanism and its Formal Definition.
ACM Multimedia
Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo