Stem polychron$ (all stems)

2 papers:

DATE-2013-MaYGGTBH #analysis #architecture #towards #validation

Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.

IFM-2012-NgoTGGB #compilation #equation #verification

Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.