Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Courtiat, J.-P., Santos, C.A.S., Lohr, C., Outtaj, B.
Published in Computer communications (01.07.2000)
Published in Computer communications (01.07.2000)
Get full text
Journal Article
Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems
Courtiat, J.-P., Diaz, M., De Oliveira, R.C., Sénac, P.
Published in Computer communications (01.12.1996)
Published in Computer communications (01.12.1996)
Get full text
Journal Article
Collaborative Web browsing tool supporting audio/video interactive presentations
Hoyos-Rivera, Gd.J., Lima-Gomes, R., Courtiat, J.-P., Willrich, R.
Published in 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05) (2005)
Published in 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05) (2005)
Get full text
Conference Proceeding
Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995
Courtiat, Jean-Pierre, Dembinski, Piotr, Holzmann, Gerard J., Logrippo, Luigi, Rudin, Harry, Zave, Pamela
Published in Computer networks and ISDN systems (01.10.1996)
Published in Computer networks and ISDN systems (01.10.1996)
Get full text
Journal Article
The RT-LOTOS formal specification of the conditional delivery mechanism
Courtiat, Jean-Pierre, de Oliveira, Roberto C., Rust da Costa Carmo, Luiz F.
Published in Information systems (Oxford) (01.09.1995)
Published in Information systems (Oxford) (01.09.1995)
Get full text
Journal Article
Providing consistent SMIL 2.0 documents
Sampaio, P.N.M., Courtiat, J.P.
Published in Proceedings. IEEE International Conference on Multimedia and Expo (2002)
Published in Proceedings. IEEE International Conference on Multimedia and Expo (2002)
Get full text
Conference Proceeding
An Extensible Co-browsing Environment with Conference Support
Lima, C.V., Willrich, R., Gomes, R.L., de Jesus, G., Rivera, H., Courtiat, J.-P.
Published in 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007) (01.06.2007)
Published in 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007) (01.06.2007)
Get full text
Conference Proceeding
Formal validation of a multicast transport protocol
Abbou, R.B., Benkiran, A., Courtiat, J.P.
Published in Proceedings. Sixth IEEE Symposium on Computers and Communications (2001)
Published in Proceedings. Sixth IEEE Symposium on Computers and Communications (2001)
Get full text
Conference Proceeding
About the semantic verification of SMIL documents
Sampaio, P.N.M., Santos, C.A.S., Courtias, J.P.
Published in 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532) (2000)
Published in 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532) (2000)
Get full text
Conference Proceeding
An experimental study for transmitting MPEG-2 streams over ATM networks
Meylan, F., Kiatake, L.G.G., Santos, M.Z., Kofuji, S.T., Courtiat, J.P.
Published in 1998 1st IEEE International Conference on ATM. ICATM'98 (1998)
Published in 1998 1st IEEE International Conference on ATM. ICATM'98 (1998)
Get full text
Conference Proceeding