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 (36)
devic (28)
model (23)
use (20)
behavior (19)

Stem driver$ (all stems)

184 papers:

CASECASE-2015-NohAH #assessment #behaviour
Situation assessment and behavior decision for vehicle/driver cooperative driving in highway environments (SN, KA, WH), pp. 626–633.
SCAMSCAM-2015-DarizRS #analysis #programmable
A static microcode analysis tool for programmable load drivers (LD, MR, MS), pp. 265–270.
CHICHI-2015-KimCD #detection #interactive #monitoring
Sensors Know When to Interrupt You in the Car: Detecting Driver Interruptibility Through Monitoring of Peripheral Interactions (SK, JC, AKD), pp. 487–496.
CHICHI-2015-PolitisBP #multimodal
To Beep or Not to Beep?: Comparing Abstract versus Language-Based Multimodal Driver Displays (IP, SAB, FEP), pp. 3971–3980.
HCIDUXU-DD-2015-RossBOAA #case study #experience #feedback
A Feasibility Study of the Effect of Phone-Based Feedback of Other Commuters’ Subjective Experiences on Driver Intentions to Change (TR, AB, LO, BA, VAS), pp. 548–558.
HCIDUXU-IXD-2015-GoncalvesQ #automation #behaviour #case study #interactive
Drivers and Automation: A Study About Cultural and Behavioral Influence in the Interaction with Driver Assistants (RCG, MQ), pp. 462–472.
HCIDUXU-IXD-2015-Pauzie
Head Up Display in Automotive: A New Reality for the Driver (AP), pp. 505–516.
HCIDUXU-IXD-2015-WalterKWAB #adaptation #question #recommendation #what
What Are the Expectations of Users of an Adaptive Recommendation Service Which Aims to Reduce Driver Distraction? (NW, BK, CW, TA, KB), pp. 517–528.
HCIHCI-DE-2015-Chae #case study
A Study on the Relationships Between Drivers’ Emotions and Brain Signals (SC), pp. 468–476.
HCIHIMI-IKC-2015-Bretschneider-Hagemes #development #low cost #mobile #multi #question #simulation
Development of a New Low Cost Driving Simulation for Assessing Multidimensional Task Loads Caused by Mobile ICT at Drivers’ Workplaces. — Objective-Fidelity Beats Equipment-Fidelity? (MBH), pp. 173–179.
HCIHIMI-IKC-2015-ChongS #difference
Differences in Driver Distractibility Between Monolingual and Bilingual Drivers (IC, TZS), pp. 180–189.
HCIHIMI-IKC-2015-ItoSK #information management
Information Sharing System Based on Situation Comprehensions of Intelligent Vehicles to Improve Drivers’ Acceptability for Proactive ADAS (TI, TS, MK), pp. 201–212.
HCIHIMI-IKC-2015-KurihashiMT #self
Self-perception of Assister Driver Responsibility and Contribution in Mutual Assistance System (SK, YM, KT), pp. 233–242.
HCIHIMI-IKC-2015-MakhtarI #analysis #evaluation
An Analysis of Ear Plethysmogram for Evaluation of Driver’s Mental Workload Level (AKM, MI), pp. 213–224.
HCIHIMI-IKC-2015-ZhouI #adaptation #behaviour
Effect of Adaptive Caution on Driver’s Lane-Change Behavior under Cognitively Distracted Condition (HZ, MI), pp. 262–271.
SEKESEKE-2015-SalehianF #detection #embedded #monitoring #realtime
Embedded Real Time Blink Detection System for Driver Fatigue Monitoring (SS, BF), pp. 188–194.
SACSAC-2015-SantosM #detection
Exploring decision drivers on god class detection in three controlled experiments (JAMS, MGM), pp. 1472–1479.
ESEC-FSEESEC-FSE-2015-DovgalyukDM #debugging #kernel
Don’t panic: reverse debugging of kernel drivers (PD, DD, VM), pp. 938–941.
ISSTAISSTA-2015-CongLYX #automation #fault #injection #robust #testing
Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
DATEDATE-2014-KimSXWPC #android #fine-grained #monitoring #named #smarttech
FEPMA: Fine-grained event-driven power meter for android smartphones based on device driver layer event monitoring (KK, DS, QX, YW, MP, NC), pp. 1–6.
CHICHI-2014-PolitisBP #multimodal
Evaluating multimodal driver displays under varying situational urgency (IP, SAB, FEP), pp. 4067–4076.
CHICHI-2014-PritchardVBTO #how
Digitally driven: how location based services impact the work practices of London bus drivers (GWP, JV, PB, LT, PO), pp. 3617–3626.
CHICHI-2014-SoloveyZPRM #performance #using
Classifying driver workload using physiological and driving performance data: two field studies (ETS, MZ, EAGP, BR, BM), pp. 4057–4066.
HCIDHM-2014-ZhouLXZZ #analysis #metric #parametricity
Measurement and Analysis of Anthropometric Parameters of Young Male Vehicle Drivers (QXZ, ZQL, FX, SZ, SZ), pp. 174–181.
HCIDUXU-TMT-2014-QuaresmaG #analysis #smarttech #usability
Usability Analysis of Smartphone Applications for Drivers (MQ, RCG), pp. 352–362.
HCIHCI-AIMT-2014-JonssonD #interactive #performance #speech
Driving with a Speech Interaction System: Effect of Personality on Performance and Attitude of Driver (IMJ, ND), pp. 417–428.
HCIHCI-AS-2014-PortouliP #adaptation #multi
Adaptive Warning Strategies from Multiple Systems: A Simulator Study with Drivers with Different Reaction Times (EP, VP), pp. 485–493.
HCIHCI-AS-2014-StieningerN
Drivers for the Actual Usage of Cloud Services: An Examination of Influencing Factors for Digital Natives (MS, DN), pp. 69–79.
HCIHIMI-AS-2014-GotzeBPB #quote
“A Careful Driver is One Who Looks in Both Directions When He Passes a Red Light” — Increased Demands in Urban Traffic (MG, FB, IPS, KB), pp. 229–240.
HCIHIMI-AS-2014-KangSCL #case study #eye tracking
A Study of Drivers’ Blind Spot in Used of Eye Tracking (YYK, YCS, CCC, CLL), pp. 253–260.
ICEISICEIS-v2-2014-RoychoudhurySK #estimation
Impact of Dynamicity and Causality on Cost Drivers in Effort Estimation (SR, SS, VK), pp. 409–414.
ICPRICPR-2014-MatsuoSY #detection #image #using
Vehicle Driver Face Detection in Various Sunlight Environments Using Composed Face Images (HM, TS, NY), pp. 1687–1691.
ICPRICPR-2014-Ohn-BarMTT #process #recognition
Head, Eye, and Hand Patterns for Driver Activity Recognition (EOB, SM, AT, MMT), pp. 660–665.
ICPRICPR-2014-YamadaM #approach #behaviour #using
Estimating Driver Awareness of Crossing Pedestrians While Turning Left Based on Vehicle Behavior Using Bayesian Approach (KY, TM), pp. 1898–1903.
KDDKDD-2014-QuZLLX #effectiveness #recommendation
A cost-effective recommender system for taxi drivers (MQ, HZ, JL, GL, HX), pp. 45–54.
RERE-2014-GregoriadesPS #requirements
Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.
FSEFSE-2014-LalQ #using #verification
Powering the static driver verifier using corral (AL, SQ), pp. 202–212.
FSEFSE-2014-PetreD #question #re-engineering
Methodology and culture: drivers of mediocrity in software engineering? (MP, DD), pp. 829–832.
ASPLOSASPLOS-2014-RuwaseKGM #approach #hardware #named
Guardrail: a high fidelity approach to protecting hardware devices from buggy drivers (OR, MAK, PBG, TCM), pp. 655–670.
ASPLOSASPLOS-2014-YuHZX #execution #performance
Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.
OSDIOSDI-2014-RyzhykWKLRSV #synthesis
User-Guided Device Driver Synthesis (LR, AW, JK, AL, AR, MS, MV), pp. 661–676.
DACDAC-2013-Kahng #design #process #roadmap
The ITRS design technology and system drivers roadmap: process and status (ABK), p. 6.
DATEDATE-2013-LiuN #multi
Radar signature in multiple target tracking system for driver assistant application (HL, SN), pp. 887–892.
CHICHI-2013-Salvucci #interactive #predict
Distraction beyond the driver: predicting the effects of in-vehicle interaction on surrounding traffic (DDS), pp. 3131–3134.
CSCWCSCW-2013-PertererSMWT
Come drive with me: an ethnographic study of driver-passenger pairs to inform future in-car assistance (NP, PS, AM, DW, MT), pp. 1539–1548.
HCIDHM-SET-2013-KongZC #behaviour #predict #risk management
Personality and Attitudes as Predictors of Risky Driving Behavior: Evidence from Beijing Drivers (JK, KZ, XC), pp. 38–44.
HCIDHM-SET-2013-LiuZLSFG #behaviour #modelling #towards
Towards Early Status Warning for Driver’s Fatigue Based on Cognitive Behavior Models (YL, YZ, JL, JS, FF, JG), pp. 55–60.
HCIDHM-SET-2013-MurataKEH #behaviour #metric #predict #using
Prediction of Drowsy Driving Using Behavioral Measures of Drivers — Change of Neck Bending Angle and Sitting Pressure Distribution (AM, TK, TE, TH), pp. 78–87.
HCIDHM-SET-2013-PuchWFP #evaluation #interactive #simulation #using
Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation (SP, BW, MF, TP), pp. 108–117.
HCIDUXU-NTE-2013-ParkK #performance #representation
Efficient Information Representation Method for Driver-Centered AR-HUD System (HP, KhK), pp. 393–400.
HCIHCI-AS-2013-BergmansS #behaviour #mobile #persuasion #using
Reducing Speeding Behavior in Young Drivers Using a Persuasive Mobile Application (AB, SS), pp. 541–550.
HCIHCI-AS-2013-FekryHA #monitoring #named
Anti-Bump: A Bump/Pothole Monitoring and Broadcasting System for Driver Awareness (MF, AH, AA), pp. 561–570.
HCIHCI-AS-2013-JonssonD #information management
In-Car Information Systems: Matching and Mismatching Personality of Driver with Personality of Car Voice (IMJ, ND), pp. 586–595.
HCIHCI-AS-2013-StillwaterWN #bibliography #mobile
Mobile App Support for Electric Vehicle Drivers: A Review of Today’s Marketplace and Future Directions (TS, JW, MN), pp. 640–646.
HCIHCI-AS-2013-TakahashiISUSHO #biology #eye tracking #using
Proposal for Driver Distraction Indexes Using Biological Signals Including Eye Tracking (NT, SI, HS, SU, YS, KH, MO), pp. 647–653.
HCIHIMI-D-2013-AsaoSK #estimation #using
Estimation of Driver’s Steering Intention by Using Mechanical Impedance (TA, SS, KK), pp. 3–11.
HCIHIMI-D-2013-SusukiTOM #analysis #behaviour
Cognitive Analysis of Driver’s Behavior with Seamless Display of Back-Monitor and Side-View Mirror (NS, KT, MO, HM), pp. 642–649.
HCIHIMI-HSM-2013-ItohKMYYO #behaviour #comparison
Comparison of Cognitively Impaired, Healthy Non-Professional and Healthy Professional Driver Behavior on a Small and Low-Fidelity Driving Simulator (MI, MK, KM, KY, SY, MO), pp. 490–496.
HCIHIMI-HSM-2013-SaitoKII #behaviour
Influence of Deceleration Intention Indicating System of Forward Vehicle on Driver Behavior (YS, SK, MI, TI), pp. 548–557.
HCIHIMI-HSM-2013-SuzukiM #fault
Acceptable System Error of Collision Avoidance System Based on the Integrated Error of Driver and System (KS, MM), pp. 568–576.
HCIHIMI-HSM-2013-WadaNS #approach
Approach to Haptic Guidance Control in Steering Operation Based on Cooperative States between Driver and Control System (TW, RN, SS), pp. 596–605.
SACSAC-2013-ValsomatzisG #in memory #multi
Driver input selection for main-memory multi-way joins (EV, AG), pp. 818–825.
ICSEICSE-2013-SalingerZP #programming #research
Liberating pair programming research from the oppressive Driver/Observer regime (SS, FZ, LP), pp. 1201–1204.
PLOSPLOS-2013-TschudinRJLLM #comprehension #linux #search-based
Understanding the genetic makeup of Linux device drivers (PST, LR, LJ, DL, JLL, GM), p. 6.
ICPRICPR-2012-MatsuoK #behaviour #monitoring #predict
Prediction of drowsy driving by monitoring driver’s behavior (HM, AK), pp. 3390–3393.
FSEFSE-2012-BookGG #interactive
Seeing the forest and the trees: focusing team interaction on value and effort drivers (MB, SG, VG), p. 30.
ASPLOSASPLOS-2012-KadavS #comprehension
Understanding modern device drivers (AK, MMS), pp. 87–98.
OSDIOSDI-2012-RenzelmannKS #named #testing
SymDrive: Testing Drivers without Devices (MJR, AK, MMS), pp. 279–292.
DACDAC-2011-BeyneMP #3d #development #integration
3D heterogeneous system integration: application driver for 3D technology development (EB, PM, GVdP), p. 213.
DACDAC-2011-Saha #architecture #composition #named #reuse #scalability
CIRUS: a scalable modular architecture for reusable drivers (BS), pp. 260–261.
FASEFASE-2011-TkachukR #analysis #automation #generative #web
Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
SCAMSCAM-2011-WangG #case study #linux
A Study of Cloning in the Linux SCSI Drivers (WW, MWG), pp. 95–104.
CHICHI-2011-KimDLF #usability
Usability of car dashboard displays for elder drivers (SK, AKD, JL, JF), pp. 493–502.
HCIDHM-2011-BenderiusMWW #analysis #modelling #optimisation #simulation
A Simulation Environment for Analysis and Optimization of Driver Models (OB, GM, KW, MW), pp. 453–462.
HCIDHM-2011-EilersM #composition #learning #modelling #using
Learning the Relevant Percepts of Modular Hierarchical Bayesian Driver Models Using a Bayesian Information Criterion (ME, CM), pp. 463–472.
HCIDHM-2011-LaquaiDR #behaviour #modelling
Impact and Modeling of Driver Behavior Due to Cooperative Assistance Systems (FL, MD, GR), pp. 473–482.
HCIDHM-2011-MobusEG #composition #predict
Predicting the Focus of Attention and Deficits in Situation Awareness with a Modular Hierarchical Bayesian Driver Model (CM, ME, HG), pp. 483–492.
HCIDHM-2011-TangoMAP #automation #behaviour #classification
Automation Effects on Driver’s Behaviour When Integrating a PADAS and a Distraction Classifier (FT, LM, RA, OP), pp. 503–512.
HCIDHM-2011-WelkePRJ #analysis #how #modelling #validation #what
What Is Human? How the Analysis of Brain Dynamics Can Help to Improve and Validate Driver Models (SW, JP, MR, TJ), pp. 513–522.
HCIDHM-2011-WortelenL #approach #automation #behaviour #estimation
Less Driving While Driving? An Approach for the Estimation of Effects of Future Vehicle Automation Systems on Driver Behavior (BW, AL), pp. 523–532.
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.
HCIDUXU-v2-2011-ChaeKN #experience #using
Measuring Drivers’ Dynamic Seating Experience Using Pressure Mats (SC, GK, KN), pp. 368–375.
HCIDUXU-v2-2011-KyungCNLS #smarttech
Versatile Wearable Computer for Drivers (GK, SC, KN, KL, WS), pp. 152–155.
HCIHCD-2011-HajekPJB #behaviour #multimodal
Influence of a Multimodal Assistance Supporting Anticipatory Driving on the Driving Behavior and Driver’s Acceptance (HH, DP, MJ, KB), pp. 217–226.
HCIHCI-ITE-2011-SpiesBLWBH #concept #development #industrial #metric
Measurement of Driver’s Distraction for an Early Prove of Concepts in Automotive Industry at the Example of the Development of a Haptic Touchpad (RS, AB, CL, MW, KB, WH), pp. 125–132.
HCIHCI-MIIE-2011-CharissisPMA #evaluation #interface #prototype
Evaluation of Collision Avoidance Prototype Head-Up Display Interface for Older Drivers (VC, SP, LMM, SA), pp. 367–375.
HCIHCI-MIIE-2011-LabskyMKQC #case study
In-Car Dictation and Driver’s Distraction: A Case Study (ML, TM, JK, HQ, CC), pp. 418–425.
HCIHCI-MIIE-2011-LimPJK #behaviour #experience
Driver’s Experience and Behavioral Patterns through the Observation of Commercial Vehicle Driving (YL, SP, ESJ, TK), pp. 426–434.
HCIHCI-MIIE-2011-LinH #adaptation #performance #predict
Predicting the Effects of Time-Gaps for Adaptive Cruise Control (ACC) on Bus Driver Performance (BTWL, SLH), pp. 435–443.
HCIHCI-MIIE-2011-NakamuraN
Beginner Driver Support System for Merging into Left Main Lane (YN, YN), pp. 444–451.
HCIHCI-MIIE-2011-OehlSTHP #approach #detection #human-computer #interactive
Improving Human-Machine Interaction — A Non Invasive Approach to Detect Emotions in Car Drivers (MO, FWS, TKT, RH, HRP), pp. 577–585.
HCIIDGD-2011-BaZ #bibliography
A Review of Driver Mental Workload in Driver-Vehicle-Environment System (YB, WZ), pp. 125–134.
KMISKMIS-2011-KolfschotenDMA #collaboration #community
Tipping the Balance — Drivers and Barriers for Participation in a Knowledge Sharing and Collaboration Community (GLK, DAD, DDM, VDA), pp. 114–122.
ASPLOSASPLOS-2011-RyzhykKMRVH #hardware #reliability #reuse #verification
Improved device driver reliability through hardware verification reuse (LR, JK, BM, AR, MV, GH), pp. 133–144.
LCTESLCTES-2011-BerthierMM #embedded #operating system #programming
Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
ITiCSEITiCSE-2010-Yeti
Science, technology and innovation: a key driver for economic growth (NY), p. 1.
ICSMEICSM-2010-LiSKC #empirical #maintenance
Cost drivers of software corrective maintenance: An empirical study in two companies (JL, TS, JMWK, RC), pp. 1–8.
CHICHI-2010-JensenST #behaviour #navigation
Studying driver attention and behaviour for three configurations of GPS navigation in real traffic driving (BSJ, MBS, NT), pp. 1271–1280.
CHICHI-2010-Vaananen-Vainio-MattilaWOS #experience #identification #social #user interface #web #web service
Identifying drivers and hindrances of social user experience in web services (KVVM, MW, JO, KS), pp. 2499–2502.
ICPRICPR-2010-PrisacariuTZRG #3d #detection #towards
Integrating Object Detection with 3D Tracking Towards a Better Driver Assistance System (VAP, RT, KZ, IDR, LJVG), pp. 3344–3347.
ICPRICPR-2010-ScharfenbergerCF #artificial reality #predict #using
Driver Body-Height Prediction for an Ergonomically Optimized Ingress Using a Single Omnidirectional Camera (CS, SC, GF), pp. 298–301.
ICPRICPR-2010-SultaniC #detection #using
Abnormal Traffic Detection Using Intelligent Driver Model (WS, JYC), pp. 324–327.
SPLCSPLC-2010-LeeK #feature model
Usage Context as Key Driver for Feature Selection (KL, KCK), pp. 32–46.
CAVCAV-2010-BallBLKL #framework #research #verification
The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.
DACDAC-2009-GandikotaDTB #modelling #worst-case
Worst-case aggressor-victim alignment with current-source driver models (RG, LD, PT, DB), pp. 13–18.
DATEDATE-2009-BarontiLRS #detection #distributed #metric
Distributed sensor for steering wheel rip force measurement in driver fatigue detection (FB, FL, RR, RS), pp. 894–897.
DATEDATE-2009-BombieriFPV #generative
Correct-by-construction generation of device drivers based on RTL testbenches (NB, FF, GP, SV), pp. 1500–1505.
CHICHI-2009-KimD #artificial reality #navigation
Simulated augmented reality windshield display as a cognitive mapping aid for elder driver navigation (SK, AKD), pp. 133–142.
HCIDHM-2009-AmantiniC #behaviour #fault #predict #simulation
A Simple Simulation Predicting Driver Behavior, Attitudes and Errors (AA, PCC), pp. 345–354.
HCIDHM-2009-BruggemannS #design
Nautical PSI — Virtual Nautical Officers as Test Drivers in Ship Bridge Design (UB, SS), pp. 355–364.
HCIDHM-2009-ItoISK #development
Development of a Driver Model in Powered Wheelchair Operation (TI, TI, MS, MK), pp. 384–393.
HCIDHM-2009-LudtkeWOW #behaviour #fault #modelling #simulation
Modeling Pilot and Driver Behavior for Human Error Simulation (AL, LW, JPO, BW), pp. 403–412.
HCIDHM-2009-MihalyiDA #framework #modelling
A Contribution to Integrated Driver Modeling: A Coherent Framework for Modeling Both Non-routine and Routine Elements of the Driving Task (AM, BD, TA), pp. 433–442.
HCIDHM-2009-MobusE #approach #modelling #programming #towards
Further Steps towards Driver Modeling According to the Bayesian Programming Approach (CM, ME), pp. 413–422.
HCIDHM-2009-Pauzie
Method to Evaluate Driver’s Workload in Real Road Context (AP), pp. 453–462.
HCIHCD-2009-SimoesP #adaptation
Older Drivers and New In-Vehicle Technologies: Adaptation and Long-Term Effects (AS, MP), pp. 552–561.
HCIHCI-AUII-2009-PoitschkeLR #estimation
Agent-Based Driver Abnormality Estimation (TP, FL, GR), pp. 189–198.
HCIHCI-NT-2009-LangeWB #analysis #automation #evaluation #information management
Automated Analysis of Eye-Tracking Data for the Evaluation of Driver Information Systems According to ISO/TS 15007-2: 2001 (CL, MW, HB), pp. 105–110.
ASPLOSASPLOS-2009-MenonSZ #automation #named #network #performance
TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers (AM, SS, WZ), pp. 301–312.
SOSPSOSP-2009-RyzhykCKSH #automation #synthesis
Automatic device driver synthesis with termite (LR, PC, IK, ELS, GH), pp. 73–86.
ASEASE-2008-KimKK #memory management #model checking #satisfiability #testing
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker (MK, YK, HK), pp. 198–207.
DACDAC-2008-FeldmannASSBG #analysis #modelling #multi
Driver waveform computation for timing analysis with multiple voltage threshold driver models (PF, SA, DS, GS, RB, HG), pp. 425–428.
DATEDATE-2008-DAscoliBMFRPVFM #programmable
A Programmable and Low-EMI Integrated Half-Bridge Driver in BCD Technology (FD, LB, MM, LF, GR, EP, FV, MF, MDM), pp. 879–884.
DATEDATE-2008-NeyGPVBG
A Design-for-Diagnosis Technique for SRAM Write Drivers (AN, PG, SP, AV, MB, VG), pp. 1480–1485.
TACASTACAS-2008-BalakrishnanR #bytecode
Analyzing Stripped Device-Driver Executables (GB, TWR), pp. 124–140.
OSDIOSDI-2008-WilliamsRWSS #safety #validation
Device Driver Safety Through a Reference Validation Mechanism (DW, PR, KW, EGS, FBS), pp. 241–254.
ICSTICST-2008-KimCKK #model checking
Pre-testing Flash Device Driver through Model Checking Techniques (MK, YC, YK, HK), pp. 475–484.
ASEASE-2007-WitkowskiBKW #concurrent #linux #model checking
Model checking concurrent linux device drivers (TW, NB, DK, GW), pp. 501–504.
DACDAC-2007-HuangTKC #analysis #case study #flexibility #reliability
Reliability Analysis for Flexible Electronics: Case Study of Integrated a-Si: H TFT Scan Driver (TCH, HYT, CPK, KTC), pp. 966–969.
DATEDATE-2007-ClausZMS #configuration management #hardware #using #video
Using partial-run-time reconfigurable hardware to accelerate video processing in driver assistance system (CC, JZ, FHM, WS), pp. 498–503.
DATEDATE-2007-NeyGLPVB #analysis #fault
Slow write driver faults in 65nm SRAM technology: analysis and March test solution (AN, PG, CL, SP, AV, MB), pp. 528–533.
DATEDATE-2007-SpangSW #memory management
A sophisticated memory test engine for LCD display drivers (OS, HMvS, MGW), pp. 213–218.
IFMIFM-2007-PostK #linux #static analysis #verification
Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.
CHICHI-2007-SalvucciMZB #performance
iPod distraction: effects of portable music-player use on driver performance (DDS, DM, MZ, DPB), pp. 243–250.
HCIHCI-IPT-2007-CaleefatoMT #automation
Advanced Drivers Assistant Systems in Automation (CC, RM, FT), pp. 768–777.
HCIHIMI-IIE-2007-IchikawaN #navigation
Driver Support System: Spatial Cognitive Ability and Its Application to Human Navigation (KI, YN), pp. 1013–1019.
HCIHIMI-IIE-2007-Nirschl #development
Human-Centered Development of Advanced Driver Assistance Systems (GN), pp. 1088–1097.
RERE-2007-KauppinenSM #requirements
Requirements Engineering as a Driver for Innovations (MK, JS, TM), pp. 15–20.
SACSAC-2007-BaoYS #monitoring
Projection function for driver fatigue monitoring with monocular camera (DB, ZY, YS), pp. 82–83.
SOSPSOSP-2007-KluesHLWCGL #concurrent #energy
Integrating concurrency control and energy management in device drivers (KK, VH, CL, AW, DEC, DG, PL), pp. 251–264.
VMCAIVMCAI-2007-Yang #analysis #towards
Towards Shape Analysis for Device Drivers (HY), p. 267.
DACDAC-2006-SheahanFWMM #challenge #design
4.25 Gb/s laser driver: design challenges and EDA tool limitations (BS, JWF, JW, KM, BM), pp. 863–866.
DATEDATE-2006-GarciaMN
Bootstrapped full--swing CMOS driver for low supply voltage operation (JCG, JAMN, SN), pp. 410–411.
ICEISICEIS-HCI-2006-CostagliolaMF #simulation
A Simulation Environment to Evaluate Driver Performances while Interacting with Telematics Systems (GC, SDM, FF), pp. 3–10.
ICPRICPR-v1-2006-ChenCCW #detection
Nighttime Vehicle Detection for Driver Assistance and Autonomous Vehicles (YLC, YHC, CJC, BFW), pp. 687–690.
ICPRICPR-v2-2006-ZhangZ #detection
Driver Fatigue Detection Based Intelligent Vehicle Control (ZZ, JZ), pp. 1262–1265.
DATEDATE-2005-Horsky #safety
LC Oscillator Driver for Safety Critical Applications (PH), pp. 159–164.
ICEISICEIS-v1-2005-MasonL #database #integration
Dynamic Database Integration in a JDBC Driver (TM, RL), pp. 326–333.
DATEDATE-v1-2004-GarciaMSN #scalability
A Direct Bootstrapped CMOS Large Capacitive-Load Driver Circuit (JCG, JAMN, JS, HN), pp. 680–681.
IFMIFM-2004-BallCLR #formal method #verification
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.
CHICHI-2004-LeeHH #design
Collision warning design to mitigate driver distraction (JDL, JDH, EH), pp. 65–72.
RERE-2004-OmasreiterM #case study #process #specification
A Context-Driven Use Case Creation Process for Specifying Automotive Driver Assistance Systems (HO, EM), pp. 334–339.
LCTESLCTES-2004-ConwayE #domain-specific language #named
NDL: a domain-specific language for device drivers (CLC, SAE), pp. 30–36.
OSDIOSDI-2004-LevasseurUSG #dependence #reuse #virtual machine
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (JL, VU, JS, SG), pp. 17–30.
OSDIOSDI-2004-SwiftABL #exclamation
Recovering Device Drivers (Awarded Best Paper!) (MMS, MA, BNB, HML), pp. 1–16.
ICLPICLP-2004-LangevineD #debugging #monitoring #visualisation
A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer (LL, MD), pp. 462–463.
DACDAC-2003-AgarwalSB #effectiveness
An effective capacitance based driver output model for on-chip RLC interconnects (KA, DS, DB), pp. 376–381.
DATEDATE-2003-HondaT #design #evaluation
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device (SH, HT), pp. 20138–20143.
CSMRCSMR-2003-RaoS #empirical #maintenance #outsourcing #using
Effort Drivers in Maintenance Outsourcing — An Experiment Using Taguchi’s Methodology (BSR, NLS), pp. 271–270.
MLDMMLDM-2003-KuhnertK #classification #image #learning
A Learning Autonomous Driver System on the Basis of Image Classification and Evolutional Learning (KDK, MK), pp. 400–412.
DACDAC-2002-RabaeyKBCSLH #question #what
What’s the next EDA driver? (JMR, JK, DB, RC, DS, LL, RH), p. 652.
SEKESEKE-2002-WohlinA #order
Analysing primary and lower order project success drivers (CW, AAA), pp. 393–400.
SPLCSPLC-2002-KangDKLL #development #product line #using
Using a Marketing and Product Plan as a Key Driver for Product Line Asset Development (KCK, PD, EK, JL, KL), pp. 366–382.
DACDAC-2001-SirichotiyakulBOLZZ #modelling #worst-case
Driver Modeling and Alignment for Worst-Case Delay Noise (SS, DB, CO, RL, VZ, JZ), pp. 720–725.
CSMRCSMR-2001-AbreuG #composition #question
Coupling and Cohesion as Modularization Drivers: Are We Being Over-Persuaded? (FBeA, MG), pp. 47–57.
CHICHI-2001-CardPWMRSB #analysis #behaviour #graph #protocol #usability #web
Information scent as a driver of Web behavior graphs: results of a protocol analysis method for Web usability (SKC, PP, MMVDW, JBM, RWR, PKS, JB), pp. 498–505.
CHICHI-2001-Salvucci #architecture #interface #predict #using
Predicting the effects of in-car interfaces on driver bahavior using a cognitive architecture (DDS), pp. 120–127.
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.
EDOCEDOC-2000-Feldman #future of #roadmap
Technology Trends and Drivers and a Vision of the Future of e-Business (SIF), p. 2.
ICPRICPR-v4-2000-HealeyP #detection #named
SmartCar: Detecting Driver Stress (JH, RWP), pp. 4218–4221.
ICPRICPR-v4-2000-SmithSL #monitoring
Monitoring Head/Eye Motion for Driver Alertness with One Camera (PS, MS, NdVL), pp. 4636–4635.
ASEASE-1999-ReyesR #generative #named
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators (AAR, DJR), p. 81–?.
DACDAC-1999-HuS #named
FAR-DS: Full-Plane AWE Routing with Driver Sizing (JH, SSS), pp. 84–89.
DATEDATE-1999-ONilsJ #implementation #independence #operating system #protocol #specification #synthesis
Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification (MO, AJ), pp. 562–567.
AdaSIGAda-1999-Doran #ada #c #low level
Interfacing low-level C device drivers with Ada 95 (SD), pp. 133–143.
TOOLSTOOLS-USA-1999-FrankBBHY #adaptation #generative #modelling #process #quality
High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity (UF, DSB, JB, BHS, HY), pp. 563–570.
SACSAC-1999-HuizingaA #file system #mobile
Mobile File System Support with Virtual Device Drivers (DMH, CA), pp. 373–381.
OSDIOSDI-1999-Cota-RoblesH #comparison #latency #performance
A Comparison of Windows Driver Model Latency Performance on Windows NT and Windows 98 (ECR, JPH), pp. 159–172.
FMFME-1996-PeleskaS #implementation #testing
From Testing Theory to Test Driver Implementation (JP, MS), pp. 538–556.
ICSEICSE-1994-Boehm #architecture
Software Architectures: Critical Success Factors and Cost Drivers (BWB), p. 365.
DACDAC-1991-RaghavanR #analysis
A New Nonlinear Driver Model for Interconnect Analysis (VR, RAR), pp. 561–566.
DACDAC-1985-ObermeierK #approach
PLA driver selection: an analytic approach (FWO, RHK), pp. 798–802.
ICSEICSE-1976-DolottaLMR
The LEAP Load and Test Driver (TAD, JSL, REM, WDR), pp. 182–186.
DACDAC-1968-Rader #equation #logic #syntax
Application of a syntax driver to logic equation processing and data-control card scanning (JAR).

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.