4 papers:
TACAS-2015-SoudjaniGA #abstraction #probability #process- FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
FLOPS-2014-BarkatiWJ #interpreter #multi #named- Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
RE-2003-RifautMMPSLV #analysis #formal method #named #specification #tool support #using- FAUST: Formal Analysis Using Specification Tools (AR, PM, JFM, CP, PS, AvL, HTV), p. 350.
CADE-1992-SchneiderKK #proving- The FAUST — Prover (KS, RK, TK), pp. 766–770.
