Quasi-static scheduling of communicating tasks

by Darondeau, P., Genest, B., Thiagarajan, P.S., Yang, S.
Published 2013

Quasi-static scheduling of communicating tasks

by Darondeau, P., Genest, B., Thiagarajan, P.S., Yang, S.
Published 2013

Approximate verification of the symbolic dynamics of markov chains

by Agrawal, M., Akshay, S., Genest, B., Thiagarajan, P.S.
Published 2013

A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways

by Palaniappan, S.K., Akshay, S., Genest, B., Thiagarajan, P.S.
Published 2013

Causal Message Sequence Charts

by Gazagnaire, T., Genest, B., Hélouët, L., Thiagarajan, P.S., Yang, S.
Published 2013

A hybrid factored frontier algorithm for dynamic bayesian networks with a biopathways application

by Palaniappan, S.K., Akshay, S., Liu, B., Genest, B., Thiagarajan, P.S.
Published 2013