Alexey Solovyev

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 8

Top Topics

Formal Verification

Spinal Cord Injury

Linear Inequalities

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan
Rigorous Error Analysis for Logarithmic Number Systems. CoRR (2024)
Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Rigorous floating-point mixed-precision tuning. POPL (2017)
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM (2017)
Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. FM (2015)
Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan
A Parameterized Floating-Point Formalizaton in HOL Light. Electron. Notes Theor. Comput. Sci. 317 (2015)
Cordelia Ziraldo, Alexey Solovyev, Ana Allegretti, Shilpa Krishnan, M. Kristi Henzel, Gwendolyn A. Sowa, David M. Brienza, Gary An, Qi Mi, Yoram Vodovotz
A Computational, Tissue-Realistic Model of Pressure Ulcer Formation in Individuals with Spinal Cord Injury. PLoS Comput. Biol. 11 (6) (2015)
Thomas C. Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason M. Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Khac Vu, Roland Zumkeller
A formal proof of the Kepler conjecture. CoRR (2015)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Efficient search for inputs causing high floating-point errors. PPOPP (2014)
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
A Machine-Checked Proof of the Odd Order Theorem. ITP (2013)
Alexey Solovyev, Qi Mi, Yi-Ting Tzen, David M. Brienza, Yoram Vodovotz
Hybrid Equation/Agent-Based Model of Ischemia-Induced Hyperemia and Pressure Ulcer Formation Predicts Greater Propensity to Ulcerate in Subjects with Spinal Cord Injury. PLoS Comput. Biol. 9 (5) (2013)
Alexey Solovyev, Thomas C. Hales
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations. NASA Formal Methods (2013)
Alexey Solovyev, Thomas C. Hales
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations CoRR (2013)
Alexey Solovyev, Thomas C. Hales
Efficient Formal Verification of Bounds of Linear Programs. Calculemus/MKM (2011)
Alexey Solovyev, Maxim Mikheev, Leming Zhou, Joyeeta Dutta-Moscato, Cordelia Ziraldo, Gary An, Yoram Vodovotz, Qi Mi
SPARK: a framework for multi-scale agent-based biomedical modeling. SpringSim (2010)
Alexey Solovyev, Maxim Mikheev, Leming Zhou, Joyeeta Dutta-Moscato, Cordelia Ziraldo, Gary An, Yoram Vodovotz, Qi Mi
SPARK: A Framework for Multi-Scale Agent-Based Biomedical Modeling. Int. J. Agent Technol. Syst. 2 (3) (2010)