Andrei Ștefănescu

AȘ

Publications

1.6K

Citations

H-Index

2007

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Tulane University

Harvard University

Alexandru Ioan Cuza University

University of Alabama at Birmingham

Andrei Ștefănescu is an author at University of Illinois Urbana-Champaign specializing in formal methods, automated reasoning, and formal verification.

ORCID

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationSoftware Engineering

Publications per year

2007–2023

Publications

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 404 citations

Engineering, Ethereum Community, Verification +26

Pharmacokinetics and Tissue Penetration of Cefoxitin in Obesity

Octavian Toma, Patty Suntrup, Andrei Ștefănescu et al. · Anesthesia & Analgesia · 2011 · 106 citations

Using A Body Shape Index (ABSI) and Body Roundness Index (BRI) to predict risk of metabolic syndrome in Peruvian adults

Andrei Ștefănescu, Luis Revilla, Tania López et al. · Journal of International Medical Research · 2019 · 103 citations · Full text

Metabolic Disorder, Cardiometabolic Risk, Body Shape Index +20

KJS: a complete formal semantics of JavaScript

Daejun Park, Andrei Ștefănescu, Grigore Roşu · 2015 · 99 citations

Engineering, Verification, Software Engineering +21

ACTG A5353: A Pilot Study of Dolutegravir Plus Lamivudine for Initial Treatment of Human Immunodeficiency Virus-1 (HIV-1)–infected Participants With HIV-1 RNA <500000 Copies/mL

Babafemi Taiwo, Lu Zheng, Andrei Ștefănescu et al. · Clinical Infectious Diseases · 2017 · 94 citations · Full text

Rows per page

1–5 of 25