Items where Author is "Kinder, J."

Contribution in Book/Report/Proceedings

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Supporting domain-specific state space reductions through local partial-order reduction. In: 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) :. IEEE, pp. 113-122. ISBN 9781457716386

Bokor, P. and Kinder, J. and Serafini, M. and Suri, Neeraj (2011) Efficient model checking of fault-tolerant distributed protocols. In: 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN) :. IEEE, pp. 73-84. ISBN 9781424492329