The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nikolaj Bjørner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002