Michael Emmi

Cited by

	All	Since 2016
Citations	1557	898
h-index	22	16
i10-index	28	25

200

100

150

20072008200920102011201220132014201520162017201820192020202115 31 42 61 60 88 109 120 110 118 178 175 180 195 52

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Zvonimir RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Jad HamzaLARA, EPFLVerified email at epfl.ch
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt
François DupressoirSenior Lecturer in Cryptography, Department of Computer Science, University of BristolVerified email at bristol.ac.uk
Burcu Kulahcioglu OzkanDelft University of TechnologyVerified email at tudelft.nl
Gabriela (Cretu) CiocarlieChief Product Officer, Elpha SecureVerified email at cs.columbia.edu
Shaobo HeBaidu USAVerified email at cs.utah.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Gennaro ParlatoAssociate Professor of Computer Science, University of MoliseVerified email at unimol.it
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Arvind HaranSoftware Engineer, IBMVerified email at us.ibm.com
Roman ManevichFacebookVerified email at fb.com
Eddie KohlerMicrosoft Professor of Computer Science, Harvard UniversityVerified email at seas.harvard.edu

Michael Emmi

Amazon Web Services

Verified email at amazon.com - Homepage

Formal Methods Software Verification Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007	262	2007
Verifying constant-time implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th {USENIX} Security Symposium ({USENIX} Security 16), 53-70, 2016	174	2016
Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	151	2011
Lock allocation M Emmi, JS Fischer, R Jhala, R Majumdar ACM SIGPLAN Notices 42 (1), 291-296, 2007	113	2007
SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi International Conference on Computer Aided Verification, 106-113, 2014	105	2014
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Sigplan Notices 47 (1), 203-214, 2012	52	2012
Tractable refinement checking for concurrent objects A Bouajjani, M Emmi, C Enea, J Hamza Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015	51	2015
Assembling an expressive facial animation system A Wang, M Emmi, P Faloutsos Proceedings of the 2007 ACM SIGGRAPH symposium on Video games, 21-26, 2007	51	2007
Bounded phase analysis of message-passing programs A Bouajjani, M Emmi International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014	44	2014
Assume-guarantee verification for interface automata M Emmi, D Giannakopoulou, CS Păsăreanu International Symposium on Formal Methods, 116-131, 2008	42	2008
Verifying concurrent programs against sequential specifications A Bouajjani, M Emmi, C Enea, J Hamza European Symposium on Programming, 290-309, 2013	41	2013
On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato International Static Analysis Symposium, 129-145, 2011	41	2011
On reducing linearizability to state reachability A Bouajjani, M Emmi, C Enea, J Hamza Information and Computation 261, 383-400, 2018	36	2018
Decision problems for the verification of real-time software M Emmi, R Majumdar International Workshop on Hybrid Systems: Computation and Control, 200-211, 2006	34	2006
Detecting fair non-termination in multithreaded programs MF Atig, A Bouajjani, M Emmi, A Lal International Conference on Computer Aided Verification, 210-226, 2012	33	2012
SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamaric, M Emmi 2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016	28	2016
SMACK+ Corral: a modular verifier A Haran, M Carter, M Emmi, A Lal, S Qadeer, Z Rakamarić International Conference on Tools and Algorithms for the Construction and …, 2015	28	2015
Parameterized verification of transactional memories M Emmi, R Majumdar, R Manevich ACM Sigplan Notices 45 (6), 134-145, 2010	27	2010
Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013	26	2013
Asynchronous programs with prioritized task-buffers M Emmi, A Lal, S Qadeer Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012	25	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors