Stem safeti$ (all stems)

431 papers:

QoSA-2015-Bozhinoski #adaptation #mobile #multi #safety

Managing Safety and Adaptability in Mobile Multi-Robot Systems (DB), pp. 135–140.

CASE-2015-ForstnerM #optimisation #safety #using

Using simulation-based optimization to determine production strategies and safety stock levels in semiconductor supply chains (LF, LM), pp. 655–656.

DAC-2015-ChaariENTK #approach #modelling #safety

A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems (MC, WE, CN, BAT, TK), p. 6.

DAC-2015-ShererRO #functional #safety

Ensuring functional safety compliance for ISO 26262 (ADS, JR, RO), p. 3.

DATE-2015-HernandezA #low cost #safety

Low-cost checkpointing in automotive safety-relevant systems (CH, JA), pp. 91–96.

ESOP-2015-DavidKL15a #reasoning #safety #source code #termination

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (CD, DK, ML), pp. 661–684.

TACAS-2015-NutzDMP #contest #memory management #safety

ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.

TACAS-2015-StroderAFHG #c #contest #memory management #named #safety #source code #termination

AProVE: Termination and Memory Safety of C Programs — (Competition Contribution) (TS, CA, FF, JH, JG), pp. 417–419.

SAS-2015-Brain0KS #invariant #safety #verification

Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.

FM-2015-BratBDGHK #safety #verification

Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.

FM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.

FM-2015-KroeningLW #automaton #bound #model checking #proving #safety

Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.

HCI-UC-2015-NakanishiTUYS #safety

Fukushima No. 1 Nuclear Power Plant: The Moment of “Safety Myth” Collapses (AN, TT, HU, MY, DS), pp. 350–357.

HIMI-IKC-2015-LiangG #approach #information management #ontology #safety #semantics #web

Improving Knowledge Management in Patient Safety Reporting: A Semantic Web Ontology Approach (CL, YG), pp. 118–128.

AdaEurope-2015-JaradatBP #analysis #maintenance #safety #using

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases (OJ, IB, SP), pp. 162–176.

AdaEurope-2015-KhanfarLM #safety #slicing

Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.

AdaEurope-2015-PerezGTT #clustering #concept #manycore #safety

A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning (JP, DG, ST, TT), pp. 3–17.

SEKE-2015-QinMDJ #case study #modelling #safety

Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System (YQ, HM, MD, LJ), pp. 528–535.

PPDP-2015-ChenLJZL #automation #declarative #network #safety #source code #verification

Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.

SAC-2015-BurtonS #composition #mixin #safety

The safety of dynamic mixin composition (EB, ES), pp. 1992–1999.

SAC-2015-ByunC #automation #constraints #operating system #safety #testing #using

Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.

ICSE-v2-2015-DenneyPH #assurance #safety

Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.

PLEASE-2015-Gallina #product line #reuse #safety #towards

Towards Enabling Reuse in the Context of Safety-Critical Product Lines (BG), pp. 15–18.

SPLC-2015-DomisAB #analysis #modelling #safety #tool support #uml #using #variability

Integrating variability and safety analysis models using commercial UML-based tools (DD, RA, MB), pp. 225–234.

SPLC-2015-KassmeyerSS #impact analysis #process #safety #variability

A process to support a systematic change impact analysis of variability and safety in automotive functions (MK, MS, MS), pp. 235–244.

CAV-2015-BozzanoCGM #analysis #modelling #performance #safety

Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.

CAV-2015-BozzanoCPJKPRT #analysis #design #safety

Formal Design and Safety Analysis of AIR6110 Wheel Brake System (MB, AC, AFP, DJ, GK, TP, RR, ST), pp. 518–535.

CAV-2015-ZouFZM #automation #difference #equation #safety #verification

Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.

VMCAI-2015-ChristakisG #composition #image #memory management #parsing #proving #safety #testing #using

Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing (MC, PG), pp. 373–392.

ECSA-2014-GurbuzTE #architecture #design #safety

Safety Perspective for Supporting Architectural Design of Safety-Critical Systems (HGG, BT, NPE), pp. 365–373.

WICSA-2014-UusitaloRKMM #architecture #automation #lessons learnt #safety

Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants (EJU, MR, MK, VM, TM), pp. 45–48.

CASE-2014-KaiS #development #safety

Development of a velocity and contact force-based mechanical safety device for service robots (YK, SS), pp. 1188–1193.

CASE-2014-RahmanCBM #approach #assessment #safety

Ex-ante assessment of struck-by safety hazards in construction projects: A motion-planning approach (MMR, TC, LB, AM), pp. 277–282.

DAC-2014-HernandezA #detection #fault #named #safety

LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.

DAC-2014-OetjensBBBBCCDEGKKLM0MPPRRRSSTV #challenge #evaluation #prototype #research #safety #state of the art #using

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges (JHO, NB, MB, OB, AB, MC, SC, RD, WE, KG, TK, CK, HML, MM, WM, DMG, FP, HP, SR, WR, SR, US, AvS, BAT, AV), p. 6.

DAC-2014-Rodriguez-NavasSHNLL #approach #automation #functional #safety #specification #verification

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.

DATE-2014-IliasovASM #design #refinement #safety

Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.

DATE-2014-NuzzoFIS #contract #cyber-physical #design #protocol #safety

Contract-based design of control protocols for safety-critical cyber-physical systems (PN, JBF, AI, ALSV), pp. 1–4.

DATE-2014-PandeyV #analysis #fault #safety

Transient errors resiliency analysis technique for automotive safety critical applications (SP, BV), pp. 1–4.

TACAS-2014-ChenCFNO #proving #safety

Proving Nontermination via Safety (HYC, BC, CF, KN, PWO), pp. 156–171.

TACAS-2014-Kupferman #safety

Variations on Safety (OK), pp. 1–14.

SCAM-2014-HutchinsBS #analysis #c #c++ #concurrent #safety #thread

C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.

PLDI-2014-HanxledenDMSMAMO #named #safety

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.

SAS-2014-BrotherstonG #abduction #safety #termination

Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.

FM-2014-MarriottC #named

SCJ: Memory-Safety Checking without Annotations (CM, AC), pp. 465–480.

CHI-2014-DunwellFPHALS #approach #game studies #learning #safety

A game-based learning approach to road safety: the code of everand (ID, SdF, PP, MH, SA, PL, CDS), pp. 3389–3398.

CSCW-2014-WisniewskiXRC #online #safety

Adolescent online safety: the “moral” of the story (PJW, HX, MBR, JMC), pp. 1258–1271.

DHM-2014-ButlewskiMC #development #safety

Non-financial Factors of Job Satisfaction in the Development of a Safety Culture Based on Examples from Poland and Romania (MB, AM, RC), pp. 577–587.

DUXU-ELAS-2014-YangWW #multi #safety

Impact of Multi-sensory On-Bicycle Rider Assistance Devices on Rider Concentration and Safety (CYY, YTW, CTW), pp. 378–388.

DUXU-TMT-2014-CorreiaSCBS #design #risk management #safety

Design as a Tool for Managing Risks and Vulnerabilities Regarding Artifacts of Public Safety (WC, SXdS, FC, MLNB, MMS), pp. 437–444.

HCI-AS-2014-StelzerSO #novel #safety #user interface

Evaluating Novel User Interfaces in (Safety Critical) Railway Environments (AS, IS, AO), pp. 502–512.

HIMI-AS-2014-AbujaradSDP #online #safety

Management of On-Line Registries Information for Patient Safety in Long-Term Care (FA, SJS, TAD, LAP), pp. 307–316.

AdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation

A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.

KDD-2014-KateCPK #mining #named #safety

FoodSIS: a text mining system to improve the state of food safety in singapore (KK, SC, AP, JK), pp. 1709–1718.

PPDP-2014-Ramsay #abstraction #recursion #safety

Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.

