Publications of Claude Jard

Load the BibTeX file

Books

1. Franck Cassez, Claude Jard. The 6th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2008. Springer-Verlag, LNCS 5215, 2008.
2. Claude Jard, Olivier-Henri Roux. Systèmes embarqués communicants : Approches formelles. Hermès, Traité IC2, 2008.
3. C. Jard. Méthodes formelles pour l'ingénierie des protocoles. Vuibert, 2006.

Academic Journals

1. Sidney Rosario, Albert Benveniste, Claude Jard. Flexible Probabilistic QoS Management of Orchestrations. International Journal of Web Services Research, 2, 2010.
2. Sidney Rosario, Albert Benveniste, Claude Jard. Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Service Res, 7(2):21-42, 2010.
3. S. Pickin, C. Jard, T. Jéron, J.-M. Jézéquel, Y. Le Traon. Test Synthesis form UML Models of Distributed Software. IEEE Transactions on Software Engineering, 33(4):252-268, April 2007.
4. C. Jard, T. Chatain, P. Bourhis. Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels. Journal européen des systèmes automatisés (JESA), 1-2-3:351-366, 2005.
5. E. Fabre, A. Benveniste, S. Haar, C. Jard. Distributed Monitoring of Concurrent and Asynchronous Systems. Journal of Discrete Event Systems, special issue, pages 33-84, May 2005.
6. C. Jard, 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 Transfer, 2004.
7. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control, 48(5):714-727, May 2003.
8. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Event Structure Semantics for Message Sequence Charts. Mathematical Structures in Computer Science (MSCS) journal, 12(4):377-403, 2002.
9. C. JardR. Dssouli, F. Khendec. Synthesis of distributed testers from true-concurrency models of reactive systems. International Journal of Information and Software Technology, 2002.
10. M. Bozga, JC Fernandez, L. Ghirvu, C. Jard, T. and Kerbrat,A. Jeron, P. Morel, 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, 36:27-52, 2000.
11. C. Jard, T. Jeron. An Educational Case Study in Protocol Verification and Distributed Observation. Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000.
12. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri Nets. Journal of Discrete Event Dynamical Systems, 8(2):203-231, June 1998.
13. B. Caillaud, P. Caspi, A. Girault, C. Jard. Distributing Automata for Asynchronous Networks of Processors. European Journal on Automated Systems, 31(3):503-524, 1997.
14. JC Fernandez, C. Jard, T. Jéron, 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.
15. C. Jard. Observation d'executions reparties, detection de proprietes d'ordonnancement. Technique et Science Informatiques, 16(2):225-242, 1997.
16. C. Jard, JM Jezequel. Building a Global Clock for Observing Computations in Distributed Memory Parallel Computers. Concurrency Practice and Experience, 1(8):71-89, 1996.
17. C. Jard, GV Jourdan. Incremental Transitive Dependency Tracking in Distributed Computations. Parallel Processing Letters, 6(2):427-435, 1996.
18. E. Fromentin, C. Jard, GV Jourdan, M. Raynal. On-the-fly Analysis of Distributed Computations. Information Processing Letters, 54:267-274, 1995.
19. C. Jard, GV Jourdan, JX Rampon. On-line Computations of the Ideal Lattice of Posets. RAIRO ITA, Theoretical Informatics and Applications, 29(3):227-244, 1995.
20. GV Jourdan, JX Rampon, C. Jard. Computing On-line the Lattice of Maximal Antichains of Posets. Order, 11:197-210, December 1994.
21. C. Diehl, C. Jard. L'observation des executions reparties, Datation par intervalles. Revue Reseaux et Informatique Repartie, 1(4), 1992.

International Conferences

