Claude Jard

Cited by

	All	Since 2019
Citations	5210	458
h-index	36	10
i10-index	93	14

280

140

210

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420 30 38 27 20 63 72 47 76 68 72 93 108 129 110 132 173 217 251 226 228 279 278 232 249 257 257 209 163 192 141 121 89 109 69 63 58 70

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Thierry JéronUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Jean-Marc JezequelProfessor of Software Engineering, Univ Rennes, CNRS, Inria, IRISAVerified email at irisa.fr
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerified email at ec-nantes.fr
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Benoît CaillaudINRIA / IRISA / U. RennesVerified email at inria.fr
m raynalProfessor of InformaticsVerified email at irisa.fr
Franck Cassezmovement LabsVerified email at movementlabs.xyz
Ajay KattepurEricsson ResearchVerified email at ericsson.com
Yves Le TraonProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Louis-Marie TraonouezINRIA RennesVerified email at inria.fr
Sagar SenResearch Manager and Senior Scientist, SINTEF DigitalVerified email at sintef.no
Benoit BaudryProfessor of Software Engineering, Université de MontréalVerified email at umontreal.ca
Stephane GaubertDirecteur de recherche, INRIA and CMAP, Ecole polytechniqueVerified email at inria.fr
William R. CookAssociate Professor of Computer Science, University of Texas at AustinVerified email at cs.utexas.edu
Thomas GazagnaireTaridesVerified email at gazagnaire.org
Isabelle GiraultUniversity Grenoble Alpes (France)Verified email at univ-grenoble-alpes.fr

Claude Jard

Professeur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)

Verified email at univ-nantes.fr - Homepage

Méthodes formelles systèmes répartis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Integrated model-checking for the design of safe and efficient distributed software commissioning H Coullon, C Jard, D Lime Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019	14	2019
Atomic read/write memory in signature-free byzantine asynchronous message-passing systems A Mostéfaoui, M Petrolia, M Raynal, C Jard Theory of Computing Systems 60, 677-694, 2017	23	2017
28th International Conference on Concurrency Theory (CONCUR 2017) AF Donaldson, J Ketema, T Sorensen, J Wickerson, R Brenguier, A Pauly, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017	1	2017
Coverability synthesis in parametric Petri nets N David, C Jard, D Lime, OH Roux 28th International Conference on Concurrency Theory (CONCUR 2017), 2017	1	2017
Towards energy-proportional clouds partially powered by renewable energy N Beldiceanu, BD Feris, P Gravey, S Hasan, C Jard, T Ledoux, Y Li, ... Computing 99, 3-22, 2017	34	2017
On Composition and implementation of sequential consistency (extended version) M Perrin, M Petrolia, A Mostefaoui, C Jard arXiv preprint arXiv:1607.05596, 2016	1	2016
Causal consistency: beyond memory M Perrin, A Mostefaoui, C Jard Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016	59	2016
On composition and implementation of sequential consistency M Perrin, M Petrolia, A Mostéfaoui, C Jard Distributed Computing: 30th International Symposium, DISC 2016, Paris …, 2016	14	2016
Robustness of time Petri nets under guard enlargement S Akshay, L Hélouët, C Jard, PA Reynier Fundamenta Informaticae 143 (3-4), 207-234, 2016	6	2016
Update consistency for wait-free concurrent objects M Perrin, A Mostéfaoui, C Jard 2015 IEEE International Parallel and Distributed Processing Symposium, 219-228, 2015	23	2015
The EPOC project: Energy proportional and opportunistic computing system N Beldiceanu, BD Feris, P Gravey, S Hasan, C Jard, T Ledoux, Y Li, ... 2015 International Conference on Smart Cities and Green ICT Systems …, 2015	16	2015
Distributed implementation of message sequence charts R Abdallah, L Hélouët, C Jard Software & Systems Modeling 14, 1029-1048, 2015	9	2015
Proof of the Instrumented Semantics for Orc M Perrin, C Jard, A Mostefaoui LINA-University of Nantes, 2015	2	2015
Discrete Parameters in Petri Nets (Informal Presentation) N David, C Jard, D Lime, OH Roux 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15)(2015), 2015		2015
Discrete parameters in Petri nets N David, C Jard, D Lime, OH Roux Application and Theory of Petri Nets and Concurrency: 36th International …, 2015	6	2015
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC M Perrin, C Jard, A Mostefaoui Networked Systems: Third International Conference, NETYS 2015, Agadir …, 2015	3	2015
Foreword in honor of Glynn Winskel. A Benveniste, C Jard, S Abbes Theor. Comput. Sci. 546, 30-31, 2014		2014
Application of branching cells to QoS aware service orchestrations A Benveniste, C Jard, S Abbes Theoretical Computer Science 546, 52-62, 2014	5	2014
Consistent shared data types: Beyond memory M Perrin, M Petrolia, A Mostéfaoui, C Jard Université de Nantes, 2014	6	2014
Beyond model checking: Parameters everywhere É André, B Delahaye, P Habermehl, C Jard, D Lime, L Petrucci, OH Roux, ... Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 171, 2014	1	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors