Can Arda Muftuoglu
According to our database1, Can Arda Muftuoglu authored at least 6 papers between 2009 and 2015.
Legend:Book In proceedings Article PhD thesis Other
IEICE Trans. Inf. Syst., 2015
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013
Brief Announcement: MP-State: State-Aware Software Model Checking of Message-Passing Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Proceedings of the ISSRE 2009, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009