|
|
Venues (Conferences, Journals, ...)
|
|
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 |
38 | Marco Bozzano, Adolfo Villafiorita |
The FSAP/NuSMV-SA Safety Analysis Platform. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Thierry Fraichard |
A Short Paper about Motion Safety. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001 |
Application of Safety Analyses in Model Driven Development. |
SEUS |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken-ichi Matsumoto |
Characterizing Safety of Integrated Services in Home Network System. |
ICOST |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Jie Wu 0001, Feng Gao, Zhongcheng Li, Yinghua Min |
Optimal, and reliable communication in hypercubes using extended safety vectors. |
IEEE Trans. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Zhongwei Xu, Bangxing Chen |
Damage Size and Software Safety Demonstration Stress Testing. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Marie-Agnès Peraldi-Frati, Arnaud Albinet |
Requirement traceability in safety critical systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
modeling, validation, time, safety, traceability, non-functional requirement, MARTE |
38 | Martin Gilje Jaatun, Tor Olav Grøtan, Maria B. Line |
Secure Safety: Secure Remote Access to Critical Safety Systems in Offshore Installations. |
ATC |
2008 |
DBLP DOI BibTeX RDF |
Secure remote access, Safety Instrumented Systems, Process Control, Offshore |
38 | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems |
38 | Alberto Pasquini, Simone Pozzi |
Safety Assessment of Experimental Air Traffc Management Procedures. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
Safety Assessment, Human-Computer Interaction, Air Traffic Management |
37 | Andreas Thums, Gerhard Schellhorn |
Model Checking FTA. |
FME |
2003 |
DBLP DOI BibTeX RDF |
model checking, safety analysis, fault tree analysis |
37 | Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson 0001, Peter Johnson 0001 |
Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? |
CHI Extended Abstracts |
2007 |
DBLP DOI BibTeX RDF |
reliability safety critical systems, usability, safety, human error |
37 | Praful V. Bhansali |
Software safety: current status and future direction. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
verification, validation, software safety, system safety |
37 | Fan Wu, Frank Kuo, Liu-Wei Liu |
The application of RFID on drug safety of inpatient nursing healthcare. |
ICEC |
2005 |
DBLP DOI BibTeX RDF |
RFID (Radio Frequency Identify Digital), drug safety, inpatient nursing healthcare, patient safety, medical error |
37 | Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys |
Integrated Safety Analysis of Requirements Specifications. |
RE |
1997 |
DBLP DOI BibTeX RDF |
software safety analysis, software safety, software requirements specification |
37 | Dominik Domis, Mario Trapp |
Integrating Safety Analyses and Component-Based Design. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Jason D. Lee, Praveen Bhojwani, Rabi N. Mahapatra |
A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Yuan-Lin Chen, Chong-An Wang |
Vehicle Safety Distance Warning System: A Novel Algorithm for Vehicle Safety Distance Calculating Between Moving Cars. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Anjali Joshi, Mats Per Erik Heimdahl |
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Lars-Henrik Eriksson |
Using Formal Methods in a Retrospective Safety Case. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
37 | David Peter Eames, Jonathan D. Moffett |
The Integration of Safety and Security Requirements. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim |
Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Lon D. Gowen |
Workshop on Software Safety-Summary of the '94 CMBS Syposium's Software Safety Workshop. |
CBMS |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Jutta Eusterbrock |
Context-Aware Code Certification. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Alvaro Graves |
Integrating and publishing public safety data using semantic technologies. |
DG.O |
2010 |
DBLP BibTeX RDF |
visualization, data integration, semantic technologies, local government, public safety, crime |
36 | Seong-Tae Kim, Pyung Hun Chang |
Safety-Ensuring Systematic Design for Service Robots. |
ICOST |
2008 |
DBLP DOI BibTeX RDF |
Safety-ensuring design, Target-Oriented Design (TOD), Reliability, Risk analysis, Service robot |
36 | Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic |
Hardbound: architectural support for spatial safety of the C programming language. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
spatial memory safety, C programming language |
36 | Dana Kulic, Elizabeth A. Croft |
Pre-collision safety strategies for human-robot interaction. |
Auton. Robots |
2007 |
DBLP DOI BibTeX RDF |
Robot safety, Affective state estimation, Human-robot interaction, Physiological signals |
36 | William H. Winsborough, Ninghui Li |
Safety in automated trust negotiation. |
ACM Trans. Inf. Syst. Secur. |
2006 |
DBLP DOI BibTeX RDF |
Access control, safety, strategy, credentials, attribute-based access control, automated trust negotiation |
36 | Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Presicce |
Safety analysis of usage control authorization models. |
AsiaCCS |
2006 |
DBLP DOI BibTeX RDF |
access control, authorization, safety, usage control, UCON |
36 | Craig L. Robinson, Lorenzo Caminiti, Derek Caveney, Kenneth P. Laberteaux |
Efficient coordination and transmission of data for cooperative vehicular safety applications. |
Vehicular Ad Hoc Networks |
2006 |
DBLP DOI BibTeX RDF |
channel loading, message composition, message dispatcher, vehicle safety applications, wireless, DSRC |
36 | Frank Ortmeier, Wolfgang Reif |
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
optimization, embedded systems, dependability, safety analysis, fault tree analysis |
36 | Michael Mahemoff, Andrew Hussey, Lorraine Johnston |
Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
usability, user-interface, design patterns, Safety-critical |
36 | Kirsten Mark Hansen, Anders P. Ravn, Victoria Stavridou |
From Safety Analysis to Software Requirements. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
real-time systems, formal methods, requirements engineering, temporal logic, Safety analysis, fault trees |
36 | Kyo Chul Kang, Kwang-Il Ko |
Formalization and Verification of Safety Properties of Statechart Specifications. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph |
35 | Divya Arora, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha |
Architectural support for safe software execution on embedded processors. |
CODES+ISSS |
2006 |
DBLP DOI BibTeX RDF |
type safety, memory safety, extensible processors |
34 | Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss |
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
safety-critical embedded system, fail-safe system, safety function, safety, CPLD, IEC 61508 |
34 | Robyn R. Lutz, Ann Patterson-Hine |
Using Fault Modeling in Safety Cases. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Michael Falk, Lothar Heins, Andreas Wensauer |
Safety Assessment of Fuel Rods via Generalized Bernoulli Chains. |
IEEE Trans. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Pao-Ann Hsiung, Yen-Hung Lin |
Modeling and Verification of Safety-Critical Systems Using Safecharts. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Weihang Wu, Tim Kelly |
Safety Tactics for Software Architecture Design. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Ioan Chisalita, Nahid Shahmehri |
Vehicular communication - a candidate technology for traffic safety. |
SMC (4) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner |
Memory safety without runtime checks or garbage collection. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management |
34 | Jukka Korpela, Antti Lehmusvaara, Kalevi Kyläheiko, Markku Tuominen |
Adjusting Safety Stock Requirements with an AHP-Based Risk Analysis. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai |
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Paolo Salvaneschi, Mauro Cadei, Marco Lazzari |
Applying AI to Structural Safety Monitoring and Evaluation. |
IEEE Expert |
1996 |
DBLP DOI BibTeX RDF |
|
34 | Yehoshua Sagiv, Moshe Y. Vardi |
Safety of Datalog Queries over Infinite Databases. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
34 | Jean Souyris, David Delmas |
Experimental Assessment of Astrée on Safety-Critical Avionics Software. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety |
33 | Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |
A verifiable SSA program representation for aggressive compiler optimization. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages |
33 | Denis Besnard, David Greathead |
A cognitive approach to safe violations. |
Cogn. Technol. Work. |
2003 |
DBLP DOI BibTeX RDF |
Large-scale systems safety, Violations, Cognitive ergonomics |
33 | Yueh-Hsuan Weng, Chien-Hsun Chen, Chuen-Tsai Sun |
The legal crisis of next generation robots: on safety intelligence. |
ICAIL |
2007 |
DBLP DOI BibTeX RDF |
human-robot co-existence society, robot intelligence, robot law, safety engineering, safety intelligence |
33 | Weiwei Li, Zhongwei Xu, Yan Jin |
An Approach for Testing Safety-Critical Software. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
Failure Severity Level, Failure Frequency, Integrity Level, Safety-Critical Software, Software Safety, Software Validation |
33 | Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam |
Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition |
33 | Neil C. Audsley, I. J. Bate, Alan Burns 0001 |
Putting fixed priority scheduling theory into engineering practice for safety critical applications. |
IEEE Real Time Technology and Applications Symposium |
1996 |
DBLP DOI BibTeX RDF |
aircraft computers, engineering practice, industrial safety-critical hard real-time systems, class A systems, civil aircraft software standard DO178B, evidence gathering, technical benefits, evidence presentation, scheduling, real-time systems, timing, certification, safety-critical software, fixed-priority scheduling, aerospace computing, certification authorities, software standards, timing requirements |
33 | Norman F. Schneidewind |
Predictions for increasing confidence in the reliability of safety critical software. |
ICECCS |
1995 |
DBLP DOI BibTeX RDF |
residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence |
33 | Lloyd G. Williams |
Assessment of Safety-Critical Specifications. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method |
33 | Jing Liu |
Handling Safety-Related Feature Interaction in Safety-Critical Product Lines. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Weihang Wu, Tim Kelly |
Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Joseph Kiniry |
Program Safety via Programmer Safety. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Erwin Schoitsch, Egbert Althammer, Henrik Eriksson, Jonny Vinter, László Gönczy, András Pataricza, György Csertán |
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Bengt Ljungquist, Thomas Thelin |
An IEC 62061 Compliant Safety System Design Method for Machinery. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Zeshan Kurd, Tim P. Kelly, Jim Austin |
Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications. |
IDEAL |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Zeshan Kurd, Tim Kelly |
Using Fuzzy Self-Organising Maps for Safety Critical Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Shamus P. Smith, Michael D. Harrison, Bastiaan A. Schupp |
How Explicit Are the Barriers to Failure in Safety Arguments? |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Stephen Paynter, Bob W. Born |
Analysing the Safety of a Software Development Process. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran |
Security Assessments of Safety Critical Systems Using HAZOPs. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Chris W. Johnson 0001 |
Software Support for Incident Reporting Systems in Safety-Critical Applications. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh |
Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System |
32 | Nelufar Ulfat-Bunyadi, Denis Hatebur, Maritta Heisel |
Performing a More Realistic Safety Analysis by Means of the Six-Variable Model. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
32 | Kevin Lamshöft, Robert Altschaffel, Jana Dittmann |
Adapting Organic Computing Architectures to an Automotive Environment to Increase Safety & Security. |
Automotive - Safety & Security |
2017 |
DBLP BibTeX RDF |
|
32 | Martin Böhner, Alexander Mattausch, Alexander Much |
Extending Software Architectures from Safety to Security. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
32 | Jörn Schneider, Tillmann Nett |
Safety Issues of Integrating IVI and ADAS functionality via running Linux and AUTOSAR in parallel on a Dual-Core-System. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
32 | Benjamin Glas, Carsten Gebauer, Jochen Hänger, Andreas Heyl, Jürgen Klarmann, Stefan Kriso, Priyamvadha Vembar, Philipp Wörz |
Automotive Safety and Security Integration Challenges. |
Automotive - Safety & Security |
2014 |
DBLP BibTeX RDF |
|
32 | Stefan Schmerler |
Evolution of Functional Safety & Security in AUTOSAR. |
Automotive - Safety & Security |
2012 |
DBLP BibTeX RDF |
|
32 | Matthias Klauda |
Automotive Safety and Security from a Supplier's Perspective. |
Automotive - Safety & Security |
2012 |
DBLP BibTeX RDF |
|
32 | S. Modgil, John P. Fox 0001 |
A Guardian Agent Approach to Safety in Medical Multi-agent Systems. |
Safety and Security in Multiagent Systems |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Diana F. Spears, Wesley Kerr, William M. Spears |
Safety and Security Multi-agent Systems - Research Results from 2004-2006. |
Safety and Security in Multiagent Systems |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Paul Scerri, Katia P. Sycara, Milind Tambe |
Safety in the Context of Coordination via Adjustable Autonomy. |
Safety and Security in Multiagent Systems |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Robert Alexander, Martin Hall-May, Georgios Despotou, Tim Kelly |
Towards Using Simulation to Evaluate Safety Policy for Systems of Systems. |
Safety and Security in Multiagent Systems |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Pravin Shetty, Seng Wai Loke |
Context-based security (and safety) meta-policies for pervasive computing environments: the case of smart momes. |
CONTEXT Workshop on Safety and Context |
2005 |
DBLP BibTeX RDF |
|
32 | Chris W. Johnson 0001, Philippe A. Palanque (eds.) |
Human Error, Safety and Systems Development, IFIP 18th World Computer Congress, TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004, Toulouse, France |
Human Error, Safety and Systems Development |
2004 |
DBLP BibTeX RDF |
|
32 | Ola Leifler, Björn J. E. Johansson, Mats Persson, Georgios Rigas |
Development of Critiquing Systems in Network Organizations. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Jens-Uwe Schröder |
SEMOMAP: Sequential Model of the Maritime Accident Process. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy |
Toward A Human-Centered UML For Risk Analysis - Application to a medical robot. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Karsten Loer, Michael Hildebrandt, Michael D. Harrison |
Analysing Dynamic Function Scheduling Decisions. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Philippe A. Palanque, Sandra Basnyat |
Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Yamine Aït Ameur, Benoit Breholée, Patrick Girard 0002, Laurent Guittet, Francis Jambon |
Formal Verification and Validation of Interactive Systems Specifications - From Informal Specifications to Formal Validation. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Veronika Prinzo |
Automatic Dependent Surveillance - Broadcast / Cockpit Display of Traffic Information: Pilot Use of Electronic VS Paper Map Displays During Aircraft Navigation on the Airport Surface. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Nasrine Bagheri, Greg A. Jamieson |
A Sampling Model to Ascertain Automation-Induced Complacency in Multi-Task Environments. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Claudia V. S. Guerrero, Maria de F. Q. V. Turnell, Jean-Marc Mercantini, Eugène Chouraqui, Fernando A. Q. Vieira, Madson R. B. Pereira |
Modelling Incident Scenarios: To enrich User Interface Development. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Christopher A. Hart |
The Global Aviation Information Network (GAIN) - Using Information to Make the Aviation System Less Error Prone and More Error Tolerant. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Chris W. Johnson 0001 |
The Role of Night Vision Equipment in Military Incidents and Accidents. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Angela Miguel, Peter Wright |
Towards a Framework for Systematically Analysing Collaborative Error. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Michael Cebulla |
Handling Human Factors In Integrated Systems Engineering - Coping with Context-Adaptive Behavior. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Urs Gruber |
Decision making in avalanche terrain - A concept for an educational computer simulation tool for backcountry ski guides with a special focus on human errors. |
Human Error, Safety and Systems Development |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Robin W. Whitty |
Software in Safety-Related Systems, by Brian Wichmann (Editor), Wiley, 1992 and Safety-Critical Systems: Current Issues, Techniques and Standards, Felix Redmill and Tom Anderson (Editors), Chapman & Hall, 1993 and Directions in Safety-Critical Systems, by Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1993 and Technology and Assessment of Safety-Critical Systems, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1994 and Achievement and Assurance of Safety, Felix Redmill and Tom Anderson (Editors), Springer-Verlag, 1995 and Journal: High Integrity Systems, Andrew D. McGettrick (Editor), Oxford University Press (Books and Journal Review). |
Softw. Test. Verification Reliab. |
1995 |
DBLP BibTeX RDF |
|
32 | Emmanuel Bannor Boateng, Peter Davis, Manikam Pillay |
Role of Human Safety Intervention on the Impact of Safety Climate on Workers Safety Behaviours in Construction Projects: A Conceptual Model. |
AHFE (18) |
2019 |
DBLP DOI BibTeX RDF |
|
32 | Bob Fields, Peter C. Wright, Michael D. Harrison |
A task centered approach to analysing human error tolerance requirements. |
RE |
1995 |
DBLP DOI BibTeX RDF |
task centered approach, human error tolerance requirements, human operators, operator tasks, software engineering notation, structured tasks, human error forms, formal specification, software development, human factors, systems engineering, user centred design, safety critical systems, task analysis, safety-critical software, operator models, system safety |
32 | Susan L. Gerhart, Dan Craigen, Ted Ralston |
Case Study: Darlington Nuclear Generating Station. |
IEEE Softw. |
1994 |
DBLP DOI BibTeX RDF |
fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality |
32 | Matthias Biehl, De-Jiu Chen, Martin Törngren |
Integrating safety analysis into the model-based development toolchain of automotive embedded systems. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
architecture description language, tool integration, model-based development, safety analysis |
Displaying result #101 - #200 of 31108 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|