skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: autor: Jacobs, Swen remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Tight Cutoffs for Guarded Protocols with Fairness
Tight Cutoffs for Guarded Protocols with Fairness
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Tight Cutoffs for Guarded Protocols with Fairness

Außerlechner, Simon ; Jacobs, Swen ; Khalimov, Ayrat

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems

Bloem, Roderick ; Braud-Santoni, Nicolas ; Jacobs, Swen

Computer Aided Verification, p.157-176 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Automatic Verification of Parametric Specifications with Complex Topologies
Automatic Verification of Parametric Specifications with Complex Topologies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automatic Verification of Parametric Specifications with Complex Topologies

Faber, Johannes ; Ihlemann, Carsten ; Jacobs, Swen ; Sofronie-Stokkermans, Viorica

arXiv.org, 2010-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Automatic Verification of Parametric Specifications with Complex Topologies
Automatic Verification of Parametric Specifications with Complex Topologies
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Automatic Verification of Parametric Specifications with Complex Topologies

Faber, Johannes ; Ihlemann, Carsten ; Jacobs, Swen ; Sofronie-Stokkermans, Viorica

Springer Berlin / Heidelberg 2010

Sem texto completo

Citações Citado por
5
Parameterized Model Checking of Token-Passing Systems
Parameterized Model Checking of Token-Passing Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Model Checking of Token-Passing Systems

Aminof, Benjamin ; Jacobs, Swen ; Khalimov, Ayrat ; Rubin, Sasha

arXiv.org, 2013-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Parameterized Synthesis
Parameterized Synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Synthesis

Jacobs, Swen ; Bloem, Roderick

arXiv.org, 2014-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Parameterized Synthesis
Parameterized Synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Synthesis

Jacobs, Swen ; Bloem, Roderick

Logical methods in computer science, 2014-02, Vol.10, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
8
Parameterized Synthesis Case Study: AMBA AHB
Parameterized Synthesis Case Study: AMBA AHB
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterized Synthesis Case Study: AMBA AHB

Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat

arXiv.org, 2014-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
How to Handle Assumptions in Synthesis
How to Handle Assumptions in Synthesis
Material Type:
Artigo 		Adicionar ao Meu Espaço

How to Handle Assumptions in Synthesis

Bloem, Roderick ; Ehlers, Rüdiger ; Jacobs, Swen ; Könighofer, Robert

arXiv.org, 2014-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
Material Type:
Artigo 		Adicionar ao Meu Espaço

Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information

Bloem, Roderick ; Chatterjee, Krishnendu ; Jacobs, Swen ; Koenighofer, Robert

arXiv.org, 2014-11

Ithaca: Cornell University Library, arXiv.org

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. Recursos Online (33)
  2. Revistas revisadas por pares (10)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (30)
  2. Book Chapters  (4)
  3. Anais de Congresso  (3)
  4. Conjunto de Dados  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2013  (3)
  2. 2013Até2014  (6)
  3. 2015Até2016  (10)
  4. 2017Até2019  (9)
  5. Após 2019  (14)
  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.