Search results for "SSS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit	Circle Formation of Weak Mobile Robots.	SSS	2006	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Marina Kopeetsky	Secure Communication for RFIDs Proactive Information Security Within Computational Security.	SSS	2006	DBLP DOI BibTeX RDF	information security, computational security, authentication protocol, RFID tags, pseudo-random numbers
1	Anurag Dasgupta, Sukumar Ghosh, Sébastien Tixeuil	Selfish Stabilization.	SSS	2006	DBLP DOI BibTeX RDF
1	Martin Biely, Josef Widder	Optimal Message-Driven Implementation of Omega with Mute Processes.	SSS	2006	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Incremental Synthesis of Fault-Tolerant Real-Time Programs.	SSS	2006	DBLP DOI BibTeX RDF	Bounded-time recovery, Fault-tolerance, Real-time, Formal methods, Program transformation, Program synthesis
1	William Leal, Sandip Bapat, Taewoo Kwon, Pihui Wei, Anish Arora	Stabilizing Health Monitoring for Wireless Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Christian Boulinier, Franck Petit, Vincent Villain	Toward a Time-Optimal Odd Phase Clock Unison in Trees.	SSS	2006	DBLP DOI BibTeX RDF
1	Iching Boman, Jared Saia, Chaouki T. Abdallah, Edl Schamiloglu	Brief Announcement: Self-healing Algorithms for Reconfigurable Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni	Unconscious Eventual Consistency with Gossips.	SSS	2006	DBLP DOI BibTeX RDF
1	Ezra N. Hoch, Danny Dolev, Ariel Daliot	Self-stabilizing Byzantine Digital Clock Synchronization.	SSS	2006	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Reuven Yagel	Self-stabilizing Device Drivers.	SSS	2006	DBLP DOI BibTeX RDF	device driver failures, ata interface standard, self-stabilizing systems
1	Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni	A Case Study on Prototyping Power Management Protocols for Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, Nancy A. Lynch	A General Characterization of Indulgence.	SSS	2006	DBLP DOI BibTeX RDF
1	Ted Herman, Chen Zhang	Best Paper: Stabilizing Clock Synchronization for Wireless Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Abhishek Dhama, Oliver E. Theel, Timo Warns	Reliability and Availability Analysis of Self-stabilizing Systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Ina Schaefer, Arnd Poetzsch-Heffter	Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang	Fault Masking in Tri-redundant Systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Habib M. Ammari, Sajal K. Das 0001	Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF	kCWSN, fault tolerance, measures, connectivity, coverage
1	Shlomi Dolev, Yinnon A. Haviv	Stabilization Enabling Technology.	SSS	2006	DBLP DOI BibTeX RDF
1	Jehan-François Pâris, Thomas J. E. Schwarz, Darrell D. E. Long	Self-adaptive Disk Arrays.	SSS	2006	DBLP DOI BibTeX RDF	k-out-of-n systems, storage systems, fault-tolerant systems, repairable systems
1	Scott M. Pike, Yantao Song, Kaustav Ghoshal	Brief Announcement: Wait-Free Dining for Eventual Weak Exclusion.	SSS	2006	DBLP DOI BibTeX RDF
1	Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil	Self-stabilizing Philosophers with Generic Conflicts.	SSS	2006	DBLP DOI BibTeX RDF
1	Olga Brukman, Shlomi Dolev	Recovery Oriented Programming.	SSS	2006	DBLP DOI BibTeX RDF	autonomic computing, self-stabilization
1	Kajari Ghosh Dastidar, Ted Herman, Colette Johnen	Safe Peer-to-Peer Self-downloading.	SSS	2006	DBLP DOI BibTeX RDF
1	Chi-Hung Tzeng, Jehn-Ruey Jiang, Shing-Tsaan Huang	Self-stabilizing Asynchronous Phase Synchronization in General Graphs.	SSS	2006	DBLP DOI BibTeX RDF	Fault tolerance, Distributed system, Self-Stabilization, Spanning tree, Phase Synchronization
1	Toshimitsu Masuzawa, Sébastien Tixeuil	Bounding the Impact of Unbounded Attacks in Stabilization.	SSS	2006	DBLP DOI BibTeX RDF
1	Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic Mé, Ayda Saïdane, Eric Totel, Frédéric Tronel	A Dependable Intrusion Detection Architecture Based on Agreement Services.	SSS	2006	DBLP DOI BibTeX RDF	Intrusion detection, dependability, diversity, COTS, agreement protocols
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Brief Announcement: Distributed Synthesis of Fault-Tolerance.	SSS	2006	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Sylvie Delaët, Sammy Haddad	A 1-Strong Self-stabilizing Transformer.	SSS	2006	DBLP DOI BibTeX RDF	k-strong, Transformer, Self-stabilization, Fault Containment
1	Felix C. Freiling, Matthias Majuntke, Neeraj Mittal	Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures.	SSS	2006	DBLP DOI BibTeX RDF
1	Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier	Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems.	SSS	2006	DBLP DOI BibTeX RDF	Spanning Tree Construction, Distributed Algorithm, Self-Stabilization, Failure Detectors, Large Scale Systems
1	Alain Cournier, Stéphane Devismes, Vincent Villain	From Self- to Snap- Stabilization.	SSS	2006	DBLP DOI BibTeX RDF
1	Jun Kiniwa, Kensaku Kikuta	Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm.	SSS	2006	DBLP DOI BibTeX RDF
1	Wei Yu 0002, Nan Zhang 0004, Wei Zhao 0001	Self-adaptive Worms and Countermeasures.	SSS	2006	DBLP DOI BibTeX RDF	Game theory, Worm
1	Florent Claerhout	Evaluation of a Tracking Architecture in Wireless Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Pan Dong, Peidong Zhu, Xicheng Lu	Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET.	SSS	2006	DBLP DOI BibTeX RDF
1	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework.	SSS	2006	DBLP DOI BibTeX RDF	Composition, Self-stabilization, Minimum Spanning Tree, Median, Fault-containment
1	Shing-Tsaan Huang, Chi-Hung Tzeng	Distributed Edge Coloration for Bipartite Networks.	SSS	2006	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed system, Self-stabilization, Edge coloring
1	Fredrik Manne, Morten Mjelde	A Memory Efficient Self-stabilizing Algorithm for Maximal k -Packing.	SSS	2006	DBLP DOI BibTeX RDF	k-packing, self-stabilizing algorithms
1	Samia Souissi, Xavier Défago, Masafumi Yamashita	Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.	SSS	2006	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Maria Gradinariu (eds.)	Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings	SSS	2006	DBLP DOI BibTeX RDF
1	Martin Hutle, Dahlia Malkhi, Ulrich Schmid 0001, Lidong Zhou	Brief Announcement: Chasing the Weakest System Model for Implementing Omega and Consensus.	SSS	2006	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Colette Johnen, Stéphane Messika	All k -Bounded Policies Are Equivalent for Self-stabilization.	SSS	2006	DBLP DOI BibTeX RDF	scheduler, distributed algorithm, randomized algorithms, self-stabilizing system
1	Kai Chen 0009, Fan Jiang 0005, Zongyao Tang	Brief Announcement: Exploration and Mitigation of Deafness Problems in Directional Antennas Based Wireless Ad-Hoc Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Alastair Faulkner	Safety arguments for use with data-driven safety systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Werner Winkelbauer, Gabriele Schedl, Andreas Gerstinger	Safety Case Practice - Meet the Challenge.	SSS	2006	DBLP DOI BibTeX RDF
1	Carl Sandom, Derek Fowler	People and Systems: Striking a Safe Balance between Human and Machine.	SSS	2006	DBLP DOI BibTeX RDF
1	Derek Fowler, Bernd Tiemeyer	Safety Case Development - a Practical Guide.	SSS	2006	DBLP DOI BibTeX RDF
1	Felix Redmill	Understanding the Risks Posed by Management.	SSS	2006	DBLP DOI BibTeX RDF
1	Derek Partridge, Trevor C. Bailey, Richard M. Everson, Jonathan E. Fieldsend, Adolfo Hernández, Wojtek J. Krzanowski, Vitaly Schetinin	Classification with Confidence for Critical Systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Andrew Vickers	Governing Safety Management.	SSS	2006	DBLP DOI BibTeX RDF
1	Richard M. Everson, Jonathan E. Fieldsend, Trevor C. Bailey, Wojtek J. Krzanowski, Derek Partridge, Vitaly Schetinin, Adolfo Hernández	Optimising Data-Driven Safety Related Systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Kevin J. Anderson	Common Law Safety Case Approaches to Safety Critical Systems Assurance.	SSS	2006	DBLP DOI BibTeX RDF
1	Dewi Daniels	Safety Aspects of a Landing Gear System.	SSS	2006	DBLP DOI BibTeX RDF
1	Felix Redmill, Tom Anderson 0001 (eds.)	Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006	SSS	2006	DBLP DOI BibTeX RDF
1	Rob Weaver, Tim Kelly, Paul Mayo	Gaining Confidence in Goal-based Safety Cases.	SSS	2006	DBLP DOI BibTeX RDF
1	Max P. Halbert, Steve Tucker	Risk Assessment for M42 Active Traffic Management.	SSS	2006	DBLP DOI BibTeX RDF
1	Mário Brito, John May, Julio Gallardo, Ed Fergus	Use of Graphical Probabilistic Models to build SIL claims based on software safety standards such as IEC61508-3.	SSS	2006	DBLP DOI BibTeX RDF
1	José F. Ruiz	Ada 2005 for High-Integrity Systems.	SSS	2006	DBLP DOI BibTeX RDF
1	Henk A. P. Blom, Sybert H. Stroeve, Hans H. de Jong	Safety Risk Assessment by Monte Carlo Simulation of Complex Safety Critical Operations.	SSS	2006	DBLP DOI BibTeX RDF
1	Richard Maguire	So how do you make a full ALARP justification? Introducing the Accident Tetrahedron as a guide for Approaching Completeness.	SSS	2006	DBLP DOI BibTeX RDF
1	Gordon D. Baxter, Juliana Küster Filipe, Angela Miguel, Kenneth Tan	The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit.	SSS	2005	DBLP DOI BibTeX RDF
1	Peter K. D. Froome	Independent Safety Assessment of Safety Arguments.	SSS	2005	DBLP DOI BibTeX RDF
1	Felix Redmill, Tom Anderson 0001 (eds.)	Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005	SSS	2005	DBLP DOI BibTeX RDF
1	Samantha Lautieri, David Cooper, David Jackson	SafSec: Commonalities Between Safety and Security Assurance.	SSS	2005	DBLP DOI BibTeX RDF
1	Graham Jolliffe, Mark Nicholson 0001	Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints.	SSS	2005	DBLP DOI BibTeX RDF
1	Mark George	Identification of Time At Risk Periods of Significance to ALARP Justifications.	SSS	2005	DBLP DOI BibTeX RDF
1	David H. Smith	The IEE/BCS Independent Safety Assurance Working Group.	SSS	2005	DBLP DOI BibTeX RDF
1	Jane Fenn, Brian Jepson	Putting Trust into Safety Arguments.	SSS	2005	DBLP DOI BibTeX RDF
1	James Blow, Andrew Cox, Paul Liddell	Modular Certification of Integrated Modular Systems.	SSS	2005	DBLP DOI BibTeX RDF
1	Michael J. Prince	Developing and Using Risk Matrices.	SSS	2005	DBLP DOI BibTeX RDF
1	Mark Nicholson 0001	Health Monitoring for Reconfigurable Integrated Control Systems.	SSS	2005	DBLP DOI BibTeX RDF
1	Ron Pierce, Herman Baret	Structuring a Safety Case for an Air Traffic Control Operations Room.	SSS	2005	DBLP DOI BibTeX RDF
1	Kevin Payne	Learning from a Train Derailment.	SSS	2005	DBLP DOI BibTeX RDF
1	Knut Rygh	Accident Investigations - Meeting the challenge of new technology - Established methods challenged by uncertain safety concepts and failure behaviour in new technology.	SSS	2005	DBLP DOI BibTeX RDF
1	Kelvin Nilsen, Adrian Larkham	Applying Java™ Technologies to Mission-Critical and Safety-Critical Development.	SSS	2005	DBLP DOI BibTeX RDF
1	Alastair Faulkner	Safer Data: The use of data in the context of a railway control system.	SSS	2002	DBLP DOI BibTeX RDF
1	Alan Simpson, Joanne Stoker	Will it be Safe? - An Approach to Engineering Safety Requirements.	SSS	2002	DBLP DOI BibTeX RDF
1	Christopher W. Johnson 0001	Reasons for the Failure of Incident Reporting in the Healthcare and Rail Industries.	SSS	2002	DBLP DOI BibTeX RDF
1	Gunhild Halvorsrud	The Åsta Train Crash, its Precursors and Consequences, and its Investigation.	SSS	2002	DBLP DOI BibTeX RDF
1	Michael D. Harrison, P. D. Johnson, Peter C. Wright	Automating functions in multi-agent control systems: supporting the decision process.	SSS	2002	DBLP DOI BibTeX RDF
1	Trevor A. Kletz	Accident Investigation - Missed Opportunities.	SSS	2002	DBLP DOI BibTeX RDF
1	Carl Sandom	Human Factors Considerations for System Safety.	SSS	2002	DBLP DOI BibTeX RDF
1	John Spriggs	Airport Risk Assessment: Examples, Models and Mitigations.	SSS	2002	DBLP DOI BibTeX RDF
1	Brian Sherwood Jones, Jonathan Earthy	The Processes to Manage (and Minimise) the Human Risk in Complex Systems.	SSS	2002	DBLP DOI BibTeX RDF
1	Brenton Atchison, Alena Griffiths	Engineering SCADA Products for Use in Safety-Related Systems.	SSS	2002	DBLP DOI BibTeX RDF
1	Felix Redmill, Tom Anderson 0001 (eds.)	Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002	SSS	2002	DBLP DOI BibTeX RDF
1	Ken Frith, Andy Lovering	The Management of Complex, Safety-Related Information Systems.	SSS	2002	DBLP DOI BibTeX RDF
1	Jack Crawford	Integrated Design Analysis.	SSS	2002	DBLP DOI BibTeX RDF
1	Gabe Mythen	Communicating Risk: Reconfiguring Expert- Lay Relations.	SSS	2002	DBLP DOI BibTeX RDF
1	A. Hutson-Smith	e-Technology Excitement, Enlightenment and Risk.	SSS	2002	DBLP DOI BibTeX RDF
1	Shoky Visram	Managing Safety Within A Large And Complex Air Traffic Control Project.	SSS	1998	DBLP DOI BibTeX RDF
1	R. E. Jennings	Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems.	SSS	1998	DBLP DOI BibTeX RDF
1	Richard Granville, Keith Harrison	Use of Static Code Analysis to Support the Safety Certification of Airborne Software.	SSS	1998	DBLP DOI BibTeX RDF
1	Trevor Cockram, Reg Parker, David Tiley, Jane Smith	A System Requirements Traceability Model: An Industrial Application.	SSS	1998	DBLP DOI BibTeX RDF
1	Felix Redmill, Tom Anderson 0001 (eds.)	Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998	SSS	1998	DBLP DOI BibTeX RDF
1	Ceri Rees, Vivien Hamilton	Independent Safety Auditing.	SSS	1998	DBLP DOI BibTeX RDF
1	Gustaf Myhrman	Developments for Safer Systems in the Swedish Defence.	SSS	1998	DBLP DOI BibTeX RDF
1	Peter Bishop 0001, Robin Bloomfield	A Methodology for Safety Case Development.	SSS	1998	DBLP DOI BibTeX RDF
1	Maurice Pritchard	'Safeguarding Systems: In-Service Management'.	SSS	1998	DBLP DOI BibTeX RDF

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