Concepedia

Michael Emmi

ME

Statistics

Publications

21

Citations

1K

H-Index

17

Active since

2007

Affiliations

Université Paris Cité(Current)

Délégation Paris 7

Laboratoire d'Informatique Algorithmique: Fondements et Applications

IMDEA Software Institute

SRI International

Michael Emmi is an author at Université Paris Cité specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisFormal MethodsVerificationParallel ProgrammingSoftware TestingAutomated Reasoning

Publications per year

2007–2021

21

Publications

21

Dynamic test input generation for database applications

Michael Emmi, Rupak Majumdar, Koushik Sen · 2007 · 198 citations

Engineering, Verification, Test Data Generation +18

Verifying constant-time implementations

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2016 · 143 citations · Full text

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · 2011 · 113 citations

Engineering, Runtime Verification, Program Analysis +15

Delay-bounded scheduling

Michael Emmi, Shaz Qadeer, Zvonimir Rakamarić · ACM SIGPLAN Notices · 2011 · 106 citations

Engineering, Runtime Verification, Program Analysis +15

Lock allocation

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala et al. · ACM SIGPLAN Notices · 2007 · 65 citations

Hardware Security, Engineering, Lock Assignment +15

1–5 of 21