8 papers:
SAC-2010-JungCKK #adaptation #named #performance #reliability- ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET (JJ, YC, YK, IK), pp. 731–732.
ICSE-2000-DangK #approximate #infinity #model checking #realtime- Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems (ZD, RAK), pp. 345–354.
- ICSE-1999-DangK #mobile #model checking #using
- Using the ASTRAL Model Checker to Analyze Mobile IP (ZD, RAK), pp. 132–142.
ESEC-1995-Coen-PorisiniKM #framework #proving- A Formal Framework for ASTRAL Inter-level Proof Obligations (ACP, RAK, DM), pp. 90–108.
- ESEC-1993-Coen-PorisiniM #framework #proving
- A Formal Framework for ASTRAL Intra-Level Proof Obligations (ACP, DM), pp. 483–500.
ISSTA-1993-Coen-PorisiniK #realtime #specification- The Composability of ASTRAL Realtime Specifications (ACP, RAK), pp. 128–138.
- ESEC-1991-GhezziK #named #realtime #specification
- ASTRAL: An Assertion Language for Specifying Realtime Systems (CG, RAK), pp. 122–146.
- TAV-1991-GhezziK #approach #specification
- Executing Formal Specifications: The ASTRAL to TRIO Translation Approach (CG, RAK), pp. 112–122.