RE-2014-MartinsO #analysis #case study #fault #functional #protocol #requirements #safety #using

A case study using a protocol to derive safety functional requirements from Fault Tree Analysis (LEGM, TdO), pp. 412–419.

REFSQ-2014-NairVMTdB #analysis #problem #safety #traceability

Safety Evidence Traceability: Problem Analysis and Model (SN, JLdlV, AM, GT, LdlB, FB), pp. 309–324.

SAC-2014-Gutierrez-GarciaG #multi #safety #simulation

Multi-agent simulation of perception of safety from crime (JOGG, AGdSG), pp. 573–578.

FSE-2014-Kan #model checking #safety #traceability #verification

Traceability and model checking to support safety requirement verification (SK), pp. 783–786.

SPLC-2014-LanduytbHMJMJBA #design #safety #towards #variability

Towards managing variability in the safety design of an automotive hall effect sensor (DVL, SOdb, AH, SM, WJ, SM, GdJ, OB, MA), pp. 304–309.

CAV-2014-DilligDC #memory management #safety #synthesis

Optimal Guard Synthesis for Memory Safety (TD, ID, SC), pp. 491–507.

IJCAR-2014-StroderGBFFHS #memory management #pointer #proving #safety #source code #termination

Proving Termination and Memory Safety for Programs with Pointer Arithmetic (TS, JG, MB, FF, CF, JH, PSK), pp. 208–223.

VMCAI-2014-BloemKS #safety #satisfiability #specification #synthesis

SAT-Based Synthesis Methods for Safety Specs (RB, RK, MS), pp. 1–20.

VMCAI-2014-BozgaIK #integer #problem #safety #source code

Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (MB, RI, FK), pp. 242–261.

VMCAI-2014-KiniV #automaton #ltl #probability #safety #specification

Probabilistic Automata for Safety LTL Specifications (DK, MV), pp. 118–136.

DATE-2013-AbdullaDRSZ #hybrid #liveness #memory management #safety #transaction #verification

Verifying safety and liveness for the FlexTM hybrid transactional memory (PAA, SD, AR, AS, YZ), pp. 785–790.

DHM-HB-2013-HartwigW #health #persuasion #safety

Safety and Health at Work through Persuasive Assistance Systems (MH, AW), pp. 40–49.

DHM-SET-2013-Bretschneider-Hagemes #aspect-oriented #health #safety

AmI-Technology at Work — A Sociological Perspective Covering Aspects of Occupational Safety and Health (OSH) (MBH), pp. 289–296.

DHM-SET-2013-LuL #design #modelling #safety

Constructing Ergonomic Safety Modelling for Evaluating New Designs of Child Car Seats (CYL, HHL), pp. 338–347.

DHM-SET-2013-SunNHMDJMQ #adaptation #design #interactive #physics #safety

Adaptive User-Centered Design for Safety and Comfort of Physical Human Nursing — Care Robot Interaction (MS, HN, SH, KM, MD, CaJ, TM, GQ), pp. 365–372.

DHM-SET-2013-YangYF #safety #using

Predicating the Safety of Airport Approaches Using a Cognitive Pilot Model (CY, TY, SF), pp. 126–133.

DUXU-NTE-2013-AbujaradSDP #monitoring #safety

Rap Backs: Continuous Workforce Monitoring to Improve Patient Safety in Long-Term Care (FA, SJS, TAD, LAP), pp. 3–9.

DUXU-NTE-2013-IbrahimABSBL #safety

Safety of Natural Disasters (LFI, RA, SB, RS, MB, TAAL), pp. 85–94.

HCI-AMTE-2013-FearyBCHLSS #design #evaluation #interface #safety

Linking Context to Evaluation in the Design of Safety Critical Interfaces (MF, DB, XC, AH, RLL, LS, SPS), pp. 193–202.

HCI-AS-2013-HuaG #comprehension #difference #evaluation #predict #protocol #safety #usability

Usability Evaluation of a Voluntary Patient Safety Reporting System: Understanding the Difference between Predicted and Observed Time Values by Retrospective Think-Aloud Protocols (LH, YG), pp. 94–100.

HIMI-HSM-2013-ArimaUA #safety

Supporting Residents Evacuation and Safety Inquiry in Case of Disaster (MA, TU, MA), pp. 443–452.

HIMI-HSM-2013-Campbell #safety #simulation #using

Safety Culture: An Examination of the Relationship between a Safety Management System and Pilot Judgment Using Simulation in Aeronautics (SAC), pp. 453–459.

HIMI-HSM-2013-KarashimaN #behaviour #safety

Influence of the Safety Margin on Behavior that Violates Rules (MK, HN), pp. 497–506.

HIMI-HSM-2013-SavoyM #flexibility #interactive #safety

A Precursory Look at Potential Interaction Objectives Affecting Flexible Robotic Cell Safety (AS, AM), pp. 198–206.

AdaEurope-2013-AsensioLCN #analysis #approach #execution #safety #worst-case

Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software (EA, IL, AC, JN), pp. 161–176.

AdaEurope-2013-BicchieraiBNV #development #functional #integration #ontology #process #safety #using

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems (IB, GB, CN, EV), pp. 95–108.

AdaEurope-2013-SalazarAMP #ada #framework #modelling #realtime #safety

A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.

HILT-2013-LarsonHFD #fault #modelling #safety #using

Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device (BRL, JH, KF, JD), pp. 65–84.

HILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial

Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.

KDIR-KMIS-2013-BachmannNMBAC #information management #process #safety

Preservation and Redeployment of Sensor Acquisition Processes from a Dam Safety Information System (AB, MAN, HM, JB, GA, AC), pp. 490–495.

KEOD-2013-TimonenPT #fuzzy #modelling #ontology #safety #using

Using Associations and Fuzzy Ontologies for Modeling Chemical Safety Information (MT, AP, TT), pp. 26–37.

MoDELS-2013-VaraP #metamodelling #named #safety #standard

SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.

MoDELS-2013-VaraP #metamodelling #named #safety #standard

SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.

RE-2013-GuillermDS #safety

A safety requirement engineering method and tool (RG, HD, NS), pp. 328–329.

RE-2013-Nair #assurance #certification #safety

Evidence management for evolutionary safety assurance and certification (SN), pp. 385–388.

SAC-PL-J-2010-PopeeaC13 #analysis #debugging #proving #safety

Dual analysis for proving safety and finding bugs (CP, WNC), pp. 390–411.

SAC-2013-BrunsKB #safety

Virtualization for safety-critical, deeply-embedded devices (FB, DK, AB), pp. 1485–1492.

SAC-2013-NotanderRH #design #development #flexibility #framework #modelling #safety

A model-based framework for flexible safety-critical software development: a design study (JPN, PR, MH), pp. 1137–1144.

SPLC-2013-SchulzeMB #functional #question #safety #variability

Functional safety and variability: can it be brought together? (MS, JM, DB), pp. 236–243.

ISMM-2013-Musuvathi #approach #consistency #memory management #modelling

Safety-first approach to memory consistency models (MM), pp. 1–2.

CAV-2013-KongHSHG #generative #hybrid #safety #verification

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.

ICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.

ICST-2013-NairVSB #assessment #bibliography #classification #perspective #safety

Classification, Structuring, and Assessment of Evidence for Safety — A Systematic Literature Review (SN, JLdlV, MS, LCB), pp. 94–103.

ISSTA-2013-Bonacchi #case study #proving #safety

Formal safety proof: a real case study in a railway interlocking system (AB0), pp. 378–381.

CASE-2012-IdenP #algorithm #aspect-oriented #detection #functional #safety

Functional safety aspects of pattern detection algorithms (JI, CIP), pp. 747–752.

DATE-2012-EllenEO #automation #development #embedded #process #safety

