Blaise Genest - RankMe

91 papers A* 6A 7B 15C 4Journal 37Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Adaptive Hierarchical Graph Cut for Multi-Granularity Out-of-Distribution Detection. IEEE Trans. Artif. Intell. Xiang Fang, Arvind Easwaran, Blaise Genest, Ponnuthurai Nagaratnam Suganthan
2025	A*	`conf`	Adaptive Multi-prompt Contrastive Network for Few-shot Out-of-distribution Detection. ICML Xiang Fang, Arvind Easwaran, Blaise Genest
2025	J	`jnl`	Adaptive Multi-prompt Contrastive Network for Few-shot Out-of-distribution Detection. CoRR Xiang Fang, Arvind Easwaran, Blaise Genest
2025	—	`conf`	DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins. MODELS-C Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon
2025	J	`jnl`	DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins. CoRR Eduardo de Conto, Blaise Genest, Arvind Easwaran, Nicholas Ng, Shweta Menon
2025	B	`conf`	Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. ATVA Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman
2025	J	`jnl`	Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification. CoRR Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman
2025	J	`jnl`	Your data is not perfect: Towards cross-domain out-of-distribution detection in class-imbalanced data. Expert Syst. Appl. Xiang Fang, Arvind Easwaran, Blaise Genest, Ponnuthurai Nagaratnam Suganthan
2024	J	`jnl`	Adaptive Hierarchical Graph Cut for Multi-granularity Out-of-distribution Detection. CoRR Xiang Fang, Arvind Easwaran, Blaise Genest, Ponnuthurai Nagaratnam Suganthan
2024	—	`conf`	Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning. AIware Eduardo de Conto, Blaise Genest, Arvind Easwaran
2024	J	`jnl`	Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning. CoRR Eduardo de Conto, Blaise Genest, Arvind Easwaran
2024	J	`jnl`	Methods for Mitigating Uncertainty in Real-Time Operations of a Connected Microgrid. CoRR Subrat Prasad Panda, Blaise Genest, Arvind Easwaran, Rémy Rigo-Mariani, Pengfeng Lin
2024	J	`jnl`	On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. Log. Methods Comput. Sci. S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2024	—	`conf`	Uncertainty-Guided Appearance-Motion Association Network for Out-of-Distribution Action Detection. MIPR Xiang Fang, Arvind Easwaran, Blaise Genest
2024	J	`jnl`	Uncertainty-Guided Appearance-Motion Association Network for Out-of-Distribution Action Detection. CoRR Xiang Fang, Arvind Easwaran, Blaise Genest
2024	A	`conf`	Vanilla Gradient Descent for Oblique Decision Trees. ECAI Subrat Prasad Panda, Blaise Genest, Arvind Easwaran, Ponnuthurai Nagaratnam Suganthan
2024	J	`jnl`	Vanilla Gradient Descent for Oblique Decision Trees. CoRR Subrat Prasad Panda, Blaise Genest, Arvind Easwaran, Ponnuthurai Nagaratnam Suganthan
2024	J	`jnl`	Your Data Is Not Perfect: Towards Cross-Domain Out-of-Distribution Detection in Class-Imbalanced Data. CoRR Xiang Fang, Arvind Easwaran, Blaise Genest, Ponnuthurai Nagaratnam Suganthan
2023	—	`conf`	Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities. FSTTCS Léo Henry, Blaise Genest, Alexandre Drewery
2022	A	`conf`	On Robustness for the Skolem and Positivity Problems. STACS S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2022	J	`jnl`	On Robustness for the Skolem, Positivity and Ultimate Positivity Problems. CoRR S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2021	—	`conf`	Resilience of Timed Systems. FSTTCS S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury
2020	—	`conf`	Global PAC Bounds for Learning Discrete Time Markov Chains. CAV (2) Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun
2020	J	`jnl`	Modeling Variability in Populations of Cells Using Approximated Multivariate Distributions. IEEE ACM Trans. Comput. Biol. Bioinform. Matthieu Pichené, Sucheendra K. Palaniappan, Eric Fabre, Blaise Genest
2020	A	`conf`	Succinct Population Protocols for Presburger Arithmetic. STACS Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
2020	B	`conf`	Timed Negotiations. FoSSaCS S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital
2019	—	`conf`	Classification Among Hidden Markov Models. FSTTCS S. Akshay, Hugo Bazille, Eric Fabre, Blaise Genest
2019	J	`jnl`	Controlling a population. Log. Methods Comput. Sci. Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
2019	J	`jnl`	Succinct Population Protocols for Presburger Arithmetic. CoRR Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
2018	J	`jnl`	Controlling a population. CoRR Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole
2018	A*	`conf`	Distribution-based objectives for Markov Decision Processes. LICS S. Akshay, Blaise Genest, Nikhil Vyas
2018	J	`jnl`	Distribution-based objectives for Markov Decision Processes. CoRR S. Akshay, Blaise Genest, Nikhil Vyas
2018	B	`conf`	Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings. FoSSaCS Hugo Bazille, Eric Fabre, Blaise Genest
2017	J	`jnl`	Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway. Bioinform. Sucheendra K. Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Grégory Batt, Blaise Genest
2017	B	`conf`	Controlling a Population. CONCUR Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
2017	J	`jnl`	Controlling a Population. CoRR Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
2017	—	`conf`	Diagnosability degree of stochastic discrete event systems. CDC Hugo Bazille, Eric Fabre, Blaise Genest
2017	J	`jnl`	Qualitative Determinacy and Decidability of Stochastic Games with Signals. J. ACM Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2016	—	`conf`	A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways. HSB Sucheendra K. Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest
2016	B	`conf`	Decidable Classes of Unbounded Petri Nets with Time and Urgency. Petri Nets S. Akshay, Blaise Genest, Loïc Hélouët
2016	A	`conf`	On Regularity of Unary Probabilistic Automata. STACS S. Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas
2016	—	`book`	Taming Concurrency using Representatives. Blaise Genest
2015	J	`jnl`	Approximate Verification of the Symbolic Dynamics of Markov Chains. J. ACM Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
2015	B	`conf`	Knowledge = Observation + Memory + Computation. FoSSaCS Blaise Genest, Doron A. Peled, Sven Schewe
2014	—	`conf`	Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata. QEST Nathalie Bertrand, Thomas Brihaye, Blaise Genest
2014	J	`jnl`	Diagnosis from scenarios. Discret. Event Dyn. Syst. Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire
2014	J	`jnl`	Privacy preserving minimal observability for composite transactional services. Discret. Event Dyn. Syst. Debmalya Biswas, Blaise Genest
2013	—	`conf`	Asynchronous Games over Tree Architectures. ICALP (2) Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2013	—	`conf`	Implementing Realistic Asynchronous Automata. FSTTCS S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu
2012	J	`jnl`	A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application. IEEE ACM Trans. Comput. Biol. Bioinform. Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan
2012	A*	`conf`	Approximate Verification of the Symbolic Dynamics of Markov Chains. LICS Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
2012	J	`jnl`	Asynchronous Games over Tree Architectures CoRR Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2012	J	`jnl`	Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
2012	C	`conf`	Symbolically Bounding the Drift in Time-Constrained MSC Graphs. ICTAC S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
2011	—	`conf`	A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways. CMSB Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan
2011	—	`conf`	Minimal Disclosure in Partially Observable Markov Decision Processes. FSTTCS Nathalie Bertrand, Blaise Genest
2010	—	`conf`	Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. ICALP (2) Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
2010	J	`jnl`	Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Int. J. Found. Comput. Sci. Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
2010	J	`jnl`	Quasi-static scheduling of communicating tasks. Inf. Comput. Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
2010	J	`jnl`	Verifying Recursive Active Documents with Positive Data Tree Rewriting CoRR Blaise Genest, Anca Muscholl, Zhilin Wu
2010	—	`conf`	Verifying Recursive Active Documents with Positive Data Tree Rewriting. FSTTCS Blaise Genest, Anca Muscholl, Zhilin Wu
2009	—	`conf`	Atomicity for XML Databases. XSym Debmalya Biswas, Ashwin Jiwane, Blaise Genest
2009	J	`jnl`	Causal Message Sequence Charts. Theor. Comput. Sci. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2009	J	`jnl`	On commutativity based Edge Lean search. Ann. Math. Artif. Intell. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
2009	A*	`conf`	Qualitative Determinacy and Decidability of Stochastic Games with Signals. LICS Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2008	J	`jnl`	Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides CoRR Nathalie Bertrand, Blaise Genest, Hugo Gimbert
2008	C	`conf`	Minimal Observability for Transactional Hierarchical Services. SEKE Debmalya Biswas, Blaise Genest
2008	J	`jnl`	Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory Comput. Syst. Blaise Genest, Anca Muscholl
2008	B	`conf`	Products of Message Sequence Charts. FoSSaCS Philippe Darondeau, Blaise Genest, Loïc Hélouët
2008	B	`conf`	Quasi-Static Scheduling of Communicating Tasks. CONCUR Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
2008	—	`conf`	Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination. HASE Debmalya Biswas, Thomas Gazagnaire, Blaise Genest
2008	B	`conf`	Tree Pattern Rewriting Systems. ATVA Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun
2007	B	`conf`	Causal Message Sequence Charts. CONCUR Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2007	A	`conf`	Detecting Races in Ensembles of Message Sequence Charts. TACAS Edith Elkind, Blaise Genest, Doron A. Peled
2007	J	`jnl`	On Communicating Automata with Bounded Channels. Fundam. Informaticae Blaise Genest, Dietrich Kuske, Anca Muscholl
2007	A*	`conf`	On Commutativity Based Edge Lean Search. ICALP Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled
2007	B	`conf`	Quantifying the Discord: Order Discrepancies in Message Sequence Charts. ATVA Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini
2006	J	`jnl`	A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Inf. Comput. Blaise Genest, Dietrich Kuske, Anca Muscholl
2006	—	`conf`	Constructing Exponential-Size Deterministic Zielonka Automata. ICALP (2) Blaise Genest, Anca Muscholl
2006	C	`conf`	Grey-Box Checking. FORTE Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu
2006	J	`jnl`	Infinite-state high-level MSCs: Model-checking and realizability. J. Comput. Syst. Sci. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
2005	A	`conf`	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. TACAS Blaise Genest
2005	—	`conf`	Message Sequence Charts: A Survey. ACSD Blaise Genest, Anca Muscholl
2005	B	`conf`	On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. CONCUR Blaise Genest
2005	A	`conf`	Snapshot Verification. TACAS Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled
2004	C	`conf`	A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. Developments in Language Theory Blaise Genest, Anca Muscholl, Dietrich Kuske
2004	B	`conf`	Specifying and Verifying Partial Order Properties Using Template MSCs. FoSSaCS Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled
2003	B	`conf`	High-Level Message Sequence Charts and Projections. CONCUR Blaise Genest, Loïc Hélouët, Anca Muscholl
2003	—	`conf`	Message Sequence Charts. Lectures on Concurrency and Petri Nets Blaise Genest, Anca Muscholl, Doron A. Peled
2002	A*	`conf`	Infinite-State High-Level MSCs: Model-Checking and Realizability. ICALP Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun
2002	B	`conf`	Pattern Matching and Membership for Hierarchical Message Sequence Charts. LATIN Blaise Genest, Anca Muscholl