Gilles Barthe

9 published titles

Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures

(Contributor)

1 edition

Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers

(Contributor)

1 edition

Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

(Contributor)

1 edition

Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures

(Contributor)

1 edition

Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. proceedings

(Contributor)

1 edition

Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2011, Sarbrücken, Germany

(Contributor)

1 edition

Software engineering and formal methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18 2011 : proceedings

(Contributor)

1 edition

Engineering secure software and systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings

(Contributor)

1 edition

Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14 2011 : revised selected papers

(Contributor)

1 edition