![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Michel Charpentier
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c19]Karen H. Jin, Michel Charpentier:
When Black-box Testing is Not Enough - on Designing Auto-graded Programming Assignments. SIGCSE 2020: 1342
2010 – 2019
- 2015
- [c18]Ying Li, Radim Bartos, Michel Charpentier:
Performance analysis of local algorithms in large-scale disconnected networks. CCNC 2015: 431-436 - 2012
- [c17]Michel Charpentier, Radim Bartos
, Ying Li:
Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks. NCA 2012: 244-248
2000 – 2009
- 2009
- [c16]Michel Charpentier, Radim Bartos
, Swapnil Bhatia
:
A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks. ICDCN 2009: 425-436 - [c15]Michel Charpentier, Radim Bartos
, Swapnil Bhatia
:
When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors. WOWMOM 2009: 1-6 - 2007
- [c14]K. Mani Chandy, Michel Charpentier, Agostino Capponi:
Towards a theory of events. DEBS 2007: 180-187 - [c13]K. Mani Chandy, Michel Charpentier:
Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67 - 2006
- [j6]Michel Charpentier:
Composing invariants. Sci. Comput. Program. 60(3): 221-243 (2006) - 2005
- [c12]Michel Charpentier, Gérard Padiou, Philippe Quéinnec:
Cooperative Mobile Agents to Gather Global Information. NCA 2005: 271-274 - 2004
- [j5]Michel Charpentier, K. Mani Chandy:
Specification transformers: a predicate transformer approach to composition. Acta Informatica 40(4): 265-301 (2004) - 2003
- [c11]Michel Charpentier:
Composing Invariants. FME 2003: 401-421 - 2002
- [j4]K. Mani Chandy, Michel Charpentier:
An Experiment in Program Composition and Proof. Formal Methods Syst. Des. 20(1): 7-21 (2002) - [c10]Michel Charpentier:
An Approach to Composition Motivated by wp. FASE 2002: 1-14 - [c9]Michel Charpentier, Beverly A. Sanders:
Workshop Introduction. IPDPS 2002 - 2000
- [c8]Michel Charpentier, K. Mani Chandy:
Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595 - [c7]Michel Charpentier, K. Mani Chandy:
Theorems about Composition. MPC 2000: 167-186
1990 – 1999
- 1999
- [j3]Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec:
The Observation: An Abstract Communication Mechanism. Parallel Process. Lett. 9(3): 437-450 (1999) - [c6]Michel Charpentier, K. Mani Chandy:
Towards a Compositional Approach to the Design and Verification of Distributed Systems. World Congress on Formal Methods 1999: 570-589 - [c5]Michel Charpentier, K. Mani Chandy:
Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227 - [c4]Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec:
Modelling and Verifying Migration: A case study. OPODIS 1999: 149-164 - 1998
- [j2]Michel Charpentier, Gérard Padiou:
Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. Parallel Process. Lett. 8(4): 421-432 (1998) - [j1]Michel Charpentier, Gérard Padiou:
Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof. Parallel Process. Lett. 8(4): 433-445 (1998) - [c3]Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec:
Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops 1998: 820-832 - 1997
- [c2]Michel Charpentier:
A UNITY Mapping Operator for Distributed Programs. FME 1997: 665-684 - 1996
- [c1]Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec:
Abstracting Communication to Reason about Distributed Algorithms. WDAG 1996: 89-104
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint