Items where Author is "Genest, Blaise"

Article

Agrawal, Manindra ; Akshay, S. ; Genest, Blaise ; Thiagarajan, P. S. (2015) Approximate Verification of the Symbolic Dynamics of Markov Chains Journal of the ACM, 62 (1). pp. 1-34. ISSN 0004-5411

Darondeau, Philippe ; Genest, Blaise ; Thiagarajan, P. S. ; Yang, Shaofa (2010) Quasi-static scheduling of communicating tasks Information and Computation, 208 (10). pp. 1154-1168. ISSN 0890-5401

Gazagnaire, Thomas ; Genest, Blaise ; Hélouët, Loïc ; Thiagarajan, P. S. ; Yang, Shaofa (2009) Causal message sequence charts Theoretical Computer Science, 410 (41). pp. 4094-4110. ISSN 0304-3975