| MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 569 | 1998 |
| Treejuxtaposer: scalable tree comparison using focus+ context with guaranteed visibility T Munzner, F Guimbretiere, S Tasiran, L Zhang, Y Zhou ACM SIGGRAPH 2003 Papers, 453-462, 2003 | 520 | 2003 |
| Coverage metrics for functional validation of hardware designs S Tasiran, K Keutzer IEEE Design & Test of Computers 18 (4), 36-45, 2001 | 323 | 2001 |
| Goldilocks: a race and transaction-aware java runtime T Elmas, S Qadeer, S Tasiran Acm Sigplan Notices 42 (6), 245-255, 2007 | 314 | 2007 |
| A calculus of atomic actions T Elmas, S Qadeer, S Tasiran ACM SIGPLAN Notices 44 (1), 2-15, 2009 | 143 | 2009 |
| BDD variable ordering for interacting finite state machines A Aziz, S Taşiran, RK Brayton Proceedings of the 31st annual Design Automation Conference, 283-288, 1994 | 116 | 1994 |
| Verifying abstractions of timed systems S TaŞiran, R Alur, RP Kurshan, RK Brayton CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996 | 113 | 1996 |
| HSIS: A BDD-based environment for formal verification A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ... Proceedings of the 31st annual Design Automation Conference, 454-459, 1994 | 105 | 1994 |
| Using lightweight formal methods to validate a key-value storage node in Amazon S3 J Bornholt, R Joshi, V Astrauskas, B Cully, B Kragl, S Markle, K Sauri, ... Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021 | 92 | 2021 |
| Automated and modular refinement reasoning for concurrent programs C Hawblitzel, E Petrank, S Qadeer, S Tasiran Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 87 | 2015 |
| Continuous formal verification of Amazon s2n A Chudnov, N Collins, B Cook, J Dodds, B Huffman, C MacCárthaigh, ... Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 84 | 2018 |
| Checking Cache-Coherence Protocols with TLA+ R Joshi, L Lamport, J Matthews, S Tasiran, M Tuttle, Y Yu Formal Methods in System Design 22, 125-131, 2003 | 81 | 2003 |
| MOCHA user manual R Alur, L De Alfaro, TA Henzinger, SC Krishnan, FYC Mang, S Qadeer, ... University of Berkeley Report, 2000 | 79 | 2000 |
| Vyrd: verifying concurrent programs by runtime refinement-violation detection T Elmas, S Tasiran, S Qadeer ACM SIGPLAN Notices 40 (6), 27-37, 2005 | 67 | 2005 |
| A functional validation technique: biased-random simulation guided by observability-based coverage S Tasiran, F Fallah, DG Chinnery, SJ Weber, K Keutzer Proceedings 2001 IEEE International Conference on Computer Design: VLSI in …, 2001 | 62 | 2001 |
| Simplifying linearizability proofs with reduction and abstraction T Elmas, S Qadeer, A Sezgin, O Subasi, S Tasiran International Conference on Tools and Algorithms for the Construction and …, 2010 | 59 | 2010 |
| Detecting JavaScript races that matter E Mutlu, S Tasiran, B Livshits Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 50 | 2015 |
| Code-level model checking in the software development workflow N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ... Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 49 | 2020 |
| Language containment of non-deterministic ω-automata S TaŞiran, R Hojati, RK Brayton Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced …, 1995 | 49 | 1995 |
| An assume-guarantee rule for checking simulation TA Henzinger, S Qadeer, SK Rajamani, S TaŞiran Formal Methods in Computer-Aided Design: Second International Conference …, 1998 | 48 | 1998 |