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
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
Real-Time and Embedded System Verification Based on Formal Requirements
Fontan, B., Apvrille, L., de Saqui-Sannes, P., Courtiat, J.-P.
Published in 2006 International Symposium on Industrial Embedded Systems (01.10.2006)
Published in 2006 International Symposium on Industrial Embedded Systems (01.10.2006)
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
Using Petri nets as a model for Petri nets
Coelho da Costa, R.J., Courtiat, J.-P.
Published in Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems (1992)
Published in Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems (1992)
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
Coordinating collaborativework with RECOLLVE
Santos, J.V.F., Gomes, R.L., Bacurau, R.M., de C. P. Pedroza, A., Courtiat, J.-P.
Published in 2009 International Symposium on Collaborative Technologies and Systems (01.05.2009)
Published in 2009 International Symposium on Collaborative Technologies and Systems (01.05.2009)
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
The Agent-Based Architecture of RECOLLVE
dos Santos Filho, J.V., Gomes, R.L., de Castro Pinto Pedroza, A., Courtiat, J.-P.
Published in 2008 Simpósio Brasileiro de Sistemas Colaborativos (01.10.2008)
Published in 2008 Simpósio Brasileiro de Sistemas Colaborativos (01.10.2008)
Get full text
Conference Proceeding