Roberto C. de Oliveira

◀ ▶ joint publications with Jean-Pierre Courtiat

> Home > Persons > Roberto C. de Oliveira

Publications

1997
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/AndriantsiferanaCOP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AndriantsiferanaCOP97
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: 433-448
1996
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/comcom/CourtiatDOS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comcom/CourtiatDOS96
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): 1134-1150 (1996)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/CourtiatCO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/CourtiatCO96
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): 185-195 (1996)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/mm/CourtiatO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mm/CourtiatO96
Jean-Pierre Courtiat, Roberto C. de Oliveira:
Proving Temporal Consistency in a New Multimedia Synchronization Model. ACM Multimedia 1996: 141-152
1995
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/is/CourtiatOC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/CourtiatOC95
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): 521-535 (1995)
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/CourtiatO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CourtiatO95
Jean-Pierre Courtiat, Roberto C. de Oliveira:
A Reachability Analysis of RT-LOTOS Specifications. FORTE 1995: 117-124
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ftdcs/CourtiatOA95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftdcs/CourtiatOA95
Jean-Pierre Courtiat, Roberto C. de Oliveira, L. Andriantsiferana:
Specification and Validation of Multimedia Protocols using RT-LOTOS. FTDCS 1995: 354-362
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mmnet/CourtiatO95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmnet/CourtiatO95
Jean-Pierre Courtiat, Roberto C. de Oliveira:
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation. MMNET 1995: 31-45
1994
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icmcs/CourtiatCO94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmcs/CourtiatCO94
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: 173-182
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mm/CourtiatOC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mm/CourtiatOC94
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: 133-140
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pstv/CourtiatO94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/CourtiatO94
Jean-Pierre Courtiat, Roberto C. de Oliveira:
About time nondeterminism and exception handling in a temporal extension of LOTOS. PSTV 1994: 37-52

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.