Search the dblp DataBase

Publications of Author

1. Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
   Deductive Verification of Real-Time Systems Using STeP. [Citation Graph (0, 0)][DBLP]
   ARTS, 1997, pp:22-43 [Conf]
   
2. Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe
   A Practical Integration of First-Order Reasoning and Decision Procedures. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:101-115 [Conf]
   
3. Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe
   STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 1996, pp:415-418 [Conf]
   
4. Nikolaj Bjørner, Anca Browne, Zohar Manna
   Automatic Generation of Invariants and Assertions. [Citation Graph (0, 0)][DBLP]
   CP, 1995, pp:589-623 [Conf]
   
5. Nikolaj Bjørner, César Muñoz
   Absolute Explicit Unification. [Citation Graph (0, 0)][DBLP]
   RTA, 2000, pp:31-46 [Conf]
   
6. Nikolaj Bjørner, Mark C. Pichora
   Deiding Fixed and Non-fixed Size Bit-vectors. [Citation Graph (0, 0)][DBLP]
   TACAS, 1998, pp:376-392 [Conf]
   
7. Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe
   STeP: The Stanford Temporal Prover. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1995, pp:793-794 [Conf]
   
8. Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe
   Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2000, v:16, n:3, pp:227-270 [Journal]
   
9. Nikolaj Bjørner, Anca Browne, Zohar Manna
   Automatic Generation of Invariants and Intermediate Assertions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:173, n:1, pp:49-87 [Journal]
   
10. Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe
    Deductive verification of real-time systems using STeP. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:27-60 [Journal]
    
11. Nikolaj Bjørner
    Models and Software Model Checking of a Distributed File Replication System. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:1-23 [Conf]
    
12. Leonardo Mendonça de Moura, Nikolaj Bjørner
    Efficient E-Matching for SMT Solvers. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:183-198 [Conf]
    
13. 
    DKAL and Z3: A Logic Embedding Experiment. [Citation Graph (, )][DBLP]
    
    
14. 
    Engineering DPLL(T) + Saturation. [Citation Graph (, )][DBLP]
    
    
15. 
    Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. [Citation Graph (, )][DBLP]
    
    
16. 
    Linear Quantifier Elimination as an Abstract Decision Procedure. [Citation Graph (, )][DBLP]
    
    
17. 
    Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development. [Citation Graph (, )][DBLP]
    
    
18. 
    Linear Functional Fixed-points. [Citation Graph (, )][DBLP]
    
    
19. 
    Symbolic Bounded Conformance Checking of Model Programs. [Citation Graph (, )][DBLP]
    
    
20. 
    Generalized, efficient array decision procedures. [Citation Graph (, )][DBLP]
    
    
21. 
    Tapas: Theory Combinations and Practical Applications. [Citation Graph (, )][DBLP]
    
    
22. 
    An SMT Approach to Bounded Reachability Analysis of Model Programs. [Citation Graph (, )][DBLP]
    
    
23. 
    Input-Output Model Programs. [Citation Graph (, )][DBLP]
    
    
24. 
    Proofs and Refutations, and Z3. [Citation Graph (, )][DBLP]
    
    
25. 
    Specifying and Composing Non-functional Requirements in Model-Based Development. [Citation Graph (, )][DBLP]
    
    
26. 
    Using Dynamic Symbolic Execution to Improve Deductive Verification. [Citation Graph (, )][DBLP]
    
    
27. 
    Z3: An Efficient SMT Solver. [Citation Graph (, )][DBLP]
    
    
28. 
    Path Feasibility Analysis for String-Manipulating Programs. [Citation Graph (, )][DBLP]
    
    
29. 
    Satisfiability Modulo Theories: An Appetizer. [Citation Graph (, )][DBLP]
    
    
30. 
    Modular difference logic is hard [Citation Graph (, )][DBLP]
    
    
31. 
    Model-based Theory Combination. [Citation Graph (, )][DBLP]