skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Bloem, Roderick remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formula Slicing: Inductive Invariants from Preconditions
Formula Slicing: Inductive Invariants from Preconditions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formula Slicing: Inductive Invariants from Preconditions

Bloem, Roderick ; Arbel, Eli

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.169-185 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
2
Cooperative Reactive Synthesis
Cooperative Reactive Synthesis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Cooperative Reactive Synthesis

Finkbeiner, Bernd ; Pu, Geguang ; Zhang, Lijun

Automated Technology for Verification and Analysis, 2015, Vol.9364, p.394-410 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
SAT-Based Synthesis Methods for Safety Specs
SAT-Based Synthesis Methods for Safety Specs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

SAT-Based Synthesis Methods for Safety Specs

Bloem, Roderick ; Könighofer, Robert ; Seidl, Martina

Verification, Model Checking, and Abstract Interpretation, p.1-20 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Case Study: Automatic Test Case Generation for a Secure Cache Implementation
Case Study: Automatic Test Case Generation for a Secure Cache Implementation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Case Study: Automatic Test Case Generation for a Secure Cache Implementation

Blanchette, Jasmin Christian ; Kosmatov, Nikolai

Tests and Proofs, 2015, Vol.9154, p.58-75 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
5
Efficient Büchi Automata from LTL Formulae
Efficient Büchi Automata from LTL Formulae
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Efficient Büchi Automata from LTL Formulae

Somenzi, Fabio ; Bloem, Roderick

Computer Aided Verification, 2000, p.248-263 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Improving Priority Promotion for Parity Games
Improving Priority Promotion for Parity Games
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Improving Priority Promotion for Parity Games

Bloem, Roderick ; Arbel, Eli

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.117-133 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
Gating Aware Error Injection
Gating Aware Error Injection
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Gating Aware Error Injection

Bloem, Roderick ; Arbel, Eli

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.34-48 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
SAT-Based Combinational and Sequential Dependency Computation
SAT-Based Combinational and Sequential Dependency Computation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

SAT-Based Combinational and Sequential Dependency Computation

Bloem, Roderick ; Arbel, Eli

Hardware and Software: Verification and Testing, 2016, Vol.10028, p.1-17 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
PARTY Parameterized Synthesis of Token Rings
PARTY Parameterized Synthesis of Token Rings
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

PARTY Parameterized Synthesis of Token Rings

Khalimov, Ayrat ; Jacobs, Swen ; Bloem, Roderick

Computer Aided Verification, p.928-933 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Generalized Reactivity(1) Synthesis without a Monolithic Strategy
Generalized Reactivity(1) Synthesis without a Monolithic Strategy
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Schlaipfer, Matthias ; Hofferek, Georg ; Bloem, Roderick

Hardware and Software: Verification and Testing, p.20-34 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (13)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (1)
  2. 2000Até2004  (1)
  3. 2005Até2011  (1)
  4. 2012Até2013  (3)
  5. Após 2013  (29)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.