Search results for "Safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Joanne M. Atlee, John A. McDermid	Integrating requirements analysis and safety analysis. (PDF / PS)	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
6	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
6	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
6	Wolfgang A. Halang, Bernd J. Krämer	Safety Assurance in Process Control.	IEEE Software	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
6	Ramin Mojdehbakhsh, Wei-Tek Tsai, Shekhar H. Kirani, Lynn Elliott	Retrofitting Software Safety in an Implantable Medical Device.	IEEE Software	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
5	Daniel Schneider, 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
5	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
5	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
5	De-Jiu Chen, Rolf Johansson, 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
5	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
5	Bev Littlewood, David Wright	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
5	Kyla Steele	Mapping safety assumptions across the European aviation industry.	ECCE	2007	DBLP DOI BibTeX RDF	safety theory, model, safety, principle, aviation safety, accident
5	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
5	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
5	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
5	T. M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo	Bylands: reverse engineering safety-critical systems. (PDF / PS)	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
4	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
4	Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, 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
4	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
4	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
4	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	ISSE	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
4	Roman Gumzej, Wolfgang A. Halang	A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.	ISSE	2009	DBLP DOI BibTeX RDF	Safety shell, Real time, Pattern, Safety, UML-RT
4	Syrine Tlili, Mourad Debbabi	Interprocedural and Flow-Sensitive Type Analysis for Memory and Type Safety of C Code.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Type and effect analysis, C language, Type safety, Memory safety
4	Ben Swarup Medikonda, Seetha Ramaiah Panchumarthy	A framework for software safety in safety-critical systems.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	software quality, safety-critical system, software safety
4	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
4	Thomas Gruber, Egbert Althammer, Erwin Schoitsch	Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective.	SAFECOMP	2009	DBLP DOI BibTeX RDF	RAMSS, co-operative traffic management, traffic telematics, HMI dependability, human factors, dependability analysis, road safety
4	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
4	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
4	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
4	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
4	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
4	Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc	Deriving Safety Software Requirements from an AltaRica System Model.	SAFECOMP	2008	DBLP DOI BibTeX RDF	System safety requirements, software functional requirement, failure propagation models, AltaRica languages and tools, system control of helicopter turboshaft engines
4	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
4	Xiaolei Li, Jin Tian, 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
4	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
4	Hunszu Liu	Design of Computer Integrated Safety and Health Management System.	HCI	2007	DBLP DOI BibTeX RDF	Safety and health management, safety information, computer integrated management system
4	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
4	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
4	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
4	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
4	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
4	Andreas Lang, 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
4	Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris Johnson, Peter Johnson	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
4	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
4	Gerd Kortuem, David Alford, Linden J. Ball, Jerry S. Busby, Nigel Davies, 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
4	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
4	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
4	Donald Firesmith	Engineering safety-related requirements for software-intensive systems.	ICSE	2006	DBLP DOI BibTeX RDF	requirements engineering, safety, safety requirements
4	Andrew J. Kornecki, Janusz Zalewski	Experimental evaluation of software development tools for safety-critical real-time systems.	ISSE	2005	DBLP DOI BibTeX RDF	Tool qualification, Safety-critical systems, CASE tools, Software safety
4	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
4	Praful V. Bhansali	Software safety: current status and future direction.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
4	Li Zhongwen	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
4	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
4	Nancy G. Leveson	A Systems-Theoretic Approach to Safety in Software-Intensive Systems.	IEEE Trans. Dependable Sec. Comput.	2004	DBLP DOI BibTeX RDF	accident models, software engineering, Software safety, system safety
4	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
4	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
4	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
4	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
4	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
4	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
4	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
4	Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam	Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. (PDF / PS)	HASE	1997	DBLP DOI BibTeX RDF	problem specifications, Safety-critical systems, safety analysis, environment modeling, medical devices, requirements acquisition
4	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
4	Francesmary Modugno, Nancy G. Leveson, Jon Damon Reese, Kurt Partridge, Sean D. Sandys	Integrated Safety Analysis of Requirements Specifications. (PDF / PS)	RE	1997	DBLP DOI BibTeX RDF	software safety analysis, software safety, software requirements specification
4	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
4	Neil C. Audsley, I. J. Bate, Alan Burns	Putting fixed priority scheduling theory into engineering practice for safety critical applications. (PDF / PS)	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
4	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
4	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
4	Bob Fields, Peter C. Wright, Michael D. Harrison	A task centered approach to analysing human error tolerance requirements. (PDF / PS)	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
4	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Software	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
4	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station. (PDF / PS)	IEEE Software	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
3	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
3	Alexei Czeskis, Ivayla Dermendjieva, Hussein Yapit, Alan Borning, Batya Friedman, Brian T. Gill, Tadayoshi Kohno	Parenting from the pocket: value tensions and technical directions for secure and private parent-teen mobile safety.	SOUPS	2010	DBLP DOI BibTeX RDF	direct and indirect stakeholders, parenting technologies, value dams and flows, value tensions, security, privacy, mobile phones, safety, value sensitive design, maturation, teenagers
3	Raul Barbosa, Johan Karlsson	Opportunities from standardization in automotive safety assessment.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
3	Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien	Towards verification-based development of in-vehicle safety critical software: a case study.	EDCC-CARS	2010	DBLP DOI BibTeX RDF
3	Lyta Penna, Andrew Clark, George M. Mohay	A Framework for Improved Adolescent and Child Safety in MMOs.	ASONAM	2010	DBLP DOI BibTeX RDF	Child online safety, Internet safety, Hazardous online relationships, Meeting offline, World of Warcraft, MMO
3	Andy J. Wellings, MinSeong Kim	Asynchronous event handling and safety critical Java.	JTRES	2010	DBLP DOI BibTeX RDF	safety critical Java, threads, real-time specification for Java, asynchronous events
3	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
3	Antoine Girard	Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.	HSCC	2010	DBLP DOI BibTeX RDF	approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems
3	Zhe Chen, Gilles Motet	Towards better support for the evolution of safety requirements via the model monitoring approach.	ICSE	2010	DBLP DOI BibTeX RDF	Büchi automata, safety, requirements evolution
3	Donald G. Firesmith	Engineering safety- and security-related requirements for software-intensive systems: tutorial summary.	ICSE	2010	DBLP DOI BibTeX RDF	safety engineering, requirements engineering, security engineering, software-intensive systems
3	Alvaro Graves	Integrating and publishing public safety data using semantic technologies.	DG.O	2010	DBLP DOI BibTeX RDF	visualization, data integration, semantic technologies, local government, public safety, crime
3	Sonia Gantman Vilvovsky, Jane Fedorowicz	IT outsourcing in interagency collaborations: lessons from public safety networks.	DG.O	2010	DBLP DOI BibTeX RDF	contracting out, interorganizational collaboration, public IT outsourcing, public safety networks
3	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
3	Rolf Johansson, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert	A road-map for enabling system analysis of AUTOSAR-based systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	ISO-26262, safety, system analysis, ADL, model-based design, AUTOSAR
3	Marc Born, John M. Favaro, Olaf Kath	Application of ISO DIS 26262 in practice.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	model, safety, process, traceability
3	Shana Smith, Emily Ericson	Using immersive game-based virtual reality to teach fire-safety skills to children.	Virtual Reality	2009	DBLP DOI BibTeX RDF	Game based, Fire safety, Virtual reality (VR), Children, Immersive, CAVE
3	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
3	Daniel Câmara, Christian Bonnet	Topology management for public safety networks.	IWCMC	2009	DBLP DOI BibTeX RDF	connection cost, public safety networks, mesh networks, cluster heads
3	Saeed Ahmadi Behnam, Daniel Amyot, Alan J. Forster, Liam Peyton, Azalia Shamsaei	Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety.	MCETECH	2009	DBLP DOI BibTeX RDF	Adverse Events, Business Process Modeling, Health Care, Goal Modeling, Patient Safety, User Requirements Notation
3	Lucia Acciai, Michele Boreale	Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.	ICALP	2009	DBLP DOI BibTeX RDF	behavioural types, safety, decidability, pi-calculus, spatial logic
3	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	Enforcement monitoring wrt. the safety-progress classification of properties.	SAC	2009	DBLP DOI BibTeX RDF	runtime enforcement, safety-progress, monitor, synthesis, property
3	Byung Cheol Lee, Vincent G. Duffy	Impact of Healthcare Information Technology Systems on Patient Safety.	HCI	2009	DBLP DOI BibTeX RDF	Interdisciplinary approach, Healthcare Research framework, Patient safety, Healthcare information system
3	Michael J. Smith, Pascale Carayon	Using the 'Balance Model' for Occupational Safety and Health Promotion.	HCI	2009	DBLP DOI BibTeX RDF	design, safety, system, risk, health, balance, hazard, wellness
3	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	2009	DBLP DOI BibTeX RDF	Teach pendant, enabling switch, HMI environment, usability, robot, wireless, safety
3	Maria Chiara Leva, Alison 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	2009	DBLP DOI BibTeX RDF	threat & error management, safety management systems, Human Factors, performance monitoring, task support
3	Jeronimo Dzaack, Leon Urbas	Multilevel Analysis of Human Performance Models in Safety-Critical Systems.	HCI	2009	DBLP DOI BibTeX RDF	multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models
3	Tian-rui Li, Yongjun Shen, Da Ruan, 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
3	Yonghuan Ma, Wenyuan Niu, Qianqian Li	Research on Early Warning of Chinese Food Safety Based on Social Physics.	Complex	2009	DBLP DOI BibTeX RDF	social physics, food safety, early warning
3	Christof Fetzer, Ute Schiffel, Martin Süßkraut	AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.	SAFECOMP	2009	DBLP DOI BibTeX RDF