Michael Emmi | TU Delft Repository

Library

local_library Home Repository

ME

Michael Emmi

Conference paper (3)

3 records found

1

Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency

Conference paper (2017) - Ahmed Bouajjani (author) , Michael Emmi (author) , Constantin Enea (author) , Burcu Kulahcioglu Kulahcioglu Ozkan (author) , Serdar Tasiran (author)

Systematic Asynchrony Bug Exploration for Android Apps

Conference paper (2015) - Burcu Kulahcioglu Özkan (author) , Michael Emmi (author) , Serdar Tasiran (author)

Exploiting synchronization in the analysis of shared-memory asynchronous programs

Conference paper (2014) - Michael Emmi (author) , Burcu Kulahcioglu Özkan (author) , Serdar Tasiran (author)