Concepedia

Flavio M. De Paula

FM

6

Publications

425

Citations

6

H-Index

2004

Active since

Affiliations

University of British Columbia(Current)

Flavio M. De Paula is an author at University of British Columbia specializing in computer engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisComputer EngineeringVerificationFormal MethodsSoftware AnalysisFormal VerificationSystem SoftwareSoftware Testing

Publications per year

2004–2011

6

Publications

6

Clinical consequences of an individualized dialysate sodium prescription in hemodialysis patients

Flavio M. De Paula, Aldo J. Peixoto, Luciano V. Pinto et al. · Kidney International · 2004 · 205 citations · Full text

Hemodialysis, Urology, Renal Disease +11

BackSpace: Formal Analysis for Post-Silicon Debug

Flavio M. De Paula, Marcel Gort, Alan J. Hu et al. · 2008 · 90 citations

New Design, Engineering, Hardware Verification Language +17

An effective guidance strategy for abstraction-guided simulation

Flavio M. De Paula, Alan J. Hu · Proceedings - ACM IEEE Design Automation Conference · 2007 · 46 citations

Artificial Intelligence, Engineering, Verification +25

Industrial Strength Distributed Explicit State Model Checking

Brad Bingham, Jesse Bingham, Flavio M. De Paula et al. · 2010 · 45 citations

Engineering, Verification, Computer-aided Verification +20

Flavio M. De Paula, Amir Nahir, Ziv Nevo et al. · 2011 · 29 citations

Hardware Security, Trace Buffer Information, Unlimited-length Trace Buffer +13

Rows per page

1–5 of 6