Automatic transition between structural system views in a safety relevant embedded systems development process (CE, CE, MO), pp. 820–823.

ITiCSE-2012-BaghdadiAR #case study #distance #learning #safety #tool support

Applying advanced technology tools in distance learning: case study: traffic data and road safety (MB, KA, JR), p. 389.

PLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread

Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.

IFM-2012-IsobeMNR #approach #capacity #csp #safety

Safety and Line Capacity in Railways — An Approach in Timed CSP (YI, FM, HNN, MR), pp. 54–68.

CHI-2012-VinotA #design #safety

Legible, are you sure?: an experimentation-based typographical design in safety-critical context (JLV, SA), pp. 2287–2296.

HILT-2012-LevesonFT #embedded #safety

Safety of embedded software (NGL, CHF, JT), pp. 7–8.

HILT-2012-Nilsen #bibliography #comprehension #java #memory management #safety #tutorial

Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.

ICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification

A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.

SEKE-2012-SubburajUS #safety #specification

Specification of Safety Critical Systems with Intelligent Software Agent Method (VHS, JEU, MRS), pp. 578–581.

SIGIR-2012-MacdonaldTO12a #effectiveness #learning #rank #safety

Effect of dynamic pruning safety on learning to rank effectiveness (CM, NT, IO), pp. 1051–1052.

ECMFA-2012-GeP #framework #realtime #safety #uml #verification

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.

MoDELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.

MoDELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.

QAPL-2012-YasuokaT #data flow #liveness #safety

Quantitative Information Flow as Safety and Liveness Hyperproperties (HY, TT), pp. 77–91.

REFSQ-2012-Cleland-HuangHHLM #assurance #query #requirements #safety

Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.

SAC-2012-MaggiorePBA #3d #compilation #performance #safety

A compilation technique to increase X3D performance and safety (GM, FP, MB, MA), pp. 969–974.

SAC-2012-MonakovaBS #process #safety #security

Security and safety of assets in business processes (GM, ADB, AS), pp. 1667–1673.

ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety

Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.

PLEASE-2012-BaumgartFP #approach #certification #component #functional #performance #safety #towards #using

Towards efficient functional safety certification of construction machinery using a component-based approach (SB, JF, SP), pp. 1–4.

CAV-2012-ChuJ #reduction #safety #symmetry #verification

A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.

CAV-2012-HarrisJR #automaton #game studies #programming #safety

Secure Programming via Visibly Pushdown Safety Games (WRH, SJ, TWR), pp. 581–598.

LICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety

Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.

RTA-2012-Lisitsa #automaton #finite #modelling #safety #verification

Finite Models vs Tree Automata in Safety Verification (AL), pp. 225–239.

QoSA-ISARCS-2011-HillenbrandHMA #architecture #safety #workflow

A metric-based safety workflow for electric/electronic architectures of vehicles (MH, MH, KDMG, NA), pp. 105–114.

CASE-2011-SharviaP #approach #assessment #named #safety #towards

IACoB-SA: An approach towards integrated safety assessment (SS, YP), pp. 220–225.

CASE-2011-Soressi #industrial #safety

Introduction of safety rule IEC EN62061 in Metal Industry (ES), pp. 195–200.

CASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification

Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.

DATE-2011-EbrahimiMA #fault #named #safety

ScTMR: A scan chain-based error recovery technique for TMR systems in safety-critical applications (ME, SGM, HA), pp. 298–292.

DATE-2011-MeyerGCLS #cost analysis #execution #safety #using

Reducing the cost of redundant execution in safety-critical systems using relaxed dedication (BHM, NJG, BHC, JL, KS), pp. 1249–1254.

DATE-2011-MiyaseWAFYK #generative #testing

Transition-Time-Relation based capture-safety checking for at-speed scan test generation (KM, XW, MA, HF, YY, SK), pp. 895–898.

FM-2011-CavalcantiWW #formal method #java #memory management #safety

The Safety-Critical Java Memory Model: A Formal Account (AC, AJW, JW), pp. 246–261.

SEFM-2011-SoleimanifardGH #composition #named #safety #verification

ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.

CHI-2011-AzenkotPBFLW #independence #safety

Enhancing independence and safety for blind and deaf-blind public transit riders (SA, SP, AB, EF, REL, JOW), pp. 3247–3256.

CHI-2011-WoelferIHFG #mobile #people #safety

Improving the safety of homeless young people with mobile phones: values, form and function (JPW, AI, DGH, BF, BTG), pp. 1707–1716.

DUXU-v1-2011-KarschS #precise #safety #usability

Terminological Precision — A Key Factor in Product Usability and Safety (BIK, GS), pp. 138–147.

DUXU-v2-2011-ArdavanC #3d #exclamation #safety #towards

Listen! Somebody Is Walking towards Your Car (Introducing the Awareness-3D Sound System into the Driver to Increase the Pedestrian’s Safety) (MA, FC), pp. 89–98.

HCD-2011-ChaudronGMC #process #safety

Building Human Profile by Aggregation of Activities — Application to Aeronautics Safety (LC, DG, NM, JC), pp. 389–396.

SIGAda-2011-Brosgol #named #safety #standard

Do-178c: the next avionics safety standard (BMB), pp. 5–6.

SIGAda-2011-Rogers #safety

Language choice for safety critical applications (JSR), pp. 81–90.

ICEIS-J-2011-GuLZWLSLW #enterprise #evaluation #generative #information management #process #safety

Intelligent Information Acquisition and Utilization in Safety Evaluation Decision Making Process of Power Generation Enterprises (DxG, CyL, JZ, JW, WL, JS, WL, YW), pp. 162–177.

ICEIS-v2-2011-GuLZBWC #assessment #enterprise #information management #safety

A Case-based Enterprise Information System for Thermal Power Plants’ Safety Assessment (DxG, CyL, CrZ, IB, JW, WeC), pp. 32–39.

QAPL-2011-LeitnerFischerL #analysis #modelling #named #quantum #safety #uml

QuantUM: Quantitative Safety Analysis of UML Models (FLF, SL), pp. 16–30.

ESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing

SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.

ICSE-2011-LaymanBZF #case study #process #safety

A case study of measuring process risk for early insights into software safety (LL, VRB, MVZ, KLF), pp. 623–632.

PPoPP-2011-BotincanDDP #automation #memory management #proving #safety

Automatic safety proofs for asynchronous memory operations (MB, MD, AFD, MJP), pp. 313–314.

CAV-2011-BerdineCI #memory management #named #safety

SLAyer: Memory Safety for Systems-Level Code (JB, BC, SI), pp. 178–183.

CASE-2010-Hsu #bound #markov #safety

Control of continuous-time Markov chains with safety upper bounds (SPH), pp. 990–993.

DATE-2010-VazquezCTST #programmable #safety

Programmable aging sensor for automotive safety-critical applications (JCV, VHC, ICT, MBS, JPT), pp. 618–621.

CSEET-2010-WongD #research #safety

An Undergraduate Summer Research Program in Software Safety (WEW, VD), pp. 157–164.

ICPC-2010-AreiasCP #contract #reuse #safety #slicing

Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.

SCAM-2010-SimpsonB #c #memory management #named #runtime #safety

MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime (MSS, RB), pp. 199–208.

SEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using

Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.

CHI-2010-BlomVSGAA #mobile #safety #security

Fear and the city: role of mobile services in harnessing safety and security in urban use contexts (JB, DV, MS, JG, KA, RA), pp. 1841–1850.

CAiSE-2010-StalhaneSB #analysis #case study #diagrams #safety #sequence chart

Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases (TS, GS, LdB), pp. 165–179.

ICML-2010-ChakrabortyS #convergence #learning #multi #safety

Convergence, Targeted Optimality, and Safety in Multiagent Learning (DC, PS), pp. 191–198.

KDD-2010-DasMSO #algorithm #case study #detection #kernel #learning #multi #safety

