HIS 2017 Peter Ladkin- Rigorous-Assurance Points in Software Development

HIS 2017 David Oswald- Your car is not a safe box - breaking automotive keyless entry systems

AdaCore Paris Tech Day 2016: Eric Perlade - Verification Solutions

AdaCore Paris Tech Day 2016: Elie Richa - Integrated Unit Testing for a Trusted Code Generator

AdaCore Paris Tech Day 2016: Jerome Lambourg - Cross and BareBoard Team Inside Out

AdaCore Paris Tech Day 2016: Pierre-Marie Rodat - Libadalang, New Generation of Ada Tooling

AdaCore Paris Tech Day 2016: Jose Ruiz - QGen Tech Update

AdaCore Paris Tech Day 2016: Fabien Chouteau - Making the Ada Drivers Library

AdaCore Paris Tech Day 2016: Arnaud Chalet - GNAT Pro Roadmap

AdaCore Paris Tech Day 2016: Jamie Ayre - Market Perspective

AdaCore Paris Tech Day 2016: Cyrille Comar - Looking Ahead