Nikolaj Bjorner
Nikolaj Bjorner
Microsoft Research
Bestätigte E-Mail-Adresse bei cs.stanford.edu
Titel
Zitiert von
Zitiert von
Jahr
Z3: An efficient SMT solver
L De Moura, N Bjørner
International conference on Tools and Algorithms for the Construction and …, 2008
68222008
Satisfiability modulo theories: introduction and applications
L De Moura, N Bjørner
Communications of the ACM 54 (9), 69-77, 2011
6092011
Step: the stanford temporal prover
Z Manna, A Anuchitanukul, N Bjorner, A Browne, E Chang
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE, 1994
2741994
Universal naming scheme for peer to peer resources
D Teodosiu, NS Bjorner, MM Breunig
US Patent 7,072,982, 2006
2732006
Efficient E-matching for SMT solvers
L De Moura, N Bjørner
International Conference on Automated Deduction, 183-198, 2007
2582007
Generalized property directed reachability
K Hoder, N Bjørner
International Conference on Theory and Applications of Satisfiability …, 2012
2412012
Satisfiability modulo theories: An appetizer
L De Moura, N Bjørner
Brazilian Symposium on Formal Methods, 23-36, 2009
2322009
Universal naming scheme for peer-to-peer resources
D Teodosiu, NS Bjorner, MM Breunig
US Patent 7,200,667, 2007
2082007
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
2012014
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
2012009
νZ - An Optimizing SMT Solver
N Bjørner, AD Phan, L Fleckenstein
International Conference on Tools and Algorithms for the Construction and …, 2015
1972015
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
1941996
Automatic generation of invariants and intermediate assertions
N Bjørner, A Browne, Z Manna
Theoretical Computer Science 173 (1), 49-87, 1997
1861997
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
1492012
Horn clause solvers for program verification
N Bjørner, A Gurfinkel, K McMillan, A Rybalchenko
Fields of Logic and Computation II, 24-51, 2015
1472015
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
1452015
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
1372000
Generalized, efficient array decision procedures
L De Moura, N Bjørner
2009 Formal Methods in Computer-Aided Design, 45-52, 2009
1282009
On solving universally quantified horn clauses
N Bjørner, K McMillan, A Rybalchenko
International Static Analysis Symposium, 105-125, 2013
1162013
Locator and tracking service for peer to peer resources
D Teodosiu, NS Bjorner, MM Breunig
US Patent 7,594,030, 2009
1112009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20