Multiple kernel learning for heterogeneous anomaly detection: algorithm and aviation safety case study (SD, BLM, ANS, NCO), pp. 47–56.

QAPL-2010-GuedemannO #analysis #modelling #probability #safety

Probabilistic Model-Based Safety Analysis (MG, FO), pp. 114–128.

RE-2010-HillT #legacy #requirements #safety #traceability

Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems (JH, SRT), pp. 297–302.

SAC-2010-PopeeaC #analysis #debugging #proving #safety

Dual analysis for proving safety and finding bugs (CP, WNC), pp. 2137–2143.

ICSE-2010-ChenM #approach #evolution #monitoring #requirements #safety #towards

Towards better support for the evolution of safety requirements via the model monitoring approach (ZC, GM), pp. 219–222.

ICSE-2010-Firesmith #requirements #summary #tutorial

Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.

ISMM-2010-NagarakatteZMZ #c #compilation #named #safety

CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.

LCTES-2010-BiehlCT #analysis #development #embedded #modelling #safety

Integrating safety analysis into the model-based development toolchain of automotive embedded systems (MB, DJC, MT), pp. 125–132.

CAV-2010-KawaguchiRJ #named #safety #verification

Dsolve: Safety Verification via Liquid Types (MK, PMR, RJ), pp. 123–126.

CAV-2010-ZhangSRHH #hybrid #probability #safety #verification

Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.

ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety #standard

Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.

IJCAR-2010-ChaudhuriDLM #proving #safety #verification

Verifying Safety Properties with the TLA+ Proof System (KC, DD, LL, SM), pp. 142–148.

ISSTA-2010-GodefroidK #float #memory management #program analysis #proving #safety

Proving memory safety of floating-point computations by combining static and dynamic program analysis (PG, JK), pp. 1–12.

CASE-2009-TanDZKA #collaboration #design #development #safety

Safety design and development of human-robot collaboration in cellular manufacturing (JTCT, FD, YZ, RK, TA), pp. 537–542.

TACAS-2009-KuijperP #game studies #safety

Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.

TACAS-2009-PlakuKV #hybrid #ltl #safety

Falsification of LTL Safety Properties in Hybrid Systems (EP, LEK, MYV), pp. 368–382.

PLDI-2009-NagarakatteZMZ #bound #c #memory management #named #safety

SoftBound: highly compatible and complete spatial memory safety for c (SN, JZ, MMKM, SZ), pp. 245–258.

ICALP-v2-2009-AcciaiB #behaviour #infinity #safety #π-calculus

Deciding Safety Properties in Infinite-State π-Calculus via Behavioural Types (LA, MB), pp. 31–42.

ICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #ml #safety #tool support #using

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.

DHM-2009-DzaackU #analysis #modelling #multi #performance #safety

Multilevel Analysis of Human Performance Models in Safety-Critical Systems (JD, LU), pp. 375–383.

HIMI-II-2009-FujitaS #case study #process #safety

The Importance of Information in the Process of Acquisition and Usage of a Medicine for Patient Safety: A Study of the Brazilian Context (PLF, CGS), pp. 489–496.

HIMI-II-2009-LeeD #safety

Impact of Healthcare Information Technology Systems on Patient Safety (BCL, VGD), pp. 559–565.

HIMI-II-2009-LevaKCLKSM #performance #safety

Unique Reporting Form: Flight Crew Auditing of Everyday Performance in an Airline Safety Management System (MCL, AMK, JC, GL, SK, DS, NM), pp. 806–815.

HIMI-II-2009-SpinilloPL #analysis #safety

Patient Safety: Contributions from a Task Analysis Study on Medicine Usage by Brazilians (CS, SP, CL), pp. 604–608.

AdaEurope-2009-DelangePF #architecture #requirements #safety #security #validation

Validating Safety and Security Requirements for Partitioned Architectures (JD, LP, PHF), pp. 30–43.

SIGAda-2009-Gardinier #ada #development #open source #safety

Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE) (MG), pp. 23–30.

ICEIS-J-2009-CarrascoHRSE #embedded #interface #monitoring #safety #using

Remote Controlling and Monitoring of Safety Devices Using Web-Interface Embedded Systems (AC, MDH, MCR, FS, JIE), pp. 737–744.

SAC-2009-FalconeFM #classification #monitoring

Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.

SAC-2009-GroppeNL #java #named #query #rdf #satisfiability #semantics #type safety #web

SWOBE — embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types (SG, JN, VL), pp. 1239–1246.

SAC-2009-KimmSHS #development #safety

Failure management development for integrated automotive safety-critical software systems (HK, SYS, HsH, COS), pp. 517–521.

CASE-2008-LiuYGB #certification #functional #safety

Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.

DATE-2008-Fuss #safety

Tailored Solutions for Safety-Installations in the Loetschberg Tunnel — A Project with Importance for the Trans-European Rail Traffic (WF), pp. 21–25.

DATE-2008-PenazziCDSSM #multi #safety

Cooperative Safety: a Combination of Multiple Technologies (RP, PC, MD, AS, MS, EM), pp. 959–961.

DATE-2008-SterponeATG #design #fault tolerance #on the #safety

On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications (LS, MAA, JNT, HGM), pp. 336–341.

SIGAda-2008-Brosgol #assessment #named #safety

MP1: languages for safety-critical software: issues and assessment (BMB), pp. 7–8.

ICEIS-AIDSS-2008-SharpanskykhSB #analysis #modelling #safety

Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic (AS, SHS, HAPB), pp. 225–230.

MoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety

Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.

MoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety

Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.

ICSE-2008-McCafferyPR #agile #assessment #hybrid #named #safety

Ahaa — agile, hybrid assessment method for automotive, safety critical smes (FM, MP, IR), pp. 551–560.

ATEM-J-2006-MiguelBSA #analysis #development #integration #modelling #safety

Integration of safety analysis in model-driven software development (MAdM, JFB, JPS, AA), pp. 260–280.

ASPLOS-2008-DeviettiBMZ #architecture #bound #c #named #programming language #safety

Hardbound: architectural support for spatial safety of the C programming language (JD, CB, MMKM, SZ), pp. 103–114.

CC-2008-ProkopskiV #safety #virtual machine

Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.

HPDC-2008-ShiPRJJ #adaptation #fault tolerance #grid #named #safety #using

Dynasa: adapting grid applications to safety using fault-tolerant methods (XS, JLP, ER, HJ, HJ), pp. 237–238.

OSDI-2008-WilliamsRWSS #safety #validation

Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.

ISSTA-2008-LoginovYCFRN #analysis #safety #verification

Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.

CASE-2007-FukuiNSMMF #automation #safety

Requirement of three-position enabling switches for installing in enabling devices to achieve operational safety of robotics and automation applications (TF, MN, YS, IM, AM, TF), pp. 111–116.

DATE-2007-HairionECS #design #safety

New safety critical radio altimeter for airbus and related design flow (DH, SE, EC, MS), pp. 684–688.

PODS-2007-Machlin #array #equivalence #multi #query #safety

Index-based multidimensional array queries: safety and equivalence (RM), pp. 175–184.

FASE-2007-ManneringHR #design #safety #towards

Towards Normal Design for Safety-Critical Systems (DM, JGH, LR), pp. 398–411.

SAS-2007-CalcagnoPV #composition #concurrent #fine-grained #safety

Modular Safety Checking for Fine-Grained Concurrency (CC, MJP, VV), pp. 233–248.

DHM-2007-RapalaN #reliability #safety

Clinical Patient Safety — Achieving High Reliability in a Complex System (KR, JCN), pp. 710–716.

HCI-AS-2007-Komatsubara #safety

Ergonomic Study of Medicament Packages for the Improvement of Safety in Use (AK), pp. 484–488.

HCI-AS-2007-TanevaL #communication #design #safety

