Stem flight$ (all stems)

51 papers:

CASE-2015-StopforthB #biology #evaluation #named

MechaBird: A biological inspired mechatronics bird for the evaluation of flight characteristics (RS, GB), pp. 335–341.

CASE-2015-Yen #realtime #using

Optimize the flight path for airlines using real-time information (JRY), p. 1649.

FM-2015-BratBDGHK #safety #verification

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

DUXU-ELAS-2014-MartinsMS

The Encourage Operators to Promote Manual Flight Operations- a Pandemic in Modern Aviation (ETM, ITM, MMS), pp. 317–325.

HILT-2014-BocchinoGGS #named #programming language

Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.

CHI-2013-LetondalHLVC #design

Flights in my hands: coherence concerns in designing strip’tic, a tangible space for air traffic controllers (CL, CH, RL, JLV, SC), pp. 2175–2184.

DHM-SET-2013-BerberianSC

Causal Attribution and Control: Between Consciousness and Psychical Half-Shadow Application to Flight Operations (BB, JCS, LC), pp. 11–20.

DHM-SET-2013-LiuZX #behaviour #simulation

Effects of Sleep Deprivation on Pilot’s Cognitive Behavior in Flight Simulation (ZQL, QXZ, FX), pp. 45–54.

KDIR-KMIS-2013-Stachurska #information management #question

Knowledge Management in Culture — A Flight of Fancy, or a Stroke of Genius? (IS), pp. 526–531.

CASE-2012-WangLC #algorithm #realtime

Real-time path planning for low altitude flight based on A* algorithm and TF/TA algorithm (HW, QL, NC), pp. 837–842.

PLEASE-2012-FantGP #product line

Software product line engineering of space flight software (JSF, HG, RGPI), pp. 41–44.

SIGMOD-2011-EsmailiSFT #query

Changing flights in mid-air: a model for safely modifying continuous queries (KSE, TS, PMF, NT), pp. 613–624.

HCD-2011-GoreHHBM #approach #modelling #performance

A Methodical Approach for Developing Valid Human Performance Models of Flight Deck Operations (BFG, BLH, NH, DLB, EM), pp. 379–388.

HIMI-v2-2011-BrandtLDBJ #communication #protocol

Flight Deck Workload and Acceptability of Verbal and Digital Communication Protocols (SLB, JL, AQVD, VB, WWJ), pp. 463–472.

HIMI-v2-2011-MacchiarellaKCHE #speech #visual notation

Pilot Information Presentation on the Flight Deck: An Application of Synthetic Speech and Visual Digital Displays (NDM, JPK, MSC, TH, ZE), pp. 500–506.

ICPR-2010-Fuchs #image #multi

Multipath Interference Compensation in Time-of-Flight Camera Images (SF), pp. 3583–3586.

ICPR-2010-KimCKA #image

Spatial and Temporal Enhancement of Depth Images Captured by a Time-of-Flight Depth Sensor (SYK, JHC, AK, MAA), pp. 2358–2361.

ICSE-2010-GroceHS #evolution #specification #testing

From scripts to specifications: the evolution of a flight software testing effort (AG, KH, MHS), pp. 129–138.

SPLC-2010-GanesanLMBSM #architecture #product line #testing

Architecture-Based Unit Testing of the Flight Software Product Line (DG, ML, DM, MB, SS, BM), pp. 256–270.

FM-2009-PlatzerC #case study #verification

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study (AP, EMC), pp. 547–562.

HCI-AUII-2009-PirhonenK #comparison #design #interface

Flight Searching — A Comparison of Two User-Interface Design Strategies (AP, NK), pp. 179–188.

HCI-VAD-2009-SuLHC #learning #mobile

Developing a Usable Mobile Flight Case Learning System in Air Traffic Control Miscommunications (KWS, KYL, PHH, ITC), pp. 770–777.

HIMI-II-2009-LevaKCLKSM #performance #safety

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

SPLC-2009-GanesanLAMB #architecture #design #product line #verification

Verifying architectural design rules of the flight software product line (DG, ML, CA, DM, MB), pp. 161–170.

