Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Edited books and chapters

Communicating Embedded Systems - Software and Design

[OE15] C. Jard et O.-H. Roux (Eds.): Systèmes embarqués communicants : Approches formelles, 270 pages, Traité IC2, 2008. Hermès.
[OE14] F. Cassez and C. Jard (Eds.): The 6th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2008, LNCS 5215, 2008. Springer-Verlag.
[OE13] C. Jard, L'ingénierie formelle des protocoles. Encyclopédie de l'informatique et des systèmes d'information. Masson, Novembre 2006, p. 113-124
[OE12] F. Cassez, C. Jard, F. Laroussinie and M. Ryan (Eds): Modeling and Verification of Parallel Processes, MOVEP2002, European Summer School, Nantes, Jun. 2002
[OE11] F. Cassez, C. Jard, B. Rozoy and M. Ryan (Eds.): Modeling and Verification of Parallel Processes, revised Tutorial Lectures, LNCS Tutorials, Nu. 2067, Springer, december 2001.
[OE10] S. Graf and C. Jard (Eds.): SAM2000, 2nd Workshop on SDL and MSC, Grenoble, Jun. 2000.
[OE9] F. Cassez, C. Jard, B. Rozoy et M. Ryan (Eds.): Verification and Modeling of Parallel Processes, MOVEP'2k, Euro Summer School, Nantes, Jun. 2000.
[OE8] F. Cassez, C. Jard, O. Roux et B. Rozoy (Eds.): Modélisation et vérification des processus parallèles, MOVEP'98, Actes de l'école d'été, ECN, Juillet 1998.
[OE7] X. Blondel et C. Jard, Application des techniques formelles au logiciel -- LDS appliqué à la modélisation et à la validation des processus communicants, ARAGO-20, Observatoire français des techniques avancées, Juin 1997.
[OE6] H. Garavel, R. Groz et C. Jard (Eds.): Technique et science informatiques -- Méthodes formelles, validation de systèmes complexes, Vol. 16, Juin 1997.
[OE5] Gv. Bochmann, C. Jard and J. Sifakis (Eds.): Application of Formal Methods to System Development - Telecommunications, VLSI and Real-Time Computerized Control Systems, Montreal, Oct. 1996. Entretiens Jacques Cartier.
[OE4] C. Jard et P. Rolin (Eds.): Colloque Francophone sur l'Ingénierie des Protocoles, Rennes, Mai 1995, Hermès.
[OE3] R. Keunings, F.-X. Roux, P. Leca, C. Jard (Eds.): Applications Industrielles du Parallélisme , Calculateurs Parallèles, Hermes, Special Issue (1995)
[OE2] B. Charron-Bost et C. Jard (Eds.): Ecole d'informatique sur l'algorithmique répartie -- calculs répartis et causalité, Roscoff, Sep. 1993.
[OE1] F. André et C. Jard (Eds.): Datation et controle des exécutions réparties, Bigre Nu 78, Mars 1992. Colloque C3.

Refereed international journals

