Stem aircraft$ (all stems)

35 papers:

DHM-EH-2015-ZhengBISEL #behaviour #monitoring #using

Driving-Behavior Monitoring Using an Unmanned Aircraft System (UAS) (CZ, AB, WI, IS, EE, KL), pp. 305–312.

MoDELS-2015-S #challenge #modelling #named #smarttech

Automobile: Aircraft or smartphone? Modeling challenges and opportunities in Automotive Systems (keynote) (RS), p. 3.

SAC-2015-IglesiaJGP #parallel

Parallel trajectory synchronization for aircraft conflicts resolution (EdlI, GBJ, CG, MP), pp. 1339–1341.

ISSTA-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.

SAC-2014-KrichenAB #health #monitoring

WSN-based flutter control application for aircraft wings structural health monitoring (DK, WA, NB), pp. 680–685.

CASE-2013-ZhangYZH #design #using

Longitudinal attitude controller design for aircraft landing with disturbance using ADRC/LQR (GZ, LY, JZ, CH), pp. 330–335.

DATE-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.

HCI-IMT-2013-BarbeWM #approach #design

Human Centered Design Approach to Integrate Touch Screen in Future Aircraft Cockpits (JB, MW, RM), pp. 429–438.

DHM-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.

ICPR-2010-MumtazMM #approach

A New Approach to Aircraft Surface Inspection Based on Directional Energies of Texture (MM, ABM, HM), pp. 4404–4407.

DATE-2009-CasteresR #architecture #integration #modelling #realtime #trade-off

Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs (JC, TR), pp. 346–351.

HIMI-II-2009-DaoBBVSJ #automation

The Impact of Automation Assisted Aircraft Separation on Situation Awareness (AQVD, SLB, VB, KPLV, TZS, WWJ), pp. 738–747.

SIGAda-2009-Sward09a #ada #using

Georegistration of imagery from unmanned aircraft systems using Ada (RES), pp. 121–126.

DATE-2008-Garcia #automation #configuration management

Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF) (JAHG), pp. 280–283.

FM-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.

HCI-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.

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

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

CHI-2005-SadasivanGGD #eye tracking

Use of eye movements as feedforward training for a synthetic aircraft inspection task (SS, JSG, AKG, ATD), pp. 141–149.

ICEIS-v2-2004-AnavattiYP #experience #network

An Experience with the Neural Network for Auto-Landing System of an Aircraft (SGA, CJY, FP), pp. 393–400.

SAC-2004-LampeSF #maintenance #ubiquitous

A Ubiquitous Computing environment for aircraft maintenance (ML, MS, EF), pp. 1586–1592.

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

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

SIGAda-2002-Conn #ada

Ada, CMM level 4, and the C-130J aircraft (RC), p. 10.

TestCom-2002-Peleska #hardware #integration #product line #testing

Hardware/Software Integration Testing for the new Airbus Aircraft Families (JP), p. 335–?.

FM-v2-1999-DongMF #modelling

Modeling Aircraft Mission Computer Task Rates (JSD, BPM, NF), p. 1855.

HCI-CCAD-1999-FlemischO

The search for pilot’s ideal complement: experimental results with the crew assistant military Aircraft CAMA (FOF, RO), pp. 1271–1275.

HCI-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.

ICPR-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.

PEPM-1997-Augustsson #partial evaluation

Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.

HCI-SEC-1997-Schulte #design

Cockpit Systems Design in Future Military Aircraft (AS), pp. 3–6.

HCI-SEC-1997-StrohalO

The Crew Assistant Military Aircraft (CAMA) (MS, RO), pp. 7–10.

SAC-1996-DurandAN #algorithm #automation #search-based #using

Automatic aircraft conflict resolution using genetic algorithms (ND, JMA, JN), pp. 289–298.

HCI-ACS-1993-DyckAW #human-computer #multi

HCI in Multi-Crew Aircraft (JLD, DWA, JAW), pp. 151–156.

HCI-ACS-1993-ReisingEM #automation

Automation in Military Aircraft (JMR, TJE, RCM), pp. 283–288.

HCI-SHI-1993-GerlachO #interface

A Dialogue Manager as Interface between Aircraft Pilots and a Pilot Assistant System (MG, RO), pp. 98–103.

SAC-1993-GrimmLT #multi #problem

A Parallelized Search Strategy for Solving a Multicriteria Aircraft Routing Problem (JJG, GBL, AJT), pp. 570–577.