The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Safety with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1955-1977 (15) 1978-1981 (17) 1982-1983 (15) 1984-1985 (17) 1986 (16) 1987 (17) 1988 (27) 1989 (34) 1990 (43) 1991 (38) 1992 (41) 1993 (108) 1994 (86) 1995 (147) 1996 (184) 1997 (164) 1998 (242) 1999 (271) 2000 (320) 2001 (351) 2002 (406) 2003 (477) 2004 (664) 2005 (758) 2006 (899) 2007 (1113) 2008 (1175) 2009 (1057) 2010 (752) 2011 (722) 2012 (1030) 2013 (1105) 2014 (1342) 2015 (1498) 2016 (1222) 2017 (1549) 2018 (1745) 2019 (2210) 2020 (1847) 2021 (2260) 2022 (2124) 2023 (2529) 2024 (471)
Publication types (Num. hits)
article(8800) book(39) data(8) incollection(191) inproceedings(21439) phdthesis(417) proceedings(214)
Venues (Conferences, Journals, ...)
CoRR(1787) SAFECOMP(928) SSS(827) SSRR(609) HPCC/CSS/ICESS(513) ICVES(513) Reliab. Eng. Syst. Saf.(477) ICSRS(471) SAFECOMP Workshops(411) CAA SAFEPROCESS(353) IEEE Access(310) Sensors(274) SAFEPROCESS(254) ITSC(246) HCI (17)(244) CSS(221) More (+10 of total 4154)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8688 occurrences of 3331 keywords

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