| Z3str3: A string solver with theory-aware heuristics M Berzish, V Ganesh, Y Zheng Formal Methods in Computer Aided Design (FMCAD), 2017, 55-59, 2017 | 78 | 2017 |
| StringFuzz: A Fuzzer for String Solvers D Blotsky, F Mora, M Berzish, Y Zheng, I Kabir, V Ganesh International Conference on Computer Aided Verification, 45-51, 2018 | 75 | 2018 |
| Z3str2: an efficient solver for strings, regular expressions, and length constraints Y Zheng, V Ganesh, S Subramanian, O Tripp, M Berzish, J Dolby, ... Formal Methods in System Design 50, 249-288, 2017 | 67 | 2017 |
| Multi-objective radiation therapy optimization method J Fiege, B McCurdy, P Potrebko, A Cull, H Champion, M Berzish US Patent 9,507,886, 2016 | 56 | 2016 |
| An SMT Solver for Regular Expressions and Linear Arithmetic over String Length M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ... International Conference on Computer Aided Verification, 289-312, 2021 | 40 | 2021 |
| Z3str4: A multi-armed string solver F Mora, M Berzish, M Kulczynski, D Nowotka, V Ganesh Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 27 | 2021 |
| Undecidability of a theory of strings, linear arithmetic over length, and string-number conversion V Ganesh, M Berzish arXiv preprint arXiv:1605.09442, 2016 | 24 | 2016 |
| Towards more efficient methods for solving regular-expression heavy string constraints M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ... Theoretical Computer Science 943, 50-72, 2023 | 17 | 2023 |
| Z3str3: A string solver with theory-aware branching M Berzish, Y Zheng, V Ganesh arXiv preprint arXiv:1704.07935, 2017 | 15 | 2017 |
| String theories involving regular membership predicates: from practice to theory and back M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ... Combinatorics on Words: 13th International Conference, WORDS 2021, Rouen …, 2021 | 14 | 2021 |
| Real-time FPGA simulation of surrogate models of large spiking networks M Berzish, C Eliasmith, B Tripp Artificial Neural Networks and Machine Learning–ICANN 2016: 25th …, 2016 | 13 | 2016 |
| Anonymizing sensitive data in logic problems for input to a constraint solver MW Whalen, C Varming, N Rungta, AJ Gacek, M Berzish US Patent 11,093,641, 2021 | 10 | 2021 |
| A solver for a theory of strings and bit-vectors S Subramanian, M Berzish, O Tripp, V Ganesh Software Engineering Companion (ICSE-C), 2017 IEEE/ACM 39th International …, 2017 | 10 | 2017 |
| Z3str4: A Solver for Theories over Strings M Berzish University of Waterloo, 2021 | 9 | 2021 |
| Manifold: An smt-based declarative language for electronic and microfluidic design synthesis M Berzish, A Khan, A Zaman, V Ganesh, D Rayside Proceedings of the 26th Annual International Conference on Computer Science …, 2016 | 3 | 2016 |
| A digital hardware design for real-time simulation of large neural-system models in physical settings M Berzish, B Tripp BMC Neuroscience 15 (Suppl 1), P21, 2014 | 3 | 2014 |
| Z3str4 String Solver: System Description M Berzish, F Mora, M Kulczynski, D Nowotka, V Ganesh SMT-COMP, 2020 | 2 | 2020 |
| Manifold 2.0: A hardware description language for microfluidic devices N Klassen, M Lyons, M Prysiazny, P Roth, P Socha, M Berzish, A Zaman, ... 2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering …, 2017 | 2 | 2017 |
| A software toolchain for physical system description and synthesis, and applications to microfluidic design automation M Berzish University of Waterloo, 2016 | 2 | 2016 |
| A length-aware regular expression SMT solver M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ... arXiv preprint arXiv:2010.07253, 2020 | 1 | 2020 |
