Get started
Author

Blaise Genest

Observed names: B. Genest, BLAISE GENEST, Blaise, Genest, GENEST, Blaise, Genest B., Genest, B., Genest, Blaise
Observed institutions: Agency for Science, Technology and Research, École Normale Supérieure Paris-Saclay, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, National University of Singapore, Institut de Recherche en Informatique et Systèmes Aléatoires, Institute for Infocomm Research, University of Warwick, Laboratoire d'Informatique Algorithmique: Fondements et Applications, Image and Pervasive Access Laboratory, Laboratoire Bordelais de Recherche en Informatique, CREATe Centre, Citrix (United Kingdom), Université Paris Diderot, CNRS@CREATE Ltd (Singapore), Université Rennes 1, Université de Rennes
ORCID: 0000-0002-5758-1876
Observed ORCID: 0000-0002-5758-1876
OpenAlex ID: A5064810861
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
2006 · Blaise Genest, Dietrich Kuske, et al. · Information and Computation · 72
PDF
Infinite-state high-level MSCs: Model-checking and realizability
2005 · Blaise Genest, Anca Muscholl, et al. · Journal of Computer and System Sciences · 54
Your data is not perfect: Towards cross-domain out-of-distribution detection in class-imbalanced data
2024 · Xiang Fang, Arvind Easwaran, et al. · Expert Systems with Applications · 51
PDF
Message Sequence Charts
2004 · Blaise Genest, Anca Muscholl, et al. · Lecture notes in computer science · 51
Qualitative Determinacy and Decidability of Stochastic Games with Signals
2009 · Nathalie Bertrand, Blaise Genest, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 45
On Communicating Automata with Bounded Channels
2007 · Blaise Genest, Dietrich Kuske, et al. · Qucosa (Saxon State and University Library Dresden) · 43
PDF
Infinite-State High-Level MSCs: Model-Checking and Realizability
2002 · Blaise Genest, Anca Muscholl, et al. · Lecture notes in computer science · 33
Asynchronous Games over Tree Architectures
2013 · Blaise Genest, Hugo Gimbert, et al. · Lecture notes in computer science · 29
PDF
Pattern Matching and Membership for Hierarchical Message Sequence Charts
2002 · Blaise Genest, Anca Muscholl · Lecture notes in computer science · 29
Approximate Verification of the Symbolic Dynamics of Markov Chains
2015 · Manindra Agrawal, S. Akshay, et al. · Journal of the ACM · 27
PDF
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
2010 · Blaise Genest, Hugo Gimbert, et al. · Lecture notes in computer science · 25
Grey-Box Checking
2006 · Edith Elkind, Blaise Genest, et al. · Lecture notes in computer science · 24
PDF
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms
2004 · Blaise Genest, Anca Muscholl, et al. · Lecture notes in computer science · 23
Constructing Exponential-Size Deterministic Zielonka Automata
2006 · Blaise Genest, Anca Muscholl · Lecture notes in computer science · 22
Specifying and Verifying Partial Order Properties Using Template MSCs
2004 · Blaise Genest, Marius Minea, et al. · Lecture notes in computer science · 20
PDF
Methods for mitigating uncertainty in real-time operations of a connected microgrid
2024 · Subrat Prasad Panda, Blaise Genest, et al. · Sustainable Energy Grids and Networks · 19
PDF
Message Sequence Charts: A Survey
2006 · B. Genest, A. Muscholl · International Conference on Application of Concurrency to System Design (ACSD) · 19
Qualitative Determinacy and Decidability of Stochastic Games with Signals
2017 · Nathalie Bertrand, Blaise Genest, et al. · Journal of the ACM · 16
Approximate Verification of the Symbolic Dynamics of Markov Chains
2012 · Manindra Agrawal, S. Akshay, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 16
Tree Pattern Rewriting Systems
2008 · Blaise Genest, Anca Muscholl, et al. · Lecture notes in computer science · 14
Causal Message Sequence Charts
2007 · Thomas Gazagnaire, Blaise Genest, et al. · Lecture notes in computer science · 13
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway
2017 · Sucheendra K Palaniappan, François Bertaux, et al. · Bioinformatics · 12
PDF
Decidable Classes of Unbounded Petri Nets with Time and Urgency
2016 · S. Akshay, B. Genest, et al. · Lecture notes in computer science · 12
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application
2012 · Sucheendra K. Palaniappan, S. Akshay, et al. · IEEE Transactions on Computational Biology and Bioinformatics · 12
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers
2005 · Blaise Genest · Lecture notes in computer science · 11
Works count: 134
Citation count: 906
H-index: 17
I10-index: 32
Year
Topic
Type