Browse by search - Equipe Autonomic and Critical Embedded Systems

Autonomous Critical Embedded Systems team

	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-02287904v1 Journal articles Petr Kuznetsov. The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017 SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩
	hal-01207895v1 Conference papers Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. Brief Announcement: On the Uncontended Complexity of Anonymous Consensus DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
	hal-01572257v4 Preprints, Working Papers, ... Petr Kuznetsov, Thibault Rieutord, Yuan He. An Asynchronous Computability Theorem for Fair Adversaries 2017
	hal-03022562v1 Conference papers Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. Scalable Byzantine Reliable Broadcast DISC, Oct 2019, Budapest, Hungary
	hal-02413314v1 Journal articles Swan Dubois, Rachid Guerraoui, Petr Kuznetsov, Franck Petit, Pierre Sens. The weakest failure detector for eventual consistency Distributed Computing, Springer Verlag, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
	hal-03559623v1 Conference papers Petr Kuznetsov, Andrei Tonkikh, Yan Zhang. Revisiting Optimal Resilience of Fast Byzantine Consensus PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.343-353, ⟨10.1145/3465084.3467924⟩
	hal-03560232v1 Conference papers Petr Kuznetsov, Vitaly Aksenov, Vincent Gramoli, Srivatsan Ravi. Optimal Concurrency for List-Based Sets Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
	hal-02287767v1 Journal articles Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. On the uncontended complexity of anonymous agreement Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
	hal-02287768v1 Journal articles Petr Kuznetsov, Sathya Peri. Non-interference and local correctness in transactional memory Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
	hal-01887733v1 Conference papers Vitalii Aksenov, Dan Alistarh, Petr Kuznetsov. Brief Announcement: Performance Prediction for Coarse-Grained Locking PODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
	hal-02288008v1 Journal articles Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers CoRR, 2018, abs/1812.10844
	hal-01888607v1 Conference papers Vitalii Aksenov, Petr Kuznetsov, Anatoly Shalyto. On Helping and Stacks The International Conference on Networked Systems, May 2018, Essaouira, Morocco
	hal-03022579v1 Conference papers Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti et al. Online Payments by Merely Broadcasting Messages DSN, Jun 2020, Valencia, Spain
	hal-03022583v1 Conference papers Petr Kuznetsov, Thibault Rieutord. Brief Announcement: On Decidability of 2-Process Affine Models DISC, Oct 2020, VIRTUAL, France
	hal-01304268v2 Conference papers Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. Complexité du consensus anonyme en l'absence de concurrence ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
	hal-03559549v1 Journal articles Petr Kuznetsov, Vitaly Aksenov. Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020 ACM SIGACT News, Association for Computing Machinery (ACM), 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
	hal-03559551v1 Conference papers Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni. Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement 35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
	hal-01411528v1 Conference papers Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. On the Uncontended Complexity of Anonymous Consensus 19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
	hal-01664898v1 Conference papers Vitalii Aksenov, Vincent Gramoli, Petr Kuznetsov, Anna Malova, Srivatsan Ravi. A Concurrency-Optimal Binary Search Tree 23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
	hal-02364297v1 Journal articles Dan Alistarh, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, Nir Shavit. Inherent limitations of hybrid transactional memory Distributed Computing, Springer Verlag, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
	cea-02321547v1 Reports Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni. Reconfigurable Lattice Agreement and Applications [Research Report] Institut Polytechnique Paris; CEA List. 2019
	hal-02287223v1 Conference papers Petr Kuznetsov, Srivatsan Ravi. Progressive Transactional Memory in Time and Space PaCT, Sep 2015, Petrozavodsk, Russia
	hal-02287770v1 Journal articles Vitaly Aksenov, Petr Kuznetsov. Parallel Combining: Making Use of Free Cycles CoRR, 2017, abs/1710.07588
	hal-03022570v1 Conference papers Petr Kuznetsov, Thibault Rieutord, Tucci-Piergiovanni Sara. Reconfigurable Lattice Agreement and Applications OPODIS, Dec 2019, Neuchatel, Switzerland
	hal-01423637v1 Conference papers Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord. Perfect Failure Detection with Very Few Bits 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
	hal-01787848v1 Conference papers Damien Imbs, Petr Kuznetsov, Thibault Rieutord. Progress-Space Tradeoffs in Single-Writer Memory Implementations 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisbon, Portugal. ⟨10.4230/LIPIcs.OPODIS.2017.9⟩
	hal-01207872v1 Conference papers Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi, Di Shang. Brief Announcement: A Concurrency-Optimal List-Based Set DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
	hal-03559548v1 Journal articles Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord. Perfect failure detection with very few bits Information and Computation, Elsevier, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
	hal-03022581v1 Conference papers Petr Kuznetsov, Andrei Tonkikh. Asynchronous Reconfiguration with Byzantine Failures DISC, Oct 2020, VIRTUAL, France
	hal-02412405v1 Conference papers Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto. Parallel Combining: Benefits of Explicit Synchronization 22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩
	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize