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
Observer-a concept for formal on-line validation of distributed systems
Diaz, M., Juanole, G., Courtiat, J.-P.
Published in IEEE transactions on software engineering (01.12.1994)
Published in IEEE transactions on software engineering (01.12.1994)
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
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
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
Scheduling and presenting interactive multimedia documents
Sampaio, P.N.M., Courtiat, J.P.
Published in IEEE International Conference on Multimedia and Expo, 2001. ICME 2001 (2001)
Published in IEEE International Conference on Multimedia and Expo, 2001. ICME 2001 (2001)
Get full text
Conference Proceeding
Loosely-Coupled Integration of CSCW Systems
Gomes, Roberta L., Rivera, Guillermo J. Hoyos, Courtiat, Jean Pierre
Published in Distributed Applications and Interoperable Systems (2005)
Published in Distributed Applications and Interoperable Systems (2005)
Get full text
Book Chapter
Conference Proceeding