Jean-Pierre Courtiat

According to our database1, Jean-Pierre Courtiat authored at least 75 papers between 1982 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2011
A Loosely Coupled Integration Environment for Collaborative Applications.
IEEE Trans. Syst. Man Cybern. Part A, 2011

2009
Coordinating collaborativework with RECOLLVE.
Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems, 2009

2008
The Agent-Based Architecture of RECOLLVE.
Proceedings of the Simpósio Brasileiro de Sistemas Colaborativos, 2008

RECOLLVE - REpresenting COLLaboration in Virtual Environments.
Proceedings of the 2008 International Conference on Computer Graphics & Virtual Reality, 2008

2007
An Extensible Co-browsing Environment with Conference Support.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

TLSA Player: A Tool for Presenting Consistent SMIL 2.0 Documents.
Proceedings of the ICEIS 2007, 2007

Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006
CoLab: A New Paradigm and Tool for Collaboratively Browsing the Web.
IEEE Trans. Syst. Man Cybern. Part A, 2006

Real-Time and Embedded System Verification Based on Formal Requirements.
Proceedings of the International Symposium on Industrial Embedded Systems, 2006

Mapping RT-LOTOS Specifications into Time Petri Nets.
Proceedings of the Formal Methods and Software Engineering, 2006

Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Integrating collaborative applications with LEICA.
Proceedings of the ITRE 2005, 2005

LEICA: Loosely-Coupled Environment for Integrating Collaborative Applications.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

Loosely-Coupled Integration of CSCW Systems.
Proceedings of the Distributed Applications and Interoperable Systems, 2005

CoLab: A Flexible Collaborative Web Browsing Tool.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

2004
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit.
IEEE Trans. Software Eng., 2004

An Approach for the Automatic Generation of RT-LOTOS Specifications from SMIL 2.0 Documents.
J. Braz. Comput. Soc., 2004

2003
Regarding the Integration of Collaborative Applications into Virtual Worlds.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Collaborative virtual environments: going beyond virtual reality.
Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003

The Web as a Tool for Collaborative e-Learning: The Case of CoLab.
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

Formal Design of Interactive Multimedia Documents.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

New Operators for the TURTLE Real-Time UML Profile.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2002
A Flexible Architecture for Collaborative Browsing.
Proceedings of the 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 2002

Providing consistent SMIL 2.0 documents.
Proceedings of the 2002 IEEE International Conference on Multimedia and Expo, 2002

From the Specification to the Scheduling of Time-Dependent Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
A Design Framework for Collaborative Browsing.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

A New UML Profile for Real-Time System Formal Design and Validation.
Proceedings of the «UML» 2001, 2001

Formal Validation of a Multicast Transport Protocol.
Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001

Analysis and Implementation of a Pre-defined QoS Specification Methodology for VoD Systems.
Proceedings of the Fifth IASTED International Conference Internet and Multimedia Systems and Applications (IMSA 2001), 2001

Scheduling and Presenting Interactive Multimedia Documents.
Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, 2001

An integrated environment for the presentation of consistent SMIL 2.0 documents.
Proceedings of the 2001 ACM Symposium on Document Engineering, 2001

2000
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique.
Comput. Commun., 2000

A formal approach for the presentation of interactive multimedia documents.
Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30, 2000

About the Semantic Verification of SMIL Documents.
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000

1999
An experimental study for transmitting MPEG-2 streams over ATM networks.
Telecommun. Syst., 1999

Revisiting the concept of hypermedia document consistency.
Proceedings of the 7th ACM International Conference on Multimedia '99, Orlando, FL, USA, October 30, 1999

Comparative Analisys of Multicast Routing Algorithms for Multimedia Communication over ATM Networks.
Proceedings of the 1st Latin American Network Operations and Management Symposium, 1999

1998
Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model.
Proceedings of the 1998 MultiMedia Modeling (MMM '98), 1998

Design Methodology and Formal Validation of Hypermedia Documents.
Proceedings of the 6th ACM International Conference on Multimedia '98, 1998

A Design Methodology for the Formal Specification and Verification of Hypermedia Documents.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996
A General-Purpose Multimedia Synchronization Mechanism Based on Casual Relations.
IEEE J. Sel. Areas Commun., 1996

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems.
Comput. Commun., 1996

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Comput. Networks ISDN Syst., 1996

Proving Temporal Consistency in a New Multimedia Synchronization Model.
Proceedings of the Forth ACM International Conference on Multimedia '96, 1996

1995
The RT-LOTOS Formal Specification of the Conditional Delivery Mechanism.
Inf. Syst., 1995

RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.
Proceedings of the International Conference on Multimedia Networking, 1995

Specification and Validation of Multimedia Protocols using RT-LOTOS.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

A Reachability Analysis of RT-LOTOS Specifications.
Proceedings of the Formal Description Techniques VIII, 1995

1994
Observer-A Concept for Formal On-Line Validation of Distributed Systems.
IEEE Trans. Software Eng., 1994

Verification by abstraction as a preamble for interoperability test suite generation.
Proceedings of the Protocol Specification, 1994

About time nondeterminism and exception handling in a temporal extension of LOTOS.
Proceedings of the Protocol Specification, 1994

Towards a New Multimedia Synchronization Mechanism and its Formal Definition.
Proceedings of the Second ACM International Conference on Multimedia '94, 1994

A New Mechanism for Achieving Inter-stream Synchronization in Multimedia Communication Systems.
Proceedings of the International Conference on Multimedia Computing and Systems, 1994

Implementing Intra-Stream Synchronization by Means of Conditional Dependency Expressions.
Proceedings of the High Performance Networking V, Proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June, 1994

Relating maximality-based semantics to action refinement in process algebras.
Proceedings of the Formal Description Techniques VII, 1994

1993
Syntactic Action Refinement in Presence of Multiway Synchronization.
Proceedings of the Semantics of Specification Languages (SoSL), 1993

Action Refinement in LOTOS.
Proceedings of the Protocol Specification, 1993

1992
ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle.
Comput. Networks ISDN Syst., 1992

Basic Synchronization Concepts in Multimedia Systems.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1992

A Causality-based Semantics for CCS.
Proceedings of the NAPAW 92, 1992

A true concurrency semantics for LOTOS.
Proceedings of the Formal Description Techniques, 1992

1991
Time in State Based Formal Description Techniques for Distributed Systems.
Proceedings of the Real-Time: Theory in Practice, 1991

An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle.
Proceedings of the Protocol Specification, 1991

A LOTOS Based Calculus with True Concurrency Semantics.
Proceedings of the Formal Description Techniques, 1991

1989
From the Simulation to the Verification of Estelle Specifications.
Proceedings of the Formal Description Techniques, 1989

1988
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.
Proceedings of the Formal Description Techniques, 1988

1987
How Could Estelle Become a Better FDT?
Proceedings of the Protocol Specification, 1987

1986
Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985
A simulation environment for protocol specifications described in ESTELLE.
Proceedings of the Protocol Specification, 1985

1984
Petri nets are good for protocols.
Computer Communication Review, 1984

1983
LC/1, A Specification and Implementation Language for Protocols.
Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control.
IEEE Trans. Computers, 1982

Self-Checking software in distributed systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982


  Loading...