Interfacing Safety and Communication Breakdowns: Situated Medical Technology Design (ST, EL), pp. 525–534.

HCI-IDU-2007-DaimotoAMK #case study #research #safety

Application of Micro-Scenario Method (MSM) to User Research for the Motorcycle’s Informatization — A Case Study for the Information Support System for Safety (HD, SA, MM, MK), pp. 49–57.

SIGAda-2007-Brosgol #assessment #named #safety

SA2: languages for safety-critical software: issues and assessment (BMB), p. 2.

MoDELS-2007-ZoughbiBL #safety #uml

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.

MoDELS-2007-ZoughbiBL #safety #uml

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.

CAV-2007-CohenN #proving #safety

Local Proofs for Global Safety Properties (AC, KSN), pp. 55–67.

QoSA-2006-Grunske #component #evaluation #integration #safety #standard #towards

Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM (LG), pp. 199–213.

QoSA-2006-WuK #architecture #design #safety

Managing Architectural Design Decisions for Safety-Critical Software Systems (WW, TK), pp. 59–77.

ASE-2006-DenneyF #automation #certification #safety

Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) (ED, BF), pp. 265–268.

CASE-2006-HuangCC #mobile #safety

Mobile Diagnosis based on RFID for Food Safety (HPH, CSC, TYC), pp. 357–362.

CASE-2006-LuL #evaluation #independence #reliability #safety

Reliability evaluation of standby safety systems due to independent and common cause failures (LL, GL), pp. 264–269.

VLDB-2006-LiCTACH #data type #query #safety

Safety Guarantee of Continuous Join Queries over Punctuated Data Streams (HGL, SC, JT, DA, KSC, WPH), pp. 19–30.

ESOP-2006-Fruja #dot-net #runtime #type safety

Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.

TACAS-2006-OuaknineW #decidability #logic #metric #safety

Safety Metric Temporal Logic Is Fully Decidable (JO, JW), pp. 411–425.

PLDI-2006-BergerZ #memory management #named #probability #safety

DieHard: probabilistic memory safety for unsafe languages (EDB, BGZ), pp. 158–168.

ICALP-v2-2006-BalabanPZ #distributed #protocol #safety

Invisible Safety of Distributed Protocols (IB, AP, LDZ), pp. 528–539.

ICALP-v2-2006-Jurdzinski #complexity #on the #problem #safety

On Complexity of Grammars Related to the Safety Problem (TJ), pp. 432–443.

FM-2006-LiHR #automation #exception #safety #towards #verification

Towards Automatic Exception Safety Verification (XL, HJH, PR), pp. 396–411.

FM-2006-UmenoL #automaton #case study #protocol #proving #safety #theorem proving #using

Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study (SU, NAL), pp. 64–80.

AdaEurope-2006-BrosgolW #ada #comparison #java #realtime #safety

A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (BMB, AJW), pp. 13–26.

SIGAda-2006-SwardG #safety

Developing safety critical software for an unmanned aerial vehicle situational awareness tool (RES, MG), pp. 45–50.

ICEIS-SAIC-2006-BrzezinskiKK #mobile #protocol #safety

Safety of Checkpointing and Rollback-Recovery Protocol for Mobile Systems with RYW Session Guarantee (JB, AK, JK), pp. 118–123.

OOPSLA-2006-WasserrabNST #c++ #inheritance #multi #semantics #type safety

An operational semantics and type safety prooffor multiple inheritance in C++ (DW, TN, GS, FT), pp. 345–362.

GPCE-2006-DenneyF #algorithm #automation #certification #safety

A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.

ICSE-2006-Firesmith #requirements

Engineering safety-related requirements for software-intensive systems (DF), pp. 1047–1048.

AMOST-J-2005-AugustonMS06 #assessment #automation #behaviour #modelling #safety #testing

Environment behavior models for automation of testing and assessment of system safety (MA, JBM, MtS), pp. 971–980.

CAV-2006-CookPR #named #safety

Terminator: Beyond Safety (BC, AP, AR), pp. 415–418.

FATES-RV-2006-BouquetDGJ #generative #safety #testing

Safety Property Driven Test Generation from (FB, FD, JG, JJ), pp. 225–239.

FATES-RV-2006-LiD #algorithm #aspect-oriented #safety #testing #verification

Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems (CL, ZD), pp. 100–114.

VMCAI-2006-ChangCN #framework #program analysis #safety

A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety (BYEC, AC, GCN), pp. 174–189.

VMCAI-2006-JaffarSV06a #safety

Relative Safety (JJ, AES, RV), pp. 282–297.

CBSE-2005-GrunskeKP #component #evaluation #modelling #safety

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations (LG, BK, YP), pp. 33–48.

ASE-2005-CouchotGK #approach #deduction #protocol #safety

A uniform deductive approach for parameterized protocol safety (JFC, AG, NK), pp. 364–367.

DAC-2005-GanaiGA #model checking #safety #satisfiability

Beyond safety: customized SAT-based model checking (MKG, AG, PA), pp. 738–743.

DATE-2005-ChappellMPOFS #adaptation #generative #realtime #safety

Exploiting Real-Time FPGA Based Adaptive Systems Technology for Real-Time Sensor Fusion in Next Generation Automotive Safety Systems (SC, AM, DP, DO, BF, CS), pp. 180–185.

DATE-2005-HeckmannF #abstract interpretation #embedded #safety

erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.

DATE-2005-Horsky #safety

LC Oscillator Driver for Safety Critical Applications (PH), pp. 159–164.

DATE-2005-JeffreyCPLRR #configuration management #integration #monitoring #online #safety #using

The Integration of On-Line Monitoring and Reconfiguration Functions using IEEE1149.4 Into a Safety Critical Automotive Electronic Control Unit (CJ, RC, SP, ML, AR, SR), pp. 153–158.

ESOP-2005-WildmoserN #bytecode #safety

Asserting Bytecode Safety (MW, TN), pp. 326–341.

FASE-2005-BeyerHJM #memory management #safety

Checking Memory Safety with Blast (DB, TAH, RJ, RM), pp. 2–18.

FoSSaCS-2005-AehligMO #safety #strict #string

Safety Is not a Restriction at Level 2 for String Languages (KA, JGdM, CHLO), pp. 490–504.

PLDI-2005-FurrF #type safety

Checking type safety of foreign function calls (MF, JSF), pp. 62–72.

SAS-2005-HarrenN #assembly #dependent type #safety #using

Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.

SAS-2005-TerauchiA #data flow #problem #safety

Secure Information Flow as a Safety Problem (TT, AA), pp. 352–367.

FM-2005-RusuMJ #automation #consistency #safety #testing #validation #verification

Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems (VR, HM, TJ), pp. 189–204.

FM-2005-WassyngLH #safety

Timing Tolerances in Safety-Critical Software (AW, ML, XH), pp. 157–172.

CHI-2005-AragonH #safety #simulation #visualisation

Improving aviation safety with information visualization: a flight simulation study (CRA, MAH), pp. 441–450.

SIGAda-2005-NaeserAF #monitoring #named

SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.

ICEIS-v3-2005-Boulanger #analysis #named #safety

BRAIL — Safety Requirement Analysis (JLB), pp. 108–111.

KDD-2005-NorenOB #database #detection #safety

A hit-miss model for duplicate detection in the WHO drug safety database (GNN, RO, AB), pp. 459–468.

SEKE-2005-HsiungL #modelling #safety #verification

Model-based Verification of Safety-Critical Systems (PAH, YHL), pp. 596–601.

ICSE-2005-BurmesterGHST #development #modelling #realtime #safety

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems (SB, HG, MH, DS, MT), pp. 670–671.

ICSE-2005-ChinKQPN #alias #policy #safety #verification

Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.

ICSE-2005-Firesmith #requirements

