BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (13)
control (9)
softwar (8)
time (6)
space (5)

Stem flight$ (all stems)

51 papers:

CASECASE-2015-StopforthB #biology #evaluation #named
MechaBird: A biological inspired mechatronics bird for the evaluation of flight characteristics (RS, GB), pp. 335–341.
CASECASE-2015-Yen #realtime #using
Optimize the flight path for airlines using real-time information (JRY), p. 1649.
FMFM-2015-BratBDGHK #safety #verification
Verifying the Safety of a Flight-Critical System (GB, DHB, MD, DG, FH, TK), pp. 308–324.
The Encourage Operators to Promote Manual Flight Operations- a Pandemic in Modern Aviation (ETM, ITM, MMS), pp. 317–325.
HILTHILT-2014-BocchinoGGS #named #programming language
Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
CHICHI-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.
Causal Attribution and Control: Between Consciousness and Psychical Half-Shadow Application to Flight Operations (BB, JCS, LC), pp. 11–20.
HCIDHM-SET-2013-LiuZX #behaviour #simulation
Effects of Sleep Deprivation on Pilot’s Cognitive Behavior in Flight Simulation (ZQL, QXZ, FX), pp. 45–54.
KDIRKDIR-KMIS-2013-Stachurska #information management #question
Knowledge Management in Culture — A Flight of Fancy, or a Stroke of Genius? (IS), pp. 526–531.
CASECASE-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.
PLEASEPLEASE-2012-FantGP #product line
Software product line engineering of space flight software (JSF, HG, RGPI), pp. 41–44.
SIGMODSIGMOD-2011-EsmailiSFT #query
Changing flights in mid-air: a model for safely modifying continuous queries (KSE, TS, PMF, NT), pp. 613–624.
HCIHCD-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.
HCIHIMI-v2-2011-BrandtLDBJ #communication #protocol
Flight Deck Workload and Acceptability of Verbal and Digital Communication Protocols (SLB, JL, AQVD, VB, WWJ), pp. 463–472.
HCIHIMI-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.
ICPRICPR-2010-Fuchs #image #multi
Multipath Interference Compensation in Time-of-Flight Camera Images (SF), pp. 3583–3586.
ICPRICPR-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.
ICSEICSE-2010-GroceHS #evolution #specification #testing
From scripts to specifications: the evolution of a flight software testing effort (AG, KH, MHS), pp. 129–138.
SPLCSPLC-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.
FMFM-2009-PlatzerC #case study #verification
Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study (AP, EMC), pp. 547–562.
HCIHCI-AUII-2009-PirhonenK #comparison #design #interface
Flight Searching — A Comparison of Two User-Interface Design Strategies (AP, NK), pp. 179–188.
HCIHCI-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.
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.
SPLCSPLC-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.
DATEDATE-2008-Garcia #automation #configuration management
Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF) (JAHG), pp. 280–283.
FlightPath: Obedience vs. Choice in Cooperative Services (HCL, AC, MM, MK, LR, LA, MD), pp. 355–368.
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.
RERE-2007-LaskarisPN #information management #requirements
Developing User Requirements for an Airport Flight Information System (AKL, NP, EN), pp. 385–386.
LCTESLCTES-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.
The uses of paper in commercial airline flight operations (SN, EH, BEH), pp. 249–258.
OSDIOSDI-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.
CHICHI-2005-AragonH #safety #simulation #visualisation
Improving aviation safety with information visualization: a flight simulation study (CRA, MAH), pp. 441–450.
ICDARICDAR-2003-ZhaoW #recognition
A High Accuracy Rate Commercial Flight Coupon Recognition System (SZ, ZW), pp. 82–86.
FMFME-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.
RERE-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.
ICPRICPR-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.
PASTEPASTE-1999-WhitingH #analysis #monitoring #safety
Safety Analysis of Hawk in Flight Monitor (LW, MH), pp. 32–38.
HCIHCI-CCAD-1999-Callantine #analysis #performance #visualisation
Visualization and analysis of flight crew procedure performance (TJC), pp. 1281–1285.
HCIHCI-CCAD-1999-CranePP #integration
Flight crew factors CTAS/FMS integration in the terminal airspace (BC, TP, EAP), pp. 1276–1280.
AdaEuropeAdaEurope-1999-Rosskopf #ada #architecture #design #development
Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches (AR), pp. 437–449.
AdaEuropeAdaEurope-1998-Frisberg #ada
Ada in the JAS 39 Gripen Flight Control System (BF), pp. 288–296.
AdaSIGAda-1998-Frisberg #ada
Usage of Ada in the Gripen Flight Control System (BF), pp. 140–141.
AdaSIGAda-1998-Wainwright #ada #component
An Application Engineering Workbench for Tailoring Ada Flight Components (RHW), pp. 165–174.
ICDARICDAR-1997-MaoLM #automation
A system for automatically reading IATA flight coupons (JM, RAL, KMM), pp. 153–157.
Human Motor Strategies in Long Term Space Flights (AP, GF, GB), pp. 1009–1012.
HCIHCI-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.
Optimum Flight Planning System for Aerodrome Zone (SI, NI, MK, ST), p. 842.
Structured IV&V for the Space Shuttle Flight Software (RWM), p. 81.
ICMLML-1991-Catlett #named
Megainduction: A Test Flight (JC), pp. 596–599.
CSCWCSCW-1990-BensonCP #social
Some Social and Economic Consequences of Groupware for Flight Crew (IB, CC, SP), pp. 119–129.
DACDAC-1977-Domaszewicz #analysis
Flight test analysis of missile control systems (MD), pp. 101–108.

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.