Items where Author is "Muftuoglu, C.A."

Contribution in Book/Report/Proceedings

Saissi, H. and Bokor, P. and Muftuoglu, C.A. and Suri, Neeraj and Serafini, M. (2013) Efficient verification of distributed protocols using stateful model checking. In: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems :. IEEE, pp. 133-142. ISBN 9780769551159

Muftuoglu, C.A. and Bokor, P. and Suri, Neeraj (2012) Brief announcement: MP-state : State-aware software model checking of message-passing systems. In: Stabilization, Safety, and Security of Distributed Systems : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. UNSPECIFIED, pp. 183-186. ISBN 9783642335358