Managing Trust in High Reliability Organisations
FMEA
MTrust CIPRE 2015 Presentation
International Civil Aviation Organization Aviation System Block Upgrades Module N° B0-65/PIA-1 Optimization of Approach Procedures Including Vertical Guidance.
Eliminating Navigation Errors in Web Applications via Model Checking and Runtime Enforcement of Navigation State Machines Sylvain Halle, Taylor Ettema,
CS 290C: Formal Models for Web Software Lecture 1: Introduction Instructor: Tevfik Bultan.
Eliminating Web Software Vulnerabilities with Automated Verification Tevfik Bultan Verification Lab Department of Computer Science University of California,
Sylvain Halle, Taylor Ettema, Chris Bunch, and Tevfik Bultan
Relational String Verification Using Multi-track Automata
String Analysis for Dependable Input Validation