Engineering safety-related requirements for software-intensive systems (DF), pp. 720–721.

CAV-2005-ConwayNDE #algorithm #analysis #incremental #interprocedural #safety

Incremental Algorithms for Inter-procedural Analysis of Safety Properties (CLC, KSN, DD, SAE), pp. 449–461.

VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.

CBSE-2004-SandstromFA #component #embedded #realtime #safety

Introducing a Component Technology for Safety Critical Embedded Real-Time Systems (KS, JF, MÅ), pp. 194–208.

DATE-v1-2004-ManoliosS #automation #liveness #modelling #safety #using #verification #web

Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements (PM, SKS), pp. 168–175.

TACAS-2004-SenRA #analysis #online #parallel #performance #predict #safety #source code #thread

Online Efficient Predictive Safety Analysis of Multithreaded Programs (KS, GR, GA), pp. 123–138.

PLDI-2004-YahavR #abstraction #safety #using #verification

Verifying safety properties using separation and heterogeneous abstractions (EY, GR), pp. 25–34.

SEFM-2004-LeinoS #c# #exception #safety

Exception Safety for C# (KRML, WS), pp. 218–227.

ICFP-2004-YuS #assembly #concurrent #safety #verification

Verification of safety properties for concurrent assembly code (DY, ZS), pp. 175–188.

AdaEurope-2004-GiriMJK #ada #approach #random #safety #testing

A Randomised Test Approach to Testing Safety Critical Ada Code (SKG, AM, YVJ, KK), pp. 190–199.

SIGAda-2004-ChapmanH #analysis #data flow #modelling #safety #security

Enforcing security and safety models with an information flow analysis tool (RC, AH), pp. 39–46.

FSE-2004-DingelL #analysis #automation #concurrent #safety #source code #txl #using

Automating comprehensive safety analysis of concurrent programs using verisoft and TXL (JD, HL), pp. 13–22.

FSE-2004-XuDS #c #memory management #performance #safety #source code

An efficient and backwards-compatible transformation to ensure memory safety of C programs (WX, DCD, RS), pp. 117–126.

ICSE-2004-SenVAR #distributed #monitoring #performance #safety

Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.

CAV-2004-Wang #analysis #hybrid #linear #parametricity #safety

Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.

CSL-2004-Maier #liveness #ltl #safety

Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.

TestCom-2004-RusuMTJJ #safety #testing #verification

From Safety Verification to Safety Testing (VR, HM, VT, TJ, BJ), pp. 160–176.

ASE-2003-RosuC #metric #safety

Certifying Measurement Unit Safety Polic (GR, FC), pp. 304–309.

PLDI-2003-BlanchetCCFMMMR #safety #scalability

A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.

SAS-2003-ShahamYKS #memory management #safety

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management (RS, EY, EKK, SS), pp. 483–503.

FME-2003-BozzanoCCVV #assessment #case study #industrial #safety

Improving Safety Assessment of Complex Systems: An Industrial Case Study (MB, AC, MC, LV, AV), pp. 208–222.

FME-2003-DenneyF #correctness #policy #safety

Correctness of Source-Level Safety Policies (ED, BF), pp. 894–913.

AdaEurope-2003-JeppuKS #ada #realtime #safety #testing #using

Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.

KDD-2003-FramAD #data mining #empirical #mining #safety

Empirical Bayesian data mining for discovering patterns in post-marketing drug safety (DMF, JSA, WD), pp. 359–368.

UML-2003-Jurjens #safety #uml

Developing Safety-Critical Systems with UML (JJ), pp. 360–372.

RE-2003-Romanski #configuration management #requirements #safety #traceability

Requirements, Configuration Management and Traceability for Safety Critical Software (GR), p. 304.

ESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code #thread

Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.

ICSE-2003-LutzM #requirements #safety #testing

Requirements Discovery during the Testing of Safety-Critical Software (RRL, ICM), pp. 578–585.

LCTES-2003-DhurjatiKAL #garbage collection #memory management #runtime #safety

Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.

ICLP-2003-Morrisett #low level #type safety

Achieving Type Safety for Low-Level Code (JGM), pp. 1–2.

RTA-2003-ChenRV #analysis #rule-based #safety

Rule-Based Analysis of Dimensional Safety (FC, GR, RPV), pp. 197–207.

DAC-2002-ShengTH #effectiveness #safety #using

Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.

TACAS-2002-HavelundR #monitoring #safety

Synthesizing Monitors for Safety Properties (KH, GR), pp. 342–356.

SAS-2002-Hymans #abstract interpretation #behaviour #safety

Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.

DLT-2002-IbarraDS #automaton #finite #safety #verification

Safety Verification for Two-Way Finite Automata with Monotonic Counters (OHI, ZD, ZWS), pp. 326–338.

FME-2002-KristensenM #safety

A Generalised Sweep-Line Method for Safety Properties (LMK, TM), pp. 549–567.

ICGT-2002-PadbergE #graph transformation #invariant #safety

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.

CSCW-2002-LuttersA #bound #case study #safety

Achieving safety: a field study of boundary objects in aircraft technical support (WGL, MSA), pp. 266–275.

Ada-2002-BarrM #ada #embedded #named #open source #operating system #safety

Boss/Ada: An Open Source Ada 95 Safety Kit ( A dependable open source embedded operating system for GNAT) (VB, SM), pp. 53–66.

Ada-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.

ICSE-2002-Knight #challenge #safety

Safety critical systems: challenges and directions (JCK), pp. 547–550.

CAV-2002-HenzingerJMNSW #proving

Temporal-Safety Proofs for Systems Code (TAH, RJ, RM, GCN, GS, WW), pp. 526–538.

VMCAI-2002-BaukusLS #liveness #protocol #safety #verification

Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness (KB, YL, KS), pp. 317–330.

ASE-2001-JurjensW #protocol #testing

Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.

DATE-2001-CheynetNVRRV #automation #evaluation #program transformation #safety

System safety through automatic high-level code transformations: an experimental evaluation (PC, BN, RV, MR, MSR, MV), pp. 297–301.

FASE-J-1998-PadbergGE01 #refinement #rule-based #safety

Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.

ESOP-2001-Thiemann #safety #using

Enforcing Safety Properties Using Type Specialization (PT), pp. 62–76.

ICSM-2001-ZelkowitzR #independence #maintenance #safety #validation #verification

The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 118–126.

PASTE-2001-MaessenSG #java #program analysis #safety #virtual machine

Program analysis for safety guarantees in a Java virtual machine written in Java (JWM, VS, DG), pp. 62–65.

AdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using

Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.

POPL-2001-Calcagno #calculus #correctness #safety #semantics

Stratified operational semantics for safety and correctness of the region calculus (CC), pp. 155–165.

POPL-2001-Yahav #concurrent #java #logic #safety #source code #using #verification

Verifying safety properties of concurrent Java programs using 3-valued logic (EY), pp. 27–40.

RE-2001-AllenbyK #requirements #safety #using

Deriving Safety Requirements Using Scenarios (KA, TK), pp. 228–235.

RE-2001-LutzM #evolution #requirements #safety

Evolution of Safety-Critical Requirements Post-Launch (RRL, ICM), pp. 222–227.

ESEC-FSE-2001-Coen-PorisiniDGP #execution #safety #symbolic computation #using #verification

Using symbolic execution for verifying safety-critical systems (ACP, GD, CG, MP), pp. 142–151.

ICSE-2001-ZelkowitzR #comprehension #safety

Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 349–357.

CAV-2001-Maidl #approach #model checking #safety

A Unifying Model Checking Approach for Safety Properties of Parameterized Systems (MM), pp. 311–323.

LICS-2001-ManoliosT #branch #liveness #safety

Safety and Liveness in Branching Time (PM, RJT), pp. 366–374.

ASE-2000-OHalloran #automation #generative #safety

Issues for the Automatic Generation of Safety Critical Software (CO), pp. 277–280.

