TURTLE: a real-time UML profile supported by a formal validation toolkit
Apvrille, L., Courtiat, J.-P., Lohr, C., de Saqui-Sannes, P.
Published in IEEE transactions on software engineering (01.07.2004)
Published in IEEE transactions on software engineering (01.07.2004)
Get full text
Journal Article
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
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 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
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
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
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
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