Claude Jard

Publication Activity (10 Years)

Years Active: 1982-2019
Publications (10 Years): 20

Top Venues

CoRR

Fundam. Informaticae

Theor. Comput. Sci.

Formal Methods Syst. Des.

Publications

Hélène Coullon, Claude Jard, Didier Lime
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. IFM (2019)
Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha
Towards energy-proportional clouds partially powered by renewable energy. Computing 99 (1) (2017)
Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems. Theory Comput. Syst. 60 (4) (2017)
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
Coverability Synthesis in Parametric Petri Nets. CONCUR (2017)
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
Causal consistency: beyond memory. PPOPP (2016)
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
On Composition and Implementation of Sequential Consistency. CoRR (2016)
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
Robustness of Time Petri Nets under Guard Enlargement. Fundam. Informaticae 143 (3-4) (2016)
Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems. CoRR (2016)
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
On Composition and Implementation of Sequential Consistency. DISC (2016)
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
Causal Consistency: Beyond Memory. CoRR (2016)
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
On Composition and Implementation of Sequential Consistency (Extended Version). CoRR (2016)
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP (2015)
Rouwaida Abdallah, Loïc Hélouët, Claude Jard
Distributed implementation of message sequence charts. Softw. Syst. Model. 14 (2) (2015)
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
Brief Announcement: Update Consistency in Partitionable Systems. CoRR (2015)
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
Discrete Parameters in Petri Nets. Petri Nets (2015)
Nicolas Beldiceanu, Barbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier H. Roux, Ammar Sharaiha
The EPOC Project - Energy Proportional and Opportunistic Computing System. SMARTGREENS (2015)
Matthieu Perrin, Claude Jard, Achour Mostéfaoui
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. CoRR (2015)
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
Update Consistency for Wait-Free Concurrent Objects. IPDPS (2015)
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
Update Consistency for Wait-free Concurrent Objects. CoRR (2015)
Matthieu Perrin, Claude Jard, Achour Mostéfaoui
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS (2015)
Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen
QoS-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44 (1) (2014)
Albert Benveniste, Claude Jard, Samy Abbes
Application of branching cells to QoS aware service orchestrations. Theor. Comput. Sci. 546 (2014)
Albert Benveniste, Claude Jard, Samy Abbes
Foreword in honor of Glynn Winskel. Theor. Comput. Sci. 546 (2014)
Claude Jard, Didier Lime, Olivier H. Roux
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129 (1-2) (2014)
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
Update Consistency in Partitionable Systems. DISC (2014)
Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
Scenario Realizability with Constraint Optimization. FASE (2013)
Anne Bouillard, Claude Jard, Aurore Junier
Some Synchronization Issues in OSPF Routing. DCNET/ICE-B/OPTICS (2013)
Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43 (3) (2013)
Anne Bouillard, Claude Jard, Aurore Junier
The Impact of Initial Delays in OSPF Routing. ICETE (Selected Papers) (2013)
Thomas Chatain, Claude Jard
Back in Time Petri Nets. FORMATS (2013)
Ajay Kattepur, Albert Benveniste, Claude Jard
Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations. ICWS (2012)
S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
Robustness of Time Petri Nets under Architectural Constraints. FORMATS (2012)
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
Robustness of Time Petri Nets under Guard Enlargement. RP (2012)
Didier Lime, Olivier H. Roux, Claude Jard
Clock Transition Systems. CS&P (2012)
Rouwaida Abdallah, Claude Jard
An Experiment in Automatic Generation of Protocols from HMSCs. NOTERE (2011)
Ajay Kattepur, Albert Benveniste, Claude Jard
Optimizing Decisions in Web Services Orchestrations. ICSOC (2011)
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
Pairwise testing of dynamic composite services. SEAMS (2011)
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS (2010)
Sidney Rosario, Albert Benveniste, Claude Jard
Flexible Probabilistic QoS Management of Orchestrations. Int. J. Web Serv. Res. 7 (2) (2010)
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA (2010)
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS (2010)
Sidney Rosario, Albert Benveniste, Claude Jard
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. ICWS (2009)
Sidney Rosario, Albert Benveniste, Claude Jard
Monitoring probabilistic SLAs in Web service orchestrations. Integrated Network Management (2009)
Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan
Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES (2008)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE Trans. Serv. Comput. 1 (4) (2008)
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
Event Structure Semantics of Orc. WS-FM (2007)
Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
Test Synthesis from UML Models of Distributed Software. IEEE Trans. Software Eng. 33 (4) (2007)
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
Testing Input/Output Partial Order Automata. TestCom/FATES (2007)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Probabilistic QoS and soft contracts for transaction based Web services. ICWS (2007)
Emmanuel de Rosière, Claude Jard, Benoit Parreaux
LaTe, a Non-fully Deterministic Testing Language. TestCom (2006)
Franck Cassez, Thomas Chatain, Claude Jard
Symbolic Unfoldings for Networks of Timed Automata. ATVA (2006)
Thomas Chatain, Claude Jard
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. ICATPN (2006)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA (2006)
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard
Distributed Monitoring of Concurrent and Asynchronous Systems*. Discret. Event Dyn. Syst. 15 (1) (2005)
Thomas Chatain, Claude Jard
Models for the Supervision of Web Services Orchestration with Dynamic Changes. AICT/SAPIR/ELETE (2005)
Claude Jard, Thierry Jéron
TGV: theory, principles and algorithms. Int. J. Softw. Tools Technol. Transf. 7 (4) (2005)
Thomas Chatain, Loïc Hélouët, Claude Jard
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE (2005)
Thomas Chatain, Claude Jard
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets. FORMATS (2005)
Armen Aghasaryan, Claude Jard, Julien Thomas
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. ICT (2004)
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan
Algorithms for Distributed Fault Management in Telecommunications Networks. ICT (2004)
Thomas Chatain, Claude Jard
Symbolic Diagnosis of Partially Observable Concurrent Systems. FORTE (2004)
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
Distributed and asynchronous discrete event systems diagnosis. CDC (2003)
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR (2003)
Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard
Partial order diagnosability of discrete event systems using petri net unfoldings. CDC (2003)
Claude Jard
Synthesis of distributed testers from true-concurrency models of reactive systems. Inf. Softw. Technol. 45 (12) (2003)
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Autom. Control. 48 (5) (2003)
Loïc Hélouët, Claude Jard, Benoît Caillaud
An Event Structure Based Semantics for High-Level Message Sequence Charts. Math. Struct. Comput. Sci. 12 (4) (2002)
Claude Jard
Principles of Distributed Test Synthesis based on True-concurrency Models. TestCom (2002)
Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
System Test Synthesis from UML Models of Distributed Software. FORTE (2002)
Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
A UML-integrated Test Description Language for Component Testing. pUML (2001)
Claude Jard, Thierry Jéron, Pierre Morel
Verification of Test Suites. TestCom (2000)
Lénaick Tanguy, César Viho, Claude Jard
Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. ICDCS Workshop on Distributed System Validation and Verification (2000)
Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith
Distributed state reconstruction for discrete event systems. CDC (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
Verification and test generation for the SSCOP protocol. Sci. Comput. Program. 36 (1) (2000)
Claude Jard, Thierry Jéron
An Educational Case Study in Protocol Verification and Distributed Observation. Comput. Sci. Educ. 10 (3) (2000)
Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho
Remote testin can be as powerful as local testing. FORTE (1999)
Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoît Caillaud
Protocol engineering using UML. Ann. des Télécommunications 54 (11-12) (1999)
Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets. Discret. Event Dyn. Syst. 8 (2) (1998)
Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
BDL, A Language of Distributed Reactive Objects. ISORC (1998)
Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho
Towards Automatic Distribution of Testers for Distributed Conformance Testing. FORTE (1998)
Albert Benveniste, Claude Jard, Stephane Gaubert
Algebraic Techniques for Timed Systems. CONCUR (1998)
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Sci. Comput. Program. 29 (1-2) (1997)
Renée Boubour, Claude Jard
Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation. ICATPN (1997)
Claude Jard, Guy-Vincent Jourdan
Incremental Transitive Dependency Tracking in Distributed Computations. Parallel Process. Lett. 6 (3) (1996)
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
Using On-The-Fly Verification Techniques for the Generation of test Suites. CAV (1996)
Jean-Marc Jézéquel, Claude Jard
Building a global clock for observing computations in distributed memory parallel computers. Concurr. Pract. Exp. 8 (1) (1996)
Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
On-The-Fly Analysis of Distributed Computations. Inf. Process. Lett. 54 (5) (1995)
Claude Jard, Guy-Vincent Jourdan, Jean-Xavier Rampon
On-Line Computations of the Ideal Lattice of Posets. RAIRO Theor. Informatics Appl. 29 (3) (1995)
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
Measuring Concurrency of Regular Distributed Computations. TAPSOFT (1995)
Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
Recognition of Patterns on Control Flows for Debugging Distributed Executions. AADEBUG (1995)
Claude Jard, Guy-Vincent Jourdan
On the Coding of Dependencies in Distributed Computations (Abstract). PODC (1994)
Thierry Jéron, Claude Jard
3D Layout of Reachability Graphs of Communicating Processes. Graph Drawing (1994)
Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon
A General Approach to Trace-Checking in Distributed Computing Systems. ICDCS (1994)
Thierry Jéron, Claude Jard
Testing for Unboundedness of FIFO Channels. Theor. Comput. Sci. 113 (1) (1993)
Claire Diehl, Claude Jard, Jean-Xavier Rampon
Reachability Analysis on Distributed Executions. TAPSOFT (1993)
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
Correctness of Automated Distribution of Sequential Programs. PARLE (1993)
Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
On-the-fly Verification of Finite Transition Systems. Formal Methods Syst. Des. 1 (2/3) (1992)
Claude Jard, Jean-Marc Jézéquel
Echidna, an estelle compiler to prototype protocols on distributed computers. Concurr. Pract. Exp. 4 (5) (1992)
Claire Diehl, Claude Jard
Interval Approximations of Message Causality in Distributed Executions. STACS (1992)
Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel
Analyzing a space-protocol: from specification, simulation to experimentation. FORTE (1992)

Claude Jard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claude Jard