Search results for "Safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	Janice Hill, Daniel Victor	The Product Engineering Class in the Software Safety Risk Taxonomy for Building Safety-Critical Systems.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	software safety requirements, software safety risk taxonomy, legacy systems, safety-critical, safety case
95	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
93	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis.	RE	1995	DBLP DOI BibTeX RDF	system safety requirements, design description, formal specification, systems analysis, requirements analysis, requirements specification, safety critical systems, safety-critical software, safety critical software, functional requirements, safety analysis, high level design
81	M. Ben Swarup, P. Seetha Ramaiah	An Approach to Modeling Software Safety.	SNPD	2008	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
79	Zaijun Hu, Carlos G. Bilich	Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Safety Lifecycle, Management of Functional Safety, IEC 61508
73	Donald Firesmith	Engineering safety-related requirements for software-intensive systems.	ICSE	2006	DBLP DOI BibTeX RDF	requirements engineering, safety, safety requirements
71	Wolfgang A. Halang, Alceu Heinke Frigeri	Methods and Languages for Safety-Related Real-Time Programming.	SAFECOMP	1998	DBLP DOI BibTeX RDF	Safety controllers, Safe language subsets, Cause/effect tables, Function block diagrams, Safety integrity levels, Real time systems, Programming languages
70	Rogério de Lemos, Amer Saeed, Tom Anderson 0001	Analyzing Safety Requirements for Process-Control Systems.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
66	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
65	Zhe Wang, Mahbub Hassan	How much of dsrc is available for non-safety use?	Vehicular Ad Hoc Networks	2008	DBLP DOI BibTeX RDF	ieee 1609.4, multi-channel operation, non-safety, safety, vehicular communication, DSRC
65	Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric	A Safety Licensable PES for SIL 4 Applications.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety critical industrial automation, Safety Integrity Level 4, safety licensing, programmable electronic system, predictable real time behaviour, fail safe behaviour
63	Ewen Denney, Bernd Fischer 0002	Correctness of Source-Level Safety Policies.	FME	2003	DBLP DOI BibTeX RDF	program safety, code certification, Program verification, Hoare logic, proof-carrying code
63	Shiping Yang, Nan Sang, Guangze Xiong	Safety Testing of Safety Critical Software Based on Critical Mission Duration.	PRDC	2004	DBLP DOI BibTeX RDF	Safety Testing, Safety Critical System, Bayesian Analysis, Stopping Rules, Reliability Testing
62	Homayoun Seraji	Safety measures for terrain classification and safest site selection.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Fuzzy logic, Uncertainty management, Terrain classification
61	Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen	Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF	safety requirements specification, safety patterns, radio-based train control system (FFB), UML, object orientation, level crossing
60	Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott	Retrofitting Software Safety in an Implantable Medical Device.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	retrofitting, cardiac rhythm management device, regulatory agencies, rigorous software safety analysis technique, safety faults, software modification, software reliability, safety, legislation, medical computing, prosthetics, safety verification, implantable medical device, pacemakers
59	Takaji Fujiwara, Juan Manuel Estevez, Yoshinobu Satoh, Shigeru Yamada	A calculation method for software safety integrity level.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	calculation method, safety integrity level, software reliability and safety, software reliability growth model
58	Cecília De la Garza, Elie Fadier	Towards proactive safety in design: a comparison of safety integration approaches in two design processes.	Cogn. Technol. Work.	2005	DBLP DOI BibTeX RDF	Safe design, Proactive safety, Reliability, Ergonomics, Cognitive analysis
57	Tim P. Kelly, John A. McDermid	A Systematic Approach to Safety Case Maintenance.	SAFECOMP	1999	DBLP DOI BibTeX RDF
56	Zeshan Kurd, Tim Kelly, Jim Austin	Developing artificial neural networks for safety critical systems.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Symbolic knowledge, Neural network, Faults, Safety critical, Lifecycle, Hazards, Criteria
54	Wayne D. Gray, Philippe A. Palanque, Fabio Paternò	Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF
54	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
53	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
53	Janice Hill	A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases.	SEW	2007	DBLP DOI BibTeX RDF
53	Mark-Alexander Sujan, Floor Koornneef, Udo Voges	Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges.	SAFECOMP	2007	DBLP DOI BibTeX RDF
52	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety assurance, PLC software safety, safety-critical control, algebraic language, Obj3 system, functional programming environment, formal specification, formal specifications, formal verification, formal verification, functional programming, software reliability, safety, interpreter, requirements specification, process control, data representation, programmable logic controllers, programmable controllers, design specification, specification testing, Obj, function blocks, process computer control
51	Daniel Schneider 0001, Mario Trapp	Conditional safety certificates in open systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	ad-hoc systems, conditional safety certificates, plug&safe, adaptivity, safety, open systems
51	Stephen P. Wilson, John A. McDermid, P. M. Kirkham, Peter Fenelon	The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems.	ECBS	1996	DBLP DOI BibTeX RDF	reliability, dependability, tool support, safety analysis, method integration, safety case
51	Zeshan Kurd, Tim Kelly	Safety Lifecycle for Developing Safety Critical Artificial Neural Networks.	SAFECOMP	2003	DBLP DOI BibTeX RDF
50	Haeng-Kon Kim, Youn-Ky Chung	Automatic Translation Form Requirements Model into Use Cases Modeling on UML.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	UML, use cases, CBD, safety analysis, safety requirements
50	Bev Littlewood, David Wright 0001	The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Safety claims, safety arguments, software reliability, Bayesian belief networks, software safety
50	Kyla Steele	Mapping safety assumptions across the European aviation industry.	ECCE	2007	DBLP DOI BibTeX RDF	safety theory, model, safety, principle, aviation safety, accident
50	Zongxiao Yang, Xiaobo Yuan, Jun Wang, Akira Inoue, Mingcong Deng	Safety Assessment for Power Plants using Analytical Hierarchy Process and System Functionality.	ICNSC	2007	DBLP DOI BibTeX RDF
50	Zohreh Nazeri, Eric Bloedorn, Paul Ostwald	Experiences in Mining Aviation Safety Data.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
50	Carlos G. Bilich, Zaijun Hu	Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Functional Safety, reusable components, IEC 61508
49	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
49	Hunszu Liu	Design of Computer Integrated Safety and Health Management System.	HCI (7)	2007	DBLP DOI BibTeX RDF	Safety and health management, safety information, computer integrated management system
49	Marco Bozzano, Adolfo Villafiorita	Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform.	SAFECOMP	2003	DBLP DOI BibTeX RDF
47	De-Jiu Chen, Rolf Johansson 0002, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren	Modelling Support for Design of Safety-Critical Automotive Embedded Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Automotive Embedded Systems, Safety Case, Dependability, Model-Based Development, Safety Analysis
47	Matthias Wiesmann, André Schiper	Beyond 1-Safety and 2-Safety for Replicated Databases: Group-Safety.	EDBT	2004	DBLP DOI BibTeX RDF
47	Toshihito Shirai, Masayoshi Sakai, Koichi Futsuhara, Masao Mukaidono	A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Parts.	EDCC	1999	DBLP DOI BibTeX RDF
47	Jang-Soo Lee, Arndt Lindner, Jong-Gyun Choi, Horst Miedl, Kee-Choon Kwon	Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant.	SAFECOMP	2006	DBLP DOI BibTeX RDF
46	Shing-Chi Cheung, Jeff Kramer	Checking Subsystem Safety Properties in Compositional Reachability Analysis.	ICSE	1996	DBLP BibTeX RDF	automated method, compositional reachability analysis, evolutionary change, gas station system, globally observable actions, hierarchical subsystem composition, safety property violation, subsystem safety property checking, undefined state, software engineering, software architecture, software developers, distributed processing, program analysis, finite state machines, finite-state machines, safety, distributed program, reachability analysis, program diagnostics, interacting processes
46	Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems.	ICSM	1995	DBLP DOI BibTeX RDF	safety-critical software maintenance, Bylands, real-time existing code, high level design extraction, formal transformations, abstract representation, requirements analyses, very-high-level domain languages, real-time systems, reverse engineering, reverse engineering, software maintenance, systems analysis, safety-critical systems, high level languages, safety-critical software, temporal constraints
46	Zhe Chen 0011, Gilles Motet	System Safety Requirements as Control Structures.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
46	Donald Firesmith	Engineering Safety and Security Related Requirements for Software Intensive Systems.	ICSE Companion	2007	DBLP DOI BibTeX RDF
46	Zhichen Xu, Barton P. Miller, Thomas W. Reps	Safety checking of machine code.	PLDI	2000	DBLP DOI BibTeX RDF
46	Norman F. Schneidewind	Reliability Modeling for Safety Critical Software.	Ada-Europe	1996	DBLP DOI BibTeX RDF
46	Peter Marwedel, Catherine H. Gebotys	Secure and safety-critical vs. insecure, non safety-critical embedded systems: do they require completely different design approaches?	CODES+ISSS	2004	DBLP DOI BibTeX RDF	security, safety-critical
45	Sandeep S. Kulkarni, Ali Ebnenasir	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance
45	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Safety shell, Real time, Pattern, Safety, UML-RT
45	Josh Dehlinger, Robyn R. Lutz	Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.	ICSR	2009	DBLP DOI BibTeX RDF	reusable safety analysis assets, safety aspects of reuse, product-line software fault tree analysis, multi-agent system product lines
45	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
45	Zhongwen Li	Security and Safety Assurance Architecture: Model and Implementation (Supporting Multiple Levels of Criticality).	ICA3PP	2005	DBLP DOI BibTeX RDF	Safety Kernel, Security and Safety Assurance Architecture, Integrity Policy for Criticality, Distributed Control System
44	Steven McDonnell, Bonnie E. Melhart	Software assessment to support certification for an existing computer-based system.	ECBS	1996	DBLP DOI BibTeX RDF	software assessment, equipment functionality, hardware control, software control, safety certification, multipurpose display, user interfaces, case study, program verification, systems analysis, software design, certification, certification, government, research, software verification, industry, safety-critical software, software analysis, software safety, software standards, computer displays
44	Yonghuan Ma, Wenyuan Niu, Qianqian Li	Research on Early Warning of Chinese Food Safety Based on Social Physics.	Complex (2)	2009	DBLP DOI BibTeX RDF	social physics, food safety, early warning
44	Thomas Grill, Margit Blauhut	Design Patterns Applied in a User Interface Design (UID) Process for Safety Critical Environments (SCEs).	USAB	2008	DBLP DOI BibTeX RDF	Safety critical environments, HCI, patterns
44	Stig Ole Johnsen, Jørn Vatn, Ragnar Rosness, Ivonne Andrade Herrera	Cross border railway operations: improving safety at cultural interfaces.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Safety culture, Scenario analysis, Railway
44	Jie Wu 0001, Feng Gao, Zhongcheng Li, Yinghua Min	Optimal Fault-Tolerant Routing in Hypercubes Using Extended Safety Vectors.	ICPADS	2000	DBLP DOI BibTeX RDF	generalized hypercubes, safety vectors, Fault tolerance, multicomputers, unicast, reliable communication
42	Heinz Gall	Functional safety IEC 61508 / IEC 61511 the impact to certification and the user.	AICCSA	2008	DBLP DOI BibTeX RDF
42	Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber 0001, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson 0002, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg	Automatic allocation of safety integrity levels.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508
41	Brian R. Murphy, Vijay Menon 0002, Florian T. Schneider, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai	Fault-safe code motion for type-safe languages.	CGO	2008	DBLP DOI BibTeX RDF	safe code motion, safety dependences, speculative code motion, scheduling, code motion, partial redundancy elimination, intermediate representations
41	Xiaolei Li, Jin Tian 0002, Tingdi Zhao	An Improved Zonal Safety Analysis Method and Its Application on Aircraft CRJ200.	ARES	2008	DBLP DOI BibTeX RDF	zonal safety analysis (ZSA), hazard source, undercarriage, safety, coupling
41	Gerd Kortuem, David Alford, Linden J. Ball, Jerry S. Busby, Nigel Davies 0001, Christos Efstratiou, Joe Finney, Marian Iszatt White, Katharina Kinder	Sensor Networks or Smart Artifacts? An Exploration of Organizational Issues of an Industrial Health and Safety Monitoring System.	UbiComp	2007	DBLP DOI BibTeX RDF	smart artifact, workplace support, occupational health and safety, safety culture, compliance architecture, organizational fit, sensor network, privacy, ubiquitous computing, risk management
41	Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr	Efficient memory safety for TinyOS.	SenSys	2007	DBLP DOI BibTeX RDF	cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC
41	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.	SAFECOMP	2007	DBLP DOI BibTeX RDF	deductive cause consequence analysis, dcca, SCADE, formal methods, dependability, safety critical systems, safety analysis
41	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	Innov. Syst. Softw. Eng.	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
41	Nimal Nissanke, Hamdan Dammag	Risk Ordering of States in Safecharts.	SAFECOMP	2000	DBLP DOI BibTeX RDF	risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
41	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
41	Wolfgang A. Halang, Matjaz Colnaric	On Safety--Critical Computer Control Systems.	CBMS	1997	DBLP DOI BibTeX RDF	computer control systems, safety licensing, real-time systems, safety critical systems
41	Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Märtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon	Defense-in-Depth and Diverse Qualification of Safety-Critical Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF
41	Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr	Establishing Evidence for Safety Cases in Automotive Systems - A Case Study.	SAFECOMP	2007	DBLP DOI BibTeX RDF
41	Massimo Felici	Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain.	SAFECOMP	2005	DBLP DOI BibTeX RDF
41	Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea	Safety Interfaces for Component-Based Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
41	Zeshan Kurd, Tim P. Kelly	Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.	SAFECOMP	2005	DBLP DOI BibTeX RDF
40	Friedemann Bitsch, Ulrich Feucht, Huw Gough	Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Safety-related Application Conditions, SAC quality, conditions for defining SACs, process for defining and complying with SACs
40	Jesper Berthing, Thomas Maier	A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements.	SAFECOMP	2007	DBLP DOI BibTeX RDF	dependable architectures, safety related architectures, IEC61508
40	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
40	Jakob E. Bardram, Niels Nørskov	A context-aware patient safety system for the operating room.	UbiComp	2008	DBLP DOI BibTeX RDF	CAPSIS, context-aware computing, safety-critical systems, pervasive healthcare, operating room
40	Hen-I Yang, Abdelsalam Helal	Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments.	PerCom	2008	DBLP DOI BibTeX RDF	Safety mechanisms, Middleware, Pervasive computing, Intelligent environment
40	Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin	Model Checking Safety-Critical Systems Using Safecharts.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Safecharts, extended timed automaton, model checking, Safety-critical systems
40	Sebastian Kain, Hao Ding 0001, Frank Schiller, Olaf Stursberg	Controller Architecture for Safe Cognitive Technical Systems.	SAFECOMP	2007	DBLP DOI BibTeX RDF	cognitive controllers, learning, safety, hybrid systems, cognitive systems
40	Lauren J. Thomas, Daniel J. A. Rhind, Katie J. Robinson	Rail passenger perceptions of risk and safety and priorities for improvement.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Rail passenger, Safety preferences, Risk perception
40	Sheng-I Yeh, Chang-Biau Yang, Hon-Chan Chen	Fault-Tolerant Routing on the Star Graph with Safety Vectors.	ISPAN	2002	DBLP DOI BibTeX RDF	safety vector, fault tolerant, routing, interconnection network, star graph
40	Dong Xiang	Fault-Tolerant Routing in Hypercube Multicomputers Using Local Safety Information.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	local safety, maximal safe subcube, safe node, spanning subcube, unsafe node, Fault-tolerant routing, hypercube multicomputer
40	Robyn R. Lutz, Guy G. Helmer, Michelle M. Moseman, David E. Statezni, Stephen R. Tockey	Safety Analysis of Requirements for a Product Family.	ICRE	1998	DBLP DOI BibTeX RDF	Safety, requirements analysis, product family, avionics
39	Uwe Becker	Applying Safety Goals to a New Intensive Care Workstation System.	SAFECOMP	2008	DBLP DOI BibTeX RDF	safety goals, reliability, systems design, resilience, Medical devices, health care systems, safety cases
39	A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey	The Safety Management of Data-Driven Safety-Related Systems.	SAFECOMP	2000	DBLP DOI BibTeX RDF
39	M. Liu, Siuming Lo, B. Q. Hu, C. M. Zhao	On the use of fuzzy synthetic evaluation and optimal classification for computing fire risk ranking of buildings.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Fire safety ranking, Fire safety attributes, Fuzzy optimal classification, Fuzzy synthetic evaluation
39	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
39	D. Essame, Jean Arlat, David Powell	Available fail-safe systems.	FTDCS	1997	DBLP DOI BibTeX RDF	available fail-safe systems, life critical systems, railway applications, duplex computers, safety constraints, safety degradation, redundancy management mechanisms, fault tolerant computing, redundancy, distributed real-time system, system availability
38	William S. Greenwell, Elisabeth A. Strunk, John C. Knight	Failure Analysis and the Safety-Case Lifecycle.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
38	Christopher W. Johnson 0001	The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
38	Ana-Maria Marhan, Fabio Paternò, Carmen Santoro	Designing Distributed Task Performance in Safety-Critical Systems Equipped With Mobile Devices.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
38	Hans H. K. Andersen, Gunnar Hauland	Studying Operator behaviour During a Simple but safety critical Task.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
38	Bastiaan A. Schupp, Shamus P. Smith, Peter C. Wright, Louis H. J. Goossens	Integrating Human Factors in the design of Safety Critical Systems - A barrier based approach.	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
38	Jari Nisula	Challenge of safety data analysis - Top models wanted - or "Don't call me a cab, when I ask for a map".	Human Error, Safety and Systems Development	2004	DBLP DOI BibTeX RDF
38	Yoshihiro Nakabo, Hajime Saito, Takuya Ogure, Seonghee Jeong, Yoji Yamada	Development of a safety module for robots sharing workspace with humans.	IROS	2009	DBLP DOI BibTeX RDF
38	Pushpa Kumar, Nary Subramanian, Kang Zhang 0001	SaViT: Technique for Visualization of Digital Home Safety.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
38	Wei Li, Mingchuan Zhang, Wei Yang	Safety Assessment Modelling Based on Recipe Engineering for Power Plants.	ICNSC	2008	DBLP DOI BibTeX RDF