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:
use (8)
system (6)
design (5)
integr (4)
assist (4)

Stem aircraft$ (all stems)

35 papers:

HCIDHM-EH-2015-ZhengBISEL #behaviour #monitoring #using
Driving-Behavior Monitoring Using an Unmanned Aircraft System (UAS) (CZ, AB, WI, IS, EE, KL), pp. 305–312.
MoDELSMoDELS-2015-S #challenge #modelling #named #smarttech
Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) (RS), p. 3.
SACSAC-2015-IglesiaJGP #parallel
Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.
ISSTAISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
SACSAC-2014-KrichenAB #health #monitoring
WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.
CASECASE-2013-ZhangYZH #design #using
Longitudinal attitude controller design for aircraft landing with disturbance using ADRC/LQR (GZ, LY, JZ, CH), pp. 330–335.
DATEDATE-2013-PerelliCMBMB #design #health #monitoring #power management
Design of an ultra-low power device for aircraft structural health monitoring (AP, CC, LDM, DB, AM, LB), pp. 1127–1130.
HCIHCI-IMT-2013-BarbeWM #approach #design
Human Centered Design Approach to Integrate Touch Screen in Future Aircraft Cockpits (JB, MW, RM), pp. 429–438.
HCIDHM-2011-TangwenF #analysis #architecture #cumulative #learning #polymorphism
Polymorphic Cumulative Learning in Integrated Cognitive Architectures for Analysis of Pilot-Aircraft Dynamic Environment (TY, SF), pp. 409–416.
ICPRICPR-2010-MumtazMM #approach
A New Approach to Aircraft Surface Inspection Based on Directional Energies of Texture (MM, ABM, HM), pp. 4404–4407.
DATEDATE-2009-CasteresR #architecture #integration #modelling #realtime #trade-off
Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs (JC, TR), pp. 346–351.
HCIHIMI-II-2009-DaoBBVSJ #automation
The Impact of Automation Assisted Aircraft Separation on Situation Awareness (AQVD, SLB, VB, KPLV, TZS, WWJ), pp. 738–747.
AdaSIGAda-2009-Sward09a #ada #using
Georegistration of imagery from unmanned aircraft systems using Ada (RES), pp. 121–126.
DATEDATE-2008-Garcia #automation #configuration management
Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF) (JAHG), pp. 280–283.
FMFM-2008-LintelmanRLS #formal method #security
Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution (SL, RR, ML, KS), pp. 406–410.
HCIHCI-IDU-2007-StrybelVDKNCG #predict #using
Predicting Perceived Situation Awareness of Low Altitude Aircraft in Terminal Airspace Using Probe Questions (TZS, KPLV, JPD, JK, TKN, VC, FPG), pp. 939–948.
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.
CHICHI-2005-SadasivanGGD #eye tracking
Use of eye movements as feedforward training for a synthetic aircraft inspection task (SS, JSG, AKG, ATD), pp. 141–149.
ICEISICEIS-v2-2004-AnavattiYP #experience #network
An Experience with the Neural Network for Auto-Landing System of an Aircraft (SGA, CJY, FP), pp. 393–400.
SACSAC-2004-LampeSF #maintenance #ubiquitous
A Ubiquitous Computing environment for aircraft maintenance (ML, MS, EF), pp. 1586–1592.
CSCWCSCW-2002-LuttersA #bound #case study #safety
Achieving safety: a field study of boundary objects in aircraft technical support (WGL, MSA), pp. 266–275.
AdaSIGAda-2002-Conn #ada
Ada, CMM level 4, and the C-130J aircraft (RC), p. 10.
ICTSSTestCom-2002-Peleska #hardware #integration #product line #testing
Hardware/Software Integration Testing for the new Airbus Aircraft Families (JP), p. 335–?.
FMFM-v2-1999-DongMF #modelling
Modeling Aircraft Mission Computer Task Rates (JSD, BPM, NF), p. 1855.
HCIHCI-CCAD-1999-FlemischO
The search for pilot’s ideal complement: experimental results with the crew assistant military Aircraft CAMA (FOF, RO), pp. 1271–1275.
HCIHCI-CCAD-1999-PrevotC #automation #design #evaluation #simulation
A vertical situation display for automated aircraft — design and evaluation in full mission simulation (TP, BC), pp. 1266–1270.
ICPRICPR-1998-NieuwoudtB #classification #performance #using
Relative performance of correlation-based and feature-based classifiers of aircraft using radar range profiles (CN, ECB), pp. 1828–1832.
PEPMPEPM-1997-Augustsson #partial evaluation
Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.
HCIHCI-SEC-1997-Schulte #design
Cockpit Systems Design in Future Military Aircraft (AS), pp. 3–6.
HCIHCI-SEC-1997-StrohalO
The Crew Assistant Military Aircraft (CAMA) (MS, RO), pp. 7–10.
SACSAC-1996-DurandAN #algorithm #automation #search-based #using
Automatic aircraft conflict resolution using genetic algorithms (ND, JMA, JN), pp. 289–298.
HCIHCI-ACS-1993-DyckAW #human-computer #multi
HCI in Multi-Crew Aircraft (JLD, DWA, JAW), pp. 151–156.
HCIHCI-ACS-1993-ReisingEM #automation
Automation in Military Aircraft (JMR, TJE, RCM), pp. 283–288.
HCIHCI-SHI-1993-GerlachO #interface
A Dialogue Manager as Interface between Aircraft Pilots and a Pilot Assistant System (MG, RO), pp. 98–103.
SACSAC-1993-GrimmLT #multi #problem
A Parallelized Search Strategy for Solving a Multicriteria Aircraft Routing Problem (JJG, GBL, AJT), pp. 570–577.

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.