Edit Profile (opens in new tab) Genest, Blaise Co-Author Distance Author ID: genest.blaise Published as: Genest, Blaise; Genest, B. External Links: MGP Documents Indexed: 54 Publications since 2002 Co-Authors: 47 Co-Authors with 52 Joint Publications 979 Co-Co-Authors all top 5 Co-Authors 2 single-authored 17 Muscholl, Anca 13 Akshay, S. 10 Peled, Doron A. 9 Hélouët, Loïc 6 Elkind, Edith 6 Thiagarajan, Pazhamaneri Subramaniam 6 Yang, Shaofa 5 Bazille, Hugo 5 Gimbert, Hugo 5 Kuske, Dietrich 4 Bertrand, Nathalie 3 Darondeau, Philippe 3 Fabre, Eric 3 Gazagnaire, Thomas 3 Zeitoun, Marc 2 Agrawal, Manindra 2 Bošnački, Dragan 2 Dewaskar, Miheer 2 Seidl, Helmut 2 Spoletini, Paola 2 Vahanwala, Mihir 2 Vyas, Nikhil 2 Walukiewicz, Igor 1 Batt, Grégory 1 Biswas, Debmalya 1 Blondin, Michael 1 Dincă, Ionuţ 1 Esparza, Javier 1 Godbole, Adwait Amit 1 Helfrich, Martin 1 Hélouïet, Loïc 1 Jaax, Stefan 1 Jegourel, Cyrille 1 Karelovic, Bruno 1 Krishna, Shankara Narayanan 1 Marchand, Hervé 1 Minea, Marius 1 Mital, Sharvik 1 Palaniappan, Sucheendra K. 1 Pichené, Matthieu 1 Qu, Hongyang 1 Roychowdhury, Sparsa 1 Schewe, Sven 1 Serre, Olivier 1 Ştefănescu, Alin 1 Sun, Jun 1 Wu, Zhilin all top 5 Serials 2 Information and Computation 2 Discrete Event Dynamic Systems 2 Journal of the ACM 2 Logical Methods in Computer Science 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 International Journal of Foundations of Computer Science 1 Annals of Mathematics and Artificial Intelligence 1 Theory of Computing Systems 1 Fundamenta Informaticae all top 5 Fields 51 Computer science (68-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Systems theory; control (93-XX) 3 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 1 Associative rings and algebras (16-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Differential geometry (53-XX) 1 Manifolds and cell complexes (57-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 42 Publications have been cited 206 times in 140 Documents Cited by ▼ Year ▼ A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 26 2006 Asynchronous games over tree architectures. Zbl 1334.68150 Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 18 2013 On communicating automata with bounded channels. Zbl 1137.68447 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 14 2007 Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154 Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 11 2010 Approximate verification of the symbolic dynamics of Markov chains. Zbl 1321.68367 Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S. 10 2015 Approximate verification of the symbolic dynamics of Markov chains. Zbl 1362.68162 Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S. 10 2012 Constructing exponential-size deterministic Zielonka automata. Zbl 1133.68362 Genest, Blaise; Muscholl, Anca 9 2006 Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625 Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 8 2002 Succinct population protocols for Presburger arithmetic. Zbl 07650925 Blondin, Michael; Esparza, Javier; Genest, Blaise; Helfrich, Martin; Jaax, Stefan 8 2020 Controlling a population. Zbl 1437.68175 Bertrand, Nathalie; Dewaskar, Miheer; Genest, Blaise; Gimbert, Hugo 8 2017 On regularity of unary probabilistic automata. Zbl 1388.68156 Akshay, S.; Genest, Blaise; Karelovic, Bruno; Vyas, Nikhil 7 2016 Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071 Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 6 2006 Qualitative determinacy and decidability of stochastic games with signals. Zbl 1427.91022 Bertrand, Nathalie; Genest, Blaise; Gimbert, Hugo 5 2017 On communicating automata with bounded channels. Zbl 1128.68062 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 5 2007 Diagnosis from scenarios. Zbl 1302.93147 Hélouët, Loïc; Marchand, Hervé; Genest, Blaise; Gazagnaire, Thomas 4 2014 Message sequence charts. Zbl 1088.68124 Genest, Blaise; Muscholl, Anca; Peled, Doron 4 2004 Implementing realistic asynchronous automata. Zbl 1359.68154 Akshay, S.; Dinca, Ionut; Genest, Blaise; Stefanescu, Alin 4 2013 Causal message sequence charts. Zbl 1187.68081 Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa 4 2009 Pattern matching and membership for hierarchical message sequence charts. Zbl 1059.68544 Genest, Blaise; Muscholl, Anca 4 2002 Causal message sequence charts. Zbl 1151.68528 Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa 3 2007 Pattern matching and membership for hierarchical message sequence charts. Zbl 1140.68038 Genest, Blaise; Muscholl, Anca 3 2008 Distribution-based objectives for Markov decision processes. Zbl 1497.68355 Akshay, S.; Genest, Blaise; Vyas, Nikhil 3 2018 Decidable classes of unbounded Petri nets with time and urgency. Zbl 1346.68125 Akshay, S.; Genest, B.; Hélouët, L. 3 2016 Specifying and verifying partial order properties using template MSCs. Zbl 1126.68498 Genest, Blaise; Minea, Marius; Muscholl, Anca; Peled, Doron 3 2004 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403 Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 Controlling a population. Zbl 1437.68176 Bertrand, Nathalie; Dewaskar, Miheer; Genest, Blaise; Gimbert, Hugo; Godbole, Adwait Amit 2 2019 Tree pattern rewriting systems. Zbl 1183.68372 Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc 2 2008 Quasi-static scheduling of communicating tasks. Zbl 1160.68463 Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa 2 2008 Grey-box checking. Zbl 1225.68113 Elkind, Edith; Genest, Blaise; Peled, Doron; Qu, Hongyang 2 2006 Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218 Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa 2 2012 On implementation of global concurrent systems with local asynchronous controllers. Zbl 1134.68437 Genest, Blaise 2 2005 Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163 Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa 2 2012 Quantifying the discord: Order discrepancies in message sequence charts. Zbl 1141.68504 Elkind, Edith; Genest, Blaise; Peled, Doron; Spoletini, Paola 1 2007 Quasi-static scheduling of communicating tasks. Zbl 1209.68060 Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa 1 2010 High-level message sequence charts and projections. Zbl 1274.68186 Genest, Blaise; Hélouët, Loïc; Muscholl, Anca 1 2003 Verifying recursive active documents with positive data tree rewriting. Zbl 1245.68078 Genest, Blaise; Muscholl, Anca; Wu, Zhilin 1 2010 Snapshot verification. Zbl 1087.68055 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 On robustness for the Skolem and positivity problems. Zbl 07836572 Akshay, S.; Bazille, Hugo; Genest, Blaise; Vahanwala, Mihir 1 2022 Timed negotiations. Zbl 07250931 Akshay, S.; Genest, Blaise; Hélouët, Loïc; Mital, Sharvik 1 2020 Global PAC bounds for learning discrete time Markov chains. Zbl 1478.68279 Bazille, Hugo; Genest, Blaise; Jegourel, Cyrille; Sun, Jun 1 2020 Detecting races in ensembles of message sequence charts. Zbl 1186.68319 Elkind, Edith; Genest, Blaise; Peled, Doron 1 2007 On commutativity based edge lean search. Zbl 1171.68444 Bošnački, Dragan; Elkind, Edith; Genest, Blaise; Peled, Doron 1 2007 On robustness for the Skolem and positivity problems. Zbl 07836572 Akshay, S.; Bazille, Hugo; Genest, Blaise; Vahanwala, Mihir 1 2022 Succinct population protocols for Presburger arithmetic. Zbl 07650925 Blondin, Michael; Esparza, Javier; Genest, Blaise; Helfrich, Martin; Jaax, Stefan 8 2020 Timed negotiations. Zbl 07250931 Akshay, S.; Genest, Blaise; Hélouët, Loïc; Mital, Sharvik 1 2020 Global PAC bounds for learning discrete time Markov chains. Zbl 1478.68279 Bazille, Hugo; Genest, Blaise; Jegourel, Cyrille; Sun, Jun 1 2020 Controlling a population. Zbl 1437.68176 Bertrand, Nathalie; Dewaskar, Miheer; Genest, Blaise; Gimbert, Hugo; Godbole, Adwait Amit 2 2019 Distribution-based objectives for Markov decision processes. Zbl 1497.68355 Akshay, S.; Genest, Blaise; Vyas, Nikhil 3 2018 Controlling a population. Zbl 1437.68175 Bertrand, Nathalie; Dewaskar, Miheer; Genest, Blaise; Gimbert, Hugo 8 2017 Qualitative determinacy and decidability of stochastic games with signals. Zbl 1427.91022 Bertrand, Nathalie; Genest, Blaise; Gimbert, Hugo 5 2017 On regularity of unary probabilistic automata. Zbl 1388.68156 Akshay, S.; Genest, Blaise; Karelovic, Bruno; Vyas, Nikhil 7 2016 Decidable classes of unbounded Petri nets with time and urgency. Zbl 1346.68125 Akshay, S.; Genest, B.; Hélouët, L. 3 2016 Approximate verification of the symbolic dynamics of Markov chains. Zbl 1321.68367 Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S. 10 2015 Diagnosis from scenarios. Zbl 1302.93147 Hélouët, Loïc; Marchand, Hervé; Genest, Blaise; Gazagnaire, Thomas 4 2014 Asynchronous games over tree architectures. Zbl 1334.68150 Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 18 2013 Implementing realistic asynchronous automata. Zbl 1359.68154 Akshay, S.; Dinca, Ionut; Genest, Blaise; Stefanescu, Alin 4 2013 Approximate verification of the symbolic dynamics of Markov chains. Zbl 1362.68162 Agrawal, Manindra; Akshay, S.; Genest, Blaise; Thiagarajan, P. S. 10 2012 Regular set of representatives for time-constrained MSC graphs. Zbl 1243.68218 Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa 2 2012 Symbolically bounding the drift in time-constrained MSC graphs. Zbl 1362.68163 Akshay, S.; Genest, Blaise; Hélouët, Loïc; Yang, Shaofa 2 2012 Optimal Zielonka-type construction of deterministic asynchronous automata. Zbl 1288.68154 Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor 11 2010 Quasi-static scheduling of communicating tasks. Zbl 1209.68060 Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa 1 2010 Verifying recursive active documents with positive data tree rewriting. Zbl 1245.68078 Genest, Blaise; Muscholl, Anca; Wu, Zhilin 1 2010 Causal message sequence charts. Zbl 1187.68081 Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa 4 2009 Pattern matching and membership for hierarchical message sequence charts. Zbl 1140.68038 Genest, Blaise; Muscholl, Anca 3 2008 Tree pattern rewriting systems. Zbl 1183.68372 Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc 2 2008 Quasi-static scheduling of communicating tasks. Zbl 1160.68463 Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa 2 2008 On communicating automata with bounded channels. Zbl 1137.68447 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 14 2007 On communicating automata with bounded channels. Zbl 1128.68062 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 5 2007 Causal message sequence charts. Zbl 1151.68528 Gazagnaire, Thomas; Genest, Blaise; Hélouët, Loïc; Thiagarajan, P. S.; Yang, Shaofa 3 2007 Quantifying the discord: Order discrepancies in message sequence charts. Zbl 1141.68504 Elkind, Edith; Genest, Blaise; Peled, Doron; Spoletini, Paola 1 2007 Detecting races in ensembles of message sequence charts. Zbl 1186.68319 Elkind, Edith; Genest, Blaise; Peled, Doron 1 2007 On commutativity based edge lean search. Zbl 1171.68444 Bošnački, Dragan; Elkind, Edith; Genest, Blaise; Peled, Doron 1 2007 A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 26 2006 Constructing exponential-size deterministic Zielonka automata. Zbl 1133.68362 Genest, Blaise; Muscholl, Anca 9 2006 Infinite-state high-level MSCs: model-checking and realizability. Zbl 1105.68071 Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 6 2006 Grey-box checking. Zbl 1225.68113 Elkind, Edith; Genest, Blaise; Peled, Doron; Qu, Hongyang 2 2006 On implementation of global concurrent systems with local asynchronous controllers. Zbl 1134.68437 Genest, Blaise 2 2005 Snapshot verification. Zbl 1087.68055 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 Message sequence charts. Zbl 1088.68124 Genest, Blaise; Muscholl, Anca; Peled, Doron 4 2004 Specifying and verifying partial order properties using template MSCs. Zbl 1126.68498 Genest, Blaise; Minea, Marius; Muscholl, Anca; Peled, Doron 3 2004 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403 Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 High-level message sequence charts and projections. Zbl 1274.68186 Genest, Blaise; Hélouët, Loïc; Muscholl, Anca 1 2003 Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). Zbl 1057.68625 Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc 8 2002 Pattern matching and membership for hierarchical message sequence charts. Zbl 1059.68544 Genest, Blaise; Muscholl, Anca 4 2002 all cited Publications top 5 cited Publications all top 5 Cited by 186 Authors 16 Bollig, Benedikt 14 Genest, Blaise 13 Akshay, S. 11 Muscholl, Anca 9 Hélouët, Loïc 8 Esparza, Javier 8 Gastin, Paul 5 Czerner, Philipp 5 Finkel, Alain 5 Kuske, Dietrich 5 Lozes, Etienne 4 Di Giusto, Cinzia 4 Fortin, Marie-Josée 4 Lohrey, Markus 4 Olderog, Ernst-Rüdiger 4 Ouaknine, Joel O. 4 Thiagarajan, Pazhamaneri Subramaniam 4 Worrell, James Benjamin 3 Baudru, Nicolas 3 Bertrand, Nathalie 3 Bouyer, Patricia 3 Bravetti, Mario 3 Chatterjee, Krishnendu 3 Doyen, Laurent 3 Finkbeiner, Bernd 3 Gazagnaire, Thomas 3 Gieseking, Manuel 3 Gimbert, Hugo 3 Jaax, Stefan 3 Kumar, K. Narayan 3 Lange, Julien 3 Laversa, Laetitia 3 Mukund, Madhavan 3 Peled, Doron A. 3 Yang, Shaofa 3 Zavattaro, Gianluigi 2 Agrawal, Pranay 2 Baier, Christel 2 Bérard, Béatrice 2 Bonchi, Filippo 2 Carbone, Marco 2 Colcombet, Thomas 2 Darondeau, Philippe 2 Fijalkow, Nathanaël 2 Függer, Matthias 2 Grindei, Manuela-Lidia 2 Habermehl, Peter 2 Hecking-Harbusch, Jesko 2 Karimov, Toghrul 2 Leroux, Jérôme 2 Marchand, Hervé 2 Morin, Rémi 2 Morvan, Christophe 2 Ohlmann, Pierre 2 Praveen, M. 2 Silva, Alexandra 2 Sokolova, Ana 2 Suresh, Amrita 2 Sznajder, Nathalie 2 Vahanwala, Mihir 2 Vyas, Nikhil 2 Würdemann, Nick 2 Yoshida, Nobuko 2 Zeitoun, Marc 1 Abbes, Samy 1 Agrawal, Manindra 1 Aichernig, Bernhard K. 1 Akroun, Lakhdar 1 Alrahman, Yehia Abd 1 Antonopoulos, Timos 1 Badouel, Eric 1 Balaguer, Sandie 1 Balaji, Nikhil 1 Barbanera, Franco 1 Bartoletti, Massimo 1 Basu, Samik 1 Bauer, Sebastian S. 1 Bazille, Hugo 1 Beutner, Raven 1 Biscaia, M. 1 Bloem, Roderick 1 Blondin, Michael 1 Bocchi, Laura 1 Bouvier, Pierre 1 Brihaye, Thomas 1 Bultan, Tevfik 1 Cadilhac, Michaël 1 Carlier, Pierre 1 Chakraborty, Supratik 1 Chédor, Sébastien 1 Chmelík, Martin 1 Corradini, Andrea 1 Corrêa, Débora Cristina 1 Daca, Przemysław 1 Dai, Ting 1 David, Alexandre 1 De Oliveira Oliveira, Mateus 1 Desel, Jörg 1 Dewaskar, Miheer 1 Dubslaff, Clemens ...and 86 more Authors all top 5 Cited in 21 Serials 12 Theoretical Computer Science 11 Logical Methods in Computer Science 9 Information and Computation 6 Formal Methods in System Design 4 Journal of Computer and System Sciences 3 Information Processing Letters 3 Discrete Event Dynamic Systems 3 Theory of Computing Systems 3 Journal of Logical and Algebraic Methods in Programming 2 International Journal of Foundations of Computer Science 2 Distributed Computing 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Science of Computer Programming 1 Physica D 1 Journal of Symbolic Computation 1 International Journal of Algebra and Computation 1 Journal of the ACM 1 Fundamenta Informaticae 1 RAIRO. Theoretical Informatics and Applications 1 TheoretiCS all top 5 Cited in 12 Fields 134 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Systems theory; control (93-XX) 6 Probability theory and stochastic processes (60-XX) 3 Number theory (11-XX) 2 Operations research, mathematical programming (90-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year