[RI34] A. Mostéfaoui, M. Petrolia, M. Raynal, C. Jard, Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems, Theory Comput. Syst. 60(4): 677-694 (2017)
[RI33] N. Beldiceanu, B. Dumas Feris, P. Gravey, S. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, JM. Menaud, P. Morel, M. Morvan, ML. Moulinard, AC. Orgerie, JL. Pazat, O. H. Roux, A. Sharaiha, Towards energy-proportional Clouds partially powered by renewable energy, Computing 99(1): 3-22 (2017), (Hal)
[RI32] S. Akshay, L. Hélouët, C. Jard and P.-A. Reynier, Robustness of Time Petri Nets under Guard Enlargement, Fundamenta Informaticae (FI) 143 (2016) 1-27.
[RI31] A. Benveniste, C. Jard and S. Abbes, Foreword in honor of Glynn Winskel, Theoretical Computer Science (TCS), Vol. 546, pp 30-31, Aug. 2014.
[RI30] A. Benveniste, C. Jard and S. Abbes, Application of branching cells to QoS aware service orchestrations, Theoretical Computer Science (TCS), Vol. 546, pp 52-62, Aug. 2014.
[RI29] C. Jard, D. Lime and O. H. Roux, Blending Timed Formal Models with Clock Transition Systems, Fundamenta Informaticae (FI). IOS Press, Vol. 129, Nu 1-2, pp 85-100, Feb. 2014.
[RI28] A. Benveniste, C. Jard, A. Kattepur, S. Rosario and J. A. Thywissen, QoS-Aware Management of Monotonic Service Orchestrations, Formal Methods in System Design (FMSD), Volume 44, Issue 1, pp 1-43, Feb. 2014.
[RI27] C. Jard, D. Lime, O. H. Roux and L.-M. Traonouez, Symbolic Unfolding of Parametric Stopwatch Petri Nets, Formal Models and System Design (FMSD). Vol. 43, Issue 3, pp. 493-519, Dec. 2013.
[RI26] L. Hélouët, C. Jard and R. Abdallah, Distributed Implementation of Message Sequence Charts, Software and System Modeling (SOSYM). Published online June 2013.
[RI25] S. Rosario, A. Benveniste and C. Jard, Flexible Probabilistic QoS Management of transaction based Web services orchestrations , International Journal on Web Services Research (JWSR), Vol. 7, pp. 21-42, Issue 2, 2010.
[RI24] S. Rosario, A. Benveniste, S. Haar and C. Jard, Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE Transactions on Services Computing, Vol.1, No. 4, pp. 187-200, October-December 2008. (preliminary version (pdf 658k))
[RI23] S. Pickin, C. Jard, T. Jéron, JM. Jézéquel, Y. Le Traon, Test Synthesis form UML Models of Distributed Software. IEEE Transactions on Software Engineering. Vol. 33, Nu 4, April 2007, pp. 252-268. (preliminary version (pdf 444k))
[RI22] E. Fabre, A. Benveniste, S. Haar and C. Jard, Distributed Monitoring of Concurrent and Asynchronous Systems. Journal of Discrete Event Dynamic Systems. Vol. 15, Issue 1, pp. 33-84, March 2005. (preliminary version (pdf 530k))
[RI21] C. Jard and T. Jéron, TGV: theory, principles and algorithms. A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfert. Vol. 7, Nu. 1, 2005 (on-line published in October 2004). (preliminary version (pdf 304k))
[RI20] A. Benveniste, E. Fabre, S. Haar and C. Jard. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE transactions on Automatic Control, Vol. 48(5):714-727, May 2003. (preliminary version (pdf 275k))
[RI19] C. Jard. Synthesis of distributed testers from true-concurrency models of reactive systems. International Journal of Information and Software Technology, R. Dssouli, F. Khendec ed., Elsevier, Vol. 45:791-888, September 2003. (preliminary version (pdf 505k))
[RI18] L. Hélouët, C. Jard and B. Caillaud. An Event Structure Semantics for Message Sequence Charts. Mathematical Structures in Computer Science (MSCS) journal, vol. 12, pp. 377-403. Cambridge University Press. 2002. (preliminary version (ps 576k))
[RI17] C. Jard and T. Jéron. An Educational Case Study in Protocol Verification and Distributed Observation. Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000.
[RI16] M. Bozga, JC. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel and L. Mounier. Verification and Test Generation for the SSCOP Protocol. Journal of Science of Computer Programming, Special Issue on The Application of Formal Methods in Industrial Critical Systems, Vol. 36, pp. 27-52, 2000.
[RI15] E. Fabre, A. Aghasaryan, A. Benveniste, R. Boubour and C. Jard. Fault Detection and Diagnosis in Distributed Systems : an Approach by Partially Stochastic Petri Nets. Journal of Discrete Events Dynamic Systems, Vol. 8, pp. 203-231, 1998.
[RI14] B. Caillaud, P. Caspi, A. Girault and C. Jard. Distributing Automata for Asynchronous Networks of Processors. European Journal on Automated Systems (JESA), Vol. 31, Nu. 3, pp. 503-524, 1997.
[RI13] JC. Fernandez, C. Jard, T. Jéron and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, special issue on industrially relevant applications of formal analysis techniques, 1997.
[RI12] C. Jard and GV. Jourdan. Incremental Transitive Dependency Tracking in Distributed Computations. Parallel Processing Letters, Vol. 6, Nu. 2, pp. 427-435, 1996.
[RI11] C. Jard and JM. Jézéquel. Building a Global Clock for Observing Computations in Distributed Memory Parallel Computers, Concurrency Practice and Experience, Vol. 1, Nu. 8, pp. 71-89, Jan. 1996.
[RI10] E. Fromentin, C. Jard, GV. Jourdan and M. Raynal. On-the-fly Analysis of Distributed Computations, Information Processing Letters, Nu. 54, pp. 267-274, 1995. (preliminary version (pdf 244k))
[RI9] C. Jard, GV. Jourdan and JX. Rampon. On-line Computations of the Ideal Lattice of Posets, RAIRO ITA, Theoretical Informatics and Applications, Vol. 29, Nu. 3, pp. 227-244, 1995. (preliminary version (pdf 374k))
[RI8] GV. Jourdan, JX. Rampon and C. Jard. Computing On-line the Lattice of Maximal Antichains of Posets, Order, Nu. 11, pp. 197-210, December 1994.
[RI7] T. Jéron and C. Jard. Testing for Unboundedness of Fifo Channels, Theoretical Computer Science, Vol 113, pp. 93-117, June 1993.
[RI6] JC. Fernandez, C. Jard, T. Jéron and L. Mounier. On-the-fly Verification of Finite Transition Systems, Formal Methods in System Design, Vol 1, pp. 251-273, 1993.
[RI5] C. Jard and JM. Jézéquel. Echidna, an Estelle-Compiler to Prototype Protocols on Distributed Computers, Concurrency Practice and Experience, Vol. 4, Nu, 5, pp. 377-397, Aug. 1992.
[RI4] C. Jard, JF. Monin and R. Groz. Development of VEDA- a Prototyping Tool for Distributed Algorithms, IEEE trans. on Software Engineering, Vol. 14, Nu. 3, Mar. 1988.
[RI3] R. Groz, C. Jard, and C. Lassudrie. Attacking a Complex Distributed Algorithm from Different Sides – an Experience with Complementary Validation Tools. Computer Networks, Vol. 10, Nu. 5, pp. 245-257, Dec. 1985.
[RI2] C. Jard and Gv. Bochmann. An approach to Testing Specification. The Journal of System and Software, Nu. 3, pp. 315-323, 1983.
[RI1] Gv. Bochmann, E. Cerny, C. Jard, B. Sarikaya. Experience with Formal Specifications using an Extended State Transition Model. IEEE trans. on Communications, Vol. 30, Nu. 12, pp. 2506-2513, 1982.

Refereed national journals

