The paper titled “Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software” received the best paper award and the ACM SIGSOFT distinguished paper award at the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). The paper presents an experimental study on the application of the design for verification approach developed by Professor Tevfik Bultan and his student Aysu Betin-Can to a safety critical software system. Aysu Betin-Can successfully defended her dissertation describing this design for verification approach in September. The experimental study presented in the paper was conducted in collaboration with three researchers from the Fraunhofer Center, Maryland who also co-authored the paper. The Automated Software Engineering Conference had a record number of 291 paper submissions in 2005.
November 17, 2005