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 |
|