Library
search
local_library
Repository
ME
Michael Emmi
View Pure Profile
Authored
3 records found
Exploiting synchronization in the analysis of shared-memory asynchronous programs
Conference paper -
Michael Emmi
,
Burcu Kulahcioglu Ozkan
,
Serdar Tasiran
Systematic Asynchrony Bug Exploration for Android Apps
Conference paper -
Burcu Kulahcioglu Ozkan
,
Michael Emmi
,
Serdar Tasiran
Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
Conference paper -
Ahmed Bouajjani
,
Michael Emmi
,
Constantin Enea
,
Burcu Kulahcioglu Ozkan
,
Serdar Tasiran