Gilles Barthe
AuthID: R-00H-7MM
171
TÃTULO: A Tool-Assisted Framework for Certified Bytecode Verification
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2004, FONTE: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, VOLUME: 2984
AUTORES: Gilles Barthe; Guillaume Dufay;
PUBLICAÇÃO: 2004, FONTE: Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings, VOLUME: 2984
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP172
TÃTULO: Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
AUTORES: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLICAÇÃO: 2004, FONTE: J. Funct. Program., VOLUME: 14, NÚMERO: 1
AUTORES: Gilles Barthe; Peter Dybjer; Peter Thiemann;
PUBLICAÇÃO: 2004, FONTE: J. Funct. Program., VOLUME: 14, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP173
TÃTULO: Type-based termination of recursive definitions
AUTORES: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLICAÇÃO: 2004, FONTE: Math. Struct. Comput. Sci., VOLUME: 14, NÚMERO: 1
AUTORES: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLICAÇÃO: 2004, FONTE: Math. Struct. Comput. Sci., VOLUME: 14, NÚMERO: 1
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP174
TÃTULO: A Machine-Checked Formalization of the Random Oracle Model
AUTORES: Gilles Barthe; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, VOLUME: 3839
AUTORES: Gilles Barthe; Sabrina Tarento;
PUBLICAÇÃO: 2004, FONTE: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, VOLUME: 3839
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP175
TÃTULO: Security Types Preserving Compilation: (Extended Abstract)
AUTORES: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, VOLUME: 2937
AUTORES: Gilles Barthe; Amitabh Basu; Tamara Rezk;
PUBLICAÇÃO: 2004, FONTE: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, VOLUME: 2937
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP176
TÃTULO: International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl, Germany, July 8, 2002
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2003, FONTE: TIP@MPC, VOLUME: 75
AUTORES: Gilles Barthe; Peter Thiemann;
PUBLICAÇÃO: 2003, FONTE: TIP@MPC, VOLUME: 75
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP177
TÃTULO: Pure patterns type systems
AUTORES: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLICAÇÃO: 2003, FONTE: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003
AUTORES: Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori;
PUBLICAÇÃO: 2003, FONTE: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP178
TÃTULO: Validation of the JavaCard Platform with Implicit Induction Techniques
AUTORES: Gilles Barthe; Sorin Stratulat;
PUBLICAÇÃO: 2003, FONTE: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, VOLUME: 2706
AUTORES: Gilles Barthe; Sorin Stratulat;
PUBLICAÇÃO: 2003, FONTE: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, VOLUME: 2706
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP179
TÃTULO: Setoids in type theory
AUTORES: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLICAÇÃO: 2003, FONTE: J. Funct. Program., VOLUME: 13, NÚMERO: 2
AUTORES: Gilles Barthe; Venanzio Capretta; Olivier Pons;
PUBLICAÇÃO: 2003, FONTE: J. Funct. Program., VOLUME: 13, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP180
TÃTULO: Compositional Verification of Secure Applet Interactions
AUTORES: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, VOLUME: 2306
AUTORES: Gilles Barthe; Dilian Gurov; Marieke Huisman;
PUBLICAÇÃO: 2002, FONTE: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, VOLUME: 2306
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP