Michel Charpentier

27 papers A 3B 5C 1Misc 1Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2023 J jnl
How Many Languages Does It Take to Be a Programming Languages Course?
J. Comput. Sci. Coll.
Michel Charpentier, Karen H. Jin
2020 J jnl
Automatic programming assignment assessment beyond black-box testing.
J. Comput. Sci. Coll.
Karen H. Jin, Michel Charpentier
2020 A conf
When Black-box Testing is Not Enough - on Designing Auto-graded Programming Assignments.
SIGCSE
Karen H. Jin, Michel Charpentier
2015 — conf
Performance analysis of local algorithms in large-scale disconnected networks.
CCNC
Ying Li, Radim Bartos, Michel Charpentier
2012 B conf
Local Algorithms for Robust Mission Realization in Large-Scale Disconnected Networks.
NCA
Michel Charpentier, Radim Bartos, Ying Li
2009 Misc conf
A Mechanism to Structure Mission-Aware Interaction in Mobile Sensor Networks.
ICDCN
Michel Charpentier, Radim Bartos, Swapnil Bhatia
2009 C conf
When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors.
WOWMOM
Michel Charpentier, Radim Bartos, Swapnil Bhatia
2007 A conf
Self-Similar Algorithms for Dynamic Distributed Systems.
ICDCS
K. Mani Chandy, Michel Charpentier
2007 — conf
Towards a theory of events.
DEBS
K. Mani Chandy, Michel Charpentier, Agostino Capponi
2006 J jnl
Composing invariants.
Sci. Comput. Program.
Michel Charpentier
2005 B conf
Cooperative Mobile Agents to Gather Global Information.
NCA
Michel Charpentier, Gérard Padiou, Philippe Quéinnec
2004 J jnl
Specification transformers: a predicate transformer approach to composition.
Acta Informatica
Michel Charpentier, K. Mani Chandy
2003 — conf
Composing Invariants.
FME
Michel Charpentier
2002 B conf
An Approach to Composition Motivated by wp.
FASE
Michel Charpentier
2002 J jnl
An Experiment in Program Composition and Proof.
Formal Methods Syst. Des.
K. Mani Chandy, Michel Charpentier
2002 A conf
Workshop Introduction.
IPDPS
Michel Charpentier, Beverly A. Sanders
2000 — conf
Reasoning about Composition Using Property Transformers and Their Conjugates.
IFIP TCS
Michel Charpentier, K. Mani Chandy
2000 B conf
Theorems about Composition.
MPC
Michel Charpentier, K. Mani Chandy
1999 — conf
Examples of Program Composition Illustrating the Use of Universal Properties.
IPPS/SPDP Workshops
Michel Charpentier, K. Mani Chandy
1999 B conf
Modelling and Verifying Migration: A case study.
OPODIS
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1999 J jnl
The Observation: An Abstract Communication Mechanism.
Parallel Process. Lett.
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1999 — conf
Towards a Compositional Approach to the Design and Verification of Distributed Systems.
World Congress on Formal Methods
Michel Charpentier, K. Mani Chandy
1998 J jnl
Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol.
Parallel Process. Lett.
Michel Charpentier, Gérard Padiou
1998 J jnl
Specification and Verification of the ATMR Protocol Using Unity. Part 2: Correctness Proof.
Parallel Process. Lett.
Michel Charpentier, Gérard Padiou
1998 — conf
Tailoring UNITY to Distributed Program Design.
IPPS/SPDP Workshops
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec
1997 — conf
A UNITY Mapping Operator for Distributed Programs.
FME
Michel Charpentier
1996 — conf
Abstracting Communication to Reason about Distributed Algorithms.
WDAG
Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec