Nikolaj Bjørner

2009
21	EE	Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov: Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321
2008
20	EE	Margus Veanes, Nikolaj Bjørner, Alexander Raschke: An SMT Approach to Bounded Reachability Analysis of Model Programs. FORTE 2008: 53-68
19	EE	Leonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. IJCAR 2008: 410-425
18	EE	Leonardo Mendonça de Moura, Nikolaj Bjørner: Engineering DPLL(T) + Saturation. IJCAR 2008: 475-490
17	EE	Leonardo Mendonça de Moura, Nikolaj Bjørner: Proofs and Refutations, and Z3. LPAR Workshops 2008
16	EE	Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann: Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
15	EE	Leonardo Mendonça de Moura, Nikolaj Bjørner: Z3: An Efficient SMT Solver. TACAS 2008: 337-340
14	EE	Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi: Modular difference logic is hard CoRR abs/0811.0987: (2008)
13	EE	Leonardo Mendonça de Moura, Nikolaj Bjørner: Model-based Theory Combination. Electr. Notes Theor. Comput. Sci. 198(2): 37-49 (2008)
2007
12	EE	Leonardo Mendonça de Moura, Nikolaj Bjørner: Efficient E-Matching for SMT Solvers. CADE 2007: 183-198
11	EE	Nikolaj Bjørner: Models and Software Model Checking of a Distributed File Replication System. Formal Methods and Hybrid Real-Time Systems 2007: 1-23
2001
10	EE	Nikolaj 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
9		Nikolaj 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
7	EE	Nikolaj 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
5		Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe: A Practical Integration of First-Order Reasoning and Decision Procedures. CADE 1997: 101-115
4	EE	Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173(1): 49-87 (1997)
1996
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. CAV 1996: 415-418
1995
2		Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Assertions. CP 1995: 589-623
1		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. TAPSOFT 1995: 793-794

Coauthor Index

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

Colors in the list of coauthors