Blaise Genest

According to our database, Blaise Genest authored at least 59 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities.

Léo Henry, Blaise Genest, Alexandre Drewery

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.

S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

CoRR, 2022

On Robustness for the Skolem and Positivity Problems.

S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

2021

Resilience of Timed Systems.

S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2020

Modeling Variability in Populations of Cells Using Approximated Multivariate Distributions.

Matthieu Pichené, Sucheendra K. Palaniappan, Eric Fabre, Blaise Genest

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

Succinct Population Protocols for Presburger Arithmetic.

Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Timed Negotiations.

S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital

Proceedings of the Foundations of Software Science and Computation Structures, 2020

Global PAC Bounds for Learning Discrete Time Markov Chains.

Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Controlling a population.

Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole

Log. Methods Comput. Sci., 2019

Classification Among Hidden Markov Models.

S. Akshay, Hugo Bazille, Eric Fabre, Blaise Genest

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2018

Distribution-based objectives for Markov Decision Processes.

S. Akshay, Blaise Genest, Nikhil Vyas

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings.

Hugo Bazille, Eric Fabre, Blaise Genest

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Qualitative Determinacy and Decidability of Stochastic Games with Signals.

Nathalie Bertrand, Blaise Genest, Hugo Gimbert

J. ACM, 2017

Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway.

Sucheendra K. Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Grégory Batt, Blaise Genest

Bioinform., 2017

Controlling a Population.

Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Diagnosability degree of stochastic discrete event systems.

Hugo Bazille, Eric Fabre, Blaise Genest

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

On Regularity of Unary Probabilistic Automata.

S. Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas

Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016

A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways.

Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Decidable Classes of Unbounded Petri Nets with Time and Urgency.

S. Akshay, Blaise Genest, Loïc Hélouët

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Taming Concurrency using Representatives.

Blaise Genest

, 2016

2015

Approximate Verification of the Symbolic Dynamics of Markov Chains.

Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan

J. ACM, 2015

Knowledge = Observation + Memory + Computation.

Blaise Genest, Doron A. Peled, Sven Schewe

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Diagnosis from scenarios.

Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire

Discret. Event Dyn. Syst., 2014

Privacy preserving minimal observability for composite transactional services.

Debmalya Biswas, Blaise Genest

Discret. Event Dyn. Syst., 2014

Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata.

Nathalie Bertrand, Thomas Brihaye, Blaise Genest

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

2013

Asynchronous Games over Tree Architectures.

Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Implementing Realistic Asynchronous Automata.

S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.

Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan

IEEE ACM Trans. Comput. Biol. Bioinform., 2012

Regular set of representatives for time-constrained MSC graphs.

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Inf. Process. Lett., 2012

Symbolically Bounding the Drift in Time-Constrained MSC Graphs.

S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

Minimal Disclosure in Partially Observable Markov Decision Processes.

Nathalie Bertrand, Blaise Genest

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

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

Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010

Quantifying the Discord: Order Discrepancies in Message Sequence Charts.

Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini

Int. J. Found. Comput. Sci., 2010

Quasi-static scheduling of communicating tasks.

Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang

Inf. Comput., 2010

Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata.

Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

Verifying Recursive Active Documents with Positive Data Tree Rewriting.

Blaise Genest, Anca Muscholl, Zhilin Wu

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009

Causal Message Sequence Charts.

Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2009

On commutativity based Edge Lean search.

Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled

Ann. Math. Artif. Intell., 2009

Atomicity for XML Databases.

Debmalya Biswas, Ashwin Jiwane, Blaise Genest

Proceedings of the Database and XML Technologies, 6th International XML Database Symposium, 2009

2008

Pattern Matching and Membership for Hierarchical Message Sequence Charts.

Blaise Genest, Anca Muscholl

Theory Comput. Syst., 2008

Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides

Nathalie Bertrand, Blaise Genest, Hugo Gimbert

CoRR, 2008

Minimal Observability for Transactional Hierarchical Services.

Debmalya Biswas, Blaise Genest

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.

Debmalya Biswas, Thomas Gazagnaire, Blaise Genest

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Products of Message Sequence Charts.

Philippe Darondeau, Blaise Genest, Loïc Hélouët

Proceedings of the Foundations of Software Science and Computational Structures, 2008

Tree Pattern Rewriting Systems.

Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

On Communicating Automata with Bounded Channels.

Blaise Genest, Dietrich Kuske, Anca Muscholl

Fundam. Informaticae, 2007

Detecting Races in Ensembles of Message Sequence Charts.

Edith Elkind, Blaise Genest, Doron A. Peled

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Infinite-state high-level MSCs: Model-checking and realizability.

Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun

J. Comput. Syst. Sci., 2006

A Kleene theorem and model checking algorithms for existentially bounded communicating automata.

Blaise Genest, Dietrich Kuske, Anca Muscholl

Inf. Comput., 2006

Constructing Exponential-Size Deterministic Zielonka Automata.

Blaise Genest, Anca Muscholl

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Grey-Box Checking.

Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Snapshot Verification.

Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.

Blaise Genest

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

On Implementation of Global Concurrent Systems with Local Asynchronous Controllers.

Blaise Genest

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Message Sequence Charts: A Survey.

Blaise Genest, Anca Muscholl

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Specifying and Verifying Partial Order Properties Using Template MSCs.

Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled

Proceedings of the Foundations of Software Science and Computation Structures, 2004

A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms.

Blaise Genest, Anca Muscholl, Dietrich Kuske

Proceedings of the Developments in Language Theory, 2004

2003

High-Level Message Sequence Charts and Projections.

Blaise Genest, Loïc Hélouët, Anca Muscholl

Proceedings of the CONCUR 2003, 2003

Message Sequence Charts.

Blaise Genest, Anca Muscholl, Doron A. Peled

Proceedings of the Lectures on Concurrency and Petri Nets, 2003