default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 116 matches
- 2019
- Hélène Coullon, Claude Jard, Didier Lime:
Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning. IFM 2019: 120-137 - 2017
- 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): 3-22 (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): 677-694 (2017) - Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Coverability Synthesis in Parametric Petri Nets. CONCUR 2017: 14:1-14:16 - 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): 207-234 (2016) - Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Causal consistency: beyond memory. PPoPP 2016: 26:1-26:12 - Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency. DISC 2016: 284-297 - Achour Mostéfaoui, Matoula Petrolia, Michel Raynal, Claude Jard:
Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems. CoRR abs/1604.08161 (2016) - Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Causal Consistency: Beyond Memory. CoRR abs/1603.04199 (2016) - Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency (Extended Version). CoRR abs/1607.05596 (2016) - Matthieu Perrin, Matoula Petrolia, Achour Mostéfaoui, Claude Jard:
On Composition and Implementation of Sequential Consistency. CoRR abs/1607.06258 (2016) - 2015
- Rouwaida Abdallah, Loïc Hélouët, Claude Jard:
Distributed implementation of message sequence charts. Softw. Syst. Model. 14(2): 1029-1048 (2015) - Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets. Petri Nets 2015: 137-156 - Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Update Consistency for Wait-Free Concurrent Objects. IPDPS 2015: 219-228 - Matthieu Perrin, Claude Jard, Achour Mostéfaoui:
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. NETYS 2015: 382-396 - 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: 388-394 - Nicolas David, Claude Jard, Didier Lime, Olivier H. Roux:
Discrete Parameters in Petri Nets (Informal Presentation). SynCoP 2015: 103-103 - Matthieu Perrin, Claude Jard, Achour Mostéfaoui:
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. CoRR abs/1505.06299 (2015) - Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Update Consistency for Wait-free Concurrent Objects. CoRR abs/1501.02165 (2015) - Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Brief Announcement: Update Consistency in Partitionable Systems. CoRR abs/1501.02175 (2015) - 2014
- Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen:
QoS-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44(1): 1-43 (2014) - Claude Jard, Didier Lime, Olivier H. Roux:
Blending Timed Formal Models with Clock Transition Systems. Fundam. Informaticae 129(1-2): 85-100 (2014) - Albert Benveniste, Claude Jard, Samy Abbes:
Foreword in honor of Glynn Winskel. Theor. Comput. Sci. 546: 30-31 (2014) - Albert Benveniste, Claude Jard, Samy Abbes:
Application of branching cells to QoS aware service orchestrations. Theor. Comput. Sci. 546: 52-62 (2014) - Matthieu Perrin, Achour Mostéfaoui, Claude Jard:
Update Consistency in Partitionable Systems. DISC 2014: 546-549 - 2013
- Claude Jard, Didier Lime, Olivier H. Roux, Louis-Marie Traonouez:
Symbolic unfolding of parametric stopwatch Petri nets. Formal Methods Syst. Des. 43(3): 493-519 (2013) - Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard:
Scenario Realizability with Constraint Optimization. FASE 2013: 194-209 - Thomas Chatain, Claude Jard:
Back in Time Petri Nets. FORMATS 2013: 91-105 - Anne Bouillard, Claude Jard, Aurore Junier:
Some Synchronization Issues in OSPF Routing. DCNET/ICE-B/OPTICS 2013: 5-14 - Anne Bouillard, Claude Jard, Aurore Junier:
The Impact of Initial Delays in OSPF Routing. ICETE (Selected Papers) 2013: 37-57
skipping 86 more matches
loading more results 
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-31 15:44 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
