Alexander Fedotov

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 5

Top Topics

Controlled Natural Language

Requirements Specification

Formal Descriptions

Parallel Hardware

Top Venues

SIAM J. Math. Anal.

J. Biomed. Informatics

Publications

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, Alexander Fedotov, David R. Crosslin, David Fasel, Gail P. Jarvik, Hakon Hakonarson, Hana Bangash, Iftikhar J. Kullo, John J. Connolly, Jordan G. Nestor, Pedro J. Caraballo, Wei-Qi Wei, Ken Wiley, Heidi L. Rehm, Richard A. Gibbs
Genomic considerations for FHIR®; eMERGE implementation lessons. J. Biomed. Informatics 118 (2021)
Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz
Effective System Level Liveness Verification. FMCAD (2020)
Alexander Fedotov, Frédéric Klopp
The Complex WKB Method for Difference Equations and Airy Functions. SIAM J. Math. Anal. 51 (6) (2019)
Alexey M. Kashevnik, Alexander Fedotov, Igor Lashkov
Dangerous Situation Prediction and Driving Statistics Accumulation Using Smartphone. IEEE Conf. on Intelligent Systems (2018)
Alexander Fedotov, Julien Schmaltz
Automatic generation of hardware checkers from formal micro-architectural specifications. DATE (2018)