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
A Loosely Coupled Integration Environment for Collaborative Applications
Gomes, Roberta Lima, Hoyos-Rivera, Guillermo de Jesus, Willrich, Roberto, Lima, Christopher Viana, Courtiat, Jean-Pierre
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.09.2011)
Published in IEEE transactions on systems, man and cybernetics. Part A, Systems and humans (01.09.2011)
Get full text
Journal Article
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
Sadani, Tarek, Boyer, Marc, de Saqui-Sannes, Pierre, Courtiat, Jean-Pierre
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2006 (2006)
Get full text
Book Chapter
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 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
Mapping RT-LOTOS Specifications into Time Petri Nets
Sadani, Tarek, Boyer, Marc, de Saqui-Sannes, Pierre, Courtiat, Jean-Pierre
Published in Formal Methods and Software Engineering (2006)
Published in Formal Methods and Software Engineering (2006)
Get full text
Book Chapter
Conference Proceeding
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
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
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
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
An experimental study for transmitting MPEG-2 streams over ATM networks
Meylan, Frank, Luis Gustavo G. Kiatake, Marcelo Zanoni Santos, Sergio Takeo Kofuji, Courtiat, Jean Pierre
Published in Telecommunication systems (01.01.1999)
Published in Telecommunication systems (01.01.1999)
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