Z3: An efficient SMT solver L De Moura, N Bjørner International conference on Tools and Algorithms for the Construction and …, 2008 | 11321 | 2008 |
Satisfiability modulo theories: introduction and applications L De Moura, N Bjørner Communications of the ACM 54 (9), 69-77, 2011 | 938 | 2011 |
Efficient E-matching for SMT solvers L De Moura, N Bjørner Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007 | 374 | 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 | 360 | 2015 |
Generalized property directed reachability K Hoder, N Bjørner International Conference on Theory and Applications of Satisfiability …, 2012 | 334 | 2012 |
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 | 326 | 2015 |
Satisfiability modulo theories: An appetizer L De Moura, N Bjørner Brazilian Symposium on Formal Methods, 23-36, 2009 | 310 | 2009 |
Universal naming scheme for peer to peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,072,982, 2006 | 310 | 2006 |
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 | 265 | 2014 |
STeP: The stanford temporal prover Z Manna, N Bjørner, A Browne, E Chang, M Colón, L de Alfaro, ... TAPSOFT'95: Theory and Practice of Software Development: 6th International …, 1995 | 252 | 1995 |
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 (NSDI …, 2015 | 241 | 2015 |
Universal naming scheme for peer-to-peer resources D Teodosiu, NS Bjorner, MM Breunig US Patent 7,200,667, 2007 | 241 | 2007 |
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 | 237 | 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, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 198 | 1996 |
Automatic generation of invariants and intermediate assertions N Bjørner, A Browne, Z Manna Theoretical Computer Science 173 (1), 49-87, 1997 | 194 | 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 | 193 | 2012 |
Generalized, efficient array decision procedures L De Moura, N Bjørner 2009 Formal Methods in Computer-Aided Design, 45-52, 2009 | 182 | 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 | 166 | 2013 |
Efficient algorithm and protocol for remote differential compression D Teodosiu, NS Bjørner, Y Gurevich, PE Bozeman US Patent 7,555,531, 2009 | 151 | 2009 |
Guiding high-performance SAT solvers with unsat-core predictions D Selsam, N Bjørner Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019 | 145 | 2019 |