关注
Nikolaj Bjorner
Nikolaj Bjorner
Microsoft Research
在 cs.stanford.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Z3: An efficient SMT solver
L De Moura, N Bjørner
International conference on Tools and Algorithms for the Construction and …, 2008
107312008
Satisfiability modulo theories: introduction and applications
L De Moura, N Bjørner
Communications of the ACM 54 (9), 69-77, 2011
8972011
Efficient E-matching for SMT solvers
L De Moura, N Bjørner
Automated Deduction–CADE-21: 21st International Conference on Automated …, 2007
3582007
νZ - An Optimizing SMT Solver
N Bjørner, AD Phan, L Fleckenstein
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
3462015
Generalized property directed reachability
K Hoder, N Bjørner
International Conference on Theory and Applications of Satisfiability …, 2012
3252012
Universal naming scheme for peer to peer resources
D Teodosiu, NS Bjorner, MM Breunig
US Patent 7,072,982, 2006
3102006
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
3032015
Satisfiability modulo theories: An appetizer
L De Moura, N Bjørner
Brazilian Symposium on Formal Methods, 23-36, 2009
3032009
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
2602014
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
2511995
Universal naming scheme for peer-to-peer resources
D Teodosiu, NS Bjorner, MM Breunig
US Patent 7,200,667, 2007
2412007
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
2342009
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
2332015
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
1981996
Automatic generation of invariants and intermediate assertions
N Bjørner, A Browne, Z Manna
Theoretical Computer Science 173 (1), 49-87, 1997
1941997
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
1902012
Generalized, efficient array decision procedures
L De Moura, N Bjørner
2009 Formal Methods in Computer-Aided Design, 45-52, 2009
1752009
On solving universally quantified horn clauses
N Bjørner, K McMillan, A Rybalchenko
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013
1602013
Efficient algorithm and protocol for remote differential compression
D Teodosiu, NS Bjørner, Y Gurevich, PE Bozeman
US Patent 7,555,531, 2009
1522009
Automatically verifying reachability and well-formedness in P4 Networks
N Lopes, N Bjørner, N McKeown, A Rybalchenko, D Talayco, G Varghese
Technical Report, Tech. Rep, 2016
1442016
系统目前无法执行此操作,请稍后再试。
文章 1–20