[RN11] C. Jard, T. Chatain and P. Bourhis. Diagnostic temporel dans les systèmes répartis à l’aide des dépliages des réseaux de Petri. Journal Européen des Systèmes Automatisés (JESA), Vol. 39, Nu 1-2-3, pp. 351-366. Hermes, 2005. (version préliminaire)
[RN10] C. Jard, JM. Jézéquel, A. Le Guennec and B. Caillaud. Protocol Engineering using UML. Annales des Télécoms, Vol. 54, pp. 526-538, Nov. 1999
[RN9] T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, JC. Fernandez, A. Kerbrat et M. Bozga. Génération automatique de tests pour les protocoles : l'exemple de l'approche formelle de TGV. Revue Electronique et Electricité, pp. 84-88, Mar. 1999.
[RN8] C. Jard, JM. Jézéquel et F. Pennaneac'h. Vers l'utilisation d'outils de validation de protocoles dans UML. Technique et Science Informatiques, Hermes, Vol. 17, Nu. 9, 1998.
[RN7] C. Jard. Observation d'exécutions réparties, détection de propriétés d'ordonnancement. Technique et Science Informatiques, Hermes, Vol. 16, Nu. 2, pp. 225-242, 1997. (preliminary version)
[RN6] C. Diehl et C. Jard. L'observation des exécutions réparties. Datation par intervalles. Revue Réseaux et Informatique Répartie, Hermès, Vol. 1, Nu. 4, 1992.
[RN5] C. Jard. Compilation d'algorithmes distribués sur machines parallèles. Revue BIGRE, Mai 1989.
[RN4] JP. Courtiat, P. Dembinski, R. Groz et C. Jard. Estelle, un langage ISO pour les algorithmes distribués et les protocoles. Technique et Science Informatique, Vol. 6, Nu. 2, 1987. Version anglaise : Technology and Science of Informatics, Vol. 6, Nu. 5, pp. 311-324.
[RN3] C. Jard, JF. Monin et R. Groz. Véda : un simulateur pour la validation de protocoles et algorithmes distribués. Revue Génie Logiciel, 1985.
[RN2] G. Hébuterne et C. Jard. Modélisation et analyse des algorithmes distribués et protocoles. L'Echo des Recherches, Nu 122, Dec. 1985.
[RN1] C. Jard. Description et validation de protocoles : quelques techniques sur un exemple particulier. Revue BIGRE, Nu 19, pp. 11-19, Jun. 1980.

Refereed international conferences