DATE-2008-Garcia #automation #configuration management

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

OSDI-2008-LiCMKRAD #named

FlightPath: Obedience vs. Choice in Cooperative Services (HCL, AC, MM, MK, LR, LA, MD), pp. 355–368.

HCI-IPT-2007-BattisteJJGD

Flight Crew Perspective on the Display of 4D Information for En Route and Arrival Merging and Spacing (VB, WWJ, NHJ, SG, AQVD), pp. 541–550.

RE-2007-LaskarisPN #information management #requirements

Developing User Requirements for an Airport Flight Information System (AKL, NP, EN), pp. 385–386.

LCTES-2007-AuerbachBIKRRT #java #programming #realtime

Java takes flight: time-portable real-time programming with exotasks (JSA, DFB, DTI, CMK, VTR, HR, RT), pp. 51–62.

CSCW-2006-NomuraHH

The uses of paper in commercial airline flight operations (SN, EH, BEH), pp. 249–258.

OSDI-2006-VerbowskiKKDLLWR #interactive #monitoring

Flight Data Recorder: Monitoring Persistent-State Interactions to Improve Systems Management (CV, EK, AK, BD, SL, JL, YMW, RR), pp. 117–130.

CHI-2005-AragonH #safety #simulation #visualisation

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

ICDAR-2003-ZhaoW #recognition

A High Accuracy Rate Commercial Flight Coupon Recognition System (SZ, ZW), pp. 82–86.

FME-2001-DocheVK #approach #composition #specification #validation

A Modular Approach to the Specification and Validation of an Electrical Flight Control System (MD, IVM, FK), pp. 590–610.

RE-2001-GobboM #case study #fault tolerance #re-engineering #requirements #specification

Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems (DDG, AM), pp. 236–247.

ICPR-v1-2000-KornDH #analysis #approach #image #independence

Weather Independent Flight Guidance: Analysis of MMW Radar Images for Approach and Landing (BK, HUD, PH), pp. 1350–1353.

PASTE-1999-WhitingH #analysis #monitoring #safety

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

HCI-CCAD-1999-Callantine #analysis #performance #visualisation

Visualization and analysis of flight crew procedure performance (TJC), pp. 1281–1285.

HCI-CCAD-1999-CranePP #integration

Flight crew factors CTAS/FMS integration in the terminal airspace (BC, TP, EAP), pp. 1276–1280.

AdaEurope-1999-Rosskopf #ada #architecture #design #development

Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches (AR), pp. 437–449.

AdaEurope-1998-Frisberg #ada

Ada in the JAS 39 Gripen Flight Control System (BF), pp. 288–296.

SIGAda-1998-Frisberg #ada

Usage of Ada in the Gripen Flight Control System (BF), pp. 140–141.

SIGAda-1998-Wainwright #ada #component

An Application Engineering Workbench for Tailoring Ada Flight Components (RHW), pp. 165–174.

ICDAR-1997-MaoLM #automation

A system for automatically reading IATA flight coupons (JM, RAL, KMM), pp. 153–157.

HCI-SEC-1997-PedottiFB

Human Motor Strategies in Long Term Space Flights (AP, GF, GB), pp. 1009–1012.

HCI-ACS-1993-ClarkH #automation #case study #human-computer #interactive

A Study of Human-Computer Interaction in the Selection of Commercial Pilots for Automated Flight Decks (REC, WFHI), pp. 350–355.

ICLP-1993-IvanetsIKT

Optimum Flight Planning System for Aerodrome Zone (SI, NI, MK, ST), p. 842.

ISSTA-1993-Modes

Structured IV&V for the Space Shuttle Flight Software (RWM), p. 81.

ML-1991-Catlett #named

Megainduction: A Test Flight (JC), pp. 596–599.

CSCW-1990-BensonCP #social

Some Social and Economic Consequences of Groupware for Flight Crew (IB, CC, SP), pp. 119–129.

DAC-1977-Domaszewicz #analysis

Flight test analysis of missile control systems (MD), pp. 101–108.