Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yoann Dieudonné, Ouiddad Labbani-Igbida, Franck Petit |
Circle Formation of Weak Mobile Robots. ![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. 262-275, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Marina Kopeetsky |
Secure Communication for RFIDs Proactive Information Security Within Computational Security. ![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. 290-303, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 231-243, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martin Biely, Josef Widder |
Optimal Message-Driven Implementation of Omega with Mute Processes. ![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. 110-121, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Incremental Synthesis of Fault-Tolerant Real-Time Programs. ![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. 122-136, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 395-410, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Boulinier, Franck Petit, Vincent Villain |
Toward a Time-Optimal Odd Phase Clock Unison in Trees. ![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. 137-151, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Iching Boman, Jared Saia, Chaouki T. Abdallah, Edl Schamiloglu |
Brief Announcement: Self-healing Algorithms for Reconfigurable 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. 563-565, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni |
Unconscious Eventual Consistency with Gossips. ![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. 65-81, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ezra N. Hoch, Danny Dolev, Ariel Daliot |
Self-stabilizing Byzantine Digital Clock Synchronization. ![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. 350-362, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shlomi Dolev, Reuven Yagel |
Self-stabilizing Device Drivers. ![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. 276-289, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 50-64, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, Nancy A. Lynch |
A General Characterization of Indulgence. ![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. 16-34, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ted Herman, Chen Zhang |
Best Paper: Stabilizing Clock Synchronization for Wireless Sensor 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. 335-349, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Dhama, Oliver E. Theel, Timo Warns |
Reliability and Availability Analysis of Self-stabilizing 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. 244-261, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schaefer, Arnd Poetzsch-Heffter |
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded 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. 584-585, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda, Jorge Arturo Cobb, Chin-Tser Huang |
Fault Masking in Tri-redundant 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. 304-313, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Habib M. Ammari, Sajal K. Das 0001 |
Coverage, Connectivity, and Fault Tolerance Measures of Wireless Sensor 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. 35-49, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
kCWSN, fault tolerance, measures, connectivity, coverage |
1 | Shlomi Dolev, Yinnon A. Haviv |
Stabilization Enabling Technology. ![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. 1-15, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris, Thomas J. E. Schwarz, Darrell D. E. Long |
Self-adaptive Disk Arrays. ![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. 469-483, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 578-579, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil |
Self-stabilizing Philosophers with Generic Conflicts. ![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. 214-230, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Olga Brukman, Shlomi Dolev |
Recovery Oriented Programming. ![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. 152-168, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
autonomic computing, self-stabilization |
1 | Kajari Ghosh Dastidar, Ted Herman, Colette Johnen |
Safe Peer-to-Peer Self-downloading. ![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. 324-334, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Chi-Hung Tzeng, Jehn-Ruey Jiang, Shing-Tsaan Huang |
Self-stabilizing Asynchronous Phase Synchronization in General Graphs. ![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. 501-515, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 440-453, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 378-394, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 566-567, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Sylvie Delaët, Sammy Haddad |
A 1-Strong Self-stabilizing Transformer. ![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. 95-109, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 572-573, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 574-575, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 199-213, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kiniwa, Kensaku Kikuta |
Brief Announcement: An Efficient and Self-stabilizing Link Formation Algorithm. ![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. 580-581, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Wei Yu 0002, Nan Zhang 0004, Wei Zhao 0001 |
Self-adaptive Worms and Countermeasures. ![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. 548-562, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Game theory, Worm |
1 | Florent Claerhout |
Evaluation of a Tracking Architecture in Wireless Sensor 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. 169-183, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pan Dong, Peidong Zhu, Xicheng Lu |
Brief Announcement: A Synthetic Public Key Management Scheme for Large-Scale MANET. ![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. 570-571, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 516-532, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 363-377, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 428-439, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 484-500, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-540-49018-0 The full citation details ...](Pics/full.jpeg) |
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. ![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. 576-577, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joffroy Beauquier, Colette Johnen, Stéphane Messika |
All k -Bounded Policies Are Equivalent for Self-stabilization. ![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. 82-94, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
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. ![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. 568-569, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alastair Faulkner |
Safety arguments for use with data-driven safety systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 263-275, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Werner Winkelbauer, Gabriele Schedl, Andreas Gerstinger |
Safety Case Practice - Meet the Challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 83-104, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Carl Sandom, Derek Fowler |
People and Systems: Striking a Safe Balance between Human and Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 3-22, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Derek Fowler, Bernd Tiemeyer |
Safety Case Development - a Practical Guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 105-137, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Felix Redmill |
Understanding the Risks Posed by Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 155-169, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 231-239, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Vickers |
Governing Safety Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 141-153, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 217-230, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kevin J. Anderson |
Common Law Safety Case Approaches to Safety Critical Systems Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 171-183, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Dewi Daniels |
Safety Aspects of a Landing Gear System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 199-213, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84628-333-8 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rob Weaver, Tim Kelly, Paul Mayo |
Gaining Confidence in Goal-based Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 277-290, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Max P. Halbert, Steve Tucker |
Risk Assessment for M42 Active Traffic Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 25-45, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 241-259, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José F. Ruiz |
Ada 2005 for High-Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 187-198, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 47-67, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Developments in Risk-based Approaches to Safety - Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, February 7-9, 2006, pp. 69-80, 2006, Springer, 978-1-84628-333-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 195-210, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter K. D. Froome |
Independent Safety Assessment of Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 37-47, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-85233-952-4 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samantha Lautieri, David Cooper, David Jackson |
SafSec: Commonalities Between Safety and Security Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 65-75, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Graham Jolliffe, Mark Nicholson 0001 |
Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 163-181, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mark George |
Identification of Time At Risk Periods of Significance to ALARP Justifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 111-127, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David H. Smith |
The IEE/BCS Independent Safety Assurance Working Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 3-19, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jane Fenn, Brian Jepson |
Putting Trust into Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 21-35, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James Blow, Andrew Cox, Paul Liddell |
Modular Certification of Integrated Modular Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 183-192, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Prince |
Developing and Using Risk Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 129-145, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mark Nicholson 0001 |
Health Monitoring for Reconfigurable Integrated Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 149-162, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ron Pierce, Herman Baret |
Structuring a Safety Case for an Air Traffic Control Operations Room. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 51-64, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Payne |
Learning from a Train Derailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 79-92, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 93-108, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kelvin Nilsen, Adrian Larkham |
Applying Java™ Technologies to Mission-Critical and Safety-Critical Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Constituents of Modern System-safety Thinking - Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, February 8-10, 2005, pp. 211-223, 2005, Springer, 978-1-85233-952-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alastair Faulkner |
Safer Data: The use of data in the context of a railway control system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 217-230, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alan Simpson, Joanne Stoker |
Will it be Safe? - An Approach to Engineering Safety Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 140-164, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christopher W. Johnson 0001 |
Reasons for the Failure of Incident Reporting in the Healthcare and Rail Industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 31-57, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gunhild Halvorsrud |
The Åsta Train Crash, its Precursors and Consequences, and its Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 16-30, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 93-106, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Trevor A. Kletz |
Accident Investigation - Missed Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 3-15, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carl Sandom |
Human Factors Considerations for System Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 125-139, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | John Spriggs |
Airport Risk Assessment: Examples, Models and Mitigations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 183-195, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Brian Sherwood Jones, Jonathan Earthy |
The Processes to Manage (and Minimise) the Human Risk in Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 107-122, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Brenton Atchison, Alena Griffiths |
Engineering SCADA Products for Use in Safety-Related Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 76-90, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-85233-561-8 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ken Frith, Andy Lovering |
The Management of Complex, Safety-Related Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 61-75, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jack Crawford |
Integrated Design Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 167-182, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gabe Mythen |
Communicating Risk: Reconfiguring Expert- Lay Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 196-213, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | A. Hutson-Smith |
e-Technology Excitement, Enlightenment and Risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Components of System Safety - Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002, pp. 231-243, 2002, Springer, 978-1-85233-561-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shoky Visram |
Managing Safety Within A Large And Complex Air Traffic Control Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 93-111, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 222-232, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard Granville, Keith Harrison |
Use of Static Code Analysis to Support the Safety Certification of Airborne Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 169-183, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Trevor Cockram, Reg Parker, David Tiley, Jane Smith |
A System Requirements Traceability Model: An Industrial Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 44-61, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-540-76189-1 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ceri Rees, Vivien Hamilton |
Independent Safety Auditing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 126-136, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Gustaf Myhrman |
Developments for Safer Systems in the Swedish Defence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 82-92, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bishop 0001, Robin Bloomfield |
A Methodology for Safety Case Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 194-203, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Pritchard |
'Safeguarding Systems: In-Service Management'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 137-149, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|