[CI99] N. David, C. Jard, D. Lime, O. H. Roux Coverability Synthesis in Parametric Petri Nets, Concur 2017, 28th Int. Conf. on Concurrency Theory, September, 5-8, 2017, Berlin.
[CI98] M. Perrin, A. Mostefaoui and C. Jard, Causal consistency: beyond memory, PPoPP 2016, Principles and Practice of Parallel Programming, pp. 1-12, March 12-16, 2016, Barcelone.
[CI97] M. Perrin, M. Petrolia, A. Mostéfaoui and C. Jard, On Composition and Implementation of Sequential Consistency, DISC 2016, 30th International Symposium on Distributed Computing, pp. 284-297, September 26-30, 2016, Paris.
[CI96] N. David, C. Jard, D. Lime and O. H. Roux, Discrete Parameters in Petri Nets, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Brussels, June 2015.
[CI95] M.Perrin, C. Jard and A. Mostefaoui, Tracking causal dependencies in Web services orchestrations defined in ORC, NETYS'15, The international Conference on NETworked sYStems, May 13-15, 2015.
[CI94] M.Perrin A. Mostefaoui and C. Jard, Update Consistency for Wait-free Concurrent Objects, IPDPS'15, 29th IEEE International Parallel & Distributed Processing Symposium, May 25-29, 2015.
[CI93] M.Perrin A. Mostefaoui and C. Jard, Brief Announcement: Update Consistency in Partitionable Systems, DISC'14, 28th International Symposium on Distributed Computing, LNCS 8784, pp. 546-547, 2014, Austin.
[CI92] A. Bouillard, C. Jard and A. Junier, The Impact of Initial Delays in OSPF Routing, E-Business and Telecommunications Communications in Computer and Information Science Volume 456, 2014, pp 37-57.
[CI91] T. Chatain and C. Jard, Back in Time Petri Nets, 11th Int. Conf. on Formal Modeling and Analysis of Timed Systems (Formats'13), LNCS 8053, pp. 91-105, Buenos Aires, Aug. 2013. (preliminary version (pdf 310k))
[CI90] A. Bouillard, C. Jard and A. Junier, Some Synchronization Issues in OSPF Routing, 4th International Conference on Data Commmunication Networking (DCNet13), Reykjavik, Jul. 2013. (preliminary version (pdf 380k))
[CI89] R. Abdallah, A. Gotlieb, L. Hélouët and C. Jard, Scenario realizability with constraint optimization, Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, LNCS 7793, pp. 194-209, Rome Mar. 2013. (preliminary version (pdf 686k))
[CI88] D. Lime, O. H. Roux and C. Jard, Clock Transition Systems, 21th International Workshop on Concurrency, Specification and Programming, p. 227-238, Berlin Sep. 2012.
[CI87] A. Kattepur, A. Benveniste and C. Jard, Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations, IEEE 19th International Conference on Web Services (ICWS 2012), p. 106-113.
[CI86] S. Akshay, L. Hélouët, C. Jard, D. Lime and O. H. Roux, Robustness of Time Petri Nets under Architectural Constraints, 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12) LNCS, vol. 7595, p. 11-26.
[CI85] S. Akshay, L. Hélouët, C. Jard and P.-A. Teynier, Robustness of Time Petri Nets under Guard Enlargement, 6th International workshop on Reachability Problems (RP'12) LNCS, vol. 7550, p. 92-106.
[CI84] A. Kattepur, A. Benveniste and C. Jard, Optimizing Decisions in Web Services Orchestrations, 9th International Conference on Service Oriented Computing, ICSOC 2011, p. 77-91, Dec. 5-8, Paphos, Cyprus. (preliminary version (pdf 334k))
[CI83] R. Abdallah and C. Jard, An experiment in automatic generation of protocols from HMSCs, NOTERE 2011, May 2011, Paris. (preliminary version (pdf 334k))
[CI82] A. Kattepur, S. Sen, B. Baudry, A. Benveniste and C. Jard, Pairwise Testing of Dynamic Composite Services, 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 23-24, 2011, ICSE/SEAMS, p. 138-147, Hawaï, USA. (preliminary version (pdf 1100k))
[CI81] B. Grabiec, C. Jard and A. Legay, Unfolding Petri nets under partial observation, International Workshop on Distributed Open Timed Systems, satellite of CONCUR 2010. September 4, 2010, Paris.
[CI80] L.-M. Traonouez, B. Grabiec, C. Jard, D. Lime and O. H. Roux, Symbolic Unfolding of Parametric Stopwatch Petri Nets, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), A. Bouajanni and W.N. Chin (Eds.) LNCS 6252, K. Chatterjee and T.A. Henzinger (Eds.) LNCS 6252, pp. 291-305. Springer, Heidelberg, September 21-24, 2010, Singapore. (preliminary version (pdf 205k))
[CI79] B. Grabiec, L.-M. Traonouez, C. Jard, D. Lime and O. H. Roux, Diagnosis using Unfoldings of Parametric Time Petri Nets, The 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), K. Chatterjee and T.A. Henzinger (Eds.) LNCS 6246, pp. 137-151. Springer, Heidelberg, September 8-10, 2010, Klosterneuburg, Austria. (preliminary version (pdf 282k))
[CI78] A. Kattepur, S. Sen, B. Baudry, A. Benveniste and C. Jard, Variability Modeling and QoS Analysis of Web services Orchestrations, IEEE 8th International Conference on Web Services (ICWS 2010), pp. 99-106. July 5-10, 2010, Miami, Florida, USA. (preliminary version (pdf 529k))
[CI77] T. Chatain and C. Jard, Concurrent Symbolic Semantics of Safe Petri Nets and Application to Time Petri Nets, IEEE 10th annual international conference on New Technologies of Didstributed Systems (NOTERE 2010), pp. 9-16. May 31 - June 2, 2010, Tozeur, Tunisia. (preliminary version (pdf 556k))
[CI76] S. Rosario, A. Benveniste and C. Jard, Flexible Probabilistic QoS Management of Transaction based Web services Orchestrations, IEEE 7th International Conference on Web Services (ICWS 2009), July 6-10, 2009, Los Angeles, CA, USA. (preliminary version (pdf 257k))
[CI75] B. Grabiec and C. Jard. Unfolding of Networks of Automata and their Application in Supervision, In Proceedings of NOTERE, June 29, 2009, Montréal, Canada. (preliminary version (pdf 881k))
[CI74] S. Rosario, A. Benveniste and C. Jard, Monitoring Probabilistic SLAs in Web Service Orchestrations, IFIP/IEEE Intern. Symposium on Integrated Network Management, Mini-conference, June 1-5, 2009, Hofstra University Long Island, NY, USA. (preliminary version (pdf 430k))
[CI73] Gv. Bochmann, S. Haar, C. Jard and GV. Jourdan, Testing Systems Specified as Partial Order Input/Output Automata, Testcom/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software, June, 2008, Tokyo, Japan, LNCS 5047, pp. 169-183. (preliminary version (pdf 383k))
[CI72] C. Jard. Runs of Distributed Systems and Partial Orders. ROGICS'2008, 1st International Conference on Relations, Orders and Graphs: Interaction with Computer Science, Mahdia, Tunisia, May 2008. (preliminary version (pdf 478k))
[CI71] >C. Jard, Teaching Distributed Algorithms using Spin, Formal Methods in Computer Science Education, ETAPS 2008, March, 2008, Budapest, Hungary. (preliminary version (pdf 1013k))
[CI70] S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar and C. Jard, Event Structure Semantics of ORC, 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), October, 2007, Brisbane, Australia. (preliminary version (pdf 413k))
[CI69] S. Rosario, A. Benveniste, S. Haar and C. Jard, Probabilistic QoS and Soft Contracts for Transaction based Web Service Orchestrations, IEEE International Conference on Web Services, July 9-13, 2007, Salt Lake City, Utah, USA, pp. 126-133. (preliminary version (pdf 712k))
[CI68] S. Haar, C. Jard and GV. Jourdan, Testing Input/Output Partial Order Automata, Testcom/Fates 07, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, June 26-29, 2007, Tallinn, Estonia, LNCS 4581, pp. 171-185. (preliminary version (pdf 219k)), (slides (pdf 1300k)).
[CI67] S.Rosario, A. Benveniste, S. Haar, and C. Jard, Foundations for Web services Orchestrations: functional and QoS aspects, ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 15-19 November 2006, Cyprus.
[CI66] F. Cassez, T. Chatain and C. Jard, Symbolic Unfoldings for Networks of Timed Automata ATVA 2006, Fourth international symposium on Automated Technology for Verification and Analysis, 23-26 October 2006, Beijing, China, pp. , LNCS 4218, pp. 307-321. (preliminary version (pdf 180k))
[CI65] T. Chatain and C. Jard, Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets, Petri Nets 2006, 27th International Conference on Application and Theory of Petri Nets and Other Models Of Concurrency, Turku, Finland, June 26-30, 2006, pp. 125-145, LNCS 4024. (preliminary version (pdf 384k))
[CI64] E. Donin de Rosière, C. Jard and B. Parreaux, LaTe, A Non-fully Deterministic Testing Language, 18th IFIP International Conference on Testing Communicating Systems -TestCom'2006, May 16-18, 2006, New-York City, pp. , LNCS 3964. (preliminary version (pdf 172k))
[CI63] T. Chatain, L. Hélouet and C. Jard, From Automata Networks to HMSCs: a Reverse Model Engineering Perspective 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), October 3-5, 2005, Taipei, pp. 489-502, LNCS 3731. (preliminary version (pdf 2400k)) (full research report (pdf 2569k))
[CI62] T. Chatain and C. Jard, Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Net International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05), September 26-28, 2005, Uppsala, Sweden, pp. 196-210, LNCS 3829, P. Pettersson, W. Yi, eds. (preliminary version (pdf 488k)) (full research report (pdf 567k))
[CI61] T. Chatain and C. Jard, Models for the Supervision of Web Services Orchestration with Dynamic Changes Advanced Industrial Conference on Telecommunication/Service Assurance with Partial and Intermittent Resources (AICT2005), July 17-22, 2005, Lisbon, Portugal. (preliminary version (pdf 173k))
[CI60] S. Haar, A. Benveniste, E. Fabre and C. Jard, Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems 14th IFAC World Congress, July 4-8, 2005, Praha.
[CI59] T. Chatain and C. Jard, Symbolic Diagnosis of Partially Observable Concurrent Systems 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE 2004 27-30 September, 2004, Madrid, Spain. (preliminary version (pdf 200k))
[CI58] A. Aghasaryan, C. Jard and J. Thomas, UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks, 2004 International Conference of Telecommunications, August 2-7, 2004, Fortalezza, Brasil. (preliminary version (pdf 240k))
[CI57] E. Fabre, A. Benveniste, S. Haar, C. Jard and A. Aghasaryan, Algorithms for Distributed Fault Management in Telecommunications, 2004 International Conference of Telecommunications, August 2-7, 2004, Fortalezza, Brasil. (preliminary version (pdf 180k))
[CI56] A. Benveniste, S. Haar, E. Fabre and C. Jard. Distributed unfoldings: a tool to address distributed discrete event systems diagnosis IEEE Conference on Decision & Control (CDC 2003), December 9-12, 2003, Maui, Hawaii.
[CI55] S. Haar, A. Benveniste, E. Fabre and C. Jard. Partial order diagnosability of discrete event systems using Petri net unfoldings, IEEE Conference on Decision & Control (CDC 2003), December 9-12, 2003, Maui, Hawaii.
[CI54] L. Hélouët, M. Zeitoun and C. Jard. Covert channels detection in protocols using scenarios. SPV'03: Security Protocols Verification, Marseille, September 2003.
[CI53] A. Benveniste, S. Haar, E. Fabre and C. Jard. Distributed monitoring of concurrent and asynchronous systems, Proc. of ATPN-Workshop on Discrete Event Systems Control, Eindohen, pp. 97-142, June 2003.
[CI52] A. Benveniste, S. Haar, E. Fabre and C. Jard. Distributed monitoring of concurrent and asynchronous systems (plenary address), Proc. of Concur'2003, Marseille, LNCS 2761, pp. 1-26, Springer Verlag, 2003.
[CI51] S. Pickin, C. Jard, Y. Le Traon,T. Jéron, JM. Jézéquel, A. Le Guennec. System test synthesis from UML models of distributed software. FORTE’2002, IFIP Int. Conf. on Formal description techniques. Nov. 2002, Houston, Texas. (preliminary version (pdf 374k))
[CI50] A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. WODES'02: 6th Int. Work. on Discrete Event Systems. Zaragoza, Spain. October 2-4 2002. (preliminary version (pdf 412k))
[CI49] Magda consortium, XVIII World Telecommunications Congress, 22-27 September 2002 - Paris, France
[CI48] C. Jard and T. Jéron. TGV: Theory, Principles and Algorithms. The sixth world conference on integrated design and process technology. Pasadena, California, June 23-28, 2002. (preliminary version (pdf 127k)
[CI47] E. Fabre, A. Benveniste and C. Jard. Distributed Diagnosis for Large Discrete Event Dynamic Systems. 15th IFAC World Congress on Automatic Control, Barcelona, July 21-26, 2002. (preliminary version (pdf 134k))
[CI46] C. Jard. Principles of Distributed Test Synthesis based on True-concurrency Models. Testcom2002. Berlin, Mar. 2002. (preliminary version (pdf 96k)) Slides (pdf 87k).
[CI45] S. Pickin, C. Jard, T. Heuillard, JM. Jézéquel and P. Desfray. A UML-integrated Test Description Language for Component Testing. Practical UML-based Rigorous Development Methods, A. Moreira (editor), Totonto, Oct. 2001.
[CI44] C. Jard. How to simulate HMSC. SDL’01 : meeting UML, 10th SDL Forum, LNCS, Copenhagen, Jun. 2001.
[CI43] E. Fabre, A. Benveniste, C. Jard, L. Ricker and M. Smith. Distributed State Reconstruction for Discrete Event Systems. 39th IEEE Conf. on Detection and Control (CDC2000), Dec. 2000. (preliminary version (pdf 642k))
[CI42] C. Jard, T. Jéron and P. Morel. Verification of Test Suites. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Ottawa, pp. 3-18, Aug. 2000. (preliminary version (pdf 139k))
[CI41] L. Tanguy, C. Viho and C. Jard. Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), TH. Lai (ed), IEEE Computer Society, pp. E67-E74, Taipei, Taiwan, ROC, Apr. 2000.
[CI40] L. Hélouët and C. Jard. Conditions for Synthesis of Communicating Automata from HMSCs. 5th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS), ARE. Stefania-Gnesi, I. Schieferdecker (ed), GMD FOKUS, Apr. 2000.
[CI39] L. Hélouët, C. Jard and B. Caillaud. An Effective Equivalence for Sets of Scenarios. Proceedings of GRATRA'2000 (joint appligraph and getgrats workshop on graph transformation systems), ETAPS 2000, GT. H. Ehrig (ed), Berlin, Germany, Mar. 2000.
[CI38] C. Jard, T. Jéron, L. Tanguy and C. Viho. Remote Testing can be as Powerful as Local Testing. Methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, Beijing, China, J. Wu,S. Chanson and Q. Gao (ed), Kluwer Academic Publishers, pp. 25-40, Oct. 1999. (preliminary version (pdf 720k))
[CI37] C. Jard and T. Jéron. Verification and Distributed Observation of the Alternating Bit Protocol. IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), special session on educational case studies in protocols, Paris, 1998.
[CI36] C. Jard, T. Jéron, H. Kahlouche and C. Viho. Towards Automatic Distribution of Testers for Distributed Conformance Testing. IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), Paris, 1998.
[CI35] A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour and C. Jard. A hybrid Stochastic Petri Net Approach to Fault Diagnosis in Large Distributed Systems. Mathematical Theory of Networks and Systems, MNTS'98, Jul. 1998, Padova, Italy.
[CI34] A. Benveniste, S. Gaubert and C. Jard. Monotone Rational Series and Max-plus Algebraic Models of Real-time Systems. 4th Workshop on Discrete Event Systems, Wodes'98, Cagliari, 1998.
[CI33] A. Benveniste, C. Jard and S. Gaubert. Algebraic Techniques for Timed Systems. 9th International Conference on Concurrency Theory, Concur'98, Nice, 1998, LNCS 1466, pp. 373-388. (preliminary version (pdf 1500k))
[CI32] JP. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane and H. Canon. BDL, a Language of Distributed Reactive Objects. Proceedings of the ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing, Kyoto, 1998.
[CI31] R. Boubour, C. Jard, E. Fabre, A. Aghasaryan and A. Benveniste. A Petri Net Approach to Fault Detection and Diagnosis in Distributed Systems. Part I, Application to Telecommunication Networks, Motivations, and Modelling. Proceedings of the annual IEEE Control and Decision Conference (CDC'97), San-Diego, Oct. 1997.
[CI30] E. Fabre, A. Aghasaryan, A. Benveniste, R. Boubour and C. Jard. A Petri Net Approach to Fault Detection and Diagnosis in Distributed Systems. Part II, Extending Viterbi Algorithm and HMM Techniques to Petri Nets. Proceedings of the annual IEEE Control and Decision Conference (CDC'97), San-Diego, Oct. 1997.
[CI29] R. Boubour and C. Jard. Fault Detection in Telecommunication Networks based on Petri Net Representation of Alarm Propagation. Proceedings of the 18th Int. Conf. on Application and Theory of Petri Nets, Toulouse, Jun. 1997.
[CI28] JC. Fernandez, C. Jard, T. Jéron and C. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. Computer Aided Verification (CAV96), Boston, Aug. 1996. LNCS 1102.
[CI27] C. Bareau and C. Jard. Dynamic Analysis of Parallelized Sequential Programs using Instrumented Semantics. Parallel Environments for High Performance Computing, European School of Computer Science, Grenoble, Apr. 1996.
[CI26] C. Jard, JM. Jézéquel and L. Nédelka. An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols. Int. workshop on Formal Methods in Object-Oriented Distributed Systems, FMOODS'96, Paris, Mar. 1996. Chapmann & Hall.
[CI25] E. Fromentin, C. Jard, GV. Jourdan and M. Raynal. Recognition of Patterns on Control Flows for Debugging Distributed Executions. 2nd International Workshop on Automated and Algorithmic Debugging, May 22-24, St Malo, 1995.
[CI24] C. Bareau, B. Caillaud, C. Jard and R. Thoraval. Measuring Concurrency of Regular Distributed Computations, TAPSOFT Conference, Aarhus Danemark, May 1995, LNCS 915, pp. 711-725, Springer Verlag.
[CI23] C. Jard. Formal Methods to Observe Interoperability of Protocols, Anglo-French workshop on formal methods, modelling and simulation for system engineering, St Quentin France, Feb. 1995.
[CI22] C. Jard. How to Observe Interoperability at the Service Level of Protocols, 7th IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS'94), Nov. 1994, Tokyo, Japan.
[CI21] T. Jéron and C. Jard. 3D Layout of Reachability Graphs of Communicating Processes, Graph Drawing 94, Princeton, Oct. 1994.
[CI20] C. Jard and GV. Jourdan. On the Coding of Dependences in Distributed Computations. ACM PODC, Principles of Distributed Computing, Los-Angeles, Aug. 1994.
[CI19] C. Jard, T. Jéron, GV. Jourdan and JX. Rampon. A General Approach to Trace-checking in Distributed Computing Systems. IEEE ICDCS- 14th International Conference on Distributed Computing Systems, Poznan, Jun. 1994.
[CI18] C. Bareau, B. Caillaud, C. Jard and R. Thoraval. Correctness of Automated Distribution of Sequential Programs. PARLE Conference, Munich, Jun. 1993, LNCS 694, pp. 517-528.
[CI17] C. Diehl, C. Jard and JX. Rampon. Reachability Analysis on Distributed Executions. TAPSOFT Conference, Paris Orsay, Apr. 1993, LNCS 668,pp. 629-643.
[CI16] M. Andreu, M. Haziza, C. Jard and JM. Jézéquel. Analysing a Space-protocol - from Validation to Experimentation (a Multi-method Approach). FORTE Conference, Perros Guirec, Oct. 1992.
[CI15] C. Diehl and C. Jard. Interval Approximations of Message Causality in Distributed Executions. Symposium on the Theoretical Aspects of Computer Science. STACS, Cachan, Feb. 1992, LNCS 577, pp. 363-376.
[CI14] C. Jard and T. Jéron. Bounded Memory Algorithms for Verification On-the-fly, Proceedings of Computer-Aided-Verification, CAV91, Aalborg, Danemark, Jul. 1991, LNCS 575, pp. 192-202.
[CI13] T. Jéron and C. Jard. Testing for Unboundedness of Fifo Channels, Symposium on Theoretical Aspects of Computer Science, STACS, Hambourg, Feb. 1991, LNCS 480, pp. 322-332.
[CI12] C. Jard and T. Jéron. On-line Model Checking for Linear Temporal Logic Specifications, Proceedings of the Workshop on automatic verification methods for finite state systems, Grenoble, Jun. 1989, LNCS 407 pp. 189-196.
[CI11] C. Jard and JM. Jézéquel. A Multiprocessor Estelle to C Compiler to Prototype Distributed Algorithms on Parallel Machines, Proceedings of the 9th IFIP International Symposium on Protocol Specification, Testing, and Verification, University of Twente, The Netherlands, North-Holland, Jun. 1989.
[CI10] JM. Jézéquel, C. Jard. Building a Global Time on Parallel Machines, Proceedings of 3rd International Workshop on Distributed Algorithm, Nice, France, Sep. 1989, Springer Verlag LNCS 392.
[CI9] C. Jard and JM. Pageot. Experience in Guiding Simulation, Proceedings IFIP Symposium on protocols, PSTV, Atlantic City, Jun. 1988.
[CI8] M. Adam, P. Ingels, C. Jard, JM. Jézéquel and M. Raynal. Experimentation on Parallel Machines is Helpful to Analyse Distributed Algorithms, Int. Workshop on parallel and distributed algorithmics, Bonas, Oct. 1988.
[CI7] C. Jard and M. Raynal. The Rudiments of Object Distribution in Distributed Systems. 2nd Int. Conf. on computers Inf. Sciences, Istambul, 1987.
[CI6] JM. Hélary, C. Jard, N. Plouzeau and M. Raynal. Detection of Stable Properties in Distributed Applications, ACM Symposium on Principles of Distributed Computing (PODC), Vancouver, Canada, Aug. 1987.
[CI5] C. Jard, JF. Monin and R. Groz. Experience in Implementing X250 in Veda, IFIP Symposium on Protocols (PSTV), Toulouse, Jun. 1985.
[CI4] C. Jard, R. Groz and JF. Monin. VEDA - a Software Simulator for the Validation of Protocol Specifications, COMNET'85, Hongrie, Oct. 1985.
[CI3] R. Groz, C. Jard and C. Lassudrie. An Experience with complementary Validation Tools, IFIP Symposium on Protocols (PSTV), New-York, Jun. 1984.
[CI2] C. Jard and Gv. Bochmann. An approach to testing specifications, ACM Sigsoft Symposium on High-level Debugging, Pacific grove, California, Mar. 1983.
[CI1] Gv. Bochmann, E. Cerny, C. Jard and B. Sarikaya. Some Experience with the Use of Formal Specifications, IFIP Symposium on Protocols (PSTV), Idyllwild, May 1982.

Refereed french speaking conferences

[CO17] T. Chatain et C. Jard. Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels, NOTERE'2010, Tozeur, Tunisie, Juin 2010. (version préliminaire (pdf 432k))
[CO16] T. Gazagnaire et C. Jard. Abstraire à la volée les événements d'un système réparti, NOTERE'2007 : 7ème Conférence Internationale sur les Nouvelles Technologies de la Répartition, Marrakech, Maroc, Juin 4-8, 2007, pp. 241-252. (version préliminaire (pdf 184k)), (Transparents (pdf 504k)).
[CO15] L. Tanguy, C. Viho et C. Jard. Un outil pour la parallélisation automatique de l'exécution répartie de cas de test, CFIP'2000 : Colloque Francophone sur l'Ingénierie des Protocoles, JP. Courtiat, M. Diaz, P. Sénac (ed), Hermès, p. 333-348, Toulouse, France, Oct. 2000.
[CO14] H. Canon et C. Jard. Un modèle sémantique pour la validation des logiciels objets en télécommunication, Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nancy, France, Hermès, A. Schaff (ed), p. 83-98, Avr. 1999.
[CO13] L. Hélouët, C. Jard et B. Caillaud. Une notion effective d'équivalence pour des familles de scénarios représentées par des HMSC, Approches Formelles dans l'Assistance au Développement de Logiciel, Afadl'98, Poitiers, 1998.
[CO12] A. Aghasaryan, A. Benveniste, R. Boubour, E. Fabre et C. Jard. Suivi de pannes dans les réseaux de télécommunication - une approche par reconnaissance d'ordres partiels. Actes du 2eme colloque francophone sur la gestion de réseau et de service (GRES'97), Rennes, Sep. 1997.
[CO11] C. Jard, T. Jéron, P. Morel et C. Viho. Une expérience de génération automatique de tests pour un protocole de cohérence de caches. Actes de la conférence TESTING'97, Paris, Juin 1997.
[CO10] C. Jard et JM. Jézéquel. Vers l'utilisation d'outils de validation dans un processus de conception objet de protocoles. Actes des journées AFADL - Approches formelles dans l'assistance au développement de logiciels, Toulouse, Mai 1997.
[CO9] R. Boubour et C. Jard. Une approche pour des capteurs d'alarmes intelligents dans les réseaux. Colloque Francophone sur l'Ingénierie des Protocoles, Rabat, Oct. 1996.
[CO8] B. Caillaud, P. Caspi, A. Girault et C. Jard. Un modèle pour la répartition d'automates réactifs sur réseau asynchrone de processeurs. Colloque AFCET sur la modélisation des systèmes réactifs, Brest, Mar. 1996.
[CO7] C. Jard. Compilation d'algorithmes distribués sur machines parallèles, Actes du colloque AFCET sur la programmation des machines parallèles, Chamonix, Mai 1989.
[CO6] C. Jard et JM. Jézéquel. Outils pour l'expérimentation d'algorithmes distribués sur machines parallèles, Actes du Colloque C3 d'Angoulème, Déc. 1988.
[CO5] C. Jard et M. Raynal. Specification of Properties is Required to Verify Distributed Algorithms, Colloque Afcet sur les langages de spécification, fév. 1987.
[CO4] JM. Ayache, R. Groz, C. Jard et JF. Monin. Des outils pour Estelle - du prototype au poste industriel, Journées francophones sur l'informatique, Liège, Janvier 1987.
[CO3] C. Jard. Le projet Atlas d'algorithmes distribués, Colloque C3, Angoulème, Sep. 1985.
[CO2] R. Groz et C. Jard. Estelle - un langage pour la description des protocoles, Colloque Afcet sur les protocoles, Toulouse, Avr. 1985.
[CO1] C. Jard, JF. Monin et R. Groz. Evaluation et validation de protocoles - l'outil Veda, Journées francophones de l'informatique, Genève, Jan. 1985.

Invited talks in conferences

[CV30] C. Jard. Symbolic Concurrent Semantics of Safe petri Nets. Application to the Unfolding of Time Petri Nets. Dagstuhl Seminar on Design and Validation of Concurrent Systems, August 30, 2009, Germany. slides (1900k pdf)
[CV29] C. Jard. Dépliages de réseaux d'automates et application à la supervision. Journées nationales 2009 du GDR GPL, Toulouse, 28 Janvier 2009. slides (7400k pdf)
[CV28] C. Jard. Runs of Distributed Systems and Partial Orders. ROGICS'2008, 1st International Conference on Relations, Orders and Graphs: Interaction with Computer Science, Mahdia, Tunisia, May 2008.
[CV27] C. Jard. Supervision répartie de systèmes répartis. NOTERE'2007 : 7ème Conférence Internationale sur les Nouvelles Technologies de la Répartition, Marrakech, Maroc, 5 Juin 2007.
[CV26] C. Jard, T. Chatain and P. Bourhis. Diagnostic temporel dans les systèmes répartis à l’aide des dépliages des réseaux de Petri. Modélisation des systèmes répartis. H. Alla, E. Rutten (éditeurs), Hermes, Autrans, 5-7 Octobre 2005. (version préliminaire (pdf 596k))
[CV25] L. Hélouet, C. Jard. La manipulation formelle de scénarios pour les systèmes répartis : l’exemple des HMSC. Modélisation des systèmes répartis. G. Juanole, R. Valette (éditeurs), Hermes, Toulouse, oct. 2001.
[CV24] C. Jard. Using True-concurency Models to Synthetize Tests form Formal Specifications. Proceedings of the Concordia Prestigious Workshop on Communication Software Engineering, R. Dssouli, F. Khendec (editors), Concordia university, Montréal, sep. 2001.
[CV23] C. Jard. Executing Message Sequence Charts. Dagstuhl seminar on Logic, Automata and Computer Science, Dagsthul, Nov. 2000.
[CV22] C. Jard. Méthodes formelles et tests. Trentenaire du génie logiciel. Paris, Nov. 1999.
[CV21] C. Jard. La recherche en tests de protocoles. Journées pleinières SEE, Paris-Toulouse, 1999.
[CV20] A. Benveniste, E. Fabre and C. Jard. Partially Stochastic Petri Nets : a Framework for Fault Detection and Diagnosis in Large Distributed Systems, Ecole MOVEP sur la modélisation des processus parallèles, Nantes, Jul. 1998.
[CV19] C. Jard. Automatic Test Generation Methods for Reactive Systems. CIRM Summer School, Marseille, 1998.
[CV18] C. Jard Automatic Distribution of Test Cases. Dagstuhl seminar on testing, Dagstuhl, 1998.
[CV17] C. Jard. Spécification, vérification et génération de tests pour des protocoles ATM. Actes de la journée annuelle FORMA, Paris, Janvier 1998.
[CV16] C. Jard. Génération automatique de tests pour les protocoles. Actes de la vingtième journée de l'OFTA, Paris, Juin 1997.
[CV15] C. Jard. Diagnostic dans les systèmes répartis fondé sur des modèles d'ordre partiel. Actes de JBOPAD97, Ordres partiels et algorithmes distribués, Bordeaux, Juin 1997.
[CV14] C. Jard. Testing Behavioural properties of Systems using Model-based Verification Techniques. FEmSys'97 - Formal Design of Safety Critical Embedded Systems, Munich, April 1997.
[CV13] C. Jard. On the Use of On-the-fly Verification to Generate Conformance Test Suites. Application of Formal Methods to System Development - Telecommunications, VLSI and Real-Time Computerized Control Systems, Montreal, Oct. 1996. Entretiens Jacques Cartier.
[CV12] C.Jard. La génération de tests pour les protocoles à l'aide de la technologie de la vérification. Colloque FORMA sur l'utilisation des méthodes formelles, Grenoble, Janvier 1996.
[CV11] C. Jard. Introduction to the Automatic Validation of Protocols. EUNICE Summer School, Lisbon, 26-30 June 1995. Invited Tutorial.
[CV10] C. Jard. Observation des comportements en univers réparti. Septièmes rencontres francophones du parallélisme, Mons, Belgique, 30 mai-2 juin 1995.
[CV9] C. Jard and T. Jéron. Formal Analysis of Distributed Computations, Septièmes entretiens du centre Jacques Cartier, Communicating Informatics and Distributed Systems, December 1994, Grenoble.
[CV8] C. Jard. L'analyse des traces d'exécutions réparties. Ecole d'informatique sur l'algorithmique répartie- calculs répartis et causalité, Roscoff, Septembre 1993.
[CV7] C. Diehl et C. Jard. Observation de la causalité dans les exécutions réparties. Datation et contrôle des exécutions réparties, Bigre 78, Mars 1992. Colloque C3.
[CV6] C. Jard. The Event Lattice of Distributed Executions. French-Israel workshop on distributed and parallel systems, Grenoble, May 4-5, 1992.
[CV5] C. Jard and T. Jéron. Depth-first Searches for on-line Verification by Buchi automata. French-Israel workshop on formal verification for hardware and software, Grenoble, Oct. 1991.
[CV4] C. Jard, B. Caillaud, JM. Jézéquel and N. Plouzeau. Quelques expériences en matière de validation de protocoles industriels. Un point de vue de chercheur. Actes du colloque CFIP sur l'ingénierie des protocoles, Pau, Sep. 1991.
[CV3] F. André, C. Jard and JL. Pazat. Data-driven Distribution of Sequential Programs on Distributed Machines, Int. workshop on Compilers for Parallel Computers, Paris, Dec. 1990.
[CV2] C. Jard. Programming Distributed Computers- a Single Program Approach, Book Eurocourses - Computing with Parallel Architectures, Milan, Sep. 1990.
[CV1] C. Jard. Valider les protocoles en simulant. Actes du colloque CFIP'88, Bordeaux, Sep. 1988, Eyrolles.

Dissertations

[TH1] C. Jard. Protocoles et services - le test des spécifications. Thèse de Docteur-Ingénieur en informatique de l'université de Rennes 1, Nu 173, mai 1984. Jury - J.P. Verjus (président), JP. Ansart, P. Azéma (rapporteurs), Gv. Bochmann, J.M. Pitié et M. Raynal. 140 pages.
[TH2] C. Jard. Contribution à la vérification dynamique des protocoles. Habilitation à diriger les recherches de l'université de Rennes 1, décembre 1994. Jury - J.P. Banâtre (président), Gv. Bochmann, JM. Pitié, J. Sifakis (rapporteurs), F. André, M. Raynal et J.P. Verjus. 150 pages, Coll. Irisa.