Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pavan Poudel, Gokarna Sharma |
An Adaptive Logging Framework for Persistent Memories. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lenzen 0001, Moti Medina |
Robust Routing Made Easy. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fathiyeh Faghih, Borzoo Bonakdarpour |
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Shibata, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Brief Announcement: Space-Efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Volker Turau |
Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Chatzigiannakis, Paul G. Spirakis |
The Dynamics and Stability of Probabilistic Population Processes. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pavan Poudel, Gokarna Sharma |
Universally Optimal Gathering Under Limited Visibility. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fukuhito Ooshita, Ajoy K. Datta, Toshimitsu Masuzawa |
Self-stabilizing Rendezvous of Synchronous Mobile Agents in Graphs. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Mell, John Kelsey, James M. Shook |
Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Sudo, Ajoy K. Datta, Lawrence L. Larmore, Toshimitsu Masuzawa |
Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lin Chen 0009, Lei Xu 0012, Nolan Shah, Zhimin Gao, Yang Lu 0010, Weidong Shi |
On Security Analysis of Proof-of-Elapsed-Time (PoET). |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Edward Talmage, Jennifer L. Welch |
Relaxed Data Types as Consistency Conditions. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed B. Mansour, Ramachandran Vaidyanathan, Shuangqing Wei |
Brief Announcement: Asynchronous, Distributed, Optical Mutual Exclusion. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, Johanne Cohen, Laurence Pilard |
Self-stabilizing Distributed Stable Marriage. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel |
Bitcoin a Distributed Shared Register. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan |
Constant-Time Complete Visibility for Asynchronous Robots with Lights. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hisaki Kobayashi, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul G. Spirakis, Philippas Tsigas (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita |
Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited Visibility. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil |
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues 0001 |
Generalized Paxos Made Byzantine (and Less Complex). |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Conrad Burchert, Christian Decker 0002, Roger Wattenhofer |
Scalable Funding of Bitcoin Micropayment Channel Networks - Regular Submission. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Noël Gillet, Nicolas Hanusse |
A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Feldmann 0001, Christian Scheideler |
A Self-stabilizing General De Bruijn Graph. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tsuyoshi Gotoh, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
How to Simulate Message-Passing Algorithms in Mobile Agent Systems with Faults. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gennaro Cordasco, Luisa Gargano |
Space-Optimal Proportion Consensus with Population Protocols. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Siamak Solat, Maria Potop-Butucaru |
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dan Brownstein, Shlomi Dolev, Niv Gilboa |
Broadcast Encryption with Both Temporary and Permanent Revocation. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Boaz Patt-Shamir, Mor Perry |
Proof-Labeling Schemes: Broadcast, Unicast and in Between. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Okumura, Koichi Wada 0001, Yoshiaki Katayama |
Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hsin-Hao Su, Lili Su, Anna R. Dornhaus, Nancy A. Lynch |
Ant-Inspired Dynamic Task Allocation via Gossiping. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shankha Chatterjee, Wojciech M. Golab |
Self-tuning Eventually-Consistent Data Stores. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia |
Brief Announcement: Federated Code Auditing and Delivery for MPC. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Lamprou 0001, Russell Martin, Paul G. Spirakis |
Cover Time in Edge-Uniform Stochastically-Evolving Graphs. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Khai T. Phan, Ryan Ewing, David Starobinski, Liangxiao Xin |
Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lewis Tseng |
An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Lou De Carufel, Paola Flocchini |
Fault-Induced Dynamics of Oblivious Robots on a Line. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Subhash Bhagat, Krishnendu Mukhopadhyaya |
Optimum Algorithm for Mutual Visibility Among Asynchronous Robots with Lights. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Zamani, Jared Saia, Jedidiah R. Crandall |
TorBricks: Blocking-Resistant Tor Bridge Distribution. |
SSS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florence Levé, Khaled Mohamed, Vincent Villain |
Snap-Stabilizing PIF on Arbitrary Connected Networks in Message Passing Model. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore |
Leader Election in Rings with Bounded Multiplicity (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Dambreville, Joanna Tomasik, Johanne Cohen |
Meta-algorithm to Choose a Good On-Line Prediction (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Yakami, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita |
Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan, Costas Busch, Suresh Rai |
Complete Visibility for Robots with Lights in O(1) Time. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda |
Analysis of Computing Policies Using SAT Solvers (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guy Even, Moti Medina, Boaz Patt-Shamir |
On-Line Path Computation and Function Placement in SDNs. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lenzen 0001, Joel Rybicki |
Near-Optimal Self-stabilising Counting and Firing Squads. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
Automatic Addition of Conflicting Properties. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Binun, Thierry Coupaye, Shlomi Dolev, Mohammed Kassi-Lahlou, Marc Lacoste, Alex Palesandro, Reuven Yagel, Leonid Yankulin |
Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil |
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Gmyr, Jonas Lefèvre, Christian Scheideler |
Self-stabilizing Metric Graphs. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davide Canepa, Xavier Défago, Taisuke Izumi, Maria Potop-Butucaru |
Flocking with Oblivious Robots. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Haddad 0001, Colette Johnen, Sven Köhler 0001 |
Polynomial Silent Self-Stabilizing p-Star Decomposition (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas, Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil |
Packet Efficient Implementation of the Omega Failure Detector. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Peva Blanchard, Janna Burman, Oksana Denysyuk |
On the Power of Oracle \varOmega ? for Self-Stabilizing Leader Election in Population Protocols. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mikaël Rabie |
Global Versus Local Computations: Fast Computing with Identifiers (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Perronne, Sara Bouchenak |
Towards Efficient and Robust BFT Protocols with ER-BFT (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Khanchandani, Christoph Lenzen 0001 |
Self-stabilizing Byzantine Clock Synchronization with Optimal Precision. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Godard |
Snap-Stabilizing Tasks in Anonymous Networks. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers, Petr Kuznetsov, Thibault Rieutord |
Perfect Failure Detection with Very Few Bits. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nayuta Yanagisawa |
Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marjorie Bournat, Ajoy K. Datta, Swan Dubois |
Self-stabilizing Robots in Highly Dynamic Environments. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas, Sébastien Tixeuil |
Probabilistic Asynchronous Arbitrary Pattern Formation (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil |
Infinite Unlimited Churn (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Balabonski, Amélie Delga, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain |
Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Armando Castañeda, Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
Making Local Algorithms Wait-Free: The Case of Ring Coloring. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita |
Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Landsiedel, Thomas Petig, Elad Michael Schiller |
DecTDMA: A Decentralized-TDMA - With Link Quality Estimation for WSNs. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lili Su, Nitin H. Vaidya |
Robust Multi-agent Optimization: Coping with Byzantine Agents with Input Redundancy. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lili Su, Nitin H. Vaidya |
Asynchronous Non-Bayesian Learning in the Presence of Crash Failures. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Franck Petit (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gerry Siegemund, Volker Turau |
PSVR - Self-stabilizing Publish/Subscribe Communication for Ad-Hoc Networks (Short Paper). |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Gasieniec, David D. Hamilton, Russell Martin, Paul G. Spirakis |
The Match-Maker: Constant-Space Distributed Majority via Random Walks. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi |
Constructing Self-stabilizing Oscillators in Population Protocols. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Berns |
Avatar: A Time- and Space-Efficient Self-stabilizing Overlay Network. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Swan Dubois, Mohamed-Hamza Kaaouachi, Franck Petit |
Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Koutsopoulos, Christian Scheideler, Thim Strothmann |
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dan Brownstein, Shlomi Dolev, Niv Gilboa |
Functional Encryption for Cascade Automata (Extended Abstract). |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christian Decker 0002, Roger Wattenhofer |
A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas, Sébastien Tixeuil |
The Complexity of Data Aggregation in Static and Dynamic Wireless Sensor Networks. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bao-Thien Hoang, Abdessamad Imine |
Efficient and Decentralized Polling Protocol for General Social Networks. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad Michael Schiller |
Self-stabilizing Virtual Synchrony. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Oday Jubran, Eike Möhlmann, Oliver E. Theel |
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Pelc, Alexander A. Schwarzmann (eds.) |
Stabilization, Safety, and Security of Distributed Systems - 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ling Zhu 0001, Jingshu Chen, Sandeep S. Kulkarni |
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Damien Imbs, Sergio Rajsbaum, Adrián Valle |
Untangling Partial Agreement: Iterated x-consensus Simulations. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Saba Aflaki, Borzoo Bonakdarpour, Sébastien Tixeuil |
Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Ries, Bernhard Schamberg, Walter Unger |
The k-Observer Problem on d-regular Graphs. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lili Su, Nitin H. Vaidya |
Reaching Approximate Byzantine Consensus with Multi-hop Communication. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rezwana Reaz, Muqeet Ali, Mohamed G. Gouda, Marijn Heule, Ehab S. Elmallah |
The Implication Problem of Computing Policies. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex P. Klinkhamer, Ali Ebnenasir |
Synthesizing Self-stabilization through Superposition and Backtracking. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit |
Self-stabilizing Leader Election in Polynomial Steps. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Kührer, Johannes Hoffmann, Thorsten Holz |
CloudSylla: Detecting Suspicious System Calls in the Cloud. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Glacet, Nicolas Hanusse, David Ilcinkas, Colette Johnen |
Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Networks. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gil Einziger, Roy Friedman |
Postman: An Elastic Highly Resilient Publish/Subscribe Framework for Self Sustained Service Independent P2P Networks. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yue Qiao, Kannan Srinivasan 0001, Anish Arora |
Configuration Hopping: A Secure Communication Protocol without Explicit Key Exchange. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Di Stefano, Alfredo Navarra |
Optimal Gathering on Infinite Grids. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Nicola Santoro, Giovanni Viglietta |
Robots with Lights: Overcoming Obstructed Visibility Without Colliding. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Ramzi Martin Kahil, Reuven Yagel |
Stateless Stabilization Bootstrap (Extended Abstract). |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Brahim Neggazi, Mohammed Haddad 0001, Volker Turau, Hamamache Kheddouci |
A Self-stabilizing Algorithm for Edge Monitoring Problem. |
SSS |
2014 |
DBLP DOI BibTeX RDF |
|