| Z3: An efficient SMT solver L De Moura, N Bjørner Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 9483 | 2008 |
| Satisfiability modulo theories: introduction and applications L De Moura, N Bjørner Communications of the ACM 54 (9), 69-77, 2011 | 831 | 2011 |
| Efficient E-matching for SMT solvers L De Moura, N Bjørner Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 320 | 2007 |
| νZ - An Optimizing SMT Solver N Bjørner, AD Phan, L Fleckenstein Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 308 | 2015 |
| Universal naming scheme for peer to peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,072,982, 2006 | 304 | 2006 |
| Generalized property directed reachability K Hoder, N Bjørner Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012 | 303 | 2012 |
| Satisfiability modulo theories: An appetizer L De Moura, N Bjørner Formal Methods: Foundations and Applications: 12th Brazilian Symposium on …, 2009 | 285 | 2009 |
| Step: the stanford temporal prover Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994 | 279 | 1994 |
| Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the …, 2015 | 260 | 2015 |
| Vericon: towards verifying controller programs in software-defined networks T Ball, N Bjørner, A Gember, S Itzhaky, A Karbyshev, M Sagiv, M Schapira, ... Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 246 | 2014 |
| Universal naming scheme for peer-to-peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,200,667, 2007 | 236 | 2007 |
| Path feasibility analysis for string-manipulating programs N Bjørner, N Tillmann, A Voronkov Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 231 | 2009 |
| Checking beliefs in dynamic networks NP Lopes, N Bjørner, P Godefroid, K Jayaraman, G Varghese 12th {USENIX} symposium on networked systems design and implementation …, 2015 | 212 | 2015 |
| STeP: Deductive-algorithmic verification of reactive and real-time systems N Bjørner, A Browne, E Chang, M Colón, A Kapur, Z Manna, HB Sipma, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 196 | 1996 |
| Automatic generation of invariants and intermediate assertions N Bjørner, A Browne, Z Manna Theoretical Computer Science 173 (1), 49-87, 1997 | 193 | 1997 |
| Symbolic finite state transducers: Algorithms and applications M Veanes, P Hooimeijer, B Livshits, D Molnar, N Bjorner Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 179 | 2012 |
| Generalized, efficient array decision procedures L De Moura, N Bjørner 2009 Formal Methods in Computer-Aided Design, 45-52, 2009 | 161 | 2009 |
| On solving universally quantified horn clauses N Bjørner, K McMillan, A Rybalchenko Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 147 | 2013 |
| Verifying temporal properties of reactive systems: A STeP tutorial NS Bjørner, A Browne, MA Colón, B Finkbeiner, Z Manna, HB Sipma, ... Formal methods in system design 16, 227-270, 2000 | 142 | 2000 |
| Efficient algorithm and protocol for remote differential compression D Teodosiu, NS Bjørner, Y Gurevich, PE Bozeman US Patent 7,555,531, 2009 | 138 | 2009 |
