Publications

Latest news

No news at this moment

Publications

Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker

Publications

Tutorial

Dagstuhl Seminar (2012).

Tools and Algorithms for the Construction and Analysis of Systems / Volume 9035 of the series Lecture Notes in Computer Science pp 533-548 - doi: 10.1007/978-3-662-46681-0_51

International Conference on Intelligent Robots and Systems (IROS’15) / Page(s):3478 - 3485 - doi: 10.1109/IROS.2015.7353862

Automated Technology for Verification and Analysis / Volume 9364 of the series Lecture Notes in Computer Science pp 394-410 - doi: 10.1007/978-3-319-24953-7_29

Tools and Algorithms for the Construction and Analysis of Systems / Volume 9035 of the series Lecture Notes in Computer Science pp 517-532 - doi: 10.1007/978-3-662-46681-0_50

Au temps en emporte le C. David Baelde; Jade Alglave. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. Actes des Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)

Verification, Model Checking, and Abstract Interpretation (VMCAI’14) published in Lecture Notes in Computer Science volume 8318 - doi: 10.1007/978-3-642-54013-4_1

Formal Methods in Computer-Aided Design (FMCAD), 2014 - doi: 10.1109/FMCAD.2014.6987592

Workshop on Synthesis (SYNT’14) published in EPTCS volume 157 - doi: 10.4204/EPTCS.157.7

Haifa Verification Conference (HVC’14) published in Lecture Notes in Computer Science volume 8855 - doi: 10.1007/978-3-319-13338-6_8

Workshop on Web Applications and Secure Hardware (WASH’13)

Hardware and Software: Verification and Testing / Volume 9434 of the series Lecture Notes in Computer Science pp 39-50 - doi: 10.1007/978-3-319-26287-1_3

27èmes Journées Francophones des Langages Applicatifs (JFLA 2016) Saint-Malo, France, 27-30 January 2016,

SEFM 2015, 13th International Conference on Software Engineering and Formal Methods, 7-11 September 2015, York, UK

In Proc. of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015), Oslo, Norway, June 2015.

EuroLLVM, 7-8 April 2014, Edinburg, Scotland

International Conference on Software Testing, Verification and Validation, 31 March - 4 april 2014, Cleveland, USA - doi: 10.1109/ICST.2014.30

8th International Conference on Test and Proofs: TAP 2014, 24-25 July 2014, York, UK (pages 165-168 LNCS 8570) - doi: 10.1007/978-3-319-09099-3_13

French conference « Approches Formelles dans l’Assistance au Developpement de Logiciels », Formal Approaches to the Software Development. (AFADL 2014, 11-12 June 2014)

Formal Aspects of Computing/May 2015, Volume 27, Issue 3, pp 573-609 - doi: 10.1007/s00165-014-0326-7

8th International Conference on Tests & Proofs / 24-25 July 2014, York, UK (pages 53-60. LNCS 8570) - doi: 10.1007/978-3-319-09099-3_13

French conference: AFADL 2014, Approches Formelles dans l'Assistance au Développement de Logiciels - Paris, France, 11-12 June 2014 (Formal Approaches to the Software Development)

Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

International Workshop on Concurrency, Specification and Programming, Warsaw, Poland (September 2013)

Proceedings of the 6th International Conference on Trust & Trustworthy Computing (TRUST), Springer - doi: 10.1007/978-3-642-38908-5_8