BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (109)
critic (106)
analysi (54)
softwar (49)
model (45)

Stem safeti$ (all stems)

431 papers:

QoSAQoSA-2015-Bozhinoski #adaptation #mobile #multi #safety
Managing Safety and Adaptability in Mobile Multi-Robot Systems (DB), pp. 135–140.
CASECASE-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.
DACDAC-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.
DACDAC-2015-ShererRO #functional #safety
Ensuring functional safety compliance for ISO 26262 (ADS, JR, RO), p. 3.
DATEDATE-2015-HernandezA #low cost #safety
Low-cost checkpointing in automotive safety-relevant systems (CH, JA), pp. 91–96.
ESOPESOP-2015-DavidKL15a #reasoning #safety #source code #termination
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs (CD, DK, ML), pp. 661–684.
TACASTACAS-2015-NutzDMP #contest #memory management #safety
ULTIMATE KOJAK with Memory Safety Checks — (Competition Contribution) (AN, DD, MMM, AP), pp. 458–460.
TACASTACAS-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.
SASSAS-2015-Brain0KS #invariant #safety #verification
Safety Verification and Refutation by k-Invariants and k-Induction (MB, SJ, DK, PS), pp. 145–161.
FMFM-2015-BratBDGHK #safety #verification
Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.
FMFM-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.
FMFM-2015-KroeningLW #automaton #bound #model checking #proving #safety
Proving Safety with Trace Automata and Bounded Model Checking (DK, ML, GW), pp. 325–341.
HCIHCI-UC-2015-NakanishiTUYS #safety
Fukushima No. 1 Nuclear Power Plant: The Moment of “Safety Myth” Collapses (AN, TT, HU, MY, DS), pp. 350–357.
HCIHIMI-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.
AdaEuropeAdaEurope-2015-JaradatBP #analysis #maintenance #safety #using
Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases (OJ, IB, SP), pp. 162–176.
AdaEuropeAdaEurope-2015-KhanfarLM #safety #slicing
Static Backward Program Slicing for Safety-Critical Systems (HK, BL, ANM), pp. 50–65.
AdaEuropeAdaEurope-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.
SEKESEKE-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.
PPDPPPDP-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.
SACSAC-2015-BurtonS #composition #mixin #safety
The safety of dynamic mixin composition (EB, ES), pp. 1992–1999.
SACSAC-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.
ICSEICSE-v2-2015-DenneyPH #assurance #safety
Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.
PLEASEPLEASE-2015-Gallina #product line #reuse #safety #towards
Towards Enabling Reuse in the Context of Safety-Critical Product Lines (BG), pp. 15–18.
SPLCSPLC-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.
SPLCSPLC-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.
CAVCAV-2015-BozzanoCGM #analysis #modelling #performance #safety
Efficient Anytime Techniques for Model-Based Safety Analysis (MB, AC, AG, CM), pp. 603–621.
CAVCAV-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.
CAVCAV-2015-ZouFZM #automation #difference #equation #safety #verification
Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
VMCAIVMCAI-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.
ECSAECSA-2014-GurbuzTE #architecture #design #safety
Safety Perspective for Supporting Architectural Design of Safety-Critical Systems (HGG, BT, NPE), pp. 365–373.
WICSAWICSA-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.
CASECASE-2014-KaiS #development #safety
Development of a velocity and contact force-based mechanical safety device for service robots (YK, SS), pp. 1188–1193.
CASECASE-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.
DACDAC-2014-HernandezA #detection #fault #named #safety
LiVe: Timely Error Detection in Light-Lockstep Safety Critical Systems (CH, JA), p. 6.
DACDAC-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.
DACDAC-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.
DATEDATE-2014-IliasovASM #design #refinement #safety
Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.
DATEDATE-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.
DATEDATE-2014-PandeyV #analysis #fault #safety
Transient errors resiliency analysis technique for automotive safety critical applications (SP, BV), pp. 1–4.
TACASTACAS-2014-ChenCFNO #proving #safety
Proving Nontermination via Safety (HYC, BC, CF, KN, PWO), pp. 156–171.
TACASTACAS-2014-Kupferman #safety
Variations on Safety (OK), pp. 1–14.
SCAMSCAM-2014-HutchinsBS #analysis #c #c++ #concurrent #safety #thread
C/C++ Thread Safety Analysis (DH, AB, DS), pp. 41–46.
PLDIPLDI-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.
SASSAS-2014-BrotherstonG #abduction #safety #termination
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.
FMFM-2014-MarriottC #named
SCJ: Memory-Safety Checking without Annotations (CM, AC), pp. 465–480.
CHICHI-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.
CSCWCSCW-2014-WisniewskiXRC #online #safety
Adolescent online safety: the “moral” of the story (PJW, HX, MBR, JMC), pp. 1258–1271.
HCIDHM-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.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-AS-2014-StelzerSO #novel #safety #user interface
Evaluating Novel User Interfaces in (Safety Critical) Railway Environments (AS, IS, AO), pp. 502–512.
HCIHIMI-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.
AdaEuropeAdaEurope-2014-ZhouLL #approach #embedded #requirements #safety #validation
A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
KDDKDD-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.
PPDPPPDP-2014-Ramsay #abstraction #recursion #safety
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes (SJR), pp. 175–186.
RERE-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.
REFSQREFSQ-2014-NairVMTdB #analysis #problem #safety #traceability
Safety Evidence Traceability: Problem Analysis and Model (SN, JLdlV, AM, GT, LdlB, FB), pp. 309–324.
SACSAC-2014-Gutierrez-GarciaG #multi #safety #simulation
Multi-agent simulation of perception of safety from crime (JOGG, AGdSG), pp. 573–578.
FSEFSE-2014-Kan #model checking #safety #traceability #verification
Traceability and model checking to support safety requirement verification (SK), pp. 783–786.
SPLCSPLC-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.
CAVCAV-2014-DilligDC #memory management #safety #synthesis
Optimal Guard Synthesis for Memory Safety (TD, ID, SC), pp. 491–507.
IJCARIJCAR-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.
VMCAIVMCAI-2014-BloemKS #safety #satisfiability #specification #synthesis
SAT-Based Synthesis Methods for Safety Specs (RB, RK, MS), pp. 1–20.
VMCAIVMCAI-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.
VMCAIVMCAI-2014-KiniV #automaton #ltl #probability #safety #specification
Probabilistic Automata for Safety LTL Specifications (DK, MV), pp. 118–136.
DATEDATE-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.
HCIDHM-HB-2013-HartwigW #health #persuasion #safety
Safety and Health at Work through Persuasive Assistance Systems (MH, AW), pp. 40–49.
HCIDHM-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.
HCIDHM-SET-2013-LuL #design #modelling #safety
Constructing Ergonomic Safety Modelling for Evaluating New Designs of Child Car Seats (CYL, HHL), pp. 338–347.
HCIDHM-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.
HCIDHM-SET-2013-YangYF #safety #using
Predicating the Safety of Airport Approaches Using a Cognitive Pilot Model (CY, TY, SF), pp. 126–133.
HCIDUXU-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.
HCIDUXU-NTE-2013-IbrahimABSBL #safety
Safety of Natural Disasters (LFI, RA, SB, RS, MB, TAAL), pp. 85–94.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-HSM-2013-ArimaUA #safety
Supporting Residents Evacuation and Safety Inquiry in Case of Disaster (MA, TU, MA), pp. 443–452.
HCIHIMI-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.
HCIHIMI-HSM-2013-KarashimaN #behaviour #safety
Influence of the Safety Margin on Behavior that Violates Rules (MK, HN), pp. 497–506.
HCIHIMI-HSM-2013-SavoyM #flexibility #interactive #safety
A Precursory Look at Potential Interaction Objectives Affecting Flexible Robotic Cell Safety (AS, AM), pp. 198–206.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-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.
HILTHILT-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.
HILTHILT-2013-Taft #concurrent #named #parallel #proving #safety #source code #thread #tutorial
Tutorial: proving safety of parallel / multi-threaded programs (STT), pp. 1–2.
KDIRKDIR-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.
KEODKEOD-2013-TimonenPT #fuzzy #modelling #ontology #safety #using
Using Associations and Fuzzy Ontologies for Modeling Chemical Safety Information (MT, AP, TT), pp. 26–37.
MODELSMoDELS-2013-VaraP #metamodelling #named #safety #standard
SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.
MODELSMoDELS-2013-VaraP #metamodelling #named #safety #standard
SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.
RERE-2013-GuillermDS #safety
A safety requirement engineering method and tool (RG, HD, NS), pp. 328–329.
RERE-2013-Nair #assurance #certification #safety
Evidence management for evolutionary safety assurance and certification (SN), pp. 385–388.
SACSAC-PL-J-2010-PopeeaC13 #analysis #debugging #proving #safety
Dual analysis for proving safety and finding bugs (CP, WNC), pp. 390–411.
SACSAC-2013-BrunsKB #safety
Virtualization for safety-critical, deeply-embedded devices (FB, DK, AB), pp. 1485–1492.
SACSAC-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.
SPLCSPLC-2013-SchulzeMB #functional #question #safety #variability
Functional safety and variability: can it be brought together? (MS, JM, DB), pp. 236–243.
ISMMISMM-2013-Musuvathi #approach #consistency #memory management #modelling
Safety-first approach to memory consistency models (MM), pp. 1–2.
CAVCAV-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.
ICSTICST-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.
ICSTICST-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.
ISSTAISSTA-2013-Bonacchi #case study #proving #safety
Formal safety proof: a real case study in a railway interlocking system (AB0), pp. 378–381.
CASECASE-2012-IdenP #algorithm #aspect-oriented #detection #functional #safety
Functional safety aspects of pattern detection algorithms (JI, CIP), pp. 747–752.
DATEDATE-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.
ITiCSEITiCSE-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.
PLDIPLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread
Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.
IFMIFM-2012-IsobeMNR #approach #capacity #csp #safety
Safety and Line Capacity in Railways — An Approach in Timed CSP (YI, FM, HNN, MR), pp. 54–68.
CHICHI-2012-VinotA #design #safety
Legible, are you sure?: an experimentation-based typographical design in safety-critical context (JLV, SA), pp. 2287–2296.
HILTHILT-2012-LevesonFT #embedded #safety
Safety of embedded software (NGL, CHF, JT), pp. 7–8.
HILTHILT-2012-Nilsen #bibliography #comprehension #java #memory management #safety #tutorial
Tutorial overview: understanding dynamic memory management in safety critical java (KN), pp. 15–22.
ICEISICEIS-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.
SEKESEKE-2012-SubburajUS #safety #specification
Specification of Safety Critical Systems with Intelligent Software Agent Method (VHS, JEU, MRS), pp. 578–581.
SIGIRSIGIR-2012-MacdonaldTO12a #effectiveness #learning #rank #safety
Effect of dynamic pruning safety on learning to rank effectiveness (CM, NT, IO), pp. 1051–1052.
ECMFAECMFA-2012-GeP #framework #realtime #safety #uml #verification
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
MODELSMoDELS-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.
MODELSMoDELS-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.
QAPLQAPL-2012-YasuokaT #data flow #liveness #safety
Quantitative Information Flow as Safety and Liveness Hyperproperties (HY, TT), pp. 77–91.
REFSQREFSQ-2012-Cleland-HuangHHLM #assurance #query #requirements #safety
Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.
SACSAC-2012-MaggiorePBA #3d #compilation #performance #safety
A compilation technique to increase X3D performance and safety (GM, FP, MB, MA), pp. 969–974.
SACSAC-2012-MonakovaBS #process #safety #security
Security and safety of assets in business processes (GM, ADB, AS), pp. 1667–1673.
ICSEICSE-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.
PLEASEPLEASE-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.
CAVCAV-2012-ChuJ #reduction #safety #symmetry #verification
A Complete Method for Symmetry Reduction in Safety Verification (DHC, JJ), pp. 616–633.
CAVCAV-2012-HarrisJR #automaton #game studies #programming #safety
Secure Programming via Visibly Pushdown Safety Games (WRH, SJ, TWR), pp. 581–598.
LICSLICS-2012-CarayolS #automaton #effectiveness #equivalence #recursion #safety
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection (AC, OS), pp. 165–174.
RTARTA-2012-Lisitsa #automaton #finite #modelling #safety #verification
Finite Models vs Tree Automata in Safety Verification (AL), pp. 225–239.
QoSAQoSA-ISARCS-2011-HillenbrandHMA #architecture #safety #workflow
A metric-based safety workflow for electric/electronic architectures of vehicles (MH, MH, KDMG, NA), pp. 105–114.
CASECASE-2011-SharviaP #approach #assessment #named #safety #towards
IACoB-SA: An approach towards integrated safety assessment (SS, YP), pp. 220–225.
CASECASE-2011-Soressi #industrial #safety
Introduction of safety rule IEC EN62061 in Metal Industry (ES), pp. 195–200.
CASECASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification
Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
FMFM-2011-CavalcantiWW #formal method #java #memory management #safety
The Safety-Critical Java Memory Model: A Formal Account (AC, AJW, JW), pp. 246–261.
SEFMSEFM-2011-SoleimanifardGH #composition #named #safety #verification
ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.
CHICHI-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.
CHICHI-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.
HCIDUXU-v1-2011-KarschS #precise #safety #usability
Terminological Precision — A Key Factor in Product Usability and Safety (BIK, GS), pp. 138–147.
HCIDUXU-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.
HCIHCD-2011-ChaudronGMC #process #safety
Building Human Profile by Aggregation of Activities — Application to Aeronautics Safety (LC, DG, NM, JC), pp. 389–396.
AdaSIGAda-2011-Brosgol #named #safety #standard
Do-178c: the next avionics safety standard (BMB), pp. 5–6.
AdaSIGAda-2011-Rogers #safety
Language choice for safety critical applications (JSR), pp. 81–90.
ICEISICEIS-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.
ICEISICEIS-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.
QAPLQAPL-2011-LeitnerFischerL #analysis #modelling #named #quantum #safety #uml
QuantUM: Quantitative Safety Analysis of UML Models (FLF, SL), pp. 16–30.
ESEC-FSEESEC-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.
ICSEICSE-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.
PPoPPPPoPP-2011-BotincanDDP #automation #memory management #proving #safety
Automatic safety proofs for asynchronous memory operations (MB, MD, AFD, MJP), pp. 313–314.
CAVCAV-2011-BerdineCI #memory management #named #safety
SLAyer: Memory Safety for Systems-Level Code (JB, BC, SI), pp. 178–183.
CASECASE-2010-Hsu #bound #markov #safety
Control of continuous-time Markov chains with safety upper bounds (SPH), pp. 990–993.
DATEDATE-2010-VazquezCTST #programmable #safety
Programmable aging sensor for automotive safety-critical applications (JCV, VHC, ICT, MBS, JPT), pp. 618–621.
CSEETCSEET-2010-WongD #research #safety
An Undergraduate Summer Research Program in Software Safety (WEW, VD), pp. 157–164.
ICPCICPC-2010-AreiasCP #contract #reuse #safety #slicing
Contract-Based Slicing Helps on Safety Reuse (SA, DCdC, JSP), pp. 62–63.
SCAMSCAM-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.
SEFMSEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using
Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.
CHICHI-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.
CAiSECAiSE-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.
ICMLICML-2010-ChakrabortyS #convergence #learning #multi #safety
Convergence, Targeted Optimality, and Safety in Multiagent Learning (DC, PS), pp. 191–198.
KDDKDD-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.
QAPLQAPL-2010-GuedemannO #analysis #modelling #probability #safety
Probabilistic Model-Based Safety Analysis (MG, FO), pp. 114–128.
RERE-2010-HillT #legacy #requirements #safety #traceability
Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems (JH, SRT), pp. 297–302.
SACSAC-2010-PopeeaC #analysis #debugging #proving #safety
Dual analysis for proving safety and finding bugs (CP, WNC), pp. 2137–2143.
ICSEICSE-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.
ICSEICSE-2010-Firesmith #requirements #summary #tutorial
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.
ISMMISMM-2010-NagarakatteZMZ #c #compilation #named #safety
CETS: compiler enforced temporal safety for C (SN, JZ, MMKM, SZ), pp. 31–40.
LCTESLCTES-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.
CAVCAV-2010-KawaguchiRJ #named #safety #verification
Dsolve: Safety Verification via Liquid Types (MK, PMR, RJ), pp. 123–126.
CAVCAV-2010-ZhangSRHH #hybrid #probability #safety #verification
Safety Verification for Probabilistic Hybrid Systems (LZ, ZS, SR, HH, EMH), pp. 196–211.
ICSTICST-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.
IJCARIJCAR-2010-ChaudhuriDLM #proving #safety #verification
Verifying Safety Properties with the TLA+ Proof System (KC, DD, LL, SM), pp. 142–148.
ISSTAISSTA-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.
CASECASE-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.
TACASTACAS-2009-KuijperP #game studies #safety
Computing Weakest Strategies for Safety Games of Imperfect Information (WK, JvdP), pp. 92–106.
TACASTACAS-2009-PlakuKV #hybrid #ltl #safety
Falsification of LTL Safety Properties in Hybrid Systems (EP, LEK, MYV), pp. 368–382.
PLDIPLDI-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.
ICALPICALP-v2-2009-AcciaiB #behaviour #infinity #safety #π-calculus
Deciding Safety Properties in Infinite-State π-Calculus via Behavioural Types (LA, MB), pp. 31–42.
ICFPICFP-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.
HCIDHM-2009-DzaackU #analysis #modelling #multi #performance #safety
Multilevel Analysis of Human Performance Models in Safety-Critical Systems (JD, LU), pp. 375–383.
HCIHIMI-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.
HCIHIMI-II-2009-LeeD #safety
Impact of Healthcare Information Technology Systems on Patient Safety (BCL, VGD), pp. 559–565.
HCIHIMI-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.
HCIHIMI-II-2009-SpinilloPL #analysis #safety
Patient Safety: Contributions from a Task Analysis Study on Medicine Usage by Brazilians (CS, SP, CL), pp. 604–608.
AdaEuropeAdaEurope-2009-DelangePF #architecture #requirements #safety #security #validation
Validating Safety and Security Requirements for Partitioned Architectures (JD, LP, PHF), pp. 30–43.
AdaSIGAda-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.
ICEISICEIS-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.
SACSAC-2009-FalconeFM #classification #monitoring
Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
SACSAC-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.
SACSAC-2009-KimmSHS #development #safety
Failure management development for integrated automotive safety-critical software systems (HK, SYS, HsH, COS), pp. 517–521.
CASECASE-2008-LiuYGB #certification #functional #safety
Functional safety certification: Practice and issues (JL, CY, FG, SB), pp. 412–417.
DATEDATE-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.
DATEDATE-2008-PenazziCDSSM #multi #safety
Cooperative Safety: a Combination of Multiple Technologies (RP, PC, MD, AS, MS, EM), pp. 959–961.
DATEDATE-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.
AdaSIGAda-2008-Brosgol #assessment #named #safety
MP1: languages for safety-critical software: issues and assessment (BMB), pp. 7–8.
ICEISICEIS-AIDSS-2008-SharpanskykhSB #analysis #modelling #safety
Organizational Modeling and Analysis of Safety Occurrence Reporting in Air Traffic (AS, SHS, HAPB), pp. 225–230.
MODELSMoDELS-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.
MODELSMoDELS-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.
ICSEICSE-2008-McCafferyPR #agile #assessment #hybrid #named #safety
Ahaa — agile, hybrid assessment method for automotive, safety critical smes (FM, MP, IR), pp. 551–560.
ATEMATEM-J-2006-MiguelBSA #analysis #development #integration #modelling #safety
Integration of safety analysis in model-driven software development (MAdM, JFB, JPS, AA), pp. 260–280.
ASPLOSASPLOS-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.
CCCC-2008-ProkopskiV #safety #virtual machine
Compiler-Guaranteed Safety in Code-Copying Virtual Machines (GBP, CV), pp. 163–177.
HPDCHPDC-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.
OSDIOSDI-2008-WilliamsRWSS #safety #validation
Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
ISSTAISSTA-2008-LoginovYCFRN #analysis #safety #verification
Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.
CASECASE-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.
DATEDATE-2007-HairionECS #design #safety
New safety critical radio altimeter for airbus and related design flow (DH, SE, EC, MS), pp. 684–688.
PODSPODS-2007-Machlin #array #equivalence #multi #query #safety
Index-based multidimensional array queries: safety and equivalence (RM), pp. 175–184.
FASEFASE-2007-ManneringHR #design #safety #towards
Towards Normal Design for Safety-Critical Systems (DM, JGH, LR), pp. 398–411.
SASSAS-2007-CalcagnoPV #composition #concurrent #fine-grained #safety
Modular Safety Checking for Fine-Grained Concurrency (CC, MJP, VV), pp. 233–248.
HCIDHM-2007-RapalaN #reliability #safety
Clinical Patient Safety — Achieving High Reliability in a Complex System (KR, JCN), pp. 710–716.
HCIHCI-AS-2007-Komatsubara #safety
Ergonomic Study of Medicament Packages for the Improvement of Safety in Use (AK), pp. 484–488.
HCIHCI-AS-2007-TanevaL #communication #design #safety
Interfacing Safety and Communication Breakdowns: Situated Medical Technology Design (ST, EL), pp. 525–534.
HCIHCI-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.
AdaSIGAda-2007-Brosgol #assessment #named #safety
SA2: languages for safety-critical software: issues and assessment (BMB), p. 2.
MODELSMoDELS-2007-ZoughbiBL #safety #uml
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
MODELSMoDELS-2007-ZoughbiBL #safety #uml
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
CAVCAV-2007-CohenN #proving #safety
Local Proofs for Global Safety Properties (AC, KSN), pp. 55–67.
QoSAQoSA-2006-Grunske #component #evaluation #integration #safety #standard #towards
Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM (LG), pp. 199–213.
QoSAQoSA-2006-WuK #architecture #design #safety
Managing Architectural Design Decisions for Safety-Critical Software Systems (WW, TK), pp. 59–77.
ASEASE-2006-DenneyF #automation #certification #safety
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract) (ED, BF), pp. 265–268.
CASECASE-2006-HuangCC #mobile #safety
Mobile Diagnosis based on RFID for Food Safety (HPH, CSC, TYC), pp. 357–362.
CASECASE-2006-LuL #evaluation #independence #reliability #safety
Reliability evaluation of standby safety systems due to independent and common cause failures (LL, GL), pp. 264–269.
VLDBVLDB-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.
ESOPESOP-2006-Fruja #dot-net #runtime #type safety
Type Safety of Generics for the .NET Common Language Runtime (NGF), pp. 325–341.
TACASTACAS-2006-OuaknineW #decidability #logic #metric #safety
Safety Metric Temporal Logic Is Fully Decidable (JO, JW), pp. 411–425.
PLDIPLDI-2006-BergerZ #memory management #named #probability #safety
DieHard: probabilistic memory safety for unsafe languages (EDB, BGZ), pp. 158–168.
ICALPICALP-v2-2006-BalabanPZ #distributed #protocol #safety
Invisible Safety of Distributed Protocols (IB, AP, LDZ), pp. 528–539.
ICALPICALP-v2-2006-Jurdzinski #complexity #on the #problem #safety
On Complexity of Grammars Related to the Safety Problem (TJ), pp. 432–443.
FMFM-2006-LiHR #automation #exception #safety #towards #verification
Towards Automatic Exception Safety Verification (XL, HJH, PR), pp. 396–411.
FMFM-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.
AdaEuropeAdaEurope-2006-BrosgolW #ada #comparison #java #realtime #safety
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications (BMB, AJW), pp. 13–26.
AdaSIGAda-2006-SwardG #safety
Developing safety critical software for an unmanned aerial vehicle situational awareness tool (RES, MG), pp. 45–50.
ICEISICEIS-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.
OOPSLAOOPSLA-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.
GPCEGPCE-2006-DenneyF #algorithm #automation #certification #safety
A generic annotation inference algorithm for the safety certification of automatically generated code (ED, BF), pp. 121–130.
ICSEICSE-2006-Firesmith #requirements
Engineering safety-related requirements for software-intensive systems (DF), pp. 1047–1048.
AMOSTAMOST-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.
CAVCAV-2006-CookPR #named #safety
Terminator: Beyond Safety (BC, AP, AR), pp. 415–418.
FATESFATES-RV-2006-BouquetDGJ #generative #safety #testing
Safety Property Driven Test Generation from (FB, FD, JG, JJ), pp. 225–239.
FATESFATES-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.
VMCAIVMCAI-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.
VMCAIVMCAI-2006-JaffarSV06a #safety
Relative Safety (JJ, AES, RV), pp. 282–297.
CBSECBSE-2005-GrunskeKP #component #evaluation #modelling #safety
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations (LG, BK, YP), pp. 33–48.
ASEASE-2005-CouchotGK #approach #deduction #protocol #safety
A uniform deductive approach for parameterized protocol safety (JFC, AG, NK), pp. 364–367.
DACDAC-2005-GanaiGA #model checking #safety #satisfiability
Beyond safety: customized SAT-based model checking (MKG, AG, PA), pp. 738–743.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2005-Horsky #safety
LC Oscillator Driver for Safety Critical Applications (PH), pp. 159–164.
DATEDATE-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.
ESOPESOP-2005-WildmoserN #bytecode #safety
Asserting Bytecode Safety (MW, TN), pp. 326–341.
FASEFASE-2005-BeyerHJM #memory management #safety
Checking Memory Safety with Blast (DB, TAH, RJ, RM), pp. 2–18.
FoSSaCSFoSSaCS-2005-AehligMO #safety #strict #string
Safety Is not a Restriction at Level 2 for String Languages (KA, JGdM, CHLO), pp. 490–504.
PLDIPLDI-2005-FurrF #type safety
Checking type safety of foreign function calls (MF, JSF), pp. 62–72.
SASSAS-2005-HarrenN #assembly #dependent type #safety #using
Using Dependent Types to Certify the Safety of Assembly Code (MH, GCN), pp. 155–170.
SASSAS-2005-TerauchiA #data flow #problem #safety
Secure Information Flow as a Safety Problem (TT, AA), pp. 352–367.
FMFM-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.
FMFM-2005-WassyngLH #safety
Timing Tolerances in Safety-Critical Software (AW, ML, XH), pp. 157–172.
CHICHI-2005-AragonH #safety #simulation #visualisation
Improving aviation safety with information visualization: a flight simulation study (CRA, MAH), pp. 441–450.
AdaSIGAda-2005-NaeserAF #monitoring #named
SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.
ICEISICEIS-v3-2005-Boulanger #analysis #named #safety
BRAIL — Safety Requirement Analysis (JLB), pp. 108–111.
KDDKDD-2005-NorenOB #database #detection #safety
A hit-miss model for duplicate detection in the WHO drug safety database (GNN, RO, AB), pp. 459–468.
SEKESEKE-2005-HsiungL #modelling #safety #verification
Model-based Verification of Safety-Critical Systems (PAH, YHL), pp. 596–601.
ICSEICSE-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.
ICSEICSE-2005-ChinKQPN #alias #policy #safety #verification
Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.
ICSEICSE-2005-Firesmith #requirements
Engineering safety-related requirements for software-intensive systems (DF), pp. 720–721.
CAVCAV-2005-ConwayNDE #algorithm #analysis #incremental #interprocedural #safety
Incremental Algorithms for Inter-procedural Analysis of Safety Properties (CLC, KSN, DD, SAE), pp. 449–461.
VMCAIVMCAI-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.
CBSECBSE-2004-SandstromFA #component #embedded #realtime #safety
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems (KS, JF, ), pp. 194–208.
DATEDATE-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.
TACASTACAS-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.
PLDIPLDI-2004-YahavR #abstraction #safety #using #verification
Verifying safety properties using separation and heterogeneous abstractions (EY, GR), pp. 25–34.
SEFMSEFM-2004-LeinoS #c# #exception #safety
Exception Safety for C# (KRML, WS), pp. 218–227.
ICFPICFP-2004-YuS #assembly #concurrent #safety #verification
Verification of safety properties for concurrent assembly code (DY, ZS), pp. 175–188.
AdaEuropeAdaEurope-2004-GiriMJK #ada #approach #random #safety #testing
A Randomised Test Approach to Testing Safety Critical Ada Code (SKG, AM, YVJ, KK), pp. 190–199.
AdaSIGAda-2004-ChapmanH #analysis #data flow #modelling #safety #security
Enforcing security and safety models with an information flow analysis tool (RC, AH), pp. 39–46.
FSEFSE-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.
FSEFSE-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.
ICSEICSE-2004-SenVAR #distributed #monitoring #performance #safety
Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.
CAVCAV-2004-Wang #analysis #hybrid #linear #parametricity #safety
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
CSLCSL-2004-Maier #liveness #ltl #safety
Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.
ICTSSTestCom-2004-RusuMTJJ #safety #testing #verification
From Safety Verification to Safety Testing (VR, HM, VT, TJ, BJ), pp. 160–176.
ASEASE-2003-RosuC #metric #safety
Certifying Measurement Unit Safety Polic (GR, FC), pp. 304–309.
PLDIPLDI-2003-BlanchetCCFMMMR #safety #scalability
A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
SASSAS-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.
FMFME-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.
FMFME-2003-DenneyF #correctness #policy #safety
Correctness of Source-Level Safety Policies (ED, BF), pp. 894–913.
AdaEuropeAdaEurope-2003-JeppuKS #ada #realtime #safety #testing #using
Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.
KDDKDD-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.
UMLUML-2003-Jurjens #safety #uml
Developing Safety-Critical Systems with UML (JJ), pp. 360–372.
RERE-2003-Romanski #configuration management #requirements #safety #traceability
Requirements, Configuration Management and Traceability for Safety Critical Software (GR), p. 304.
ESEC-FSEESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code #thread
Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
ICSEICSE-2003-LutzM #requirements #safety #testing
Requirements Discovery during the Testing of Safety-Critical Software (RRL, ICM), pp. 578–585.
LCTESLCTES-2003-DhurjatiKAL #garbage collection #memory management #runtime #safety
Memory safety without runtime checks or garbage collection (DD, SK, VSA, CL), pp. 69–80.
ICLPICLP-2003-Morrisett #low level #type safety
Achieving Type Safety for Low-Level Code (JGM), pp. 1–2.
RTARTA-2003-ChenRV #analysis #rule-based #safety
Rule-Based Analysis of Dimensional Safety (FC, GR, RPV), pp. 197–207.
DACDAC-2002-ShengTH #effectiveness #safety #using
Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.
TACASTACAS-2002-HavelundR #monitoring #safety
Synthesizing Monitors for Safety Properties (KH, GR), pp. 342–356.
SASSAS-2002-Hymans #abstract interpretation #behaviour #safety
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.
DLTDLT-2002-IbarraDS #automaton #finite #safety #verification
Safety Verification for Two-Way Finite Automata with Monotonic Counters (OHI, ZD, ZWS), pp. 326–338.
FMFME-2002-KristensenM #safety
A Generalised Sweep-Line Method for Safety Properties (LMK, TM), pp. 549–567.
ICGTICGT-2002-PadbergE #graph transformation #invariant #safety
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
CSCWCSCW-2002-LuttersA #bound #case study #safety
Achieving safety: a field study of boundary objects in aircraft technical support (WGL, MSA), pp. 266–275.
AdaEuropeAda-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.
AdaEuropeAda-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.
ICSEICSE-2002-Knight #challenge #safety
Safety critical systems: challenges and directions (JCK), pp. 547–550.
CAVCAV-2002-HenzingerJMNSW #proving
Temporal-Safety Proofs for Systems Code (TAH, RJ, RM, GCN, GS, WW), pp. 526–538.
VMCAIVMCAI-2002-BaukusLS #liveness #protocol #safety #verification
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness (KB, YL, KS), pp. 317–330.
ASEASE-2001-JurjensW #protocol #testing
Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.
DATEDATE-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.
FASEFASE-J-1998-PadbergGE01 #refinement #rule-based #safety
Rule-based refinement of high-level nets preserving safety properties (JP, MG, CE), pp. 97–118.
ESOPESOP-2001-Thiemann #safety #using
Enforcing Safety Properties Using Type Specialization (PT), pp. 62–76.
ICSMEICSM-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.
PASTEPASTE-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.
AdaEuropeAdaEurope-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.
POPLPOPL-2001-Calcagno #calculus #correctness #safety #semantics
Stratified operational semantics for safety and correctness of the region calculus (CC), pp. 155–165.
POPLPOPL-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.
RERE-2001-AllenbyK #requirements #safety #using
Deriving Safety Requirements Using Scenarios (KA, TK), pp. 228–235.
RERE-2001-LutzM #evolution #requirements #safety
Evolution of Safety-Critical Requirements Post-Launch (RRL, ICM), pp. 222–227.
FSEESEC-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.
ICSEICSE-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.
CAVCAV-2001-Maidl #approach #model checking #safety
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems (MM), pp. 311–323.
LICSLICS-2001-ManoliosT #branch #liveness #safety
Safety and Liveness in Branching Time (PM, RJT), pp. 366–374.
ASEASE-2000-OHalloran #automation #generative #safety
Issues for the Automatic Generation of Safety Critical Software (CO), pp. 277–280.
ASEASE-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.
FASEFASE-2000-PadbergHG #algebra #safety
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.
FASEFASE-2000-Suhl #safety
Applying RT-Z to Develop Safety-Critical Systems (CS), pp. 51–65.
PLDIPLDI-2000-XuMR #safety
Safety checking of machine code (ZX, BPM, TWR), pp. 70–82.
SASSAS-2000-ClarkHH #analysis #graph grammar #safety #strict
Safety of Strictness Analysis via Term Graph Rewriting (DC, CH, SH), pp. 95–114.
CIAACIAA-2000-Ibarra #queue #reachability #safety
Reachability and Safety in Queue Systems (OHI), pp. 145–156.
ICALPICALP-2000-MannaS #safety
Alternating the Temporal Picture for Safety (ZM, HS), pp. 429–450.
AdaEuropeAdaEurope-2000-MauriS #analysis #embedded #reliability #safety #using
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.
ICSEFoSE-2000-Lutz #re-engineering #roadmap #safety
Software engineering for safety: a roadmap (RRL), pp. 213–226.
FSEFSE-2000-NaumovichC #classification
Classifying properties: an alternative to the safety-liveness classification (GN, LAC), pp. 159–168.
CSLCSL-2000-Pauly #bisimulation #game studies #safety #source code
From Programs to Games: Invariance and Safety for Bisimulation (MP), pp. 485–496.
ASEASE-1999-WhalenH #approach #automation #code generation #safety
An Approach to Automatic Code Generation for Safety-Critical Systems (MWW, MPEH), pp. 315–318.
CSEETCSEET-1999-FelleisenC #metric #safety
Safety as a Metric (MF, RC), pp. 129–131.
TACASTACAS-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.
PASTEPASTE-1999-WhitingH #analysis #monitoring #safety
Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.
SASSAS-1999-Volpano #safety
Safety versus Secrecy (DMV), pp. 303–311.
FMFM-v2-1999-SereT #analysis #safety #specification
Safety Analysis in Formal Specification (KS, ET), pp. 1564–1583.
HCIHCI-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.
HCIHCI-EI-1999-Boy #safety
About the Role of Intelligent Assistants in the Control of Safety-Critical Systems (GAB), pp. 321–325.
HCIHCI-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.
AdaEuropeAdaEurope-1999-ChapmanD #safety #using
Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (RC, RD), pp. 39–51.
AdaEuropeAdaEurope-1999-Frost #ada #certification #embedded #safety
An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.
TOOLSTOOLS-USA-1999-Romanski #development #safety #verification
The Development and Verification of Safety Critical Software (GR), p. 411.
SACSAC-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.
CAVCAV-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.
CAVCAV-1999-KupfermanV #model checking #safety
Model Checking of Safety Properties (OK, MYV), pp. 172–183.
FASEFASE-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.
FASEFASE-1998-NielsonAN #analysis #behaviour #case study #safety
Behaviour Analysis and Safety Conditions: A Case Study in CML (HRN, TA, FN), pp. 255–269.
FASEFASE-1998-PadbergGE #refinement #rule-based #safety
Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.
FASEFASE-1998-SandholmS #distributed #safety #web #web service
Distributed Safety Controllers for Web Services (AS, MIS), pp. 270–284.
ICALPICALP-1998-TahaBS #axiom #multi #programming #type safety
Multi-Stage Programming: Axiomatization and Type Safety (WT, ZEAB, TS), pp. 918–929.
ICGTTAGT-1998-PadbergGH #development #incremental #petri net #safety
Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.
CHICHI-1998-Boy #analysis #automation #safety
Cognitive Function Analysis for Human-Centered Automation of Safety-Critical Systems (GAB), pp. 265–272.
AdaEuropeAdaEurope-1998-Chapront #ada #development #safety
Ada+B The Formula for Safety Critical Software Development (PC), pp. 13–18.
AdaEuropeAdaEurope-1998-Wong #safety
Looking at Code With Your Safety Goggles On (KW), pp. 251–262.
AdaSIGAda-1998-MichellSW #safety #security
Looking into Safety with the Safety and Security Rapporteur Group (SM, MS, BAW), pp. 7–11.
REICRE-1998-LutzHMST #analysis #product line #requirements #safety
Safety Analysis of Requirements for a Product Family (RRL, GGH, MMM, DES, SRT), p. 24–?.
CAVCAV-1998-ComonJ #analysis #automaton #multi #safety
Multiple Counters Automata, Safety Analysis and Presburger Arithmetic (HC, YJ), pp. 268–279.
ICFPICFP-1997-LaunchburyS #axiom #monad #type safety
Monadic State: Axiomatization and Type Safety (JL, AS), pp. 227–238.
HCIHCI-CC-1997-LewandowskiK #assessment #safety
Method of Assessment of Occupational Safety (JL, CK), pp. 703–706.
HCIHCI-CC-1997-Peters #human-computer #safety
Safety and Liability in HCI (GAP), pp. 851–854.
HCIHCI-SEC-1997-Duffy97a #safety
Safety Management: Some Issues and Limitations (VGD), pp. 343–346.
TOOLSTOOLS-PACIFIC-1997-WongC #multi #type safety
Method Dispatching and Type Safety for Objects with Multiple Roles (RKW, HLC), pp. 286–296.
TOOLSTOOLS-USA-1997-Riehle97a #safety
Object Technology for Safety-Critical Applications (RR), p. 376.
RERE-1997-HeimdahlR #requirements #safety #specification
Software Requirements Specification and System Safety (MPEH, JDR), p. 264.
RERE-1997-ModugnoLRPS #analysis #requirements #safety #specification
Integrated Safety Analysis of Requirements Specifications (FM, NGL, JDR, KP, SDS), pp. 148–159.
CAVCAV-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.
WPCWPC-1996-Bull #comprehension #domain-specific language #safety #using
Comprehension of Safety-Critical Systems Using Domain-Specific Languages (TB), pp. 108–122.
PLDIPLDI-1996-Boehm #garbage collection
Simple Garbage-Collector-Safety (HJB), pp. 89–98.
FMFME-1996-Peleska #automation #industrial #safety #testing
Test Automation for Safety-Critical Systems: Industrial Application and Future Developments (JP), pp. 39–59.
FMFME-1996-Sivertsen #case study #development #safety
A Case Study on the Formal Development of a Reactor Safety System (TS), pp. 18–38.
FMFME-1996-ValmariS #liveness #safety #verification #visual notation
Visual Verification of Safety and Liveness (AV, MS), pp. 228–247.
FMFME-1996-Weber #design #safety
Combining Statecharts and Z for the Design of Safety-Critical Control Systems (MW), pp. 307–326.
AdaEuropeAdaEurope-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.
AdaEuropeAdaEurope-1996-Schneidewind #modelling #reliability #safety
Reliability Modeling for Safety Critical Software (NFS), pp. 17–37.
AdaTRI-Ada-1996-MeyerR #design #embedded #safety
Design and Test Strategies for a Safety-Critical Embedded Executive (CAM, MGR), pp. 29–37.
ICSEICSE-1996-CheungK #analysis #composition #reachability #safety
Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.
CAVCAV-1996-Gonthier #concurrent #garbage collection #safety #verification
Verifying the Safety of a Practical Concurrent Garbage Collector (GG), pp. 462–465.
CAVCAV-1996-Greenstreet #difference #equation #safety #verification
Verifying Safety Properties of Differential Equations (MRG), pp. 277–287.
ICSMEICSM-1995-BullYBL #named #reverse engineering #safety
Bylands: reverse engineering safety-critical systems (TMB, EJY, KHB, ZL), pp. 358–366.
AdaEuropeAdaEurope-1995-Brown #ada #safety
The Practical Application of Safety Techniques on an Ada Based Project (RB), pp. 51–57.
AdaEuropeAdaEurope-1995-Richard-Foy #ada #safety
Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.
RERE-1995-AtleeM #analysis #requirements #safety
Integrating requirements analysis and safety analysis (JMA, JAM), pp. 158–159.
ESECESEC-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.
SOSPSOSP-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.
CAVCAV-1995-JagadeesanPO #safety #source code #verification
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software (LJJ, CP, JVO), pp. 127–140.
CAVCAV-1995-JonssonK #algorithm #distributed #infinity #safety #verification
Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms (BJ, LK), pp. 42–53.
FMFME-1994-Gortz #safety #specification
Specifying Safety and Progress Properties with RSL (JG), pp. 567–581.
AdaEuropeAdaEurope-1994-Birnie #aspect-oriented #safety
Safety Aspects of the Ariane 5 On-Board Software (SAB), pp. 302–321.
SEKESEKE-1994-WillisP #reuse #safety #specification
Specification reuse for safety-critical software (CPW, DJP), pp. 516–523.
ISSTAISSTA-1994-KnightCFW #safety #testing
Testing a Safety-Critical Application (JCK, AGC, AMF, KGW), p. 199.
PODSPODS-1993-Escobar-MolanoHJ #calculus #query #safety
Safety and Translation of Calculus Queries with Scalar Functions (MEM, RH, DJ), pp. 253–264.
PEPMPEPM-1993-Thiemann #analysis #functional #safety #source code
A Safety Analysis for Functional Programs (PT), pp. 133–144.
FMFME-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.
FMFME-1993-Jacky #safety #specification
Specifying a Safety-Critical Control System in Z (JJ), pp. 388–402.
HCIHCI-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.
HCIHCI-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.
AdaEuropeAdaEurope-1993-BrygierR #ada #certification #realtime #safety
Certification of Ada Real-Time Executives for Safety Critical Applications (JB, MRF), pp. 264–279.
SEKESEKE-1993-Berztiss #safety
Catastrophe Prevention in Safety-Critical Systems (ATB), pp. 102–108.
RERE-1993-Lutz #embedded #fault #requirements #safety
Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
FSEFSE-1993-Lutz #analysis #fault #requirements
Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.
ICSEICSE-1993-CourtoisP #documentation #safety
Documentation for Safety Critical Software (PJC, DLP), pp. 315–323.
ICSEICSE-1993-DalalHK #communication #quality #reliability #safety
Reliable Software and Communication: Software Quality, Reliability, and Safety (SRD, JRH, JRK), pp. 425–435.
ICLPICLP-1993-CorsiniR #analysis #fault #safety
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers (MMC, AR), p. 834.
ESOPESOP-1992-BernsteinRS #proving #safety
Proving Safety of Speculative Load Instructions at Compile Time (DB, MR, SS), pp. 56–72.
AdaTRI-Ada-C-1992-HummerB #ada #design #hardware #safety
When Hardware Becomes Software: Designing a Safety-Critical System with Ada (JH, LB), pp. 538–544.
AdaTRI-Ada-C-1992-McHugh #ada #safety
Ada 9X and Safety Critical/Secure Systems (JM), pp. 55–59.
CAVCAV-1992-Bruns #case study #design #safety
A Case Study in Safety-Critical Design (GB), pp. 220–233.
CAVCAV-1992-Corbett #integer #liveness #programming #safety #verification
Verifying General Safety and Liveness Propterties with Integer Programming (JCC), pp. 357–369.
ICALPICALP-1991-BouajjaniFGRS #branch #safety #semantics
Safety for Branching Time Semantics (AB, JCF, SG, CR, JS), pp. 76–92.
AdaEuropeAdaEurope-1991-Welz #ada #safety
Ada in Safety Critical Applications (AW), pp. 193–198.
CAVCAV-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.
CAVCAV-1991-Goldschlag #liveness #safety #verification
Mechanically Verifying Safety and Liveness Properties of Delay Insensitive Circuits (DMG), pp. 354–364.
ICLPICLP-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.
ICSEICSE-1990-Laprie #assessment #on the #safety
On the Assessment of Safety-Critical Software Systems (JCL), p. 222.
ICSEICSE-1990-Leveson #evaluation #safety
Evaluation of Software Safety (NGL), pp. 223–224.
ICSEICSE-1990-Thomas #safety
Assessing Failure Probabilities in Safety-Critical Systems Containing Software (MT), p. 227.
CAVCAV-1990-Burch #liveness #safety #verification
Verifying Liveness Properties by Verifying Safety Properties (JRB), pp. 224–232.
PODSPODS-1989-SagivV #database #datalog #infinity #query #safety
Safety of Datalog Queries over Infinite Databases (YS, MYV), pp. 160–171.
ESECESEC-1989-Thomas #state of the art
Asking for the Impossible: The State of the Art in Safety-Related Systems (MT), pp. 42–47.
ICSEICSE-1989-JaffeL #realtime #requirements #robust #safety #specification
Completeness, Robustness, and Safety in Real-Time Software Requirements Specification (MSJ, NGL), pp. 302–311.
PODSPODS-1988-KiferRS #approach #axiom #database #deduction #query #safety
An Axiomatic Approach to Deciding Query Safety in Deductive Databases (MK, RR, AS), pp. 52–60.
SIGMODSIGMOD-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.
PLDIPLDI-1988-Chase #optimisation #safety
Safety Considerations for Storage Allocation Optimizations (DRC), pp. 1–10.
ICSEICSE-1988-ChaLS #analysis #fault #safety #using #verification
Safety Verification in Murphy Using Fault Tree Analysis (SSC, NGL, TJS), pp. 377–387.
PODSPODS-1987-GelderT #calculus #relational #safety
Safety and Correct Translation of Relational Calculus Formulas (AVG, RWT), pp. 313–327.
PODSPODS-1987-RamakrishnanBS #horn clause #infinity #recursion #safety
Safety of Recursive Horn Clauses With Infinite Relations (RR, FB, AS), pp. 328–339.
ESECESEC-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.
PODSPODS-1986-Su #safety
Safety of Non-Well-Locked Trasnaction Systems (JS), pp. 47–52.
PODSPODS-1985-WolfsonY #database #distributed #safety #transaction
Deadlock-Freedom (and Safety) of Transactions in a Distributed Database (OW, MY), pp. 105–112.
PODSPODS-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.
ICALPICALP-1977-Sajaniemi #safety
The Safety of a Coroutine System (JS), pp. 440–452.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.