Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
ME
Michael Emmi
Academic Work (3)
Conference paper (3)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
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 Ozkan (author)
,
Serdar Tasiran (author)
Systematic Asynchrony Bug Exploration for Android Apps
Conference paper (2015) -
Burcu Kulahcioglu Ozkan (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 Ozkan (author)
,
Serdar Tasiran (author)
