| Z3: An efficient SMT solver L De Moura, N Bjørner International conference on Tools and Algorithms for the Construction and …, 2008 | 7554 | 2008 |
| Satisfiability modulo theories: introduction and applications L De Moura, N Bjørner Communications of the ACM 54 (9), 69-77, 2011 | 669 | 2011 |
| Universal naming scheme for peer to peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,072,982, 2006 | 281 | 2006 |
| Efficient E-matching for SMT solvers L De Moura, N Bjørner International Conference on Automated Deduction, 183-198, 2007 | 277 | 2007 |
| Step: the stanford temporal prover Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994 | 271 | 1994 |
| Generalized property directed reachability K Hoder, N Bjørner International Conference on Theory and Applications of Satisfiability …, 2012 | 259 | 2012 |
| Satisfiability modulo theories: An appetizer L De Moura, N Bjørner Brazilian Symposium on Formal Methods, 23-36, 2009 | 252 | 2009 |
| νZ - An Optimizing SMT Solver N Bjørner, AD Phan, L Fleckenstein International Conference on Tools and Algorithms for the Construction and …, 2015 | 232 | 2015 |
| Universal naming scheme for peer-to-peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,200,667, 2007 | 215 | 2007 |
| 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 | 213 | 2014 |
| Path feasibility analysis for string-manipulating programs N Bjørner, N Tillmann, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2009 | 209 | 2009 |
| 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, ... International Conference on Computer Aided Verification, 415-418, 1996 | 192 | 1996 |
| Automatic generation of invariants and intermediate assertions N Bjørner, A Browne, Z Manna Theoretical Computer Science 173 (1), 49-87, 1997 | 185 | 1997 |
| Horn clause solvers for program verification N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko Fields of Logic and Computation II, 24-51, 2015 | 176 | 2015 |
| 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 | 165 | 2015 |
| 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 | 162 | 2012 |
| 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 (3), 227-270, 2000 | 138 | 2000 |
| Generalized, efficient array decision procedures L De Moura, N Bjørner 2009 Formal Methods in Computer-Aided Design, 45-52, 2009 | 136 | 2009 |
| On solving universally quantified horn clauses N Bjørner, K McMillan, A Rybalchenko International Static Analysis Symposium, 105-125, 2013 | 128 | 2013 |
| Efficient algorithm and protocol for remote differential compression D Teodosiu, NS Bjørner, Y Gurevich, PE Bozeman US Patent 7,555,531, 2009 | 117 | 2009 |
