Claude Jard

115 papers A* 4A 12B 9C 8Journal 40Unranked 39
YearRankTypeTitle / Venue / Authors
2019 B conf
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning.
IFM
Hélène Coullon, Claude Jard, Didier Lime
2017 J jnl
Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems.
Theory Comput. Syst.
Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
2017 B conf
Coverability Synthesis in Parametric Petri Nets.
CONCUR
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2017 J jnl
Towards energy-proportional clouds partially powered by renewable energy.
Computing
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
2016 J jnl
Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems.
CoRR
Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard
2016 J jnl
Causal Consistency: Beyond Memory.
CoRR
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2016 B conf
Causal consistency: beyond memory.
PPoPP
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2016 J jnl
On Composition and Implementation of Sequential Consistency (Extended Version).
CoRR
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
2016 A conf
On Composition and Implementation of Sequential Consistency.
DISC
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
2016 J jnl
On Composition and Implementation of Sequential Consistency.
CoRR
Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard
2016 J jnl
Robustness of Time Petri Nets under Guard Enlargement.
Fundam. Informaticae
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2015 J jnl
Brief Announcement: Update Consistency in Partitionable Systems.
CoRR
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2015 — conf
Discrete Parameters in Petri Nets (Informal Presentation).
SynCoP
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2015 B conf
Discrete Parameters in Petri Nets.
Petri Nets
Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux
2015 J jnl
Distributed implementation of message sequence charts.
Softw. Syst. Model.
Rouwaida Abdallah, Loïc Hélouët, Claude Jard
2015 — conf
The EPOC Project - Energy Proportional and Opportunistic Computing System.
SMARTGREENS
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
2015 — conf
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC.
NETYS
Matthieu Perrin, Claude Jard, Achour Mostéfaoui
2015 J jnl
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC.
CoRR
Matthieu Perrin, Claude Jard, Achour Mostéfaoui
2015 A conf
Update Consistency for Wait-Free Concurrent Objects.
IPDPS
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2015 J jnl
Update Consistency for Wait-free Concurrent Objects.
CoRR
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2014 J jnl
Application of branching cells to QoS aware service orchestrations.
Theor. Comput. Sci.
Albert Benveniste, Claude Jard, Samy Abbes
2014 J jnl
Blending Timed Formal Models with Clock Transition Systems.
Fundam. Informaticae
Claude Jard, Didier Lime, Olivier H. Roux
2014 J jnl
Foreword in honor of Glynn Winskel.
Theor. Comput. Sci.
Albert Benveniste, Claude Jard, Samy Abbes
2014 J jnl
QoS-aware management of monotonic service orchestrations.
Formal Methods Syst. Des.
Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen
2014 A conf
Update Consistency in Partitionable Systems.
DISC
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2013 — conf
Back in Time Petri Nets.
FORMATS
Thomas Chatain, Claude Jard
2013 — book
Communicating Embedded Systems
Claude Jard, Olivier H. Roux
2013 B conf
Scenario Realizability with Constraint Optimization.
FASE
Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
2013 — conf
Some Synchronization Issues in OSPF Routing.
DCNET/ICE-B/OPTICS
Anne Bouillard, Claude Jard, Aurore Junier
2013 J jnl
Symbolic unfolding of parametric stopwatch Petri nets.
Formal Methods Syst. Des.
Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez
2013 — conf
The Impact of Initial Delays in OSPF Routing.
ICETE (Selected Papers)
Anne Bouillard, Claude Jard, Aurore Junier
2012 — conf
Clock Transition Systems.
CS&P
Didier Lime, Olivier H. Roux, Claude Jard
2012 A conf
Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations.
ICWS
Ajay Kattepur, Albert Benveniste, Claude Jard
2012 — conf
Robustness of Time Petri Nets under Architectural Constraints.
FORMATS
S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
2012 — conf
Robustness of Time Petri Nets under Guard Enlargement.
RP
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2011 — conf
An Experiment in Automatic Generation of Protocols from HMSCs.
NOTERE
Rouwaida Abdallah, Claude Jard
2011 A conf
Optimizing Decisions in Web Services Orchestrations.
ICSOC
Ajay Kattepur, Albert Benveniste, Claude Jard
2011 A conf
Pairwise testing of dynamic composite services.
SEAMS
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
2010 — conf
Diagnosis Using Unfoldings of Parametric Time Petri Nets.
FORMATS
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
2010 J jnl
Flexible Probabilistic QoS Management of Orchestrations.
Int. J. Web Serv. Res.
Sidney Rosario, Albert Benveniste, Claude Jard
2010 B conf
Symbolic Unfolding of Parametric Stopwatch Petri Nets.
ATVA
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux
2010 A conf
Variability Modeling and QoS Analysis of Web Services Orchestrations.
ICWS
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard
2009 A conf
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.
ICWS
Sidney Rosario, Albert Benveniste, Claude Jard
2009 — conf
Monitoring probabilistic SLAs in Web service orchestrations.
Integrated Network Management
Sidney Rosario, Albert Benveniste, Claude Jard
2008 — ed.
Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
FORMATS
Franck Cassez, Claude Jard
2008 J jnl
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.
IEEE Trans. Serv. Comput.
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
2008 — conf
Testing Systems Specified as Partial Order Input/Output Automata.
TestCom/FATES
Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan
2007 — conf
Event Structure Semantics of Orc.
WS-FM
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
2007 A conf
Probabilistic QoS and soft contracts for transaction based Web services.
ICWS
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
2007 J jnl
Test Synthesis from UML Models of Distributed Software.
IEEE Trans. Software Eng.
Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon
2007 — conf
Testing Input/Output Partial Order Automata.
TestCom/FATES
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
2006 — conf
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.
ICATPN
Thomas Chatain, Claude Jard
2006 C conf
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.
ISoLA
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
2006 — conf
LaTe, a Non-fully Deterministic Testing Language.
TestCom
Emmanuel de Rosière, Claude Jard, Benoit Parreaux
2006 B conf
Symbolic Unfoldings for Networks of Timed Automata.
ATVA
Franck Cassez, Thomas Chatain, Claude Jard
2005 J jnl
Distributed Monitoring of Concurrent and Asynchronous Systems*.
Discret. Event Dyn. Syst.
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard
2005 C conf
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
FORTE
Thomas Chatain, Loïc Hélouët, Claude Jard
2005 — conf
Models for the Supervision of Web Services Orchestration with Dynamic Changes.
AICT/SAPIR/ELETE
Thomas Chatain, Claude Jard
2005 J jnl
TGV: theory, principles and algorithms.
Int. J. Softw. Tools Technol. Transf.
Claude Jard, Thierry Jéron
2005 — conf
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.
FORMATS
Thomas Chatain, Claude Jard
2004 — conf
Algorithms for Distributed Fault Management in Telecommunications Networks.
ICT
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan
2004 C conf
Symbolic Diagnosis of Partially Observable Concurrent Systems.
FORTE
Thomas Chatain, Claude Jard
2004 — conf
UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks.
ICT
Armen Aghasaryan, Claude Jard, Julien Thomas
2003 J jnl
Diagnosis of asynchronous discrete-event systems: a net unfolding approach.
IEEE Trans. Autom. Control.
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
2003 B conf
Distributed Monitoring of Concurrent and Asynchronous Systems.
CONCUR
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
2003 — conf
Distributed and asynchronous discrete event systems diagnosis.
CDC
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
2003 — conf
Partial order diagnosability of discrete event systems using petri net unfoldings.
CDC
Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard
2003 J jnl
Synthesis of distributed testers from true-concurrency models of reactive systems.
Inf. Softw. Technol.
Claude Jard
2002 J jnl
An Event Structure Based Semantics for High-Level Message Sequence Charts.
Math. Struct. Comput. Sci.
Loïc Hélouët, Claude Jard, Benoît Caillaud
2002 — conf
Principles of Distributed Test Synthesis based on True-concurrency Models.
TestCom
Claude Jard
2002 C conf
System Test Synthesis from UML Models of Distributed Software.
FORTE
Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec
2001 — conf
A UML-integrated Test Description Language for Component Testing.
pUML
Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
2001 — ed.
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
MOVEP
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
2000 J jnl
An Educational Case Study in Protocol Verification and Distributed Observation.
Comput. Sci. Educ.
Claude Jard, Thierry Jéron
2000 — conf
Distributed state reconstruction for discrete event systems.
CDC
Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith
2000 — conf
Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.
ICDCS Workshop on Distributed System Validation and Verification
Lénaick Tanguy, César Viho, Claude Jard
2000 J jnl
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program.
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
2000 — conf
Verification of Test Suites.
TestCom
Claude Jard, Thierry Jéron, Pierre Morel
1999 J jnl
Protocol engineering using UML.
Ann. des Télécommunications
Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoît Caillaud
1999 C conf
Remote testin can be as powerful as local testing.
FORTE
Claude Jard, Thierry Jéron, Lénaick Tanguy, César Viho
1998 B conf
Algebraic Techniques for Timed Systems.
CONCUR
Albert Benveniste, Claude Jard, Stephane Gaubert
1998 C conf
BDL, A Language of Distributed Reactive Objects.
ISORC
Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
1998 J jnl
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets.
Discret. Event Dyn. Syst.
Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard
1998 C conf
Towards Automatic Distribution of Testers for Distributed Conformance Testing.
FORTE
Claude Jard, Thierry Jéron, Hakim Kahlouche, César Viho
1997 J jnl
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.
Sci. Comput. Program.
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
1997 — conf
Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation.
ICATPN
Renée Boubour, Claude Jard
1996 J jnl
Building a global clock for observing computations in distributed memory parallel computers.
Concurr. Pract. Exp.
Jean-Marc Jézéquel, Claude Jard
1996 J jnl
Incremental Transitive Dependency Tracking in Distributed Computations.
Parallel Process. Lett.
Claude Jard, Guy-Vincent Jourdan
1996 A* conf
Using On-The-Fly Verification Techniques for the Generation of test Suites.
CAV
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho
1995 — conf
Measuring Concurrency of Regular Distributed Computations.
TAPSOFT
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
1995 J jnl
On-Line Computations of the Ideal Lattice of Posets.
RAIRO Theor. Informatics Appl.
Claude Jard, Guy-Vincent Jourdan, Jean-Xavier Rampon
1995 J jnl
On-The-Fly Analysis of Distributed Computations.
Inf. Process. Lett.
Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
1995 — conf
Recognition of Patterns on Control Flows for Debugging Distributed Executions.
AADEBUG
Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal
1994 A conf
3D Layout of Reachability Graphs of Communicating Processes.
GD
Thierry Jéron, Claude Jard
1994 A conf
A General Approach to Trace-Checking in Distributed Computing Systems.
ICDCS
Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon
1994 A* conf
On the Coding of Dependencies in Distributed Computations (Abstract).
PODC
Claude Jard, Guy-Vincent Jourdan
1993 — conf
Correctness of Automated Distribution of Sequential Programs.
PARLE
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval
1993 — conf
Reachability Analysis on Distributed Executions.
TAPSOFT
Claire Diehl, Claude Jard, Jean-Xavier Rampon
1993 J jnl
Testing for Unboundedness of FIFO Channels.
Theor. Comput. Sci.
Thierry Jéron, Claude Jard
1992 C conf
Analyzing a space-protocol: from specification, simulation to experimentation.
FORTE
Marc Andreu, Michèle Haziza, Claude Jard, Jean-Marc Jézéquel
1992 J jnl
Echidna, an estelle compiler to prototype protocols on distributed computers.
Concurr. Pract. Exp.
Claude Jard, Jean-Marc Jézéquel
1992 A conf
Interval Approximations of Message Causality in Distributed Executions.
STACS
Claire Diehl, Claude Jard
1992 J jnl
On-the-fly Verification of Finite Transition Systems.
Formal Methods Syst. Des.
Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
1991 A* conf
Bounded-memory Algorithms for Verification On-the-fly.
CAV
Claude Jard, Thierry Jéron
1989 — conf
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines.
PSTV
Claude Jard, Jean-Marc Jézéquel
1989 — conf
On-Line Model Checking for Finite Linear Temporal Logic Specifications.
Automatic Verification Methods for Finite State Systems
Claude Jard, Thierry Jéron
1988 J jnl
Development of Véda, a Prototyping Tool for Distributed Algorithms.
IEEE Trans. Software Eng.
Claude Jard, Jean-François Monin, Roland Groz
1987 A* conf
Detection of Stable Properties in Distributed Applications.
PODC
Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal
1986 J jnl
Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools.
Comput. Networks
Roland Groz, Claude Jard, Claire Lassudrie
1985 — conf
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA.
PSTV
Claude Jard, Jean-François Monin, Roland Groz
1984 — conf
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools.
PSTV
Roland Groz, Claude Jard, Claire Lassudrie
1983 J jnl
An approach to testing specifications.
J. Syst. Softw.
Claude Jard, Gregor von Bochmann
1983 — conf
An approach to testing specifications.
SIGSOFT
Claude Jard, Gregor von Bochmann
1982 J jnl
Experience with Formal Specifications Using an Extended State Transition Model.
IEEE Trans. Commun.
Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya
1982 — conf
Some Experience with the Use of Formal Specifications.
PSTV
Gregor von Bochmann, Eduard Cerny, Michel Gagné, Claude Jard, Alain Léveillé, Clement Lacaille, Michel Maksud, K. S. Raghunathan, Behçet Sarikaya