The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto C. de Oliveira: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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.219secs, Finished in 0.220secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002