2025

44th DASC
September 14-18, 2025
Montreal, Canada

“An Open-Source DO-178C Structural Coverage ToolMinimum Separation Boundary for UAM Tactical Deconfliction Based on Avoidance Risk Ratio Model”

Andrew Oppelt, Wentao Zhang, Ikjun Jeon, Minji Park, Steven VanderLeest, & Darko Marino

2024

43rd DASC
September 29 - October 3, 2024
San Diego, CA, USA

“Minimum Separation Boundary for UAM Tactical Deconfliction Based on Avoidance Risk Ratio Model”

Junsoo Kim, Gihun Nam, Dongchan Min, Jiyun Lee, and Sam Pullen

2023

42nd DASC
October 1-5, 2023
Barcelona, Spain 

“Formal and Practical elements for Certification of Machine Learning Systems”

Jean-Guillaume Durand, Xwing; Arthur Dubois, Xwing; Robert J. Moss, Stanford University

2022

41st DASC
September 18-22, 2022
Portsmouth, Virginia 

“Data-Message Modeling for Multi-Lane Architectures on an IMA Platform Using the eSAM Method”

Christopher B. Watkins, Gulfstream Aerospace; Jerry Varghese, Gulfstream Aerospace; Michael Knight, Gulfstream Aerospace; Jordan Ross, The MathWorks; Josh Kahn, The MathWorks; Becky Petteys, The MathWorks

2021

40th DASC
October 3-7, 2021
San Antonio, Texas

“Incremental Assurance of Multicore Integrated Modular Avionics (IMA)”

Steven H. VanderLeest, Rapita Systems, Inc.; David Matthews, The Boeing Company

2020

39th DASC
October 11-16, 2020
Virtual

“Human-System Interaction Issues and Proposed Solutions to Promote Successful Maturation of the UTM System”

Cynthia Wolter, Lynne Martin, and Kimberly Jobe, NASA Ames

2019

38th DASC
September 8-12, 2019
Hilton San Diego Resort & Spa, San Diego, CA

“Sim: A Contract-Based Programming Language for Safety-Critical Systems”

Tuur Benoit, Siemens Industry Software Leuven, Belgium

2018

37th DASC
September 23-27, 2018
London, England

“Self-training by reinforcement learning for full-autonomous drones of the future”

Kjell Kersandt, Guillem Muñoz-Ferran, and Cristina Barrado, UPC BarcelonaTECH

2017

36th DASC
September 17-21, 2017
St. Petersburg, Florida

“Midair Collision Risk when Executing an Incorrect Approach during Established on Required Navigation Performance Operations”

Logan M. Branscum, Cody T. Nichols, FAA

2016

35th DASC
September 25-29, 2016
Sacramento, California

“Policy Compression for Aircraft Collision Avoidance Systems”

Kyle D. Julian and Mykel J. Kochenderfer, Department of Aeronautics and Astronautics, Stanford University;  Jessica Lopez and Jeffrey S. Brush , Applied Physics Laboratory, Johns Hopkins University;  Michael P. Owen, Massachusetts Institute of Technology

2015

34th DASC
September 13-17, 2015
Corinthia Hotel, Prague, Czech Republic

“OpenSky: A swiss army knife for air traffic security research”

Martin Strohmeier, Ivan Martinovic, Markus Fuchs, Matthias Schäfer, Vincent Lenders

2014

33rd DASC
October 5-9, 2014
Colorado Springs, Colorado

"Taming Interrups: Deterministic Asynchronicity in an ARINC 653 Environment”

Steven H. VanderLeest, DornerWorks Ltd.; Calvin College, Grand Rapids, MI

2013

32nd DASC
October 6-10, 2013
DoubleTree by Hilton Hotel Syracuse, Syracuse, NY

"Airspeed Estimation Using Servo Current and Aircraft Model”

Suvo Ganguli, Honeywell

2012

31st DASC
October 14-18, 2012
Crowne Plaza Williamsburg, Williamsburg, Virginia

"Data Convergence for Efficiency: A Holistic Rethink of the Passenger Experience”

Hugh Blair-Smith

2011

30th DASC
October 16-20, 2011
Renaissance Seattle Hotel, Seattle, Washington

"Collision Avoidance for General Aviation”

Thomas B. Billingsley, Mykel J. Kochenderfer, James P. Chryssanthacopoulos, MIT Lincoln Laboratory

2010

29th DASC
October 3-7, 2010
Hilton Salt Lake City Center, Salt Lake City, Utah

"3D-New Concepts for a Decentralized, Self-Organizing Air-to-Air Radio Link”

Nico Franzen, Dr. Michael Schnell, and Michael Walter, German Aerospace Center

2009

28th DASC
October 25-29, 2009
The Florida Hotel & Conference Center, Orlando, Florida

“Implementing Logical Synchrony In Integrated Modular Avionics”

Abdullah Al-Nayeem, Darren D. Cofer, Rockwell Collins; Jose Meseguer, and Lui Sha, University of Illinois at Urbana-Champaign; Steven P. Miller, Rockwell Collins

2008

27th DASC
October 26-30, 2008
Crowne Plaza Riverfront, St. Paul, Minnesota

"The MILS Component Integration Approach to Secure Information Sharing”

Carolyn Boettcher, Raytheon; Rance DeLong, Lynux Works; John Rushby, SRI International; Wilmar Sifre, AFRL

2007

26th DASC
October 21-25, 2007
Adam's Mark Hotel, Dallas, Texas

"A Display Concept for UAV Autoland Monitoring: Rationale, Design and Evaluation""A Display Concept for UAV Autoland Monitoring: Rationale, Design and Evaluation”

Jochum Tadema (Netherlands Defence Academy); Erik Theunissen and Erik Theunissen, Delft University of Technology

2006

25th DASC
October 15-19, 2006
Portland, Oregon

"Operator Support for Time-Critical Situations: Design and Evaluation”

Michiel de Vries, Joris Koeners, and Fenne Roefs, Delft University of Technology; Hilde van Ginkel and Erik Theunissen, Netherlands Defence Academy