Search results for "Safety"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	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
24	Donald G. Firesmith	Engineering safety- and security-related requirements for software-intensive systems: tutorial summary.	ICSE (2)	2010	DBLP DOI BibTeX RDF	safety engineering, requirements engineering, security engineering, software-intensive systems
24	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
24	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
24	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
24	Kazuhiro Minami, Nikita Borisov, Carl A. Gunter	Safety in discretionary access control for logic-based publish-subscribe systems.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, safety, inference control, publish-subscribe system, logical language
24	Uwe Becker	Model-Based Development of Medical Devices.	SAFECOMP	2009	DBLP DOI BibTeX RDF	model-driven analysis, MDRE, model-driven test, model-driven safety analysis, design process, model-driven design, medical devices
24	Tucker Watson, Tim Hammond, William B. S. Pressly Jr.	CU safe: a software tool for campus safety.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	monitoring, safety, GPS, cell phone, J2ME, google maps, personal tracking
24	Ziad Kobti, Shamual F. Rahaman, Anne W. Snowdon, Robert D. Kent	A Reputation Model Framework for Artificial Societies: A Case Study in Child Vehicle Safety Simulation.	Canadian AI	2008	DBLP DOI BibTeX RDF	social networks, Reputation, cultural algorithms, vehicle safety
24	Paolo Panaroni, Giovanni Sartori, Fabrizio Fabbrini, Mario Fusani, Giuseppe Lami	Safety in Automotive Software: An Overview of Current Practices.	COMPSAC	2008	DBLP DOI BibTeX RDF	Software Engineering, Automotive Software, Vehicle Safety
24	P. Seetha Ramaiah, M. Ben Swarup, K. Raja Kumar	Conceptual Modeling for Safety Critical Computer Systems.	SNPD	2008	DBLP DOI BibTeX RDF	system design methodology, conceptual modeling, safety-critical systems
24	Christian M. Jones	Online games-based child safety environment.	IE	2008	DBLP DOI BibTeX RDF	anti-abduction, child safety, sexual abuse prevention, social and psychological evaluation, animation, games-based learning
24	Christine B. Williams, M. Lynne Markus, Michael Tyworth, Steve Sawyer, Martin A. Dias, Sonia Vilvovsky, Jane Fedorowicz, Dax D. Jacobson	Mapping theory to practice: a cartographic analysis of public safety networks.	DG.O	2008	DBLP BibTeX RDF	interorganizational collaboration, information and communication technology, institutional theory, public safety, rational choice theory
24	Elena Troubitsyna	Elicitation and Specification of Safety Requirements.	ICONS	2008	DBLP DOI BibTeX RDF	requirements engineering, software development, safety analysis
24	Ayman K. Gendy, Michael J. Pont	Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Safety-related embedded systems, scheduler, automatic code generation, time triggered
24	Ali G. Hessami	Safety management of complex technology.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Risk forecasting, Safety, Systems, Parametric modelling
24	John Greco	Worries about Pritchard's safety.	Synth.	2007	DBLP DOI BibTeX RDF	Lottery problem, Luck, Pritchard, Virtue epistemology, Safety
24	Ying Wang, Wei Zhang 0006, Su Wu, Yang Guo	Simulators for Driving Safety Study - A Literature Review.	HCI (14)	2007	DBLP DOI BibTeX RDF	Driving safety, Moving-base, Fixed-base, Driving simulator
24	Svetlena Taneva, Effie Law	Interfacing Safety and Communication Breakdowns: Situated Medical Technology Design.	HCI (4)	2007	DBLP DOI BibTeX RDF	safety, interface design, task analysis, eHealth, medical error
24	Steve Sawyer, Jane Fedorowicz, Michael Tyworth, M. Lynne Markus, Christine B. Williams	A taxonomy for public safety networks.	DG.O	2007	DBLP BibTeX RDF	public safety network infrastructures
24	Armin Selhofer, Thomas Gruber 0004, Michael Putz, Erwin Schoitsch, Gerald Sonneck	RAMSS Analysis for a Co-operative Integrated Traffic Management System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	RAMSS, co-operative traffic management, traffic telematics, dependability, analysis, road safety
24	Finn Olav Sveen, José Manuel Torres 0001, Jose María Sarriegi	Learning from Your Elders: A Shortcut to Information Security Management Success.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Knowledge Management, Information Security Management, Quality Improvement, Safety Management
24	Balbir S. Dhillon, Zhijian Li	Stochastic Analysis of a System with Redundant Robots, One Built-in Safety Unit, and Common-Cause Failures.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	common-cause failures, reliability, robot, availability, safety, system, repair
24	Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kristin Thorsen	Experiences from introducing UML-based development in a large safety-critical project.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	UML, Model-driven development, Embedded software, Case study, Safety-critical software
24	Jon Crowcroft	The privacy and safety impact of technology choices for command, communications and control of the public highway.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF	privacy, policy, safety, transport
24	Susie Stephens, Alfredo Morales, Matthew Quinlan	Applying Semantic Web Technologies to Drug Safety Determination.	IEEE Intell. Syst.	2006	DBLP DOI BibTeX RDF	drug safety, RDF data model, Semantic Web
24	Shuling Wang, Quan Long, Zongyan Qiu	Type Safety for FJ and FGJ.	ICTAC	2006	DBLP DOI BibTeX RDF	Downcast, Observer Pattern, Type Safety, Featherweight Java
24	Emery D. Berger, Benjamin G. Zorn	DieHard: probabilistic memory safety for unsafe languages.	PLDI	2006	DBLP DOI BibTeX RDF	DieHard, probabilistic memory safety, replication, randomization, dynamic memory allocation
24	Jerzy Brzezinski, Anna Kobusinska	Safety of Recovery Protocol Preserving MW Session Guarantee in Mobile Systems.	ICCSA (4)	2006	DBLP DOI BibTeX RDF	Monotonic Writes session guarantee, safety, mobile systems, rollback-recovery
24	Weihang Wu, Tim Kelly	Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.	WADS	2006	DBLP DOI BibTeX RDF	software safety evidence, software architecture, design decisions
24	Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent	Checking SCADE Models for Correct Usage of Physical Units.	SAFECOMP	2006	DBLP DOI BibTeX RDF	physical units, dependable embedded systems, model based software development, SCADE, DECOS, verification, safety, error detection
24	Jiazheng Shi, Steve Goddard, Anagh Lal, Jason Dumpert, Shane Farritor	Global Control of Robotic Highway Safety Markers: A Real-time Solution.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	variable-rate execution, highway safety markers, robotics, Hough transform, real-time embedded systems
24	Jennifer Morris, Philip Koopman	Representing design tradeoffs in safety-critical systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	fault-tolerance, modeling, integrity, dependability, availability, safety
24	Alan Wassyng, Mark Lawford, Xiayong Hu	Timing Tolerances in Safety-Critical Software.	FM	2005	DBLP DOI BibTeX RDF	timing tolerances, real-time, requirements, safety-critical
24	Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis	QoS control for optimality and safety.	EMSOFT	2005	DBLP DOI BibTeX RDF	optimality, multimedia, real-time, control, safety, fine grain
24	Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen	Verifying safety policies with size properties and alias controls.	ICSE	2005	DBLP DOI BibTeX RDF	alias control, object-based programs, size properties, dependent types, safety verification
24	Francesca Saglietti	Licensing Reliable Embedded Software for Safety-Critical Applications.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	safety applications, pre-developed component, software reliability, embedded software, software licensing, software certification, product quality, expert judgment, process quality
24	José H. Canós, Francisco de Zulueta	Using Hypermedia to Improve Safety in Underground Metropolitan Transportation.	Multim. Tools Appl.	2004	DBLP DOI BibTeX RDF	safety systems, hypermedia, emergency management
24	Robyn R. Lutz, Ines Carmen Mikulski	Empirical Analysis of Safety-Critical Anomalies During Operations.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Software and system safety, diagnostics, product metrics, maintenance process
24	Jan Magott, Pawel Skrobanek	A Method of Analysis of Fault Trees with Time Dependencies.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency
24	Julia Rose Galliers, Alistair G. Sutcliffe, Shailey Minocha	An impact analysis method for safety-critical user interface design.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	scenario-based casual analysis, human error, Bayesian belief networks, safety-critical
24	Santhanam Srinivasan, Niraj K. Jha	Safety and Reliability Driven Task Allocation in Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	clustering, distributed systems, reliability, safety, Allocation
24	Fangmei Wu, Meng Li	Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	dynamic decision table, software testing, safety-critical software, interlocking
24	Haiying Tu, Fangmei Wu	How to Design an Environment Simulator for Safety Critical Software Testing.	Asian Test Symposium	1999	DBLP DOI BibTeX RDF	Simulation, Software Testing, Object-Oriented Design, Fault-Injection, Safety-Critical Software, Black-Box Testing
24	Christophe Aussaguès, Vincent David	A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.	ICECCS	1998	DBLP DOI BibTeX RDF	modeling, real-time, analysis, safety critical systems, timeliness
24	Bev Littlewood, David Wright 0001	Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing
24	Hong Zhu 0002, Patrick A. V. Hall, John H. R. May, T. Cockram	Injecting Faults into Environment Simulators for Testing Safety Critical Software.	EDCC	1994	DBLP DOI BibTeX RDF	Simulation, Software testing, Program transformation, Fault injection, Safety critical software
23	Raimondas Sasnauskas, Jó Ágila Bitsch Link, Muhammad Hamad Alizai, Klaus Wehrle	KleeNet: automatic bug hunting in sensor network applications.	SenSys	2008	DBLP DOI BibTeX RDF	tinyos, type safety, memory safety, bug finding
23	Stephanie A. Guerlain, Beth Turrentine, Reid Adams, James Forrest Calland	Using video data for the analysis and training of medical personnel.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Multidisciplinary research, Surgical safety, Video-based research, Systems engineering, Research methods, Patient safety
23	Francesco Becchi, Rinaldo C. Michelini, Rezia M. Molfino, Roberto P. Razzoli	SARA: A Robotic System For Cars Fuelling.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	autonomous fuelling, environment safety and protection, marginal safety, multibody systems dynamics, robotic system design, service robotics
23	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
23	James H. Anderson, Philip Holman	Efficient pure-buffer algorithms for real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	efficient pure-buffer algorithms, multiprocessor real-time systems, multi-writer read/write pure-buffers, overwritten data, client processes, handshaking mechanisms, concurrent read/write operations safety, quantum-scheduled systems, priority-scheduled systems, buffer word length, real-time systems, computational complexity, distributed algorithms, safety, multiprocessing systems, time complexity, processor scheduling, optimized algorithms, buffer storage, space complexity, wait-free algorithms, shared buffers, processor number
23	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, hard real-time systems, safety-critical software, safety-critical applications, verification methods
23	Miroslav Svéda	Embedded system design: a case study.	ECBS	1996	DBLP DOI BibTeX RDF	pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
23	Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace	Paradigm for building robust real-time distributed mission-critical systems.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	search radar, military systems, radar tracking, robust real-time distributed mission-critical systems building, long life-cycle defense system, stringent safety requirements, stringent timing requirements, stringent dependability requirements, multiple target tracking, surveillance radar system, system upgrade support, system hardware, baseline performance, SEI/CMU Simplex Architecture, prototypical industrial feedback control application, integrated standard technologies, real-time systems, reliability, fault tolerant computing, distributed processing, timing, software fault tolerance, target tracking, safety-critical software, system software, military computing, application software, computing paradigm
23	Alan Burns 0001, Neil C. Audsley, Andy J. Wellings	Real-time distributed computing.	FTDCS	1995	DBLP DOI BibTeX RDF	real-time distributed computing, real-time safety critical distributed systems, resource allocations scheme, timing behaviour, end-to-end deadlines, priority based communication protocols, real-time systems, resource allocation, distributed processing, transport protocols, computational model, flexibility, processor scheduling, safety-critical software, fixed priority scheduling
23	L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson	Real-time computer controlled ultrasound therapy system for breast cancer treatment.	ICECCS	1995	DBLP DOI BibTeX RDF	thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics
23	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
23	John C. Knight, Bev Littlewood	Guest Editors' Introduction: Critical Task of Writing Dependable Software.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	dependable software, rigorous techniques, mathematical techniques, program writing, programming, software reliability, safety, safety-critical software
23	Susan L. Gerhart, Dan Craigen, Ted Ralston	Experience with Formal Methods in Critical Systems.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	social benefits, risky applications, regulatory agencies, safety assurance, security, formal specification, formal methods, software reliability, safety, security of data, legislation, critical systems
22	Philippa Conmy, Iain Bate	Semi-Automated Safety Analysis for Field Programmable Gate Arrays.	ECBS	2009	DBLP DOI BibTeX RDF
22	Jung-Jun Park, Hwi-Su Kim, Jae-Bok Song	Safe robot arm with safe joint mechanism using nonlinear spring system for collision safety.	ICRA	2009	DBLP DOI BibTeX RDF
22	James T. Luxhøj, Ahmet Öztekin	A Regulatory-Based Approach to Safety Analysis of Unmanned Aircraft Systems.	HCI (17)	2009	DBLP DOI BibTeX RDF
22	Pedro Cabalar, David Pearce 0001, Agustín Valverde	A Revised Concept of Safety for General Answer Set Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
22	Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.	SAFECOMP	2009	DBLP DOI BibTeX RDF
22	Johan Åkerberg, Mats Björkman	Exploring Network Security in PROFIsafe.	SAFECOMP	2009	DBLP DOI BibTeX RDF
22	Antonio Bicchi, Michael A. Peshkin, J. Edward Colgate	Safety for Physical Human-Robot Interaction.	Springer Handbook of Robotics	2008	DBLP DOI BibTeX RDF
22	Pierre Falzon	Enabling safety: issues in design and continuous design.	Cogn. Technol. Work.	2008	DBLP DOI BibTeX RDF
22	Andrew J. Kornecki, Brian Butka, Janusz Zalewski	Software Tools for Safety-Critical Systems According to DO-254.	Computer	2008	DBLP DOI BibTeX RDF
22	Jonas Elmqvist, Simin Nadjm-Tehrani	Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems.	HASE	2008	DBLP DOI BibTeX RDF
22	Amit Bhatia 0001, Emilio Frazzoli	Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems.	HSCC	2008	DBLP DOI BibTeX RDF
22	Ashraf Armoush, Falk Salewski, Stefan Kowalewski	Effective Pattern Representation for Safety Critical Embedded Systems.	CSSE (4)	2008	DBLP DOI BibTeX RDF
22	Junwei Du, Zhongwei Xu, Meng Mei	Verification of Scenario-Based Safety Requirement Specification on Components Composition.	CSSE (2)	2008	DBLP DOI BibTeX RDF
22	Xiaosheng Liu, Qun Sun	Establishing Knowledge Base of Expert System of Mine Safety Pre-warning Based on Relational Database.	FSKD (4)	2008	DBLP DOI BibTeX RDF
22	Zongxiao Yang, Chuanye Cheng, Zhiqiang Feng	Construction of Ontology-based Safety Assessment System for Power Plants.	ICNSC	2008	DBLP DOI BibTeX RDF
22	Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Josef Börcsök	Matlab® / Simulink® generated source code for safety related systems.	AICCSA	2008	DBLP DOI BibTeX RDF
22	Josef Börcsök, Ali Hayek, Muhammad Umar	Implementation of a 1oo2-RISC-architecture on FPGA for safety systems.	AICCSA	2008	DBLP DOI BibTeX RDF
22	Annette Böhm, Magnus Jonsson	Supporting real-time data traffic in safety-critical vehicle-to-infrastructure communication.	LCN	2008	DBLP DOI BibTeX RDF
22	Qi Wang, Timothy X. Brown	Public safety and commercial spectrum sharing via network pricing and admission control.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
22	Jing Liu, Josh Dehlinger, Hongyu Sun 0001, Robyn R. Lutz	State-Based Modeling to Support the Evolution and Maintenance of Safety-Critical Software Product Lines.	ECBS	2007	DBLP DOI BibTeX RDF
22	Jon G. Hall, Derek Mannering, Lucia Rapanotti	Arguing safety with Problem Oriented Software Engineering.	HASE	2007	DBLP DOI BibTeX RDF
22	Moritz Killat, Hannes Hartenstein	Vehicular Ad Hoc Networks: How to Show the Impact on Traffic Safety?	VTC Spring	2007	DBLP DOI BibTeX RDF
22	Saleh Yousefi, Saeed Bastani, Mahmood Fathy	On the Performance of Safety Message Discrimination in Vehicular Ad Hoc Networks.	ECUMN	2007	DBLP DOI BibTeX RDF
22	Danny Kuminov, Moshe Tennenholtz	Competitive Safety Strategies in Position Auctions.	WINE	2007	DBLP DOI BibTeX RDF
22	Andreas Gregoriades	Towards a user-centred road safety management method based on road traffic simulation.	WSC	2007	DBLP DOI BibTeX RDF
22	Bin Wu 0012, Kangfeng Zheng, Yixian Yang	A Data Safety Transmission Solution in Web Application.	Web Intelligence/IAT Workshops	2007	DBLP DOI BibTeX RDF
22	Cynthia LeRouge, Gordana Culjak, Thomas A. Horan	Minitrack: Consumer Health Informatics, Patient Safety and Quality of Practice.	HICSS	2007	DBLP DOI BibTeX RDF
22	Tu-Bin Chu, Ming-Hui Jin, Li-Xin Xu, Jong-Tsong Chiang, Cheng-Yan Kao	Portable Patient Information Integration System for Patient Safety Improvement.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
22	Guttorm Sindre	A Look at Misuse Cases for Safety Concerns.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
22	Yong Deng, Jia Xiong, Ping Fu	Airline Safety Evaluation Based on Fuzzy TOPSIS.	PAISI	2007	DBLP DOI BibTeX RDF
22	Keiichi Yamada, James K. Kuchar	Preliminary study of behavioral and safety effects of driver dependence on a warning system in a driving simulator.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
22	Koushik Sen, Grigore Rosu, Gul Agha	Online efficient predictive safety analysis of multithreaded programs.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis
22	Xiaozhen Niu, Martin Müller 0003	An Open Boundary Safety-of-Territory Solver for the Game of Go.	Computers and Games	2006	DBLP DOI BibTeX RDF
22	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Relative Safety.	VMCAI	2006	DBLP DOI BibTeX RDF
22	Alek Radjenovic	Modelling to Safety.	EWSA	2005	DBLP DOI BibTeX RDF
22	Lisa Wells, Thomas Maier	Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
22	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn	Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).	EDCC	2005	DBLP DOI BibTeX RDF
22	Hyeon-Seob Cho, Keun-Wang Lee	A Video Retrieval System for Electrical Safety Education Based on a Mobile Agent.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
22	Ninghui Li, Mahesh V. Tripunitara	On Safety in Discretionary Access Control.	S&P	2005	DBLP DOI BibTeX RDF
22	Donald Firesmith	Engineering safety-related requirements for software-intensive systems.	ICSE	2005	DBLP DOI BibTeX RDF