1. Ajay Kattepur, Albert Benveniste, Claude Jard. Optimizing Decisions in Web Services Orchestrations. In 9th International Conference on Service-Oriented Computing (ICSOC), Pages 77-91, 2011.
2. Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard. Pairwise testing of dynamic composite services. In 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS), SEAMS '11, Pages 138-147, New York, NY, USA, 2011.
3. Rouwaida Abdallah, Claude Jard. An experiment in automatic generation of protocols from HMSCs. In Notere, May 2011.
4. Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In ATVA, Lecture Notes in Computer Science, Volume 6252, Pages 291-305, 2010.
5. Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux. Diagnosis Using Unfoldings of Parametric Time Petri Nets. In FORMATS, Lecture Notes in Computer Science, Volume 6246, Pages 137-151, 2010.
6. Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard. Variability Modeling and QoS Analysis of Web Services Orchestrations. In ICWS, Pages 99-106, 2010.
7. Thomas Chatain, Claude Jard. Concurrent Symbolic Semantics of Safe Petri Nets and Application to Time Petri Nets. In IEEE 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010), Volume IEEE, Pages 9-16, 2010.
8. Bartosz Grabiec, Claude Jard, Axel Legay. Unfolding Petri nets under partial observation. In International Workshop on Distributed Open Timed Systems, satellite of CONCUR 2010, Volume Paris 7, Pages 16-23, 2010.
9. Sidney Rosario, Albert Benveniste, Claude Jard. Probabilistic QoS Management of Transaction based Web services Orchestrations. In IEEE 7th International Conference on Web Services (ICWS 2009), July 2009.
10. Bartosz Grabiec, Claude Jard. Unfolding of Networks of Automata and their Application in Supervision. In 9th annual international conference on New Technologies of Distributed Systems (NOTERE), July 2009.
11. Sidney Rosario, Albert Benveniste, Claude Jard. Monitoring Probabilistic SLAs in Web Service Orchestrations. In IFIP/IEEE Intern. Symposium on Integrated Network Management, Mini-conference, June 2009.
12. Gregor Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Systems Specified as Partial Order Input/Output Automata. In Testcom/Fates 08, 20th IFIP International Conference on Testing of Communicating Systems and 8th International Workshop on Formal Approaches to Testing of Software, Volume LNCS 5047, Pages 169-183, Tokyo, June 2008.
13. Claude Jard. Runs of Distributed Systems and Partial Orders. In ROGICS'2008, 1st International Conference on Relations, Orders and Graphs: Interaction with Computer Science, Pages 0-0, Mahdia, Tunisia, May 2008.
14. Claude Jard. Teaching Distributed Algorithms using Spin. In Formal Methods in Computer Science Education, ETAPS 2008, Pages 0-0, Budapest, Hungary, March 2008.
15. Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based Web services. In ICWS, Pages 126-133, 2007.
16. T. Gazagnaire, C. Jard. Abstraire à la volée les événements d'un système réparti. In Proceedings of NOTERE 2007, 2007.
17. Sidney Rosario, David Kitchin, Albert Benveniste, William and Haar,Stefan Cook, Claude Jard. Event Structure Semantics of ORC. In 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Brisbane, Australia, October 2007.
18. S. Haar, C. Jard, G.-V. Jourdan. Testing Input/Output Partial Order Automata. In Testcom/Fates 07, 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, Lecture Notes in Computer Science, Pages 171-185, June 2007.
19. C. Jard. Concurrent Operational Semantics of Safe Time Petri Nets. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 19-31, 2007.
20. F. Cassez, T. Chatain, C. Jard. Symbolic unfoldings for networks of timed automata. In Proc. of ATVA'06, 2006.
21. S. Rosario, A. Benveniste, S. Haar, C. Jard. Foundations for Web services Orchestrations: functional and QoS aspects. In ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006.
22. T. Chatain, C. Jard. Complete finite prefixes of symbolic unfoldings of safe time Petri nets. In Proc. of ICATPN, LNCS, Pages 125-145, June 2006.
23. E. Donin de Rosière, C. Jard, B. Parreaux. LaTe, A Non-fully Deterministic Testing Language. In 18th IFIP International Conference on Testing Communicating Systems -TestCom'2006, LNCS, May 2006.
24. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. In IFAC World Congress Praha, 2005.
25. Thomas Chatain, Loïc Hélouët, Claude Jard. From Automata Networks to HMSCs: a Reverse Model Engineering Perspective. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS, Volume 3731, Pages 489-502, October 2005.
26. T. Chatain, C. Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. In 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), LNCS, Volume 3829, Pages 187-201, September 2005.
27. \relax Thomas Chatain, Claude Jard. Models for the Supervision of Web Services Orchestration with Dynamic Changes. In Telecommunications 2005: Advanced Industrial Conference on Telecommunications - Service Assurance with Partial and Intermittent Resources Conference - E-Learning on Telecommunications Workshop (AICT\slash SAPIR\slash ELETE 2005), Pages 446-451, Lisbon, Portugal, July 2005.
28. A. Aghasaryan, C. Jard, J. Thomas. UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. In International Communication Conference (ICT), LNCS, Pages 841-847, Fortaleza, Brasil, August 2004.
29. E. Fabre, A. Benveniste, S. Haar, C. Jard, A. Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks. In International Communication Conference (ICT), August 2004.
30. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed Unfoldings: a Tool to Address Distributed Discrete Event Systems Diagnosis. In Proc of the 42nd IEEE Conference on Decision and Control(CDC), 2003.
31. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems (plenary address). In Proc. of CONCUR'2003, Marseille, LNCS, Pages 1-26, 2003.
32. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Partial Order Diagnosability of Discrete Event Systems using Petri Nets Unfoldings. In 42nd IEEE Conference on Decision and Control (CDC), 2003.
33. Loïc Hélouët, Marc Zeitoun, Claude Jard. Covert channels detection in protocols using scenarios. In Proceedings of SPV'03, Security Protocols Verification, Marseille, September 2003.
34. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. In Workshop on Discrete Event Systems (WODES), Zaragoza, October 2002.
35. E. Fabre, A. Benveniste, C. Jard. Distributed diagnosis for large discrete event dynamic systems. In 15th IFAC World Congress, Barcelona, July 2002.
36. C. Jard, T. Jeron. TGV: Theory, Principles and Algorithms. In The sixth world conference on integrated design and process technology, Pasadena, California, June 2002.
37. C. Jard. Principles of Distributed Test Synthesis based on True-concurrency Models. In Testcom'2002, Berlin, March 2002.
38. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001.
39. C. Jard. How to simulate HMSC. In SDL'01 : meeting UML, 10th SDL Forum, LNCS, Copenhagen, June 2001.
40. E. Fabre, A. Benveniste, C. Jard, L. S. Ricker, M. Smith. Distributed state reconstruction for discrete event systems. In 39th IEEE Conference on Decision and Control (CDC), Sydney, Pages 2252-2257, December 2000.
41. C. Jard, T. Jéron, P. Morel. Verification of Test Suites. In IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Pages 3-18, Ottawa, August 2000.
42. E. Fabre, A. Benveniste, C. Jard, L. Ricker, M. Smith. Inference on (Bayesian) networks of dynamic systems. In Partial Knowledge and Uncertainty workshop, June 2000.
43. Loïc Hélouët, Claude Jard. Conditions for synthesis of communicating automata from HMSCs. In 5th International Workshop on Formal Methods for Industrial Cr itical Systems (FMICS), Berlin, April 2000.
44. L. Tanguy, C. Viho, C. Jard. Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. In ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), TH. Lai (ed.), Pages 0-0, Taipei, Taiwan, April 2000.
45. C. Jard, T. Jéron, L. Tanguy, C. Viho. Remote Testing can be as Powerful as Local Testing. In Methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, S. Chanson J. Wu, Q. Gao (eds.), Pages 25-40, Beijing, China, October 1999.
46. C. Jard, T. Jéron. Verification and Distributed Observation of the Alternating Bit Protocol. In 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.
47. C. Jard, T. Jéron, H. Kahlouche, C. Viho. Towards Automatic Distribution of Testers for Distributed Conformance Testing. In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), Paris, 1998.
48. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A ``hybrid'' stochastic Petri net approach to fault diagnosis in large distributed system. In Mathematical Theory of Networks and Systems (MTNS), Pages 921-924, July 1998.
49. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 2). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 726-731, December 1997.
50. R. Boubour, C. Jard, A. Aghasaryan, E. Fabre, A. Benveniste. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 1). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 720-725, December 1997.
51. R. Boubour, C. Jard. Fault Detection in Telecommunication Networks based on Petri Net Representation of Alarm Propagation. In Proceedings of the 18th Int. Conf. on Application and Theory of Petri Nets, Toulouse, June 1997.
52. JC Fernandez, C. Jard, T. Jéron, C. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. In Computer Aided Verification (CAV96), LNCS, Boston, August 1996.
53. C. Bareau, B. Caillaud, C. Jard, R. Thoraval. Measuring Concurrency of Regular Distributed Computations. In TAPSOFT Conference, LNCS, Pages 711-725, Aarhus Danemark, May 1995.
54. E. Fromentin, C. Jard, GV Jourdan, M. Raynal. Recognition of Patterns on Control Flows for Debugging Distributed Executions. In 2nd International Workshop on Automated and Algorithmic Debugging, Pages 22-24, St Malo, May 1995.
55. C. Jard, GV Jourdan. On the Coding of Dependences in Distributed Computations. In ACM PODC, Principles of Distributed Computing, Los-Angeles, August 1994.
56. C. Jard, T. Jéron, GV Jourdan, JX Rampon. A General Approach to Trace-checking in Distributed Computing Systems. In IEEE ICDCS- 14th International Conference on Distributed Computing Systems, Poznan, June 1994.
57. C. Diehl, C. Jard, JX Rampon. Reachability Analysis on Distributed Executions. In TAPSOFT Conference, LNCS, Pages 629-643, Paris, Orsay, April 1993.
58. C. Diehl, C. Jard. Interval Approximations of Message Causality in Distributed Executions. In Symposium on the Theoretical Aspects of Computer Science. STACS, LNCS, Pages 363-376, Cachan, February 1992.

