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
Technology Enhanced Learning : IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France
IFIP TC3 Technology Enhanced Learning Workshop, Courtiat, J.-P. (Jean-Pierre), Davarakis, Costas, Villemur, Thierry, IFIP World Computer Congress
Year of Publication 2005
Year of Publication 2005
Get full text
eBook
Book
Conference Proceeding
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 Design of Interactive Multimedia Documents
Courtiat, Jean-Pierre
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2003 (2003)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2003 (2003)
Get more information
Book Chapter
Conference Proceeding
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
Regarding the Integration of Collaborative Applications into Virtual Worlds
Gomes, Roberta Lima, Hoyos-Rivera, Guillermo J., Courtiat, Jean Pierre
Published in Lecture notes in computer science (2003)
Published in Lecture notes in computer science (2003)
Get more information
Book Chapter
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
New Operators for the TURTLE Real-Time UML Profile
Lohr, Christophe, Apvrille, Ludovic, de Saqui-Sannes, Pierre, Courtiat, Jean-Pierre
Published in Formal Methods for Open Object-Based Distributed Systems (2003)
Published in Formal Methods for Open Object-Based Distributed Systems (2003)
Get more information
Book Chapter
Conference Proceeding
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
UML and RT-LOTOS: An integration for real-time system validation
DE SAQUI-SANNES, Pierre, APVRILLE, Ludovic, LOHR, Christophe, SENAC, Patrick, COURTIAT, Jean-Pierrre
Published in Journal Européen des Systèmes Automatisés (JESA) (01.11.2002)
Get more information
Published in Journal Européen des Systèmes Automatisés (JESA) (01.11.2002)
Conference Proceeding
Journal Article