Search results for "Nikolaj Bjørner"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Margus Veanes, Nikolaj Bjørner	Symbolic Automata: The Toolkit.	TACAS	2012	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Andrei Voronkov (eds.)	Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings	LPAR	2012	DBLP DOI BibTeX RDF
1	Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner	Symbolic finite state transducers: algorithms and applications.	POPL	2012	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Satisfiability modulo theories: introduction and applications.	Commun. ACM	2011	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner	Foundations of Finite Symbolic Tree Transducers.	Bulletin of the EATCS	2011	DBLP BibTeX RDF
1	Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov	Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272).	Dagstuhl Reports	2011	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)	Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings	CADE	2011	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner	Symbolic Tree Transducers.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner	Engineering Theories with Z3.	CPP	2011	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Nikolaj Bjørner, Wolfram Schulte	Canonical Regular Types.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner	Engineering Theories with Z3.	APLAS	2011	DBLP DOI BibTeX RDF
1	Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura	μZ- An Efficient Engine for Fixed Points with Constraints.	CAV	2011	DBLP DOI BibTeX RDF
1	Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.	J. Autom. Reasoning	2010	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Andreas Blass, Yuri Gurevich	Content-dependent chunking for differential compression, the local maximum approach.	J. Comput. Syst. Sci.	2010	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner	Linear Quantifier Elimination as an Abstract Decision Procedure.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner, Leonardo Mendonça de Moura	Symbolic Automata Constraint Solving.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner	Alternating Simulation and IOCO.	ICTSS	2010	DBLP DOI BibTeX RDF
1	Sergio Mera, Nikolaj Bjørner	DKAL and Z3: A Logic Embedding Experiment.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte	Symbolic Bounded Model Checking of Abstract State Machines.	Int. J. Software and Informatics	2009	DBLP BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner	Symbolic Bounded Conformance Checking of Model Programs.	Ershov Memorial Conference	2009	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov	Path Feasibility Analysis for String-Manipulating Programs.	TACAS	2009	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Generalized, efficient array decision procedures.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Ethan 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	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner	Input-Output Model Programs.	ICTAC	2009	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Leonardo Mendonça de Moura	Tapas: Theory Combinations and Practical Applications.	FORMATS	2009	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner	SMT Solvers for Testing, Program Analysis and Verification at Microsoft.	SYNASC	2009	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Satisfiability Modulo Theories: An Appetizer.	SBMF	2009	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Joe Hendrix	Linear Functional Fixed-points.	CAV	2009	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Model-based Theory Combination.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Andreas Blass, Yuri Gurevich, Madan Musuvathi	Modular difference logic is hard	CoRR	2008	DBLP BibTeX RDF
1	Margus Veanes, Nikolaj Bjørner, Alexander Raschke	An SMT Approach to Bounded Reachability Analysis of Model Programs.	FORTE	2008	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Engineering DPLL(T) + Saturation.	IJCAR	2008	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.	IJCAR	2008	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Z3: An Efficient SMT Solver.	TACAS	2008	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Proofs and Refutations, and Z3.	LPAR Workshops	2008	DBLP BibTeX RDF
1	Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann	Using Dynamic Symbolic Execution to Improve Deductive Verification.	SPIN	2008	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura, Nikolaj Bjørner	Efficient E-Matching for SMT Solvers.	CADE	2007	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner	Models and Software Model Checking of a Distributed File Replication System.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe	Deductive verification of real-time systems using STeP.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	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	2000	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, César Muñoz	Absolute Explicit Unification.	RTA	2000	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Mark C. Pichora	Deiding Fixed and Non-fixed Size Bit-vectors.	TACAS	1998	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Anca Browne, Zohar Manna	Automatic Generation of Invariants and Intermediate Assertions.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Mark E. Stickel, Tomás E. Uribe	A Practical Integration of First-Order Reasoning and Decision Procedures.	CADE	1997	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe	Deductive Verification of Real-Time Systems Using STeP.	ARTS	1997	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
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	DBLP DOI BibTeX RDF
1	Nikolaj Bjørner, Anca Browne, Zohar Manna	Automatic Generation of Invariants and Assertions.	CP	1995	DBLP DOI BibTeX RDF

Publications of "Nikolaj Bjørner" ( http://dblp.L3S.de/Authors/Nikolaj_Bjørner )