Research Reports

1. Claude Jard, Rouwaida Abdallah, Loïc Hélouët. Realistic Implementation of Message Sequence Charts. Rapport de recherche INRIA, No 0, April 2011.
2. Claude Jard, Olivier Constant. Validation des formalismes proposés sur des applications concrètes. Research Report Délivrable Projet Persiform, 2007.
3. S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. Event Structure Semantics of Orc. Research Report IRISA, No 1853, 2007.
4. Loïc Hélouët, Olivier constant, Claude Jard. Traduction des Diagrammes d' activités et des Message Sequence Charts vers le formalisme intermédiaire des Réseaux de Petri Colorés Stochastiques. Research Report Projet Persiform, 2006.
5. S. Rosario, A. Benveniste, S. Haar, C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. Research Report IRISA, No 1780, January 2006.
6. Thomas Gazagnaire, Loïc Hélouët, Claude Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005.
7. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne IRISA, No 1636, July 2004.
8. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne INRIA, No 4842, July 2004.
9. A. Benveniste, S. Haar, C. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems - extended version (update of research report PI-1540). Research Report IRISA, No 1636, 2004.
10. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1456, May 2002.
11. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1399, May 2001.
12. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Effective equivalence for sets of scenarios represented by HMSCs. REsearch report INRIA, No 3499, September 1998.

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.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic