Gilles Barthe


AuthID: R-00H-7MM

Publicações Confirmadas: 163



91
TÍTULO: Verifying Relational Properties using Trace Logic
AUTORES: Gilles Barthe ; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei;
PUBLICAÇÃO: 2019, FONTE: 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019
INDEXADO EM: DBLP
NO MEU: DBLP
92
TÍTULO: Verifying Relational Properties using Trace Logic PDF
AUTORES: Gilles Barthe ; Renate Eilers; Pamina Georgiou; Bernhard Gleiss; Laura Kovács; Matteo Maffei;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1906.09899
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
93
TÍTULO: Almost Sure Productivity PDF
AUTORES: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1802.06283
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
94
TÍTULO: Almost Sure Productivity
AUTORES: Alejandro Aguirre; Gilles Barthe ; Justin Hsu; Alexandra Silva;
PUBLICAÇÃO: 2018, FONTE: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, VOLUME: 107
INDEXADO EM: DBLP
NO MEU: DBLP
95
TÍTULO: An Assertion-Based Program Logic for Probabilistic Programs
AUTORES: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXADO EM: DBLP
NO MEU: DBLP
96
TÍTULO: An Assertion-Based Program Logic for Probabilistic Programs PDF
AUTORES: Gilles Barthe ; Thomas Espitau; Marco Gaboardi; Benjamin Grégoire; Justin Hsu; Pierre Yves Strub;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.05535
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
97
TÍTULO: Bidirectional Type Checking for Relational Properties PDF
AUTORES: Ezgi Çiçek; Weihao Qu; Gilles Barthe ; Marco Gaboardi; Deepak Garg;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1812.05067
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
98
TÍTULO: Facets of Software Doping PDF
AUTORES: Gilles Barthe ; Pedro R D'Argenio; Bernd Finkbeiner; Holger Hermanns;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1803.10154
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
99
TÍTULO: Formal verification of higher-order probabilistic programs PDF
AUTORES: Tetsuya Sato; Alejandro Aguirre; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Justin Hsu;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.06091
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
100
TÍTULO: hnforcing ideal-world leakage bounds in real-world secret sharing MPC frameworks
AUTORES: Almeida, JB ; Barbosa, M ; Barthe, G ; Pacheco, H ; Pereira, V ; Portela, B ;
PUBLICAÇÃO: 2018, FONTE: 31st IEEE Computer Security Foundations Symposium (CSF) held as part of the Federated Logic Conference (FLoC) in IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018), VOLUME: 2018-July
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Unpaywall
NO MEU: DBLP
Página 10 de 17. Total de resultados: 163.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service