skip to main content
Idioma:
Mostrar Somente
Refinado por: data de publicação: Após 2018 remover tipo de recurso: Anais de Congresso remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Multinomial and Hypergeometric Distributions in Markov Categories
Multinomial and Hypergeometric Distributions in Markov Categories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Multinomial and Hypergeometric Distributions in Markov Categories

Jacobs, Bart

Electronic proceedings in theoretical computer science, 2021, Vol.351, p.98-115

Texto completo disponível

Citações Citado por
2
Learning from What's Right and Learning from What's Wrong
Learning from What's Right and Learning from What's Wrong
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Learning from What's Right and Learning from What's Wrong

Jacobs, Bart

Electronic proceedings in theoretical computer science, 2021, Vol.351, p.116-133

Texto completo disponível

Citações Citado por
3
Overdrawing Urns using Categories of Signed Probabilities
Overdrawing Urns using Categories of Signed Probabilities
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Overdrawing Urns using Categories of Signed Probabilities

Jacobs, Bart ; Stein, Dario

Electronic proceedings in theoretical computer science, 2023, Vol.397, p.172-189

Texto completo disponível

Citações Citado por
4
Ghost Signals: Verifying Termination of Busy Waiting
Ghost Signals: Verifying Termination of Busy Waiting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Ghost Signals: Verifying Termination of Busy Waiting

Reinhard, Tobias ; Jacobs, Bart Silva, A ; Leino, KRM

Lecture Notes in Computer Science, 2021, Vol.12760, p.27-50 [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

Citações Citado por
5
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Uniqueness Types for Efficient and Verifiable Aliasing-Free Embedded Systems Programming

Benoit, Tuur ; Jacobs, Bart Tarifa, SLT ; Ahrendt, W

Integrated Formal Methods. IFM 2019, 2019, Vol.11918, p.46-64 [Periódico revisado por pares]

Springer

Texto completo disponível

Citações Citado por
6
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs
Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs

Jacobs, Bart

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. ISoLA 2020, 2020, Vol.12476, p.509-524

Springer

Texto completo disponível

Citações Citado por
7
Verifying C++ Dynamic Binding
Verifying C++ Dynamic Binding
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Verifying C++ Dynamic Binding

Mommen, Niels ; Jacobs, Bart Tomb, A

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023, p.1-7

Association for Computing Machinery

Texto completo disponível

Citações Citado por
8
Completeness Thresholds for Memory Safety of Array Traversing Programs
Completeness Thresholds for Memory Safety of Array Traversing Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Completeness Thresholds for Memory Safety of Array Traversing Programs

Reinhard, Tobias ; Fasse, Justus ; Jacobs, Bart Hadarean, L ; Ferrara, P

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023, p.47-54

New York, NY, USA: Association for Computing Machinery

Texto completo disponível

Citações Citado por
9
Transferring Obligations Through Synchronizations
Transferring Obligations Through Synchronizations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Transferring Obligations Through Synchronizations

Hamin, Jafar ; Jacobs, bart

33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019, Vol.134, p.19:1-19:58

Dagstuhl, Germany: Dagstuhl LIPIcs

Texto completo disponível

Citações Citado por
10
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit

Reinhard, Tobias ; Timany, Amin ; Jacobs, Bart

Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020, p.26-32

ACM

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Revistas revisadas por pares (2)

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

Buscando em bases de dados remotas. Favor aguardar.