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

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