dblp.uni-trier.dewww.uni-trier.de

Nikolaj Bjørner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
25EENikolaj Bjørner, Joe Hendrix: Linear Functional Fixed-points. CAV 2009: 124-139
24EENikolaj Bjørner, Leonardo Mendonça de Moura: Tapas: Theory Combinations and Practical Applications. FORMATS 2009: 1-6
23EEMargus Veanes, Nikolaj Bjørner: Input-Output Model Programs. ICTAC 2009: 322-335
22EEEthan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89
21EENikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
2008
20EEMargus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68
19EELeonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. IJCAR 2008: 410-425
18EELeonardo Mendonça de Moura, Nikolaj Bjørner: Engineering DPLL(T) + Saturation. IJCAR 2008: 475-490
17EELeonardo Mendonça de Moura, Nikolaj Bjørner: Proofs and Refutations, and Z3. LPAR Workshops 2008
16EEDries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
15EELeonardo Mendonça de Moura, Nikolaj Bjørner: Z3: An Efficient SMT Solver. TACAS 2008: 337-340
14EENikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi: Modular difference logic is hard CoRR abs/0811.0987: (2008)
13EELeonardo Mendonça de Moura, Nikolaj Bjørner: Model-based Theory Combination. Electr. Notes Theor. Comput. Sci. 198(2): 37-49 (2008)
2007
12EELeonardo Mendonça de Moura, Nikolaj Bjørner: Efficient E-Matching for SMT Solvers. CADE 2007: 183-198
11EENikolaj Bjørner: Models and Software Model Checking of a Distributed File Replication System. Formal Methods and Hybrid Real-Time Systems 2007: 1-23
2001
10EENikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253(1): 27-60 (2001)
2000
9EENikolaj Bjørner, César Muñoz: Absolute Explicit Unification. RTA 2000: 31-46
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. Formal Methods in System Design 16(3): 227-270 (2000)
1998
7EENikolaj Bjørner, Mark C. Pichora: Deiding Fixed and Non-fixed Size Bit-vectors. TACAS 1998: 376-392
1997
6 Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43
5EENikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe: A Practical Integration of First-Order Reasoning and Decision Procedures. CADE 1997: 101-115
4EENikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173(1): 49-87 (1997)
1996
3EENikolaj 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. CAV 1996: 415-418
1995
2 Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Assertions. CP 1995: 589-623
1EEZohar 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. TAPSOFT 1995: 793-794

Coauthor Index

1Luca de Alfaro [1]
2Andreas Blass [14]
3Anca Browne (I. A. Draghicescu) [1] [2] [3] [4] [8]
4Edward Y. Chang [1] [3]
5Michael Colón [1] [3] [8]
6Markus Dahlweid [22]
7Harish Devarajan [1]
8Bernd Finkbeiner [8]
9Yuri Gurevich [14]
10Jonathan de Halleux [16]
11Joe Hendrix [25]
12Ethan K. Jackson [22]
13Arjun Kapur [1] [3]
14Jaejin Lee [1]
15Zohar Manna [1] [2] [3] [4] [6] [8] [10]
16Leonardo Mendonça de Moura [12] [13] [15] [17] [18] [19] [24]
17César Muñoz [9]
18Madan Musuvathi [14]
19Mark C. Pichora [7]
20Alexander Raschke [20]
21Thomas Santen [22]
22Wolfram Schulte [16] [22]
23Dirk Seifert [22]
24Henny B. Sipma (Henny Sipma) [1] [3] [6] [8] [10]
25Mark E. Stickel [5]
26Nikolai Tillmann [16] [21]
27Tomás E. Uribe [1] [3] [5] [6] [8] [10]
28Dries Vanoverberghe [16]
29Margus Veanes [20] [23]
30Andrei Voronkov [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)