|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1958 occurrences of 945 keywords
|
|
|
Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Veit Wiese, Rashed Al Amin, Roman Obermaisser |
Functional Safety of a System-on-Chip Based Safety-Critical Structural Health Monitoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSRS ![In: 6th International Conference on System Reliability and Safety, ICSRS 2022, Venice, Italy, November 23-25, 2022, pp. 539-547, 2022, IEEE, 978-1-6654-7092-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ryan K. Cosner, Maegan Tucker, Andrew J. Taylor, Kejun Li, Tamás G. Molnár, Wyatt Ubellacker, Anil Alan, Gábor Orosz, Yisong Yue, Aaron D. Ames |
Safety-Aware Preference-Based Learning for Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
L4DC ![In: Learning for Dynamics and Control Conference, L4DC 2022, 23-24 June 2022, Stanford University, Stanford, CA, USA., pp. 1020-1033, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
19 | Pooja Singh, Lalit Kumar Singh |
Reliability and Safety Engineering for Safety Critical Systems: An Interview Study With Industry Practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 70(2), pp. 643-653, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Vinay Kumar, Ashish Kumar Maurya, Karam Veer Singh, Lalit Kumar Singh, Pooja Singh, Aditya Narayan Hati, Vibhav Prakash Singh |
Safety analysis of safety-critical systems for their applicability on NPP systems: A state-of-the-art review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 37(5), pp. 1796-1831, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan 0001, Eric Feron |
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.03506, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Christian Wolschke, Behrooz Sangchoolie, Jacob Simon, Stefan Marksteiner, Tobias Braun, Hayk Hamazaryan |
SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.13499, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Ryan K. Cosner, Maegan Tucker, Andrew J. Taylor, Kejun Li, Tamás G. Molnár, Wyatt Ubellacker, Anil Alan, Gábor Orosz, Yisong Yue, Aaron D. Ames |
Safety-Aware Preference-Based Learning for Safety-Critical Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.08516, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Pooja Singh, Lalit Kumar Singh |
Reliability and Safety Engineering for Safety-Critical Systems in Computer Science: A Study Into the Mismatch Between Higher Education and Employment in Brazil and India. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 64(4), pp. 353-360, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Christian Wolschke, Behrooz Sangchoolie, Jacob Simon, Stefan Marksteiner, Tobias Braun, Hayk Hamazaryan |
SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN Workshops ![In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2021, Taipei, Taiwan, June 21-24, 2021, pp. 27-34, 2021, IEEE, 978-1-6654-3950-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Riccardo Carbone, Salvatore Barone, Mario Barbareschi, Valentina Casola |
Scrum for Safety: Agile Development in Safety-Critical Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings, pp. 127-140, 2021, Springer, 978-3-030-85346-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Martin A. Wortman, Ernest Kee, Pranav Kannan |
Safety-Critical Protective Systems and Margins of Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.09674, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Lei Zheng, Jiesen Pan, Rui Yang, Hui Cheng, Haifeng Hu 0001 |
Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.03421, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Oliver Willers, Sebastian Sudholt, Shervin Raafatnia, Stephanie Abrecht |
Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.08001, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Oliver Willers, Sebastian Sudholt, Shervin Raafatnia, Stephanie Abrecht |
Safety Concerns and Mitigation Approaches Regarding the Use of Deep Learning in Safety-Critical Perception Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops - DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings, pp. 336-350, 2020, Springer, 978-3-030-55582-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Lei Zheng, Rui Yang, Jiesen Pan, Hui Cheng, Haifeng Hu 0001 |
Learning-Based Safety-Stability-Driven Control for Safety-Critical Systems under Model Uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCSP ![In: 2020 International Conference on Wireless Communications and Signal Processing (WCSP), Nanjing, China, October 21-23, 2020, pp. 1112-1118, 2020, IEEE, 978-1-7281-7236-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Shuanqi Wang, Zhibo Li, Xin He, Ke Sheng, Jingxuan Zhou, Wei Wu |
Safety Argument Pattern Language of Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 7th International Conference on Dependable Systems and Their Applications, DSA 2020, Xi'an, China, November 28-29, 2020, pp. 459-467, 2020, IEEE, 978-0-7381-2422-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Hafiza Maria Maqsood, Eduardo Martins Guerra, Xiaofeng Wang 0001, Andrea Bondavalli |
Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, pp. 3:1-3:6, 2020, ACM, 978-1-4503-7769-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Harry H. Dreany, Robert A. Roncace |
A cognitive architecture safety design for safety critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 191, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Strasser, Philipp Stelzer, Christian Steger, Norbert Druml |
Live State-of-Health Safety Monitoring for Safety-Critical Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 22nd Euromicro Conference on Digital System Design, DSD 2019, Kallithea, Greece, August 28-30, 2019, pp. 102-107, 2019, IEEE, 978-1-7281-2862-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Xiaomin Wei |
AADL-Based Safety Analysis Approaches for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019, pp. 481-482, 2019, IEEE, 978-1-7281-1736-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Aiman Gannous, Anneliese Andrews |
Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019, pp. 250-260, 2019, IEEE, 978-1-7281-4982-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Sana Debbech, Philippe Bon, Simon Collart Dutilleul |
Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT ![In: Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019., pp. 287-297, 2019, SciTePress, 978-989-758-379-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Xujie Jia, Liudong Xing, Gang Li |
Copula-based reliability and safety analysis of safety-critical systems with dependent failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 34(5), pp. 928-938, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Danjiang Zhu, Huobin Tan, Shuzhen Yao |
Petri Nets-based method to elicit component-interaction related safety requirements in safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 71, pp. 162-172, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Aiman Gannous, Anneliese Andrews, Barbara Gallina |
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Memphis, TN, USA, October 15-18, 2018, pp. 329-336, 2018, IEEE Computer Society, 978-1-5386-9443-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Chris Leong |
Managing epistemic uncertainties in the underlying models of safety assessment for safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
19 | Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter 0001, Neeraj Suri |
Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 25, pp. 797-810, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Young-Don Shin, Sang-Hyun Sim, Jae-Chon Lee |
Model-Based Integration of Test and Evaluation Process and System Safety Process for Development of Safety-Critical Weapon Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 20(3), pp. 257-279, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Vinay Kumar, Lalit Kumar Singh, Anil Kumar Tripathi, Pooja Singh |
Safety Analysis of Safety-Critical Systems Using State-Space Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 34(4), pp. 38-47, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Christian Pek, Markus Koschi, Moritz Werling, Matthias Althoff |
Enhancing motion safety by identifying safety-critical passageways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 320-326, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Meng Wu, Haibo Zeng 0001, Chao Wang 0001, Huafeng Yu |
Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 54th Annual Design Automation Conference, DAC 2017, Austin, TX, USA, June 18-22, 2017, pp. 84:1-84:6, 2017, ACM, 978-1-4503-4927-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Jayasri Kotti, Seetha Ramaiah Panchumarthy |
The Quantitative Safety Assessment and Evaluation for Safety-Critical Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 41(1), pp. 1-8, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Asim Abdulkhaleq, Stefan Wagner 0001 |
A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.00330, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
19 | Mária Franeková, Karol Rástocný, Peter Lüley |
Practical Problems Within Safety Related Cryptography Communication Systems Assessment for Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TST ![In: Challenge of Transport Telematics - 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers, pp. 163-174, 2016, 978-3-319-49645-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Pia Oedewald, Nadezhda Gotcheva |
Safety culture and subcontractor network governance in a complex safety critical project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 141, pp. 106-114, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | B. Umamaheswrarao, Seetha Ramaiah Panchumarthy, PhaniKumar Singamsetty |
An Optimal Weighted-Average Voting Algorithm for Software Safety Estimation on Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 40(4), pp. 1-7, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Irfan Sljivo, Omar Jaradat, Iain Bate, Patrick J. Graydon |
Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 126-133, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Chung-Ling Lin, Wuwei Shen |
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, pp. 255-262, 2015, IEEE Computer Society, 978-1-4799-8110-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Huan Lin, Ji Wu 0003, Chunchun Yuan, Yaping Luo, Mark van den Brand, Luc Engelen |
A systematic approach for safety evidence collection in the safety-critical domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: Annual IEEE Systems Conference, SysCon 2015, Proceedings, Vancouver, BC, Canada, April 13-16, 2015, pp. 194-199, 2015, IEEE, 978-1-4799-5927-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Asim Abdulkhaleq, Stefan Wagner 0001 |
A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EASE ![In: Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, EASE 2015, Nanjing, China, April 27-29, 2015, pp. 16:1-16:10, 2015, ACM, 978-1-4503-3350-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Thorsten Piper |
Assessing and enhancing functional safety mechanisms for safety-critical software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
19 | Jang Jin Kwon, Doohwan Kim, Jae Jin Park, Jang-Eui Hong |
Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERE ![In: Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014, pp. 245-254, 2014, IEEE, 978-1-4799-4296-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Junwei Du, Jiqiang Wang, Xiaogang Feng |
A Safety Requirement Elicitation Technique of Safety-Critical System Based on Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Intelligent Computing Theory - 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings, pp. 127-136, 2014, Springer, 978-3-319-09332-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Havva Gülay Gürbüz, Bedir Tekinerdogan, Nagehan Pala Er |
Safety Perspective for Supporting Architectural Design of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture - 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings, pp. 365-373, 2014, Springer, 978-3-319-09969-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Chris Marriott |
Checking memory safety of level 1 safety-critical Java programs using static-analysis without annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
19 | Alejandra Ruiz 0001, Tim Kelly, José Luis de la Vara (eds.) |
SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![HAL The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Xiangyu Han, Jun Zhang |
A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2013 IEEE International Conference on Granular Computing, GrC 2013, Beijing, China, December 13-15, 2013, pp. 353-356, 2013, IEEE Computer Society, 978-1-4799-1282-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Eric Verhulst, José Luis de la Vara, Bernhard H. C. Sputh, Vincenzo De Florio |
ARRL: A Criterion for Composable Safety and Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Alejandra Ruiz 0001, Tim Kelly, Huáscar Espinoza |
Towards a multi-view point safety contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Matt Timperley, Maizura Mokhtar, Joe M. Howe |
Adaptive Safety Arguments and Explanation-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | As'ad Salkham, Antonio Pecchia, Nuno Silva |
Design of a CDD-Based Fault Injection Framework for AUTOSAR Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Barbara Gallina, Antonio Gallucci, Kristina Lundqvist, Mattias Nyberg |
VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Stefan Resch, Andreas Steininger, Christoph Scherrer |
Software Composability and Mixed Criticality for Triple Modular Redundant Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Richard Hawkins, Ibrahim Habli, Tim Kelly |
Principled Construction of Software Safety Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Daniel Kästner, Markus Pister 0002, Gernot Gebhard, Marc Schlickling, Christian Ferdinand |
Confidence in Timing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SASSUR@SAFECOMP ![In: SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
19 | Ghada Moussa Bahig, Amr El-Kadi |
Ensuring software safety in safety critical domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITST ![In: 7th International Conference for Internet Technology and Secured Transactions, ICITST 2012, London, United Kingdom, December 10-12, 2012, pp. 308-312, 2012, IEEE, 978-1-4673-5325-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Alexei Sharpanskykh |
An agent-based approach for safety analysis of safety-critical organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCRAM ![In: 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, Vancouver, Canada, April 22-25, 2012., 2012, Simon Fraser University, Vancouver, Canada, 978-0-86491-332-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Barbara Gallina, Irfan Sljivo, Omar Jaradat |
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012, pp. 148-157, 2012, IEEE Computer Society, 978-1-4673-5574-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Chris Dale, Tom Anderson 0001 (eds.) |
Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-4471-2493-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Michael Stilkerich |
Memory protection at option: application-tailored memory safety in safety-critical embedded systems (Speicherschutz nach Wahl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
19 | George Bearfield |
Taking Safe Decisions in the GB Railway Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 75-83, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Chris Hobbs, Martin Lloyd |
The Application of Bayesian Belief Networks to Assurance Case Preparation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 159-176, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Roger Rivett |
The Challenge of Technological Change in the Automotive Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 35-42, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Graham R. Braithwaite |
Accident Investigation - are we reaching the Systemic Causes of Accidents? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 177-188, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Keith Armstrong |
Including Electromagnetic Interference (EMI) in Functional Safety Risk Assessments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 97-114, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Mike Parsons |
Safety Levels in a Commercial Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 271-284, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Audrey Canning |
The Need for a Community for System and Functional Safety Professionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 25-33, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Allan Bain |
Do we truly understand Safety Culture? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 11-24, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Derek Fowler, Ronald Pierce |
Safety Engineering - a Perspective on Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 115-136, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Odd Nordland |
A Devil's Advocate on SIL 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 285-292, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Sirma Celik |
Safety Process Implementation for Unmanned Aerial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 43-53, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Reiji Ishima, Minoru Mori |
Risk Analysis and Development of an IPNetwork-based Railway Signal Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 55-74, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Jens Braband |
A Risk-based Approach towards Assessment of Potential Safety Deficiencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 209-223, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Paul Hampton |
Survey of Safety Architectural Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 137-158, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Peter B. Ladkin |
The Fukushima Accident. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 189-207, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Martyn Thomas |
Accidental Systems, Hidden Assumptions and Safety Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 1-9, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Stuart Reid |
The New Software Testing Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 237-255, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | John A. McDermid, Andrew Rae |
Goal-Based Safety Standards: Promises and Pitfalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Achieving Systems Safety - Proceedings of the Twentieth Safety-Critical Systems Symposium, SSS 2012, Bristol, UK, February 7-9, 2012., pp. 257-270, 2012, Springer, 978-1-4471-2493-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | William Leal, Micah McCreery, Daniel Faria |
The OCRC Fuel Cell Lab Safety System: A Self-Stabilizing Safety-Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 326-340, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Guoqi Li, Boxuan Wang |
SysML Aided Safety Analysis for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICI (1) ![In: Artificial Intelligence and Computational Intelligence - Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I, pp. 270-275, 2011, Springer, 978-3-642-23880-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Huáscar Espinoza, Alejandra Ruiz 0001, Mehrdad Sabetzadeh, Paolo Panaroni |
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSOCER ![In: 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29 - December 2, 2011, pp. 1-6, 2011, IEEE Computer Society, 978-0-7695-4617-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | S. Phani Kumar, P. Seetha Ramaiah, V. Khanaa |
Architectural patterns to design software safety based safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCS ![In: Proceedings of the 2011 International Conference on Communication, Computing & Security, ICCCS 2011, Odisha, India, February 12-14, 2011, pp. 620-623, 2011, ACM, 978-1-4503-0464-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Chris Dale, Tom Anderson 0001 (eds.) |
Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-0-85729-132-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Albert Farré Benet |
A Risk Driven Approach to testing Medical Device Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 157-168, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Robert Dewar |
A Pragmatic View of Formal Methods: the Hi-Lite Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 233-248, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Zoë Stephenson, Christian Fairburn, Georgios Despotou, Tim P. Kelly, Nicola Herbert, Bruce Daughtrey |
Distinguishing Fact from Fiction in a System of Systems Safety Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 55-72, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Steve Kinnersly |
Safety Cases - what can we learn from Science? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 25-40, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Paul Parkinson |
Safety, Security and Multicore. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 215-232, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Mike Parsons, Simon Scutt |
System Safety in an IT Service Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 89-107, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Vivien Hamilton |
Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 41-51, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Richard Hawkins, Tim P. Kelly, John C. Knight, Patrick J. Graydon |
A New Approach to creating Clear Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 3-23, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Alan Debenham |
Maintaining the Safety of Operational Health ICT Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 127-141, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Dewi Daniels |
Are we there yet? A Practitioner's View of DO-178C/ED-12C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 293-313, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Ron Bell |
Introduction and Revision of IEC 61508. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 273-291, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Celestina Bianco |
Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 111-125, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Mervyn Playle |
CE Marking - the Essential Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011, pp. 251-271, 2011, Springer, 978-0-85729-132-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Martha Grabowski, Zhuyu You, Huawei Song, Haiyuan Wang, Jason R. W. Merrick |
Sailing on Friday: Developing the Link Between Safety Culture and Performance in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 40(2), pp. 263-284, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Romuald Girardey, Michael Hübner 0001, Jürgen Becker 0001 |
Safety Aware Place and Route for On-Chip Redundancy in Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2010, 5-7 July 2010, Lixouri Kefalonia, Greece, pp. 74-79, 2010, IEEE Computer Society, 978-0-7695-4076-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Christopher W. Johnson 0001, Stefan Raue |
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings, pp. 402-417, 2010, Springer, 978-3-642-15650-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Janice Hill, Scott R. Tilley |
Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27 - October 1, 2010, pp. 297-302, 2010, IEEE Computer Society, 978-0-7695-4162-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 3572 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|