|
Search the dblp DataBase
Roberto C. de Oliveira:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] FORTE, 1997, pp:433-448 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
A Reachability Analysis of RT-LOTOS Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1995, pp:117-124 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana
Specification and Validation of Multimedia Protocols using RT-LOTOS. [Citation Graph (0, 0)][DBLP] FTDCS, 1995, pp:354-362 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ICMCS, 1994, pp:173-182 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
Proving Temporal Consistency in a New Multimedia Synchronization Model. [Citation Graph (0, 0)][DBLP] ACM Multimedia, 1996, pp:141-152 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
Towards a New Multimedia Synchronization Mechanism and its Formal Definition. [Citation Graph (0, 0)][DBLP] ACM Multimedia, 1994, pp:133-140 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. [Citation Graph (0, 0)][DBLP] MMNET, 1995, pp:31-45 [Conf]
- Jean-Pierre Courtiat, Roberto C. de Oliveira
About time nondeterminism and exception handling in a temporal extension of LOTOS. [Citation Graph (0, 0)][DBLP] PSTV, 1994, pp:37-52 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Computer Communications, 1996, v:19, n:14, pp:1134-1150 [Journal]
- Jean-Pierre Courtiat, Roberto C. de Oliveira, Luiz F. Rust da Costa Carmo
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism. [Citation Graph (0, 0)][DBLP] Inf. Syst., 1995, v:20, n:6, pp:521-535 [Journal]
- Jean-Pierre Courtiat, Luiz F. Rust da Costa Carmo, Roberto C. de Oliveira
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations. [Citation Graph (0, 0)][DBLP] IEEE Journal on Selected Areas in Communications, 1996, v:14, n:1, pp:185-195 [Journal]
Search in 0.001secs, Finished in 0.002secs
|