Gilles Barthe
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and ... Computer Science and General Issues)


Gilles Barthe



From the Back Cover This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 20...
Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)

Foundations of Security Analysis and Design V: FOSAD 2008 2009 Tutorial Lectures (Lecture Notes in Computer Science Security and Cryptology)


Alessandro Aldini, Gilles Barthe, Roberto Gorrieri



Review From the reviews: “This is a compilation of selected tutorial papers from the 2007 to 2009 Foundations o...
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering)

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering)


Gilles Barthe



Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering)...
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology)


Benjamin Gregoire, Gilles Barthe, Marieke Huisman



This book constitutes the refereed proceedings of the 25th International Conference on Computer Safety, Reliability, and Security...
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures


Gilles Barthe, Joao Saraiva, Luis Pinto, Peter Dybjer



Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures...
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)


Gilles Barthe, Manuel Hermenegildo



This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract ...
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004


Gilles Barthe, Jean-Louis Lanet, Lilian Burdy, Marieke Huisman, Traian Muntean



This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on con...