Search results for "SSS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Martyn Thomas	Accidental Systems, Hidden Assumptions and Safety Assurance.	SSS	2012	DBLP DOI BibTeX RDF
1	Stuart Reid	The New Software Testing Standard.	SSS	2012	DBLP DOI BibTeX RDF
1	John A. McDermid, Andrew Rae	Goal-Based Safety Standards: Promises and Pitfalls.	SSS	2012	DBLP DOI BibTeX RDF
1	Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch	Dynamic Regular Registers in Systems with Churn.	SSS	2011	DBLP DOI BibTeX RDF
1	Hagit Attiya, Armando Castañeda	A Non-topological Proof for the Impossibility of k-Set Agreement.	SSS	2011	DBLP DOI BibTeX RDF
1	William Leal, Micah McCreery, Daniel Faria	The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System.	SSS	2011	DBLP DOI BibTeX RDF
1	Richard Anthony, Mariusz Pelc, Haffiz Suahib	Brief Announcement: Towards Interoperability Standards and Services for Autonomic Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Anne-Marie Kermarrec, Lawrence L. Larmore, Erwan Le Merrer	Brief Announcement: A Stable and Robust Membership Protocol.	SSS	2011	DBLP DOI BibTeX RDF
1	Fawaz M. Al-Azemi, Mehmet Hakan Karaata	Brief Announcement: A Stabilizing Algorithm for Finding Two Edge-Disjoint Paths in Arbitrary Graphs.	SSS	2011	DBLP DOI BibTeX RDF
1	Ingy Ramzy, Anish Arora	Using Zero Knowledge to Share a Little Knowledge: Bootstrapping Trust in Device Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Xavier Défago, Franck Petit, Vincent Villain (eds.)	Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings	SSS	2011	DBLP DOI BibTeX RDF
1	Davide Frey, Arnaud Jégou, Anne-Marie Kermarrec	Social Market: Combining Explicit and Implicit Social Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Paul G. Spirakis	The Computational Power of Simple Protocols for Self-awareness on Graphs.	SSS	2011	DBLP DOI BibTeX RDF
1	Ofer Hermoni, Niv Gilboa, Eyal Felstaine, Yuval Elovici, Shlomi Dolev	Rendezvous Tunnel for Anonymous Publishing: Clean Slate and Tor Based Designs.	SSS	2011	DBLP DOI BibTeX RDF
1	Mohamed M. Saad, Binoy Ravindran	Snake: Control Flow Distributed Software Transactional Memory.	SSS	2011	DBLP DOI BibTeX RDF
1	Jun Kiniwa, Kensaku Kikuta	Price Stabilization in Networks - What Is an Appropriate Model ?	SSS	2011	DBLP DOI BibTeX RDF
1	Marc Shapiro 0001, Nuno M. Preguiça, Carlos Baquero, Marek Zawirski	Conflict-Free Replicated Data Types.	SSS	2011	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët	Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example.	SSS	2011	DBLP DOI BibTeX RDF
1	Nicola Santoro	Computing in Time-Varying Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Sven Köhler 0001, Volker Turau	Space-Efficient Fault-Containment in Dynamic Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Silvia Bonomi, Amir Soltani Nezhad	An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn.	SSS	2011	DBLP DOI BibTeX RDF
1	Roberto Beraldi, Adriano Cerocchi, Fabio Papale, Leonardo Querzoni	Brief Announcement: Distributed Self-organizing Event Space Partitioning for Content-Based Publish/Subscribe Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Andréa W. Richa, Christian Scheideler, Phillip Stevens	Self-Stabilizing De Bruijn Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Jacek Cichon, Rafal Kapelko, Karol Marchwicki	Brief Announcement: A Note on Replication of Documents.	SSS	2011	DBLP DOI BibTeX RDF
1	Toshimitsu Masuzawa	Silence Is Golden: Self-stabilizing Protocols Communication-Efficient after Convergence.	SSS	2011	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre	Self-stabilizing Labeling and Ranking in Ordered Trees.	SSS	2011	DBLP DOI BibTeX RDF
1	Yonghwan Kim 0001, Tadashi Araragi, Junya Nakamura 0001, Toshimitsu Masuzawa	Brief Announcement: A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Tatsuro Iida, Atsuko Miyaji, Kazumasa Omote	POLISH: Proactive Co-operative LInk Self-Healing for Wireless Sensor Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Danny Dolev, Matthias Függer, Christoph Lenzen 0001, Ulrich Schmid 0001	Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract].	SSS	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Anil Kumar Katti, Mohamed G. Gouda	Brief Announcement: A Conjecture on Traceability, and a New Class of Traceable Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju	Building Self-stabilizing Overlay Networks with the Transitive Closure Framework.	SSS	2011	DBLP DOI BibTeX RDF
1	Mitre Costa Dourado, Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz Szwarcfiter	The South Zone: Distributed Algorithms for Alliances.	SSS	2011	DBLP DOI BibTeX RDF
1	Hrishikesh B. Acharya, Taehwan Choi, Rida A. Bazzi, Mohamed G. Gouda	The K-Observer Problem in Computer Networks.	SSS	2011	DBLP DOI BibTeX RDF
1	Shailesh Vaya	Brief Announcement: Faster Gossiping in Bidirectional Radio Networks with Large Labels.	SSS	2011	DBLP DOI BibTeX RDF
1	Achour Mostéfaoui, Michel Raynal, Julien Stainer	Relations Linking Failure Detectors Associated with k-Set Agreement in Message-Passing Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Active Stabilization.	SSS	2011	DBLP DOI BibTeX RDF
1	Zohir Bouzid, Anissa Lamani	Robot Networks with Homonyms: The Case of Patterns Formation.	SSS	2011	DBLP DOI BibTeX RDF
1	Bernadette Charron-Bost, Henri Debrat, Stephan Merz	Formal Verification of Consensus Algorithms Tolerating Malicious Faults.	SSS	2011	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication.	SSS	2011	DBLP DOI BibTeX RDF
1	Dominique Méry, Neeraj Kumar Singh 0001	Analysis of DSR Protocol in Event-B.	SSS	2011	DBLP DOI BibTeX RDF
1	Christian Gorecki, Felix C. Freiling, Marc Kührer, Thorsten Holz	TrumanBox: Improving Dynamic Malware Analysis by Emulating the Internet.	SSS	2011	DBLP DOI BibTeX RDF
1	Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil	Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore	Brief Announcement: Sorting on Skip Chains.	SSS	2011	DBLP DOI BibTeX RDF
1	Rizal Mohd Nor, Mikhail Nesterenko, Christian Scheideler	Corona: A Stabilizing Deterministic Message-Passing Skip List.	SSS	2011	DBLP DOI BibTeX RDF
1	Björn Saballus, Stephan-Alexander Posselt, Thomas Fuhrmann	Brief Announcement: Fault-Tolerant Object Location in Large Compute Clusters.	SSS	2011	DBLP DOI BibTeX RDF
1	Albert Farré Benet	A Risk Driven Approach to testing Medical Device Software.	SSS	2011	DBLP DOI BibTeX RDF
1	Chris Dale, Tom Anderson 0001 (eds.)	Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011	SSS	2011	DBLP DOI BibTeX RDF
1	Robert Dewar	A Pragmatic View of Formal Methods: the Hi-Lite Project.	SSS	2011	DBLP DOI BibTeX RDF
1	Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey	Distinguishing Fact from Fiction in a System of Systems Safety Case.	SSS	2011	DBLP DOI BibTeX RDF
1	Steve Kinnersly	Safety Cases - what can we learn from Science?	SSS	2011	DBLP DOI BibTeX RDF
1	Paul Parkinson	Safety, Security and Multicore.	SSS	2011	DBLP DOI BibTeX RDF
1	Mike Parsons, Simon Scutt	System Safety in an IT Service Organization.	SSS	2011	DBLP DOI BibTeX RDF
1	Vivien Hamilton	Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards.	SSS	2011	DBLP DOI BibTeX RDF
1	Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon	A New Approach to creating Clear Safety Arguments.	SSS	2011	DBLP DOI BibTeX RDF
1	Alan Debenham	Maintaining the Safety of Operational Health ICT Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Dewi Daniels	Are we there yet? A Practitioner's View of DO-178C/ED-12C.	SSS	2011	DBLP DOI BibTeX RDF
1	Armin Beer, Bernhard Peischl	Testing of Safety-Critical Systems - a Structural Approach to Test Case Design.	SSS	2011	DBLP DOI BibTeX RDF
1	Ron Bell	Introduction and Revision of IEC 61508.	SSS	2011	DBLP DOI BibTeX RDF
1	Bryan Bakker	Testing Experiences of Safety-Critical Embedded Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Sung Deok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim	Testing of Safety-Critical Software Embedded in an Artificial Heart.	SSS	2011	DBLP DOI BibTeX RDF
1	Celestina Bianco	Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices.	SSS	2011	DBLP DOI BibTeX RDF
1	Thomas Docker	A Project Manager's View of Safety-Critical Systems.	SSS	2011	DBLP DOI BibTeX RDF
1	Mervyn Playle	CE Marking - the Essential Requirements.	SSS	2011	DBLP DOI BibTeX RDF
1	Matthew P. Johnson 0001, Amotz Bar-Noy, Mani B. Srivastava	Brief Announcement: Configuration of Actuated Camera Networks for Multi-target Coverage.	SSS	2010	DBLP DOI BibTeX RDF
1	Taylor T. Johnson, Sayan Mitra	Safe Flocking in Spite of Actuator Faults.	SSS	2010	DBLP DOI BibTeX RDF
1	Mihalis Yannakakis	Computation of Equilibria and Stable Solutions.	SSS	2010	DBLP DOI BibTeX RDF
1	S. Dov Gordon, Jonathan Katz, Ranjit Kumaresan, Arkady Yerukhimovich	Authenticated Broadcast with a Partially Compromised Public-Key Infrastructure.	SSS	2010	DBLP DOI BibTeX RDF
1	Eli Gafni, Sergio Rajsbaum	Recursion in Distributed Computing.	SSS	2010	DBLP DOI BibTeX RDF
1	Jorge Arturo Cobb	Brief Announcement: Fast Convergence in Route-Preservation.	SSS	2010	DBLP DOI BibTeX RDF
1	Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein	Adaptive Containment of Time-Bounded Byzantine Faults.	SSS	2010	DBLP DOI BibTeX RDF
1	Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale	Modeling and Analyzing Periodic Distributed Computations.	SSS	2010	DBLP DOI BibTeX RDF
1	Bo Jiang 0008, Binoy Ravindran, Changsoo Kim	Lightweight Live Migration for High Availability Cluster Service.	SSS	2010	DBLP DOI BibTeX RDF
1	Damien Imbs, Michel Raynal	On Adaptive Renaming under Eventually Limited Contention.	SSS	2010	DBLP DOI BibTeX RDF
1	Evangelos Kranakis, Michel Paquette	Broadcasting in Sensor Networks of Unknown Topology in the Presence of Swamping.	SSS	2010	DBLP DOI BibTeX RDF
1	Amos Israeli, Mathew D. McCubbins, Ramamohan Paturi, Andrea Vattani	Low Memory Distributed Protocols for 2-Coloring.	SSS	2010	DBLP DOI BibTeX RDF
1	Vedant Misra, Dion Harmon, Yaneer Bar-Yam	Vulnerability Analysis of High Dimensional Complex Systems.	SSS	2010	DBLP DOI BibTeX RDF
1	Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier	Approximation of delta-Timeliness.	SSS	2010	DBLP DOI BibTeX RDF
1	Junwhan Kim, Binoy Ravindran	On Transactional Scheduling in Distributed Transactional Memory Systems.	SSS	2010	DBLP DOI BibTeX RDF
1	Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni	"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses.	SSS	2010	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Stably Decidable Graph Languages by Mediated Population Protocols.	SSS	2010	DBLP DOI BibTeX RDF
1	Alain Cournier, Swan Dubois, Anissa Lamani, Franck Petit, Vincent Villain	Snap-Stabilizing Linear Message Forwarding.	SSS	2010	DBLP DOI BibTeX RDF
1	Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil	On Byzantine Containment Properties of the min + 1 Protocol.	SSS	2010	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Complexity Issues in Automated Model Revision without Explicit Legitimate State.	SSS	2010	DBLP DOI BibTeX RDF
1	Sven Köhler 0001, Volker Turau	A New Technique for Proving Self-stabilizing under the Distributed Scheduler.	SSS	2010	DBLP DOI BibTeX RDF
1	Leonid A. Levin	Arcane Information, Solving Relations, and Church Censorship.	SSS	2010	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Lawrence L. Larmore, Hema Piniganti	Self-stabilizing Leader Election in Dynamic Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang Chen, David Eisenstat, Goran Konjevod	Storage Capacity of Labeled Graphs.	SSS	2010	DBLP DOI BibTeX RDF
1	Abhishek Dhama, Oliver E. Theel	A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms.	SSS	2010	DBLP DOI BibTeX RDF
1	Jean R. S. Blair, Fredrik Manne, Rodica Mihai	Efficient Self-stabilizing Graph Searching in Tree Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Andrei Giurgiu, Rachid Guerraoui, Kévin Huguenin, Anne-Marie Kermarrec	Computing in Social Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Yaser Houri, B. Amann 0001, Thomas Fuhrmann	A Quantitative Analysis of Redundancy Schemes for Peer-to-Peer Storage Systems.	SSS	2010	DBLP DOI BibTeX RDF
1	Ezra N. Hoch, Michael Ben-Or, Danny Dolev	A Fault-Resistant Asynchronous Clock Function.	SSS	2010	DBLP DOI BibTeX RDF
1	Heverson Borba Ribeiro, Emmanuelle Anceaume	A Comparative Study of Rateless Codes for P2P Persistent Storage.	SSS	2010	DBLP DOI BibTeX RDF
1	Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis	Algorithmic Verification of Population Protocols.	SSS	2010	DBLP DOI BibTeX RDF
1	Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller, Gongxi Zhu	Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Systematic Correct Construction of Self-stabilizing Systems: A Case Study.	SSS	2010	DBLP DOI BibTeX RDF
1	Yechiam Yemini	A Geometry of Networks.	SSS	2010	DBLP DOI BibTeX RDF
1	Ji Lu, Yaoxue Zhang, Yuezhi Zhou	A Framework for Adaptive Optimization of Remote Synchronous CSCW in the Cloud Computing Era.	SSS	2010	DBLP DOI BibTeX RDF
1	Stéphane Pomportes, Joanna Tomasik, Anthony Busson, Véronique Vèque	Self-stabilizing Algorithm of Two-Hop Conflict Resolution.	SSS	2010	DBLP DOI BibTeX RDF
1	Samuel Bernard, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	A Framework for Secure and Private P2P Publish/Subscribe.	SSS	2010	DBLP DOI BibTeX RDF

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