| 2019 | IFM | Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. | Hlne Coullon, Claude Jard, Didier Lime |
| 2017 | CONCUR | Coverability Synthesis in Parametric Petri Nets. | Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux |
| 2016 | PPoPP | Causal consistency: beyond memory. | Matthieu Perrin, Achour Mostfaoui, Claude Jard |
| 2013 | FASE | Scenario Realizability with Constraint Optimization. | Rouwaida Abdallah, Arnaud Gotlieb, Loc Hlout, Claude Jard |
| 2012 | ICWS | Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. | Ajay Kattepur, Albert Benveniste, Claude Jard |
| 2011 | ICSE | Pairwise testing of dynamic composite services. | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
| 2011 | ICSOC | Optimizing Decisions in Web Services Orchestrations. | Ajay Kattepur, Albert Benveniste, Claude Jard |
| 2010 | ATVA | Symbolic Unfolding of Parametric Stopwatch Petri Nets. | Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux |
| 2010 | ICWS | Variability Modeling and QoS Analysis of Web Services Orchestrations. | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
| 2009 | IM | Monitoring probabilistic SLAs in Web service orchestrations. | Sidney Rosario, Albert Benveniste, Claude Jard |
| 2009 | ICWS | Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. | Sidney Rosario, Albert Benveniste, Claude Jard |
| 2007 | ICWS | Probabilistic QoS and soft contracts for transaction based Web services. | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2006 | ATVA | Symbolic Unfoldings for Networks of Timed Automata. | Franck Cassez, Thomas Chatain, Claude Jard |
| 2006 | ISoLA | Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
| 2005 | FORTE | From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. | Thomas Chatain, Loc Hlout, Claude Jard |
| 2004 | FORTE | Symbolic Diagnosis of Partially Observable Concurrent Systems. | Thomas Chatain, Claude Jard |
| 2003 | CONCUR | Distributed Monitoring of Concurrent and Asynchronous Systems. | Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard |
| 2002 | FORTE | System Test Synthesis from UML Models of Distributed Software. | Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jron, Jean-Marc Jzquel, Alain Le Guennec |
| 1999 | FORTE | Remote testin can be as powerful as local testing. | Claude Jard, Thierry Jron, Lnaick Tanguy, Csar Viho |
| 1998 | CONCUR | Algebraic Techniques for Timed Systems. | Albert Benveniste, Claude Jard, Stephane Gaubert |
| 1998 | FORTE | Towards Automatic Distribution of Testers for Distributed Conformance Testing. | Claude Jard, Thierry Jron, Hakim Kahlouche, Csar Viho |
| 1998 | ISORC | BDL, A Language of Distributed Reactive Objects. | Jean-Pierre Talpin, Albert Benveniste, Benot Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon |
| 1996 | CAV | Using On-The-Fly Verification Techniques for the Generation of test Suites. | Jean-Claude Fernandez, Claude Jard, Thierry Jron, Csar Viho |
| 1994 | GD | 3D Layout of Reachability Graphs of Communicating Processes. | Thierry Jron, Claude Jard |
| 1994 | ICDCS | A General Approach to Trace-Checking in Distributed Computing Systems. | Claude Jard, Thierry Jron, Guy-Vincent Jourdan, Jean-Xavier Rampon |
| 1994 | PODC | On the Coding of Dependencies in Distributed Computations (Abstract). | Claude Jard, Guy-Vincent Jourdan |
| 1992 | FORTE | Analyzing a space-protocol: from specification, simulation to experimentation. | Marc Andreu, Michle Haziza, Claude Jard, Jean-Marc Jzquel |
| 1992 | STACS | Interval Approximations of Message Causality in Distributed Executions. | Claire Diehl, Claude Jard |
| 1991 | CAV | Bounded-memory Algorithms for Verification On-the-fly. | Claude Jard, Thierry Jron |
| 1987 | PODC | Detection of Stable Properties in Distributed Applications. | Jean-Michel Hlary, Claude Jard, Nol Plouzeau, Michel Raynal |