dblp.uni-trier.dewww.uni-trier.de

Bernadette Charron-Bost Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
30EEMouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz: A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. RP 2009: 93-106
29EEBernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder: Routing without ordering. SPAA 2009: 145-153
28EEBernadette Charron-Bost, André Schiper: The Heard-Of model: computing in distributed systems with benign faults. Distributed Computing 22(1): 49-71 (2009)
2008
27EEBernadette Charron-Bost, André Schiper: Consensus with Partial Synchrony. Encyclopedia of Algorithms 2008
2007
26EEMartin Biely, Josef Widder, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, André Schiper: Tolerating corrupted communication. PODC 2007: 244-253
25EEBernadette Charron-Bost, André Schiper: Harmful dogmas in fault tolerant distributed computing. SIGACT News 38(1): 53-61 (2007)
2006
24EEBernadette Charron-Bost, André Schiper: Improving Fast Paxos: being optimistic with no overhead. PRDC 2006: 287-295
2005
23 Peter Vojtás, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora: SOFSEM 2005: Theory and Practice of Computer Science, 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings Springer 2005
2004
22EEBernadette Charron-Bost, Fabrice Le Fessant: Validity Conditions in Agreement Problems and Time Complexity. SOFSEM 2004: 196-207
21EEBernadette Charron-Bost: Reductions in Distributed Computing Part I: Consensus and Atomic Commitment Tasks CoRR abs/cs/0412115: (2004)
20EEBernadette Charron-Bost: Reductions in Distributed Computing Part II: k-Threshold Agreement Tasks CoRR abs/cs/0412116: (2004)
19EEBernadette Charron-Bost, André Schiper: Uniform consensus is harder than consensus. J. Algorithms 51(1): 15-37 (2004)
2003
18EEBernadette Charron-Bost: Comparing the Atomic Commitment and Consensus Problems. Future Directions in Distributed Computing 2003: 29-34
17EEBernadette Charron-Bost, Robert Cori: A Note on Linearizability and the Global Time Axiom. Parallel Processing Letters 13(1): 19-24 (2003)
2002
16EEBernadette Charron-Bost, Xavier Défago, André Schiper: Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently. SRDS 2002: 244-249
2001
15EEBernadette Charron-Bost: Agreement Problems in Fault-Tolerant Distributed Systems. SOFSEM 2001: 10-32
14EEBernadette Charron-Bost, Xavier Défago, André Schiper: Time vs. Space in Fault-Tolerant Distributed Systems. WORDS 2001: 21-27
2000
13EEBernadette Charron-Bost, Sam Toueg, Anindya Basu: Revisiting Safety and Liveness in the Context of Failures. CONCUR 2000: 552-565
12EEBernadette Charron-Bost, Rachid Guerraoui, André Schiper: Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. DSN 2000: 523-532
1997
11 Bernadette Charron-Bost, Robert Cori, Antoine Petit: Introduction à l'algorithmique des objets partagés. ITA 31(2): 97-148 (1997)
10 Bernadette Charron-Bost, Gerard Tel: Calculs approchés de la borne inférieure de valeurs réparties. ITA 31(4): 305-330 (1997)
1996
9 Anindya Basu, Bernadette Charron-Bost, Sam Toueg: Crash Failures vs. Crash + Link Failures (Abstract). PODC 1996: 246
8EEAnindya Basu, Bernadette Charron-Bost, Sam Toueg: Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes. WDAG 1996: 105-122
7 Bernadette Charron-Bost, Friedemann Mattern, Gerard Tel: Synchronous, Asynchronous, and Causally Ordered Communication. Distributed Computing 9(4): 173-191 (1996)
1995
6EEBernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier: Local and Temporal Predicates In Distributed Systems. ACM Trans. Program. Lang. Syst. 17(1): 157-179 (1995)
1993
5 Bernadette Charron-Bost: Coupling Coefficients of a Distributed Execution. Theor. Comput. Sci. 110(2): 341-376 (1993)
1991
4 Bernadette Charron-Bost: Concerning the Size of Logical Clocks in Distributed Systems. Inf. Process. Lett. 39(1): 11-16 (1991)
1990
3EEBernadette Charron-Bost: Concerning the Size of Clocks. Semantics of Systems of Concurrent Processes 1990: 176-184
1989
2EEBernadette Charron-Bost: Measure of Parallelism of Distributed Computations. STACS 1989: 434-445
1EEBernadette Charron-Bost: Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory. WDAG 1989: 45-56

Coauthor Index

1Anindya Basu [8] [9] [13]
2Mária Bieliková [23]
3Martin Biely [26]
4Mouna Chaouch-Saad [30]
5Robert Cori [11] [17]
6Xavier Défago [14] [16]
7Carole Delporte-Gallet (Carole Delporte) [6]
8Hugues Fauconnier [6]
9Fabrice Le Fessant [22]
10Antoine Gaillard [26] [29]
11Rachid Guerraoui [12]
12Martin Hutle [26]
13Friedemann Mattern [7]
14Stephan Merz [30]
15Antoine Petit [11]
16André Schiper [12] [14] [16] [19] [24] [25] [26] [27] [28]
17Ondrej Sýkora [23]
18Gerard Tel [7] [10]
19Sam Toueg [8] [9] [13]
20Peter Vojtás [23]
21Jennifer L. Welch [29]
22Josef Widder [26] [29]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)