Languages
Barthe, Gilles.
Overview
| Works: | 3 works in 9 publications in 1 languages | |
|---|---|---|
Titles
Trustworthy Global Computing = Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /
by:
Barthe, Gilles.; Fournet, Cedric.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Foundations of security analysis and design V = FOSAD 2007/2008/2009 tutorial lectures /
by:
Gorrieri, Roberto.; SpringerLink (Online service); Aldini, Alessandro.; Barthe, Gilles.
(Electronic resources)
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings /
by:
Barthe, Gilles.; Boer, Frank S.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Formal aspects of security and trust = 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers /
by:
SpringerLink (Online service); Etalle, Sandro.; Datta, Anupam.; Congress on Progress and Controversies in Oncological Urology (2000:); Barthe, Gilles.
(Electronic resources)
Software engineering and formal methods = 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
by:
SpringerLink (Online service); Barthe, Gilles.; Schneider, Gerardo.; Pardo, Alberto.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
Livshits, Benjamin.; Barthe, Gilles.; Scandariato, Riccardo.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
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, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
by:
SpringerLink (Online service); Barthe, Gilles.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings /
by:
Hermenegildo, Manuel.; Congress on Progress and Controversies in Oncological Urology (2000:); Barthe, Gilles.; SpringerLink (Online service)
(Electronic resources)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Barthe, Gilles.
(Electronic resources)
Subjects
Formal methods (Computer science)
Systems and Data Security.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Math Applications in Computer Science.
Data Encryption.
Operating Systems.
Smart cards- Security measures
Computer Communication Networks.
Object-oriented programming (Computer science)
Data protection
Computer Science.
Programming Techniques.
Computer programming
Logics and Meanings of Programs.
Computer software- Verification
Management of Computing and Information Systems.
Computer security
Artificial Intelligence (incl. Robotics)
Special Purpose and Application-Based Systems.
Computers and Society.
Data Structures, Cryptology and Information Theory.
Computer networks- Security measures
Information Storage and Retrieval.
Software engineering
Programming languages (Electronic computers)
Computer programs- Verification
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Data transmission systems- Security measures
Models and Principles.
Electronic data processing- Distributed processing
Software Engineering.