Concepedia

Flavio Lerda

FL

Statistics

Publications

8

Citations

1.5K

H-Index

8

Active since

2003

Affiliations

Carnegie Mellon University(Current)

Technion – Israel Institute of Technology

Flavio Lerda is an author at Carnegie Mellon University specializing in formal verification, formal methods, and computer engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware VerificationAutomated Reasoning

Publications per year

2003–2020

8

Publications

8

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.3K citations

Proof-guided underapproximation-widening for multi-process systems

Orna Grümberg, Flavio Lerda, Ofer Strichman et al. · 2005 · 66 citations

Mathematical Programming, Engineering, Verification +20

Symbolic Model Checking of Software

Flavio Lerda, Nishant Sinha, Michael Theobald · Electronic Notes in Theoretical Computer Science · 2003 · 31 citations · Full text

Program Checking, Engineering, Verification +18

Model Checking: Software and Beyond

Edmund M. Clarke, Flavio Lerda · 2020 · 26 citations · Full text

Model checking in-the-loop: Finding counterexamples by systematic simulation

Flavio Lerda, James Kapinski, Hitashyam Maka et al. · 2008 · 19 citations

Engineering, Verification, Computer-aided Verification +19

1–5 of 8