Jean-Pierre Courtiat
According to our database1,
Jean-Pierre Courtiat
authored at least 76 papers
between 1982 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
IEEE Trans. Syst. Man Cybern. Part A, 2011
2009
Proceedings of the 2009 International Symposium on Collaborative Technologies and Systems, 2009
2008
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
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
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
IEEE Trans. Syst. Man Cybern. Part A, 2006
Proceedings of the International Symposium on Industrial Embedded Systems, 2006
UML-Based Modeling and Formal Verification of Authentication Protocols.
Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006
Proceedings of the Formal Methods and Software Engineering, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the ITRE 2005, 2005
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005
Proceedings of the Distributed Applications and Interoperable Systems, 2005
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005
2004
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
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003
Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003
2002
Proceedings of the 11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002), 2002
Proceedings of the 2002 IEEE International Conference on Multimedia and Expo, 2002
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
2001
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001
Proceedings of the «UML» 2001, 2001
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
Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, 2001
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
Proceedings of the 8th ACM International Conference on Multimedia 2000, Los Angeles, CA, USA, October 30, 2000
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000
1999
Telecommun. Syst., 1999
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
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
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
Proceedings of the Forth ACM International Conference on Multimedia '96, 1996
1995
Inf. Syst., 1995
RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation.
Proceedings of the International Conference on Multimedia Networking, 1995
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
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
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
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
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1992
A true concurrency semantics for LOTOS.
Proceedings of the Formal Description Techniques, 1992
1991
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
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
IEEE Trans. Computers, 1982
Self-Checking software in distributed systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982