Search results for "Blaise Genest"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz	Asynchronous Games over Tree Architectures	CoRR	2012	DBLP BibTeX RDF
1	Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan	A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.	CMSB	2011	DBLP DOI BibTeX RDF
1	Nathalie Bertrand, Blaise Genest	Minimal Disclosure in Partially Observable Markov Decision Processes.	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini	Quantifying the Discord: Order Discrepancies in Message Sequence Charts.	Int. J. Found. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang	Quasi-static scheduling of communicating tasks.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl, Zhilin Wu	Verifying Recursive Active Documents with Positive Data Tree Rewriting	CoRR	2010	DBLP BibTeX RDF
1	Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz	Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata.	ICALP	2010	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl, Zhilin Wu	Verifying Recursive Active Documents with Positive Data Tree Rewriting.	FSTTCS	2010	DBLP DOI BibTeX RDF
1	Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang	Causal Message Sequence Charts.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled	On commutativity based Edge Lean search.	Ann. Math. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Debmalya Biswas, Ashwin Jiwane, Blaise Genest	Atomicity for XML Databases.	XSym	2009	DBLP DOI BibTeX RDF
1	Nathalie Bertrand, Blaise Genest, Hugo Gimbert	Qualitative Determinacy and Decidability of Stochastic Games with Signals.	LICS	2009	DBLP DOI BibTeX RDF
1	Nathalie Bertrand, Blaise Genest, Hugo Gimbert	Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides	CoRR	2008	DBLP BibTeX RDF
1	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Complexity, MSC, Hierarchical specifications
1	Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang	Quasi-Static Scheduling of Communicating Tasks.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Debmalya Biswas, Thomas Gazagnaire, Blaise Genest	Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.	HASE	2008	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun	Tree Pattern Rewriting Systems.	ATVA	2008	DBLP DOI BibTeX RDF
1	Debmalya Biswas, Blaise Genest	Minimal Observability for Transactional Hierarchical Services.	SEKE	2008	DBLP BibTeX RDF
1	Philippe Darondeau, Blaise Genest, Loïc Hélouët	Products of Message Sequence Charts.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Blaise Genest, Dietrich Kuske, Anca Muscholl	On Communicating Automata with Bounded Channels.	Fundam. Inform.	2007	DBLP BibTeX RDF
1	Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang	Causal Message Sequence Charts.	CONCUR	2007	DBLP DOI BibTeX RDF
1	Edith Elkind, Blaise Genest, Doron Peled	Detecting Races in Ensembles of Message Sequence Charts.	TACAS	2007	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled	On Commutativity Based Edge Lean Search.	ICALP	2007	DBLP DOI BibTeX RDF
1	Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini	Quantifying the Discord: Order Discrepancies in Message Sequence Charts.	ATVA	2007	DBLP DOI BibTeX RDF
1	Blaise Genest, Dietrich Kuske, Anca Muscholl	A Kleene theorem and model checking algorithms for existentially bounded communicating automata.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun	Infinite-state high-level MSCs: Model-checking and realizability.	J. Comput. Syst. Sci.	2006	DBLP DOI BibTeX RDF
1	Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu	Grey-Box Checking.	FORTE	2006	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl	Constructing Exponential-Size Deterministic Zielonka Automata.	ICALP	2006	DBLP DOI BibTeX RDF
1	Blaise Genest	On Implementation of Global Concurrent Systems with Local Asynchronous Controllers.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Blaise Genest	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.	TACAS	2005	DBLP DOI BibTeX RDF
1	Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled	Snapshot Verification.	TACAS	2005	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl	Message Sequence Charts: A Survey.	ACSD	2005	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl, Dietrich Kuske	A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
1	Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled	Specifying and Verifying Partial Order Properties Using Template MSCs.	FoSSaCS	2004	DBLP DOI BibTeX RDF
1	Blaise Genest, Loïc Hélouët, Anca Muscholl	High-Level Message Sequence Charts and Projections.	CONCUR	2003	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl, Doron Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun	Infinite-State High-Level MSCs: Model-Checking and Realizability.	ICALP	2002	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	LATIN	2002	DBLP DOI BibTeX RDF

Publications of "Blaise Genest" ( http://dblp.L3S.de/Authors/Blaise_Genest )