7 papers:
CASE-2015-HallettWSV #agile- Rapid bicycle gear switching based on physiological cues (EH, RW, SS, RV), pp. 377–382.
ICST-2010-MadaniPP #case study #testing #towards- Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller (LM, VP, IP), pp. 489–497.
SPLC-2008-Krueger #framework #product line- The BigLever Software Gears Unified Software Product Line Engineering Framework (CWK), p. 353.
WICSA-2005-Schwanke #architecture #named #process #requirements- GEAR: A Good Enough Architectural Requirements Process (RWS), pp. 57–66.
PPoPP-2005-FreehL #clustering #energy #multi #source code #using- Using multiple energy gears in MPI programs on a power-scalable cluster (VWF, DKL), pp. 164–173.
CAV-2004-JinAS #bound #model checking #named #satisfiability #towards- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking (HJ, MA, FS), pp. 519–522.
TACAS-1998-LindahlPY #analysis #design- Formal Design and Analysis of a Gear Controller (ML, PP, WY), pp. 281–297.