ASE-2000-ReveillereMCMM #approach #development #domain-specific language #safety

A DSL Approach to Improve Productivity and Safety in Device Drivers Development (LR, FM, CC, RM, GM), pp. 101–110.

FASE-2000-PadbergHG #algebra #safety

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.

FASE-2000-Suhl #safety

Applying RT-Z to Develop Safety-Critical Systems (CS), pp. 51–65.

PLDI-2000-XuMR #safety

Safety checking of machine code (ZX, BPM, TWR), pp. 70–82.

SAS-2000-ClarkHH #analysis #graph grammar #safety #strict

Safety of Strictness Analysis via Term Graph Rewriting (DC, CH, SH), pp. 95–114.

CIAA-2000-Ibarra #queue #reachability #safety

Reachability and Safety in Queue Systems (OHI), pp. 145–156.

ICALP-2000-MannaS #safety

Alternating the Temporal Picture for Safety (ZM, HS), pp. 429–450.

AdaEurope-2000-MauriS #analysis #embedded #reliability #safety #using

Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.

FoSE-2000-Lutz #re-engineering #roadmap #safety

Software engineering for safety: a roadmap (RRL), pp. 213–226.

FSE-2000-NaumovichC #classification

Classifying properties: an alternative to the safety-liveness classification (GN, LAC), pp. 159–168.

CSL-2000-Pauly #bisimulation #game studies #safety #source code

From Programs to Games: Invariance and Safety for Bisimulation (MP), pp. 485–496.

ASE-1999-WhalenH #approach #automation #code generation #safety

An Approach to Automatic Code Generation for Safety-Critical Systems (MWW, MPEH), pp. 315–318.

CSEET-1999-FelleisenC #metric #safety

Safety as a Metric (MF, RC), pp. 129–131.

TACAS-1999-RusuS #abstraction #on the #proving #safety #static analysis #theorem proving

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction (VR, ES), pp. 178–192.

PASTE-1999-WhitingH #analysis #monitoring #safety

Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.

SAS-1999-Volpano #safety

Safety versus Secrecy (DMV), pp. 303–311.

FM-v2-1999-SereT #analysis #safety #specification

Safety Analysis in Formal Specification (KS, ET), pp. 1564–1583.

HCI-CCAD-1999-Tielsch #health #interface #network #safety

Call center — interface between companies’ practice and the competence network of safety and health at work in North-Rhine-Westfalia (RT), pp. 1332–1336.

HCI-EI-1999-Boy #safety

About the Role of Intelligent Assistants in the Control of Safety-Critical Systems (GAB), pp. 321–325.

HCI-EI-1999-Weber99b #approach #aspect-oriented #health #safety

A Pragmatic and Inclusive Approach to Assess Health and Safety Aspects at VDU Workplaces (HW), pp. 31–35.

AdaEurope-1999-ChapmanD #safety #using

Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (RC, RD), pp. 39–51.

AdaEurope-1999-Frost #ada #certification #embedded #safety

An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.

TOOLS-USA-1999-Romanski #development #safety #verification

The Development and Verification of Safety Critical Software (GR), p. 411.

SAC-1999-LauberSW #assurance #online #probability #quality #safety

Applied Probabilistic AI for Online Diagnosis of a Safety-Critical System Based on a Quality Assurance Program (JL, CS, RW), pp. 25–30.

CAV-1999-BiereCRZ #model checking #safety #using

Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs (AB, EMC, RR, YZ), pp. 60–71.

CAV-1999-KupfermanV #model checking #safety

Model Checking of Safety Properties (OK, MYV), pp. 172–183.

FASE-1998-BussowGK #case study #embedded #safety #specification

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (RB, RG, MK), pp. 71–87.

FASE-1998-NielsonAN #analysis #behaviour #case study #safety

Behaviour Analysis and Safety Conditions: A Case Study in CML (HRN, TA, FN), pp. 255–269.

FASE-1998-PadbergGE #refinement #rule-based #safety

Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.

FASE-1998-SandholmS #distributed #safety #web #web service

Distributed Safety Controllers for Web Services (AS, MIS), pp. 270–284.

ICALP-1998-TahaBS #axiom #multi #programming #type safety

Multi-Stage Programming: Axiomatization and Type Safety (WT, ZEAB, TS), pp. 918–929.

TAGT-1998-PadbergGH #development #incremental #petri net #safety

Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.

CHI-1998-Boy #analysis #automation #safety

Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems (GAB), pp. 265–272.

AdaEurope-1998-Chapront #ada #development #safety

Ada+B The Formula for Safety Critical Software Development (PC), pp. 13–18.

AdaEurope-1998-Wong #safety

Looking at Code With Your Safety Goggles On (KW), pp. 251–262.

SIGAda-1998-MichellSW #safety #security

Looking into Safety with the Safety and Security Rapporteur Group (SM, MS, BAW), pp. 7–11.

ICRE-1998-LutzHMST #analysis #product line #requirements #safety

Safety Analysis of Requirements for a Product Family (RRL, GGH, MMM, DES, SRT), p. 24–?.

CAV-1998-ComonJ #analysis #automaton #multi #safety

Multiple Counters Automata, Safety Analysis and Presburger Arithmetic (HC, YJ), pp. 268–279.

ICFP-1997-LaunchburyS #axiom #monad #type safety

Monadic State: Axiomatization and Type Safety (JL, AS), pp. 227–238.

HCI-CC-1997-LewandowskiK #assessment #safety

Method of Assessment of Occupational Safety (JL, CK), pp. 703–706.

HCI-CC-1997-Peters #human-computer #safety

Safety and Liability in HCI (GAP), pp. 851–854.

HCI-SEC-1997-Duffy97a #safety

Safety Management: Some Issues and Limitations (VGD), pp. 343–346.

TOOLS-PACIFIC-1997-WongC #multi #type safety

Method Dispatching and Type Safety for Objects with Multiple Roles (RKW, HLC), pp. 286–296.

TOOLS-USA-1997-Riehle97a #safety

Object Technology for Safety-Critical Applications (RR), p. 376.

RE-1997-HeimdahlR #requirements #safety #specification

Software Requirements Specification and System Safety (MPEH, JDR), p. 264.

RE-1997-ModugnoLRPS #analysis #requirements #safety #specification

Integrated Safety Analysis of Requirements Specifications (FM, NGL, JDR, KP, SDS), pp. 148–159.

CAV-1997-CimattiGPPPRTY #certification #embedded #safety #verification

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software (AC, FG, PP, BP, JP, DR, PT, BY), pp. 202–213.

WPC-1996-Bull #comprehension #domain-specific language #safety #using

Comprehension of Safety-Critical Systems Using Domain-Specific Languages (TB), pp. 108–122.

PLDI-1996-Boehm #garbage collection

Simple Garbage-Collector-Safety (HJB), pp. 89–98.

FME-1996-Peleska #automation #industrial #safety #testing

Test Automation for Safety-Critical Systems: Industrial Application and Future Developments (JP), pp. 39–59.

FME-1996-Sivertsen #case study #development #safety

A Case Study on the Formal Development of a Reactor Safety System (TS), pp. 18–38.

FME-1996-ValmariS #liveness #safety #verification #visual notation

Visual Verification of Safety and Liveness (AV, MS), pp. 228–247.

FME-1996-Weber #design #safety

Combining Statecharts and Z for the Design of Safety-Critical Control Systems (MW), pp. 307–326.

AdaEurope-1996-Rosskopf #ada #assessment #safety #static analysis

Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment (AR), pp. 183–197.

AdaEurope-1996-Schneidewind #modelling #reliability #safety

Reliability Modeling for Safety Critical Software (NFS), pp. 17–37.

TRI-Ada-1996-MeyerR #design #embedded #safety

