Search results for "Safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Jeronimo Dzaack, Leon Urbas	Multilevel Analysis of Human Performance Models in Safety-Critical Systems.	HCI (11)	2009	DBLP DOI BibTeX RDF	multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models
32	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
32	Xiaocheng Ge, Richard F. Paige, John A. McDermid	Probabilistic Failure Propagation and Transformation Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF	failure, probabilistic analysis, component-based system, safety analysis
32	Christian Denger, Mario Trapp, Peter Liggesmeyer	SafeSpection - A Systematic Customization Approach for Software Hazard Identification.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety
32	Kathryn Rapala, Julie Cowan Novak	Clinical Patient Safety - Achieving High Reliability in a Complex System.	HCI (12)	2007	DBLP DOI BibTeX RDF	failure mode event analysis, high reliability organization, simulation, education, human factors, culture, root cause analysis, patient safety, work complexity
32	Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae	Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.	SEUS	2007	DBLP DOI BibTeX RDF	safety property analysis, LTS, slice model, embedded system
32	Gregor Snelting, Torsten Robschink, Jens Krinke	Efficient path conditions in dependence graphs for software safety analysis.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	program slicing, information flow control, Safety analysis, path condition
32	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand	Safety Property Driven Test Generation from.	FATES/RV	2006	DBLP DOI BibTeX RDF	JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language
32	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
32	Lawrence W. Hill	Equipment safety in the wireless networking laboratory environment.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	MPE, electromagnetic radiation, wireless networking, safety, 802.11, IT education, laboratory, laser
32	Roderick Chapman, Adrian Hilton 0002	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
32	Hermann Kopetz	On the Fault Hypothesis for a Safety-Critical Real-Time System.	ASWSD	2004	DBLP DOI BibTeX RDF	Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
32	Shlomi Dolev, Frank A. Stomp	Safety assurance via on-line monitoring.	Distributed Comput.	2003	DBLP DOI BibTeX RDF	Distributed systems, Monitors, Safety properties
32	Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita	Improving Safety Assessment of Complex Systems: An Industrial Case Study.	FME	2003	DBLP DOI BibTeX RDF	Formal Verification and Safety Assessment of Complex Systems, Automated Fault Tree Computation, ESACS
32	Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè	Using symbolic execution for verifying safety-critical systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	verification, formal methods, C, symbolic execution, safety-critical system
32	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.	FTCS	1999	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, reliability and safety, model checking, Concurrency, object orientation, formal verification, exception handling, reactive systems
32	Constance L. Heitmeyer, James Kirby, Bruce G. Labaw, Myla Archer, Ramesh Bharadwaj	Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	simulation, model checking, verification, formal methods, specification, abstraction, Requirements, consistency checking, safety analysis, SCR
32	Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsai	Design for Constraint Violation Detection in Safety-Critical Systems.	HASE	1998	DBLP DOI BibTeX RDF	design patterns, object-oriented design, Safety-critical systems, implantable medical devices
31	Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris	Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.	SAFECOMP	1998	DBLP DOI BibTeX RDF
31	Wolfgang A. Halang, Sias Mostert	Composing Dependable Real Time Software of Function Blocks.	WORDS	2001	DBLP DOI BibTeX RDF	Safety related automation, function block diagrams, data flow languages, safety licensing of software, diverse back translation, schedulability analysis
31	Mats Per Erik Heimdahl, David J. Keenan	Generating Code from Hierarchical State-Based Requirements.	RE	1997	DBLP DOI BibTeX RDF	hierarchical state-based requirements, safety-critical embedded computer systems, environmental damage, monetary loss, Irvine Safety Research Group, requirements specification language, Requirements State Machine Language, formal specification, code generation, system complexity, RSML
31	David Pager	The design and implementation of an automatic computer-controlled infusion pump.	CBMS	1997	DBLP DOI BibTeX RDF	biomedical equipment, automatic computer controlled infusion pump, oxytocin, software safety issues, timed pulses, mathematical algorithms, undesirable patient parameters, excessively high intrauterine pressure, constant intrauterine pressure, hardware safety issues, contractions, system reliability
30	Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger	Termination criteria for solving concurrent safety and reachability games.	SODA	2009	DBLP DOI BibTeX RDF
30	Seonghee Jeong, Yoshihiro Nakabo, Takuya Ogure, Yoji Yamada	Development of a direct teaching system for a cooperative cell-production robot considering safety and operability.	IROS	2009	DBLP DOI BibTeX RDF
30	Enzhi Li	Research on Establishment of Evaluation Model of Accounting for Safety Resources Based on Technology of Data Mining.	WKDD	2009	DBLP DOI BibTeX RDF
30	Fredrik Törner, Peter Öhman	Automotive Safety Case A Qualitative Case Study of Drivers, Usages, and Issues.	HASE	2008	DBLP DOI BibTeX RDF
30	Juan Li, Hou-Xiang Wang	Fault Tree Based Prediction of Software Systems Safety.	CSSE (2)	2008	DBLP DOI BibTeX RDF
30	Martin Wassink, Stefano Stramigioli	Towards a novel safety norm for domestic robotics.	IROS	2007	DBLP DOI BibTeX RDF
30	Mats Per Erik Heimdahl	Safety and Software Intensive Systems: Challenges Old and New.	FOSE	2007	DBLP DOI BibTeX RDF
30	Lei Jing, Zixue Cheng	Functional Safety Problems in the Ubiquitous Environment.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
30	Elena Navarro 0001, Pedro Sánchez, Patricio Letelier 0001, Juan Angel Pastor, Isidro Ramos	A Goal-Oriented Approach for Safety Requirements Specification.	ECBS	2006	DBLP DOI BibTeX RDF
30	Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001	Model Based Integration of Safety Analysis and Development.	ISORC	2006	DBLP DOI BibTeX RDF
30	Orna Kupferman, Robby Lampert	On the Construction of Fine Automata for Safety Properties.	ATVA	2006	DBLP DOI BibTeX RDF
30	Sungwoo Park	A Modal Language for the Safety of Mobile Values.	APLAS	2006	DBLP DOI BibTeX RDF
30	Veli N. Stroetmann, Daniel Spichtinger, Karl A. Stroetmann, Jean-Pierre Thierry	ICT for Patient Safety: Towards a European Research Roadmap.	ISBMDA	2006	DBLP DOI BibTeX RDF
30	Mário Brito, John May	Gaining Confidence in the Software Development Process Using Expert Systems.	SAFECOMP	2006	DBLP DOI BibTeX RDF
30	Massimo Felici	Modeling Safety Case Evolution - Examples from the Air Traffic Management Domain.	RISE	2005	DBLP DOI BibTeX RDF
30	Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones	Model-Based Integration of Safety Analysis and Reliable Software Development.	WORDS	2005	DBLP DOI BibTeX RDF
30	Fan Ye 0005, Tim Kelly	COTS Product Selection for Safety-Critical Systems.	ICCBSS	2004	DBLP DOI BibTeX RDF
30	Zeshan Kurd, Tim Kelly	Establishing Safety Criteria for Artificial Neural Networks.	KES	2003	DBLP DOI BibTeX RDF
30	John Alexander McDermid	Software Hazard and Safety Analysis.	FTRTFT	2002	DBLP DOI BibTeX RDF
30	Iain Bate, Tim Kelly	Architectural Considerations in the Certification of Modular Systems.	SAFECOMP	2002	DBLP DOI BibTeX RDF
30	Trent Jaeger, Jonathon Tidswell	Practical safety in flexible access control models.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	authorization mechanisms, role-based access control, Access control models
30	Mariana Dumitrescu, Toader Munteanu	A Fuzzy Logic System Used in Safety Analysis.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
30	Jie Wu 0001	Adaptive Fault-Tolerant Routing in Cube-Based Multicomputers Using Safety Vectors.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Disconnected networks, generalized hypercubes, fault tolerance, multicomputers, unicast, reliable communication
30	Rupert Brown	The Practical Application of Safety Techniques on an Ada Based Project.	Ada-Europe	1995	DBLP DOI BibTeX RDF
30	Fevzi Belli, Axel Hollmann, Nimal Nissanke	Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Analysis and Testing, Risk Graphs, Safety, User Interactions, Regular Expressions, Event Sequence Graphs
30	Andreas Lang 0001, Jana Dittmann, Stefan Kiltz, Tobias Hoppe	Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Future Vision, Security, Safety, Automotive
29	Jean Yang 0001, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
29	Christine B. Williams, Jane Fedorowicz, Arthur P. Tomasino	Governmental factors associated with state-wide interagency collaboration initiatives.	DG.O	2010	DBLP BibTeX RDF	intergovernmental collaboration, state level initiatives, institutional theory, public safety, rational choice theory
29	Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The software model checker Blast.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Model checking, Software verification, Test-case generation, Software specification, Memory safety
29	Lars Grunske, Bernhard Kaiser	Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.	QSIC	2005	DBLP DOI BibTeX RDF	Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis
29	Daniel Tang, Ales Plsek, Jan Vitek	Static checking of safety critical Java annotations.	JTRES	2010	DBLP DOI BibTeX RDF	verification, annotations, safety critical systems, memory safety
29	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
29	Jürgen Mottok, Frank Schiller, Thomas Völkl, Thomas Zeitler	A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safely Embedded Software, Safe State Machine, Diverse Instructions, Safety Code Weaving, Safety Supervisor
29	Nancy G. Leveson	A Systems-Theoretic Approach to Safety in Software-Intensive Systems.	IEEE Trans. Dependable Secur. Comput.	2004	DBLP DOI BibTeX RDF	accident models, software engineering, Software safety, system safety
29	Jacob Savir	On testing safety-sensitive digital systems.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	aerospace testing, safety systems, safety-sensitive digital systems, off-line test, flight critical missions, digital airborne system, repair capabilities, diagnosis capabilities, mission reliability, reliability, fault diagnosis, redundancy, digital systems, online test
29	Richard Robinson, Mingyan Li, Scott Lintelman, Krishna Sampigethaya, Radha Poovendran, David von Oheimb, Jens-Uwe Bußer, Jorge Cuéllar	Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.	SAFECOMP	2007	DBLP DOI BibTeX RDF
29	Hans Russo, Andreas Turk	Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation.	SAFECOMP	2007	DBLP DOI BibTeX RDF
29	Ola Løkberg, Øystein Skogstad	Functional Apportioning of Safety Requirements on Railway Signalling Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
29	Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci	Automatic Analysis of a Safety Critical Tele Control System.	SAFECOMP	2005	DBLP DOI BibTeX RDF
29	Meghan M. Dierks, Caprice K. Christian, Emilie M. Roth, Thomas B. Sheridan	Healthcare safety: the impact of Disabling "safety" protocols.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
29	Junbeom Yoo, Sung Deok Cha, Han Seong Son, Chang Hwoi Kim, Jang-Soo Lee	PLC-Based Safety Critical Software Development for Nuclear Power Plants.	SAFECOMP	2004	DBLP DOI BibTeX RDF
29	James M. Armstrong, Stephen Paynter	The Deconstruction of Safety Arguments Through Adversarial Counter-Argument.	SAFECOMP	2004	DBLP DOI BibTeX RDF
29	Fangmei Wu, Lei Huang	Efficiency Analysis and Safety Assessment of Automatic Testing for Safety-Critical Software.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
29	Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski	Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.	SAFECOMP	2000	DBLP DOI BibTeX RDF
29	Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones	The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story.	SAFECOMP	1999	DBLP DOI BibTeX RDF
29	Elmar Dilger, Thomas Führer, Bernd Müller	Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach.	SAFECOMP	1998	DBLP DOI BibTeX RDF
29	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.	SAFECOMP	1998	DBLP DOI BibTeX RDF
29	Ken Wong, Jeff Joyce	Refinement of Safety-Related Hazards into Verifiable Code Assertions.	SAFECOMP	1998	DBLP DOI BibTeX RDF
28	Shana Smith 0001, Emily Ericson	Using immersive game-based virtual reality to teach fire-safety skills to children.	Virtual Real.	2009	DBLP DOI BibTeX RDF	Game based, Fire safety, Virtual reality (VR), Children, Immersive, CAVE
28	Hidetoshi Fukui, Satoshi Yonejima, Masatake Yamano, Masao Dohi, Tomonori Nishiki, Mariko Yamada, Toshihiro Fujita	Development of Portable Robotic Operation Terminals to Achieve Increased Safety and Usability and a Study on the Effectiveness of Wireless Terminals.	HCI (15)	2009	DBLP DOI BibTeX RDF	Teach pendant, enabling switch, HMI environment, usability, robot, wireless, safety
28	Maria Chiara Leva, Alison M. Kay, Joan Cahill, Gabriel Losa, Sharon Keating, Diogo Serradas, Nick McDonald	Unique Reporting Form: Flight Crew Auditing of Everyday Performance in an Airline Safety Management System.	HCI (9)	2009	DBLP DOI BibTeX RDF	threat & error management, safety management systems, Human Factors, performance monitoring, task support
28	Byung Cheol Lee, Vincent G. Duffy	Impact of Healthcare Information Technology Systems on Patient Safety.	HCI (9)	2009	DBLP DOI BibTeX RDF	Interdisciplinary approach, Healthcare Research framework, Patient safety, Healthcare information system
28	Michael J. Smith 0001, Pascale Carayon	Using the 'Balance Model' for Occupational Safety and Health Promotion.	HCI (15)	2009	DBLP DOI BibTeX RDF	design, safety, system, risk, health, balance, hazard, wellness
28	Kee Man Chuah, Chwen Jen Chen, Chee Siong Teh	ViSTREET: An Educational Virtual Environment for the Teaching of Road Safety Skills to School Students.	IVIC	2009	DBLP DOI BibTeX RDF	educational virtual environments, road safety education, virtual reality, instructional technology
28	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
28	Tianrui Li 0001, Yongjun Shen, Da Ruan 0001, Elke Hermans, Geert Wets	Integrating Rough Sets with Neural Networks for Weighting Road Safety Performance Indicators.	RSKT	2009	DBLP DOI BibTeX RDF	road safety performance indicators, composite indicator, neural networks, Rough sets
28	Jun Liu 0001, Jian-Bo Yang, Da Ruan 0001, Luis Martínez-López 0001, Jin Wang	Self-tuning of fuzzy belief rule bases for engineering system safety analysis.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Belief rule-base, Optimization, Fuzzy logic, Uncertainty, Safety analysis, Evidential reasoning
28	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstraction-Carrying Code: a Model for Mobile Code Safety.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
28	Pei-Ran Sun, Bo-Han Wang, Fan Wu	A New Method to Guard Inpatient Medication Safety by the Implementation of RFID.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Adverse Drug Reaction, Malpractice, Radio Frequency Identification, Barcodes, Patient safety, Medical Errors
28	Gianmarco Baldini, Raimondo Giuliani, Dimitrios Symeonidis	Reconfigurable Radio Systems for Public Safety Based on Low-Cost Platforms.	EuroISI	2008	DBLP DOI BibTeX RDF	reconfigurable radio systems, security, SDR, public safety
28	Kazuhiro Takeda, Shingo Sugioka, Yukiyasu Shimada, Takashi Hamaguchi, Teiji Kitajima, Tetsuo Fuchino	LCA of the Various Vehicles in Environment and Safety Aspect.	KES (3)	2008	DBLP DOI BibTeX RDF	Life Cycle Assessment, Fuel Cell Vehicle, Gasoline Vehicle, Hybrid Electric Vehicle, Safety Issues, Electric Vehicle
28	Yukiyasu Shimada, Hossam A. Gabbar	Development of Activity Models of Integrated Safety and Disaster Management for Industrial Complex Areas.	KES (3)	2008	DBLP DOI BibTeX RDF	Safety and Disaster Management, Activity Model, Agent System
28	Yumiko Nara	A Cross-Cultural Study on Attitudes toward Risk, Safety and Security.	KES (2)	2008	DBLP DOI BibTeX RDF	risk image, the United States, security, safety, risk, China, questionnaire, comparative study, Japan
28	Matthias Giese, Tomasz Mistrzyk, Andreas Pfau, Gerd Szwillus, Michael von Detten	AMBOSS: A Task Modeling Approach for Safety-Critical Systems.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	task editor, simulation, task modeling, safety-critical systems, socio-technical systems, task patterns
28	Heimo Zeilinger, Berndt Sevcik, Thomas Turek, Gerhard Zucker	Communication in Change - Voice over IP in Safety and Security Critical Communication Networks.	IT Revolutions	2008	DBLP DOI BibTeX RDF	security, safety, VoIP, communication networks
28	Elke Moons, Tom Brijs, Geert Wets	Hot Spot Analysis: Improving a Local Indicator of Spatial Association for Application in Traffic Safety.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	local indicator of spatial association (LISA), Moran’s I, hot spot accident analysis, spatial statistics, traffic safety
28	Matthias Tichy, Stefan Henkler, Matthias Meyer 0001, Markus von Detten	Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.	ICSE Companion	2008	DBLP DOI BibTeX RDF	failure propagation, fujaba, structual transformations, fault tolerance, safety, hazard analysis
28	Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold	Analysis of Nested CRC with Additional Net Data in Communication.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Cyclic Redundancy Check, Residual error probability, Safety-critical communication
28	Harold W. Thimbleby	User-Centered Methods Are Insufficient for Safety Critical Systems.	USAB	2007	DBLP DOI BibTeX RDF	Safety Critical Interactive Devices, Human-Computer Interaction, Usability Engineering, Interaction Programming
28	Konstantinos Loupos, Luca Vezzadini, Wytze Hoekstra, Waleed Salem, Paul W. H. Chung, Matthaios Bimpas	VR, HF and Rule-Based Technologies Applied and Combined for Improving Industrial Safety.	HCI (6)	2007	DBLP DOI BibTeX RDF	Rule based technologies, industrial safety, Virtual Reality, Virtual Environments, Human Factors
28	Yunhong Zheng, Kai Li	Ecological Safety Comprehensive Evaluation on Mineral-Resource Enterprises Based on AHP.	ICFIE	2007	DBLP DOI BibTeX RDF	mineral-resource enterprise, ecological safety, AHP, index system
28	Christopher M. Gold, Rafal Goralski	3D Graphics Applied to Maritime Safety.	IF&GIS	2007	DBLP DOI BibTeX RDF	Marine GIS, Maritime Safety, ECDIS, ENC, Marine Charts, Voronoi Diagram, AIS, 3D Visualization, Kinetic Data Structures
28	Akira Hattori, Masato Goto, Takami Yasuda, Shigeki Yokoi	A Regional Safety Information Sharing System Based on CMS and Online Map System.	KES (2)	2007	DBLP DOI BibTeX RDF	Regional Safety Information Sharing, Online Map System, CMS
28	Mário Brito, John May	Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms.	ICSP	2007	DBLP DOI BibTeX RDF	Software Safety standards, Bayesian belief networks - Genetic Algorithms
28	Aristotelis B. Alexopoulos, Nikolaos Konstantopoulos	New elements in international maritime standards: Developing a safety case approach for the treatment of tanker incidents.	Oper. Res.	2006	DBLP DOI BibTeX RDF	Tanker incidents, risk-based techniques, new rule-making culture, safety case approach
28	Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip	An operational semantics and type safety prooffor multiple inheritance in C++.	OOPSLA	2006	DBLP DOI BibTeX RDF	semantics, C++, type safety, multiple inheritance
28	Edmond J. Vanderperre, Stanislav S. Makhanov	A Markov time related to a robot-safety device system.	4OR	2005	DBLP DOI BibTeX RDF	safety device, cold standby, recovery time, Weibull repair, Robot, availability
28	Davide Falessi, Guido Pennella, Giovanni Cantone	Experiences, Strategies and Challenges in Adapting PVM to VxWorks™ Hard Real-Time Operating System, for Safety-Critical Software.	PVM/MPI	2005	DBLP DOI BibTeX RDF	Open Source Software (OSS), Safety-Critical Software (SCS), Embedded Hard Real-Time (HRT) Distributed Systems, Experimental Software Engineering (ESE), Parallel Virtual Machine (PVM)