Search results for "SSS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "SSS"( http://dblp.L3S.de/Venues/SSS )