Skip to contents

Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken

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, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6602
Barthe, Gilles [Editor] ; CASSIS 2004 Marseille

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3362
Barthe, Gilles [Editor] ; International Summer School on Applied Semantics 2000 Caminha

Applied semantics : international summer school ; advanced lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2395
Barthe, Gilles [Editor]; Hermenegildo, Manuel [Other] ; VMCAI 11 2010 Madrid

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5944
Barthe, Gilles [Editor]; Fournet, Cédric [Other] ; TGC 3 2007 Sophia Antipolis

Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4912
Barthe, Gilles [Editor]; Pardo, Alberto [Other]; Schneider, Gerardo [Other] ; SEFM 9 2011 Montevideo

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 7041
Barthe, Gilles [Editor]; Boer, Frank S. de [Other] ; FMOODS 10 2008 Oslo

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4 - 6, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5051
Barthe, Gilles [Editor]; Grégoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other] ; CASSIS 2 2005 Nizza

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 3956
Barthe, Gilles [Editor] ; International Conference on Logic for Programming, Artificial Intelligence and Reasoning 22. 2018 Awassa

LPAR-22 : 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

View online
Schließen

Access

https://easychair.org/publications/volume/LPAR-22

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, October 23, 2018

Published in: EPiC series in computing ; 57
Barthe, Gilles [Author] ; Livshits, Benjamin [Other]; Scandariato, Riccardo [Other]

Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Published in: Lecture notes in computer science ; 7159
Barthe, Gilles [Author] ; Datta, Anupam [Other]; Etalle, Sandro [Other]

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

Published in: Lecture notes in computer science ; 7140
Barthe, Gilles [Author] ; Livshits, Benjamin [Contributor]; Scandariato, Riccardo [Contributor] ACM Special Interest Group on Software Engineering

Proceedings of the 4th international conference on Engineering Secure Software and Systems

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.5555/2187203

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag, 2012

Published in: ACM Other conferences- ACM Digital Library
Barthe, Gilles [Author] ; Hermenegildo, Manuel [Contributor]

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

View online
Schließen

Access

https://dl.acm.org/action/showBook?doi=10.5555/2127753

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag, 2010

Published in: ACM Conferences- ACM Digital Library
Barthe, Gilles [Author]

Programming Languages and Systems : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 6602
Barthe, Gilles [Author] ; Pardo, Alberto [Other]; Schneider, Gerardo [Other]

Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

Published in: Lecture notes in computer science ; 7041
Barthe, Gilles [Author] ; Hermenegildo, Manuel [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 5944
Barthe, Gilles [Author] ; Dybjer, Peter [Other]; Pinto, Luís [Other]; Saraiva, João [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2395
Steinhöfel, Dominic [Author] ; Hähnle, Reiner [Degree supervisor]; Barthe, Gilles [Degree supervisor]

Abstract Execution: Automatically Proving Infinitely Many Programs

View online
Schließen

Access

https://d-nb.info/1212584007/34

kostenfrei

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2020
Jacomme, Charlie [Author] ; Barthe, Gilles [Other]; Kremer, Steve [Other]

Universal equivalence and majority of probabilistic programs over finite fields: Q/A Session B - Paper B6.A

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: Center for Perspicuous Computing – TRR 248, 2020

Published in: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020) -
Nordio, Darío M. [Author] ; Barthe, Gilles [Contributor]; Meyer, Bertrand [Contributor]

Proofs and proof transformations for object-oriented programs

View online
Schließen

Links

https://hdl.handle.net/20.500.11850/72690

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, 2009

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication