9 papers:
FoSSaCS-2015-Mamouras #hoare #logic #nondeterminism #synthesis- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (KM), pp. 25–40.
CAV-2015-DasLLL #precise #verification- Angelic Verification: Precise Verification Modulo Unknowns (AD, SKL, AL, YL), pp. 324–342.
ASE-2014-HarmanJMP #effectiveness #empirical #higher-order #performance- Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation (MH, YJ, PRM, MP), pp. 397–408.
ICSE-2011-ChandraTBB #debugging- Angelic debugging (SC, ET, SB, RB), pp. 121–130.
POPL-2010-BodikCGKTBR #nondeterminism #programming- Programming with angelic nondeterminism (RB, SC, JG, DK, NT, SB, CR), pp. 339–352.
SEFM-2008-RuksenasCB #behaviour #game studies #modelling- Modelling Rational User Behaviour as Games between an Angel and a Demon (RR, PC, AB), pp. 355–364.
CASE-2007-Frenger #ubiquitous- GRANNIE 2: A Ubiquitous, Protean Robotic Guardian Angel (PF), pp. 857–862.
- FoSSaCS-2004-GhicaM #concurrent #fine-grained #semantics
- Angelic Semantics of Fine-Grained Concurrency (DRG, ASM), pp. 211–225.
RE-2003-Becker #lifecycle #multi #requirements #traceability- Measuring Requirements Traceability from Multiple Angels at Multiple Lifecycle Entry Points (DB), p. 291.