Design and Test Strategies for a Safety-Critical Embedded Executive (CAM, MGR), pp. 29–37.

ICSE-1996-CheungK #analysis #composition #reachability #safety

Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.

CAV-1996-Gonthier #concurrent #garbage collection #safety #verification

Verifying the Safety of a Practical Concurrent Garbage Collector (GG), pp. 462–465.

CAV-1996-Greenstreet #difference #equation #safety #verification

Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.

ICSM-1995-BullYBL #named #reverse engineering #safety

Bylands: reverse engineering safety-critical systems (TMB, EJY, KHB, ZL), pp. 358–366.

AdaEurope-1995-Brown #ada #safety

The Practical Application of Safety Techniques on an Ada Based Project (RB), pp. 51–57.

AdaEurope-1995-Richard-Foy #ada #safety

Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.

RE-1995-AtleeM #analysis #requirements #safety

Integrating requirements analysis and safety analysis (JMA, JAM), pp. 158–159.

ESEC-1995-TuyaSC #model checking #modelling #safety #using #verification

Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models (JT, LS, JAC), pp. 59–75.

SOSP-1995-BershadSPSFBCE #operating system #performance #safety

Extensibility, Safety and Performance in the SPIN Operating System (BNB, SS, PP, EGS, MEF, DB, CC, SJE), pp. 267–284.

CAV-1995-JagadeesanPO #safety #source code #verification

Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software (LJJ, CP, JVO), pp. 127–140.

CAV-1995-JonssonK #algorithm #distributed #infinity #safety #verification

Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms (BJ, LK), pp. 42–53.

FME-1994-Gortz #safety #specification

Specifying Safety and Progress Properties with RSL (JG), pp. 567–581.

AdaEurope-1994-Birnie #aspect-oriented #safety

Safety Aspects of the Ariane 5 On-Board Software (SAB), pp. 302–321.

SEKE-1994-WillisP #reuse #safety #specification

Specification reuse for safety-critical software (CPW, DJP), pp. 516–523.

ISSTA-1994-KnightCFW #safety #testing

Testing a Safety-Critical Application (JCK, AGC, AMF, KGW), p. 199.

PODS-1993-Escobar-MolanoHJ #calculus #query #safety

Safety and Translation of Calculus Queries with Scalar Functions (MEM, RH, DJ), pp. 253–264.

PEPM-1993-Thiemann #analysis #functional #safety #source code

A Safety Analysis for Functional Programs (PT), pp. 133–144.

FME-1993-BowenS #formal method #industrial #perspective #safety

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.

FME-1993-Jacky #safety #specification

Specifying a Safety-Critical Control System in Z (JJ), pp. 388–402.

HCI-ACS-1993-DoosB #development #human-computer #interactive #safety

Disturbances in Production — A Safety Risk or a Chance for Development in the Human-Computer Interaction Context (MD, TB), pp. 809–814.

HCI-SHI-1993-Warren #approach #development #modelling #realtime #safety #tool support

The TOM Approach to System Development: Methods and Tools for Task Oriented Modelling of Real-Time Safety Critical Systems (CW), pp. 285–290.

AdaEurope-1993-BrygierR #ada #certification #realtime #safety

Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.

SEKE-1993-Berztiss #safety

Catastrophe Prevention in Safety-Critical Systems (ATB), pp. 102–108.

RE-1993-Lutz #embedded #fault #requirements #safety

Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.

FSE-1993-Lutz #analysis #fault #requirements

Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.

ICSE-1993-CourtoisP #documentation #safety

Documentation for Safety Critical Software (PJC, DLP), pp. 315–323.

ICSE-1993-DalalHK #communication #quality #reliability #safety

Reliable Software and Communication: Software Quality, Reliability, and Safety (SRD, JRH, JRK), pp. 425–435.

ICLP-1993-CorsiniR #analysis #fault #safety

Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers (MMC, AR), p. 834.

ESOP-1992-BernsteinRS #proving #safety

Proving Safety of Speculative Load Instructions at Compile Time (DB, MR, SS), pp. 56–72.

TRI-Ada-C-1992-HummerB #ada #design #hardware #safety

When Hardware Becomes Software: Designing a Safety-Critical System with Ada (JH, LB), pp. 538–544.

TRI-Ada-C-1992-McHugh #ada #safety

Ada 9X and Safety Critical/Secure Systems (JM), pp. 55–59.

CAV-1992-Bruns #case study #design #safety

A Case Study in Safety-Critical Design (GB), pp. 220–233.

CAV-1992-Corbett #integer #liveness #programming #safety #verification

Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.

ICALP-1991-BouajjaniFGRS #branch #safety #semantics

Safety for Branching Time Semantics (AB, JCF, SG, CR, JS), pp. 76–92.

AdaEurope-1991-Welz #ada #safety

Ada in Safety Critical Applications (AW), pp. 193–198.

CAV-1991-GodefroidW #concurrent #partial order #performance #safety #using #verification

Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties (PG, PW), pp. 332–342.

CAV-1991-Goldschlag #liveness #safety #verification

Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits (DMG), pp. 354–364.

ICLP-1991-CodishDY #algorithm #alias #analysis #safety #unification

Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis (MC, DD, EY), pp. 79–93.

ICSE-1990-Laprie #assessment #on the #safety

On the Assessment of Safety-Critical Software Systems (JCL), p. 222.

ICSE-1990-Leveson #evaluation #safety

Evaluation of Software Safety (NGL), pp. 223–224.

ICSE-1990-Thomas #safety

Assessing Failure Probabilities in Safety-Critical Systems Containing Software (MT), p. 227.

CAV-1990-Burch #liveness #safety #verification

Verifying Liveness Properties by Verifying Safety Properties (JRB), pp. 224–232.

PODS-1989-SagivV #database #datalog #infinity #query #safety

Safety of Datalog Queries over Infinite Databases (YS, MYV), pp. 160–171.

ESEC-1989-Thomas #state of the art

Asking for the Impossible: The State of the Art in Safety-Related Systems (MT), pp. 42–47.

ICSE-1989-JaffeL #realtime #requirements #robust #safety #specification

Completeness, Robustness, and Safety in Real-Time Software Requirements Specification (MSJ, NGL), pp. 302–311.

PODS-1988-KiferRS #approach #axiom #database #deduction #query #safety

An Axiomatic Approach to Deciding Query Safety in Deductive Databases (MK, RR, AS), pp. 52–60.

SIGMOD-1988-KrishnamurthyRS #datalog #effectiveness #framework #safety #testing

A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract) (RK, RR, OS), pp. 154–163.

PLDI-1988-Chase #optimisation #safety

Safety Considerations for Storage Allocation Optimizations (DRC), pp. 1–10.

ICSE-1988-ChaLS #analysis #fault #safety #using #verification

Safety Verification in Murphy Using Fault Tree Analysis (SSC, NGL, TJS), pp. 377–387.

PODS-1987-GelderT #calculus #relational #safety

Safety and Correct Translation of Relational Calculus Formulas (AVG, RWT), pp. 313–327.

PODS-1987-RamakrishnanBS #horn clause #infinity #recursion #safety

Safety of Recursive Horn Clauses With Infinite Relations (RR, FB, AS), pp. 328–339.

ESEC-1987-Knabe #exception #fault #industrial #re-engineering #safety

The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment (CK), pp. 369–376.

PODS-1986-Su #safety

Safety of Non-Well-Locked Trasnaction Systems (JS), pp. 47–52.

PODS-1985-WolfsonY #database #distributed #safety #transaction

Deadlock-Freedom (and Safety) of Transactions in a Distributed Database (OW, MY), pp. 105–112.

PODS-1982-Soisalon-SoininenW #algorithm #detection #safety #testing #transaction

An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems (ESS, DW), pp. 108–116.

ICALP-1977-Sajaniemi #safety

The Safety of a Coroutine System (JS), pp. 440–452.