| Verifying {Constant-Time} Implementations JB Almeida, M Barbosa, G Barthe, F Dupressoir, M Emmi 25th USENIX Security Symposium (USENIX Security 16), 53-70, 2016 | 349 | 2016 |
| Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007 | 288 | 2007 |
| Delay-bounded scheduling M Emmi, S Qadeer, Z Rakamarić Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011 | 189 | 2011 |
| SMACK: Decoupling source language details from verifier implementations Z Rakamarić, M Emmi Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 187 | 2014 |
| Lock allocation M Emmi, JS Fischer, R Jhala, R Majumdar ACM SIGPLAN Notices 42 (1), 291-296, 2007 | 126 | 2007 |
| 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 | 60 | 2007 |
| 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 | 59 | 2015 |
| Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Sigplan Notices 47 (1), 203-214, 2012 | 59 | 2012 |
| SMACK software verification toolchain M Carter, S He, J Whitaker, Z Rakamarić, M Emmi Proceedings of the 38th International Conference on Software Engineering …, 2016 | 58 | 2016 |
| Bounded phase analysis of message-passing programs A Bouajjani, M Emmi International Journal on Software Tools for Technology Transfer 16 (2), 127-146, 2014 | 58 | 2014 |
| Verifying concurrent programs against sequential specifications A Bouajjani, M Emmi, C Enea, J Hamza Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 54 | 2013 |
| Assume-guarantee verification for interface automata M Emmi, D Giannakopoulou, CS Păsăreanu FM 2008: Formal Methods: 15th International Symposium on Formal Methods …, 2008 | 48 | 2008 |
| On reducing linearizability to state reachability A Bouajjani, M Emmi, C Enea, J Hamza Information and Computation 261, 383-400, 2018 | 47 | 2018 |
| On sequentializing concurrent programs A Bouajjani, M Emmi, G Parlato Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 46 | 2011 |
| ct-fuzz: Fuzzing for Timing Leaks S He, M Emmi, G Ciocarlie 2020 IEEE 13th International Conference on Software Testing, Validation and …, 2020 | 45 | 2020 |
| Proving linearizability using forward simulations A Bouajjani, M Emmi, C Enea, SO Mutluergil Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 44 | 2017 |
| Detecting fair non-termination in multithreaded programs MF Atig, A Bouajjani, M Emmi, A Lal Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 38 | 2012 |
| SMACK+ Corral: A Modular Verifier: (Competition Contribution) A Haran, M Carter, M Emmi, A Lal, S Qadeer, Z Rakamarić Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 33 | 2015 |
| Analysis of recursively parallel programs A Bouajjani, M Emmi ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 1-49, 2013 | 33 | 2013 |
| Verifying reference counting implementations M Emmi, R Jhala, E Kohler, R Majumdar International Conference on Tools and Algorithms for the Construction and …, 2009 | 33 | 2009 |
Ahmed BouajjaniProfessor Computer Science, Université Paris Cité在 irif.fr 的电子邮件经过验证
