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