Automatic generation of hardware checkers from formal micro-architectural specifications. - Alexander Fedotov; Julien Schmaltz (DATE, 2018)

Dangerous Situation Prediction and Driving Statistics Accumulation Using Smartphone. - Alexey M. Kashevnik; Alexander Fedotov; Igor Lashkov (IEEE Conf. on Intelligent Systems, 2018)

The Complex WKB Method for Difference Equations and Airy Functions. - Alexander Fedotov; Frédéric Klopp (SIAM J. Math. Anal., 2019)

Effective System Level Liveness Verification. - Alexander Fedotov; Jeroen J. A. Keiren; Julien Schmaltz (FMCAD, 2020)

Genomic considerations for FHIR®; eMERGE implementation lessons. - Mullai Murugan; Lawrence J. Babb; Casey Overby Taylor; Luke V. Rasmussen; Robert R. Freimuth; Eric Venner; Fei Yan; Victoria Yi; Stephen J. Granite; Hana Zouk; Samuel J. Aronson; Kevin Power; et al. (J. Biomed. Informatics, 2021)