Old Web
English
Sign In
Acemap
>
authorDetail
>
Florian Lonsing
Florian Lonsing
Stanford University
Computer science
Model checking
Mathematics
Preprocessor
Error detection and correction
6
Papers
13
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Pono: A Flexible and Extensible SMT-based Model Checker
2021
CAV | Computer Aided Verification
Makai Mann
Ahmed Irfan
Florian Lonsing
Yahan Yang
Hongce Zhang
Kristopher Brown
Aarti Gupta
Clark Barrett
Show All
Source
Cite
Save
Citations (1)
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper
2019
ICCAD | International Conference on Computer Aided Design
Florian Lonsing
Karthik Ganesan
Makai Mann
Srinivasa Shashank Nuthakki
Eshan Singh
Mario Srouji
Yahan Yang
Subhasish Mitra
Clark Barrett
Show All
Source
Cite
Save
Citations (4)
1