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 | 564 | 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 | 519 | 2003 |
Coverage metrics for functional validation of hardware designs S Tasiran, K Keutzer IEEE Design & Test of Computers 18 (4), 36-45, 2001 | 321 | 2001 |
Goldilocks: a race and transaction-aware java runtime T Elmas, S Qadeer, S Tasiran Acm Sigplan Notices 42 (6), 245-255, 2007 | 317 | 2007 |
A calculus of atomic actions T Elmas, S Qadeer, S Tasiran ACM SIGPLAN Notices 44 (1), 2-15, 2009 | 144 | 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 | 118 | 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 | 114 | 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 | 107 | 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 | 86 | 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 | 85 | 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 | 82 | 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 | 82 | 2003 |
MOCHA user manual R Alur, L De Alfaro, TA Henzinger, SC Krishnan, FYC Mang, S Qadeer, ... University of Berkeley Report, 2000 | 80 | 2000 |
Vyrd: verifying concurrent programs by runtime refinement-violation detection T Elmas, S Tasiran, S Qadeer ACM SIGPLAN Notices 40 (6), 27-37, 2005 | 65 | 2005 |
Simplifying linearizability proofs with reduction and abstraction T Elmas, S Qadeer, A Sezgin, O Subasi, S Tasiran Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 61 | 2010 |
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 | 61 | 2001 |
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 | 49 | 1998 |
Detecting JavaScript races that matter E Mutlu, S Tasiran, B Livshits Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 48 | 2015 |
An assume-guarantee rule for checking simulation TA Henzinger, S Qadeer, SK Rajamani, S Tasiran ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (1), 51-64, 2002 | 48 | 2002 |
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 | 47 | 2020 |