Deductive verification of real-time systems using STeP von Bjørner, Nikolaj S., Manna, Zohar, Sipma, Henny B., Uribe, Tomás E.

Volltext

Verifying temporal properties of reactive systems: a STeP tutorial von Bjorner, Nikolaj S, Browne, Anca, Colon, Michael A, Finkbeiner, Bernd, Manna, Zohar, Sipma, Henny B, Uribe, Tomas E

Volltext

Monadic Decomposition von Veanes, Margus, Bjørner, Nikolaj, Nachmanson, Lev, Bereg, Sergey

Volltext

Preface of the special issue on the conference on formal methods in computer aided design 2018 von Bjørner, Nikolaj, Gurfinkel, Arie

Volltext

Symbolic tree automata von Veanes, Margus, Bjørner, Nikolaj

Volltext

Content-dependent chunking for differential compression, the local maximum approach von Bjørner, Nikolaj, Blass, Andreas, Gurevich, Yuri

Volltext

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets von Piskac, Ruzica, de Moura, Leonardo, Bjørner, Nikolaj

Volltext

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers von Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei

Volltext

Preface: Special Issue of Selected Extended Papers of CADE-23 von Bjørner, Nikolaj, Sofronie-Stokkermans, Viorica

Volltext

Preface for the special issue “FM15” von de Boer, Frank, Bjorner, Nikolaj

Volltext

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTICAL BYPASSING von BJORNER, Nikolaj S, SINGH, Rachee, YIN, Yawei, ARNOLD, John Frederick, GAUDETTE, Jamie

Volltext bestellen

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTICAL BYPASSING von BJORNER, Nikolaj S, SINGH, Rachee, YIN, Yawei, ARNOLD, John Frederick, GAUDETTE, Jamie

Volltext bestellen

METHODS FOR CAPACITY PROVISIONING IN WIDE AREA NETWORKS USING OPTICAL BYPASSING von BJORNER, Nikolaj S, SINGH, Rachee, YIN, Yawei, ARNOLD, John Frederick, GAUDETTE, Jamie

Volltext bestellen

Methods for capacity provisioning in wide area networks using optical bypassing von Bjorner, Nikolaj S, Gaudette, Jamie, Arnold, John Frederick, Singh, Rachee, Yin, Yawei

Volltext bestellen

Matching based pattern inference for SMT solvers von de Moura Leonardo Mendonca, Bjorner Nikolaj S

Volltext bestellen

Satisfiability modulo theories for high integrity development von Bjorner, Nikolaj

Volltext

Special Issue on Selected Extended Papers of CADE-23 von BJORNER, Nikolaj, SOFRONIC-STOKKERMANS, Viorica

Volltext

Property-Directed Inference of Universal Invariants or Proving Their Absence von Karbyshev, Aleksandr, Bjørner, Nikolaj, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Volltext

Algebra-Based Reasoning for Loop Synthesis von Humenberger, Andreas, Amrollahi, Daneshvar, Bjørner, Nikolaj, Kovács, Laura

Volltext

System and method for compact form exhaustive analysis of security policies von Jayaraman Karthick, Bjorner Nikolaj S, Kaufman Charles W

Volltext bestellen