11 papers:
CASE-2015-UeharaHK #modelling #petri net- Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
DHM-SET-2013-YangYF #safety #using- Predicating the Safety of Airport Approaches Using a Cognitive Pilot Model (CY, TY, SF), pp. 126–133.
ICSM-2012-BernhartMFSG #incremental #migration #re-engineering- Incremental reengineering and migration of a 40 year old airport operations system (MB, AM, MF, SS, TG), pp. 503–510.
ICPR-2008-VanacloigOGG #constraints #people #realtime #recognition- People and luggage recognition in airport surveillance under real-time constraints (VLAV, JARO, GAG, JMVG), pp. 1–4.
REFSQ-2008-MaidenNL #case study #experience #requirements- Inventing Requirements: Experiences with an Airport Operations System (NAMM, CN, JL), pp. 58–72.
- DHM-2007-WertherMR #analysis #petri net #process #simulation
- Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes (BW, CM, MR), pp. 1027–1036.
- HIMI-IIE-2007-SchmidtRWMF #development #human-computer #interface #video
- Development of an Augmented Vision Video Panorama Human-Machine Interface for Remote Airport Tower Operation (MS, MR, BW, CM, NF), pp. 1119–1128.
RE-2007-LaskarisPN #information management #requirements- Developing User Requirements for an Airport Flight Information System (AKL, NP, EN), pp. 385–386.
- RE-2007-MaidenNKSG #requirements
- Exploring Scenario Forms and Ways of Use to Discover Requirements on Airports that Minimize Environmental Impact (NAMM, CN, SK, NS, PG), pp. 29–38.
- REFSQ-2007-NcubeLM #automation #case study #experience #generative #modelling #requirements
- Automatically Generating Requirements from i* Models: Experiences with a Complex Airport Operations System (CN, JL, NAMM), pp. 33–47.
FM-2006-DelahayeED #security #using- Certifying Airport Security Regulations Using the Focal Environment (DD, JFÉ, VDG), pp. 48–63.
