Blaise Genest

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 28

Top Topics

Probabilistic Automata

Markov Decision Processes

Top Venues

Publications

S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Log. Methods Comput. Sci. 20 (2) (2024)
Eduardo de Conto, Blaise Genest, Arvind Easwaran
Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning. CoRR (2024)
Eduardo de Conto, Blaise Genest, Arvind Easwaran
Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning. AIware (2024)
Léo Henry, Blaise Genest, Alexandre Drewery
Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities. FSTTCS (2023)
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem and Positivity Problems. STACS (2022)
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. CoRR (2022)
S. Akshay, Blaise Genest, Loïc Hélouët, Shankara Narayanan Krishna, Sparsa Roychowdhury
Resilience of Timed Systems. FSTTCS (2021)
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Succinct Population Protocols for Presburger Arithmetic. STACS (2020)
Matthieu Pichené, Sucheendra K. Palaniappan, Eric Fabre, Blaise Genest
Modeling Variability in Populations of Cells Using Approximated Multivariate Distributions. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (5) (2020)
Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun
Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) (2020)
S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital
Timed Negotiations. FoSSaCS (2020)
S. Akshay, Hugo Bazille, Eric Fabre, Blaise Genest
Classification Among Hidden Markov Models. FSTTCS (2019)
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
Controlling a population. Log. Methods Comput. Sci. 15 (3) (2019)
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Succinct Population Protocols for Presburger Arithmetic. CoRR (2019)
S. Akshay, Blaise Genest, Nikhil Vyas
Distribution-based objectives for Markov Decision Processes. CoRR (2018)
Hugo Bazille, Eric Fabre, Blaise Genest
Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings. FoSSaCS (2018)
S. Akshay, Blaise Genest, Nikhil Vyas
Distribution-based objectives for Markov Decision Processes. LICS (2018)
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
Controlling a population. CoRR (2018)
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
Controlling a Population. CoRR (2017)
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
Controlling a Population. CONCUR (2017)
Sucheendra K. Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Grégory Batt, Blaise Genest
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway. Bioinform. 33 (13) (2017)
Hugo Bazille, Eric Fabre, Blaise Genest
Diagnosability degree of stochastic discrete event systems. CDC (2017)
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
Qualitative Determinacy and Decidability of Stochastic Games with Signals. J. ACM 64 (5) (2017)
S. Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas
On Regularity of Unary Probabilistic Automata. STACS (2016)
Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways. HSB (2016)
S. Akshay, Blaise Genest, Loïc Hélouët
Decidable Classes of Unbounded Petri Nets with Time and Urgency. Petri Nets (2016)
Blaise Genest, Doron A. Peled, Sven Schewe
Knowledge = Observation + Memory + Computation. FoSSaCS (2015)
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
Approximate Verification of the Symbolic Dynamics of Markov Chains. J. ACM 62 (1) (2015)
Nathalie Bertrand, Thomas Brihaye, Blaise Genest
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata. QEST (2014)
Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire
Diagnosis from scenarios. Discret. Event Dyn. Syst. 24 (4) (2014)
Debmalya Biswas, Blaise Genest
Privacy preserving minimal observability for composite transactional services. Discret. Event Dyn. Syst. 24 (4) (2014)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
Asynchronous Games over Tree Architectures. ICALP (2) (2013)
S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu
Implementing Realistic Asynchronous Automata. FSTTCS (2013)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
Asynchronous Games over Tree Architectures CoRR (2012)
Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (5) (2012)
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
Approximate Verification of the Symbolic Dynamics of Markov Chains. LICS (2012)
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett. 112 (14-15) (2012)
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
Symbolically Bounding the Drift in Time-Constrained MSC Graphs. ICTAC (2012)
Nathalie Bertrand, Blaise Genest
Minimal Disclosure in Partially Observable Markov Decision Processes. FSTTCS (2011)
Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. CMSB (2011)
Blaise Genest, Anca Muscholl, Zhilin Wu
Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS (2010)
Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. 21 (2) (2010)
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
Quasi-static scheduling of communicating tasks. Inf. Comput. 208 (10) (2010)
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP (2) (2010)
Blaise Genest, Anca Muscholl, Zhilin Wu
Verifying Recursive Active Documents with Positive Data Tree Rewriting CoRR (2010)
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
On commutativity based Edge Lean search. Ann. Math. Artif. Intell. 56 (2) (2009)
Debmalya Biswas, Ashwin Jiwane, Blaise Genest
Atomicity for XML Databases. XSym (2009)
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
Qualitative Determinacy and Decidability of Stochastic Games with Signals. LICS (2009)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. Theor. Comput. Sci. 410 (41) (2009)
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides CoRR (2008)
Blaise Genest, Anca Muscholl
Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory Comput. Syst. 42 (4) (2008)
Philippe Darondeau, Blaise Genest, Loïc Hélouët
Products of Message Sequence Charts. FoSSaCS (2008)
Debmalya Biswas, Blaise Genest
Minimal Observability for Transactional Hierarchical Services. SEKE (2008)
Debmalya Biswas, Thomas Gazagnaire, Blaise Genest
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination. HASE (2008)
Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
Quasi-Static Scheduling of Communicating Tasks. CONCUR (2008)
Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun
Tree Pattern Rewriting Systems. ATVA (2008)
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
On Commutativity Based Edge Lean Search. ICALP (2007)
Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA (2007)
Edith Elkind, Blaise Genest, Doron A. Peled
Detecting Races in Ensembles of Message Sequence Charts. TACAS (2007)
Blaise Genest, Dietrich Kuske, Anca Muscholl
On Communicating Automata with Bounded Channels. Fundam. Informaticae 80 (1-3) (2007)
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
Causal Message Sequence Charts. CONCUR (2007)
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
Infinite-state high-level MSCs: Model-checking and realizability. J. Comput. Syst. Sci. 72 (4) (2006)
Blaise Genest, Dietrich Kuske, Anca Muscholl
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput. 204 (6) (2006)
Blaise Genest, Anca Muscholl
Constructing Exponential-Size Deterministic Zielonka Automata. ICALP (2) (2006)
Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu
Grey-Box Checking. FORTE (2006)
Blaise Genest
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. CONCUR (2005)
Blaise Genest, Anca Muscholl
Message Sequence Charts: A Survey. ACSD (2005)
Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled
Snapshot Verification. TACAS (2005)
Blaise Genest
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. TACAS (2005)
Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled
Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS (2004)
Blaise Genest, Anca Muscholl, Dietrich Kuske
A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. Developments in Language Theory (2004)
Blaise Genest, Anca Muscholl, Doron A. Peled
Message Sequence Charts. Lectures on Concurrency and Petri Nets (2003)
Blaise Genest, Loïc Hélouët, Anca Muscholl
High-Level Message Sequence Charts and Projections. CONCUR (2003)
Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
Infinite-State High-Level MSCs: Model-Checking and Realizability. ICALP (2002)
Blaise Genest, Anca Muscholl
Pattern Matching and Membership for Hierarchical Message Sequence Charts. LATIN (2002)