Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tim Clement |
The Morality and Economics of Safety in Defence Procurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 39-54, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mike Jones-Lee |
Safety Expenditur e: wher e should we draw the Line? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 55-67, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Flint, Ian Gilchr ist |
Software Testing and IEC 61508 - Project Case Study and Further Thoughts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 211-221, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Menon, Richard Hawkins, John A. McDermid |
Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 223-243, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John Adams |
Risk Management: the Economics and Mor ality of Safety Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 23-37, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Lewis |
Safety Case Development as an Information Modelling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 183-193, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Iain Bate, Philippa Conmy |
Certification of FPGAs - Current Issues and Possible Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 149-165, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Glen Wilkinson, Rhys David |
Back to Basics: Risk Matr ices and ALARP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 179-182, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mahesh Arumugam |
A Distributed and Deterministic TDMA Algorithm for Write-All-With-Collision Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 4-18, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Robinson 0002, Ulrich Schmid 0001 |
The Asynchronous Bounded-Cycle Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 246-262, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
partially synchronous models, clock synchronization, Fault-tolerant distributed algorithms |
1 | Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët |
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 63-78, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Arturo Cobb, Mohamed G. Gouda |
Stabilization of Max-Min Fair Networks without Per-flow State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 156-172, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
quality of service, Stabilization, computer networks, max-min fairness |
1 | Murat Demirbas, Anish Arora |
An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 203-217, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lyes Dekar, Hamamache Kheddouci |
Distance-2 Self-stabilizing Algorithm for a b-Coloring of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 19-31, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
b-coloring, data mining, clustering, graphs, self-stabilizing algorithm |
1 | Thomas Clouser, Mikhail Nesterenko, Christian Scheideler |
Tiara: A Self-stabilizing Deterministic Skip List. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 124-140, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil |
A Self-stabilizing -Approximation Algorithm for the Maximum Matching Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 94-108, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Approximation, Maximum matching, Self-stabilizing algorithm |
1 | Alex Brodsky, Scott Lindenberg |
Our Brothers' Keepers: Secure Routing with High Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 218-232, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
peer authentication, distributed hash tables, Secure routing |
1 | Shlomi Dolev |
Tutorial Abstract Virtual Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 263-264, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schmid 0001 |
Keynote: Distributed Algorithms and VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 3, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ezra N. Hoch, Danny Bickson, Danny Dolev |
Self-stabilizing Numerical Iterative Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 79-93, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Taehwan Choi, Sooel Son, Mohamed G. Gouda, Jorge Arturo Cobb |
Pharewell to Phishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 233-245, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jing Li 0061, Anish Arora |
Duty Cycle Stabilization in Semi-mobile Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 32-46, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep S. Kulkarni, André Schiper (eds.) |
Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-540-89334-9 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael K. Reiter |
Keynote: Trustworthy Services and the Biological Analogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 2, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anish Arora |
Keynote: Primitives for Physical Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 1, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 173-187, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
probabilistic self-stabilization, Wireless sensor network, self-organization, self-stabilization, convergence time |
1 | Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore |
Local Synchronization on Oriented Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 141-155, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Local mutual exclusion, oriented ring, synchronization, transformer, self-stabilization |
1 | Di Ma, Gene Tsudik |
DISH: Distributed Self-Healing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 47-62, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte |
Self-stabilizing Mobile Robot Formations with Virtual Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 188-202, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Lawrence L. Larmore, Priyanka Vemula |
Self-Stabilizing Leader Election in Optimal Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 109-123, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed algorithm, self-stabilization, leader election |
1 | T. P. Kelly |
Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 3-12, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Schedl, Werner Winkelbauer |
Practical Ways of Improving Product Safety in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 177-193, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Richard Sleeman, Andrew Cox, Jenny Colledge |
Systems Approach to Unmanned Air Vehicle Development and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 209-221, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
Safety Process Improvement with POSE and Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 25-41, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Basalaj |
How to Select a Programming Language Subset to Maximise Software Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 43-56, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stephen O. Clark, Steven T. Shorrock, Nic Turley |
Human Factors Safety Assurance for Changing ATM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 155-173, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mike Ainsworth |
Prototyping versus Formal Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 195-207, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Felix Redmill, Tom Anderson 0001 (eds.) |
Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84800-099-5 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tim Smith |
Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 95-116, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lowe |
A Human Factors Perspective on Safety Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 139-153, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Ellims |
Safety Analysis: Thoughts on Methods and Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 225-238, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robin Cook |
Simplifying the Creation and Use of the Risk Matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 239-264, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Odd Nordland |
Making Safe Software Secure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 15-23, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tadeusz Cichocki |
Safety Case Development How can I continue the work? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 59-76, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Don Goble |
Human Performance Improvement-Reducing Significant Events in Nuclear Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 117-135, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Lucas |
Safety Case Experiences from Harrier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Improvements in System Safety - Proceedings of the Sixteenth Safety-Critical Systems Symposium, Brighton, UK, February 5-7, 2008, pp. 77-91, 2008, Springer, 978-1-84800-099-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso, Iratxe Soraluze Arriola |
Secure Failure Detection in TrustedPals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 173-188, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jaap-Henk Hoepman, Andreas Larsson, Elad Michael Schiller, Philippas Tsigas |
Secure and Self-stabilizing Clock Synchronization in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 340-356, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Secure and Resilient Computer Systems, Sensor-Network Systems, Self-Stabilization, Clock-synchronization |
1 | Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier |
Robust Stabilizing Leader Election. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 219-233, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder |
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 4-20, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Young-ri Choi, Mohamed G. Gouda |
Stabilization of Flood Sequencing Protocols in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 139-153, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Flood sequencing protocol, Sensor networks, Self-stabilization, Sequence numbers |
1 | Jean-Jacques Quisquater |
The Power of Cryptographic Attacks: Is Your Network Really Secure Against Side Channels Attacks and Malicious Faults? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 1, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Arturo Cobb |
Stabilization of Loop-Free Redundant Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 154-172, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fabien Mathieu |
Upper Bounds for Stabilization in Acyclic Preference-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 372-382, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Preference-based systems, adversarial and round robin daemons, round robin, acyclicity, b-matching |
1 | Tina Nolte, Nancy A. Lynch |
Self-stabilization and Virtual Node Layer Emulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 394-408, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
virtual stationary automata, virtual node layer, abstraction layer emulation, TIOA, mobile ad-hoc networking, self-stabilization, geocast |
1 | Toshimitsu Masuzawa, Sébastien Tixeuil (eds.) |
Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-540-76626-1 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kay Römer |
Role-Based Self-configuration of Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 2, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Masafumi Yamashita |
Robots and Molecules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 3, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Izumi, Koichi Wada 0001 |
On the Probabilistic Omission Adversary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 357-371, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki |
Self* Minimum Connected Covers of Query Regions in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 204-218, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Bye, Katja Luther, Seyit Ahmet Çamtepe, Tansu Alpcan, Sahin Albayrak, Bülent Yener |
Decentralized Detector Generation in Cooperative Intrusion Detection Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 37-51, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davide Canepa, Maria Gradinariu Potop-Butucaru |
Stabilizing Flocking Via Leader Election in Robot Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 52-66, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Felix C. Freiling, Arshad Jhumka |
Global Predicate Detection in Distributed Systems with Small Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 296-310, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad |
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 21-36, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis |
1 | Bertrand Ducourthial |
r-Semi-Groups: A Generic Approach for Designing Stabilizing Silent Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 281-295, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yu Chen, Wei Chen 0013 |
Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 97-113, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
structured overlay maintenance, fault tolerance, peer-to-peer |
1 | Shlomi Dolev, Reuven Yagel |
Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 266-280, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
host systems, Byzantine programs, security, self-stabilization, trust and reputation |
1 | Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki |
Stability of the Multiple-Access Channel Under Maximum Broadcast Loads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 124-138, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
deterministic broadcast, adversarial queuing, stability, fairness, latency, multiple-access channel |
1 | Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi |
Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 82-96, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Grid computing, Self-stabilization, Peer-to-peer systems, Snap-stabilization |
1 | Fredrik Manne, Morten Mjelde |
A Self-stabilizing Weighted Matching Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 383-393, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
weighted matching, self-stabilizing algorithms |
1 | Danny Dolev, Ezra N. Hoch |
Byzantine Self-stabilizing Pulse in a Bounded-Delay Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 234-252, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Ephraim Korach, Galit Uzan |
Magnifying Computing GapsEstablishing Encrypted Communication over Unidirectional Channels (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 253-265, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
unidirectional encryption, combinatorial optimization problems |
1 | Anurag Dasgupta, Sukumar Ghosh, Xin Xiao |
Probabilistic Fault-Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 189-203, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hui Cao 0001, Anish Arora |
Stabilization in Dynamic Systems with Varying Equilibrium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 67-81, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Optimality, Stabilization, Control, Equilibrium, MiniMax |
1 | Mohamed G. Gouda, Yan Li |
The Truth System: Can a System of Lying Processes Stabilize? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 311-324, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Distributed Systems, Self-Stabilization, Network Protocols |
1 | Ted Herman, Sriram V. Pemmaraju, Laurence Pilard, Morten Mjelde |
Temporal Partition in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 325-339, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks |
On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 114-123, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Brian Dobbing, Samantha Lautieri |
Dependability-by-Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 35-51, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ibrahim Habli, Tim Kelly |
Achieving Integrated Process and Product Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 55-68, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly |
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 133-146, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Spriggs |
The Sum of its Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 147-159, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Ridgway |
Achieving Safety through Security Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 3-20, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Barry Kirwan, W. Huw Gibson |
CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management - Technical Basis and Preliminary Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 197-214, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Felix Redmill, Tom Anderson 0001 (eds.) |
The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84628-805-0 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Liz Beswick, Jonathan Kettleborough |
A Proactive Approach to Enhancing Safety Culture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 105-115, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcelin Fortes da Cruz, Paul Raistrick |
AMBERS: Improving Requirements Specification Through Assertive Models and SCADE/DOORS Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 217-241, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Richard Maguire |
Comparing and Contrasting some of the Approaches in UK and USA Safety Assessment Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 117-129, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Johnson 0001, C. Michael Holloway |
A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 85-104, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Jesty, David D. Ward |
Towards a Unified Approach to Safety and Security in Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 21-34, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Colin M. O'Halloran, Clive H. Pygott |
Formalising C and C++ for Use in High Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 243-260, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rodney May |
Safety Assessments of Air Traffic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 179-195, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alan Newton, Andrew Vickers |
The Benefits of Electronic Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 69-82, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paul Edwards, Andrew Furse, Andrew Vickers |
Independently Assessing Legacy Safety Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007, pp. 163-178, 2007, Springer, 978-1-84628-805-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Claudel, Noel De Palma, Renaud Lachaize, Daniel Hagimont |
Self-protection for Distributed Component-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 184-198, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Toshimitsu Masuzawa, Sébastien Tixeuil |
On Bootstrapping Topology Knowledge in Anonymous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 454-468, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sapon Tanachaiwiwat, Ahmed Helmy |
Brief Announcement: Analyzing the Interactions of Self-propagating Codes in Multi-hop Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 582-583, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah |
Logarithmic Keying of Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 314-323, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
keying scheme, Secure communications, symmetric keys |
1 | Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa |
Brief Announcement: An Adaptive Randomised Searching Protocol in Peer-to-Peer Systems Based on Probabilistic Weak Quorum System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 586-587, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jeong Hyun Yi |
Energy-Efficient and Non-interactive Self-certification in MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 533-547, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
authentication, key management, Security protocol, self-configuration, threshold cryptography |
1 | Mahyar R. Malekpour |
A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 411-427, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerant, algorithm, model checking, verification, protocol, distributed, self-stabilization, clock synchronization, Byzantine |