Jean-Pierre Courtiat

Statistics

Publications

Citations

499

H-Index

Active since

1984

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Centre National de la Recherche Scientifique

Roche (France)

Roche (Switzerland)

Universidad Veracruzana

Jean-Pierre Courtiat is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in computing, computer science, and formal methods.

Publications per year

1984–2006

Publications

Observer-a concept for formal on-line validation of distributed systems

M. Díaz, Guy Juanole, Jean-Pierre Courtiat · IEEE Transactions on Software Engineering · 1994 · 90 citations

Computing, Computer Science, Computer Systems +14

Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique

Jean-Pierre Courtiat, Celso A. S. Santos, Christophe Lohr et al. · Computer Communications · 2000 · 67 citations

Computing, Computer Engineering, Computer Science +14

Proving temporal consistency in a new multimedia synchronization model

Jean-Pierre Courtiat, Roberto C. de Oliveira · 1996 · 60 citations

Computing, Computer Engineering, Computer Systems +13

Design methodology and formal validation of hypermedia documents

Celso A. S. Santos, Luiz Fernando Gomes Soares, G.L. de Souza et al. · 1998 · 32 citations · Full text

Arts, Information Systems, Information Technology +12

Petri nets are good for protocols

Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres · ACM SIGCOMM Computer Communication Review · 1984 · 30 citations

Computing, Computer Science, Systems Engineering +17

1–5 of 19