Search - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly

Filter your results

12 Results
Structure: Internal structure identifier : 250023

Synchronous t-Resilient Consensus in Arbitrary Graphs

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy , et al.
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. ⟨10.1007/978-3-030-34992-9_5⟩
Conference papers hal-02433524v1
Image document

Asynchronous Coordination Under Preferences and Constraints

Armando Castañeda , Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy
23rd International Colloquium on Structural Information and Communication Complexity, Jul 2016, Helsinki, Finland
Conference papers hal-01341710v1
Image document

Two Convergence Problems for Robots on Graphs

Armando Castañeda , Sergio Rajsbaum , Matthieu Roy
7th IEEE Latin-American Symposium on Dependable Computing, Oct 2016, Cali, Colombia. ⟨10.1109/LADC.2016.21⟩
Conference papers hal-01386628v1
Image document

Tasks in modular proofs of concurrent algorithms

Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Journal articles hal-04086420v1
Image document

The Opinion Number of Set-Agreement

Pierre Fraigniaud , Sergio Rajsbaum , Matthieu Roy , Corentin Travers
OPODIS 2014 - 18th International Conference on Principles of Distributed Systems, Dec 2014, Cortina d’Ampezzo, Italy. pp.155-170
Conference papers hal-01073578v1
Image document

Automatically Adjusting Concurrency to the Level of Synchrony

Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy
International Symposium on Distributed Computing (DISC), Oct 2014, Austin, United States. pp.1-15, ⟨10.1007/978-3-662-45174-8_1⟩
Conference papers hal-01062031v1
Image document

Asynchronous Coordination with Constraints and Preferences

Armando Castañeda , Pierre Fraigniaud , Eli Gafni , Sergio Rajsbaum , Matthieu Roy
35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), Jul 2016, Chicago, United States. ⟨10.1145/2933057.2933081⟩
Conference papers hal-01326911v1

A Topological Perspective on Distributed Network Algorithms

Armando Castañeda , Pierre Fraigniaud , Ami Paz , Sergio Rajsbaum , Matthieu Roy , et al.
26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Jul 2019, L'Aquila, Italy. ⟨10.1007/978-3-030-24922-9_1⟩
Conference papers hal-02433511v1
Image document

Building a microfluidic cell culture platform with stiffness control using Loctite 3525 glue

Genaro Vázquez-Victorio , Cindy Peto-Gutiérrez , Beatriz Díaz-Bello , Mariel Cano-Jorge , Daniel Pérez-Calixto , et al.
Lab on a Chip, 2019, 19 (20), pp.3512 - 3525. ⟨10.1039/c9lc00649d⟩
Journal articles hal-03041909v1
Image document

Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour

Armando Castañeda , Yoram Moses , Michel Raynal , Matthieu Roy
International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
Conference papers hal-01559723v1
Image document

Convergence and covering on graphs for wait-free robots

Armando Castañeda , Sergio Rajsbaum , Matthieu Roy
Journal of the Brazilian Computer Society, 2018, 24 (1), ⟨10.1186/s13173-017-0065-8⟩
Journal articles hal-01740338v1
Image document

Tasks in Modular Proofs of Concurrent Algorithms

Armando Castañeda , Aurélie Hurault , Philippe Quéinnec , Matthieu Roy
21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Conference papers hal-02903005v1