Publications of Blaise Genest

Load the BibTeX file

Academic Journals

1. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, Hervé Marchand. Diagnosis from Scenarios and Applications. Journal of Discrete Events and Dynamic Systems, 2011.
2. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Special Issue of ATVA'07). International Journal of Foundations of Computer Sciecnce (IJFCS), 21(2):211-233, 2010.
3. Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang. Quasi-static scheduling of communicating tasks. Inf. Comput, 208(10):1154-1168, 2010.
4. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. Special Issue of ATVA'07, International Journal of Foundations of Computer Sciecnce (IJFCS), in press(0):0-0, 2009.
5. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. On Commutativity Based Edge Lean Search. Special issue of BISFAI 2007, Annals of Mathematic and Artificial Intelligence (AMAI), in press(0):0-0, 2009.
6. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks. Special issue of CONCUR 2008 accepted to Information and Computation, in press(0):0-0, 2009.
7. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. Thiagarajan, Shaofa Yang. Causal Message Sequence Charts. Theoretical Computer Science (TCS), 410(41):4094-4110, 2009.
8. Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. Theory of Computing Systems (TOCS), 42(4):536-567, 2008.
9. Blaise Genest,,Dietrich Kuske, Anca Muscholl. On Communicating Automata with Bounded Channels. Fundamenta Informaticae, IOS Press, 80:1-21, 2007.
10. Blaise Genest,,Dietrich Kuske, Anca Muscholl. A Kleene Theorem and Model Checking for a Class of Communicating Automata. Information and Computation, 204(6):920-956, 2006.
11. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. J. Computer and System Science JCSS, 72(4):617-647, 2006.

International Conferences

1. Nathalie Bertrand, Blaise Genest. Minimal Disclosure in Partially Observable Markov Decision Processes. In 31th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Volume LIPIcs, 2011.
2. Sucheendra Palaniappan, S. Akshay, Blaise Genest, P.S. Thiagarajan. A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks. In 9th International Conference on Computational Methods in Systems Biology (CMSB), Volume ACM 978-1-4503-0817-5, Pages 35-44, 2011.
3. Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz. Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata. In ICALP (2), Lecture Notes in Computer Science, Volume 6199, Pages 52-63, 2010.
4. Blaise Genest, Anca Muscholl, Zhilin Wu. Verifying Recursive Active Documents with Positive Data Tree Rewriting. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), Kamal Lodaya, Meena Mahajan (eds.), Leibniz International Proceedings in Informatics (LIPIcs), Volume 8, Pages 469-480, Dagstuhl, Germany, 2010.
5. Nathalie Bertrand, Blaise Genest, Hugo Gimbert. Qualitative Determinacy and Decidability of Stochastic Games with Signals. In Twenty-Fourth Annual IEEE Symposium on Logic In Computer Science (LICS), Volume IEEE 978-0-7695-3746-7, Pages 319-328, 2009.
6. Debmalya Biswas, Ashwin Jiwane, Blaise Genest. Atomicity for XML Databases. In Sixth International XML Database Symposium (XSym), Volume LNCS 5679, Pages 160-167, 2009.
7. Debmalya Biswas, Thomas Gazagnaire, Blaise Genest. Small Logs for Transactional Services. In 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), Nanjing, China, December 2008.
8. Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun. Tree Pattern Rewrite Systems. In 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS, Volume 5311, Pages 332-346, Seoul, Korea, October 2008.
9. Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang. Quasi-Static Scheduling of Communicating Tasks. In 19th International Conference on Concurrency Theory (CONCUR'08), Volume LNCS 5201, Pages 310-324, Toronto, Canada, August 2008.
10. Debmalya Biswas, Blaise Genest. Minimal Observability for Transactional Hierarchical Services. In 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'08), Volume ISBN 1-891706-22-5, Pages 531-536, San Francisco, USA, July 2008.
11. Philippe Darondeau, Blaise Genest, Loïc Hélouët. Products of Message Sequence Charts. In 11th International Conference on Foundations of Software Science And Computation Structures (FOSSACS'08), Volume LNCS 4962, Pages 459-474, Budapest, Hungary, April 2008.
12. Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron Peled. On Commutativity Based Edge Lean Search. In ICALP, Volume LNCS 4596, Pages 158-170, 2007.
13. Edith Elkind, Blaise Genest, Doron Peled. Detecting Races in Ensembles of Message Sequence Charts. In TACAS, Volume LNCS 4424, Pages 420-434, 2007.
14. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the Discord: Order Discrepancies in Message Sequence Charts. In ATVA, LNCS, Pages 378-393, 2007.
15. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. In Proceedings of CONCUR 2007, 2007.
16. Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu. Grey Box Checking. In FORTE, Volume LNCS 4229, Pages 420-435, 2006.
17. Blaise Genest, Anca Muscholl. Constructing Exponential-size Deterministic Zielonka Automata. In ICALP, Volume LNCS 4052, Pages 565-576, 2006.
18. Loïc Hélouët, Thomas Gazagnaire, Blaise Genest. Diagnosis from Scenarios. In proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06, Pages 307-312, 2006.
19. Blaise Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. In TACAS, Volume LNCS 3440, Pages 429-444, 2005.
20. Blaise Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. In CONCUR, Volume LNCS 3653, Pages 443-457, 2005.
21. Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005.
22. Blaise Genest, Anca Muscholl. Message Sequence Charts: A Survey. In ACSD, Pages 2-4, 2005.
23. Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004.
24. Blaise Genest, Anca Muscholl, Dietrich Kuske. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. In Developments in Language Theory, Volume LNCS 3340, Pages 30-48, 2004.
25. Blaise Genest, Anca Muscholl, Doron Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537-558, 2003.
26. Blaise Genest, Loïc Hélouët, Anca Muscholl. High-level Message Sequence Charts projection. In proceedings of CONCUR 2003, Marseille, September 2003.
27. Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts. In LATIN, Volume LNCS 2286, Pages 326-340, 2002.
28. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. In ICALP, Volume LNCS 2380, Pages 657-668, 2002.

Research Reports

1. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang. Regular Set of Representatives for Time-Constrained MSC Graphs. Rapport de recherche INRIA, No 0, November 2011.
2. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. INRIA Research Report INRIA, No 0, 2007.
3. Blaise Genest, Philippe Darondeau, Loïc Hélouët. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.
4. Blaise Genest, Anca Muscholl, Olivier Serre, Marc. Zeitoun. Well Structured Control of Data Tree and the Decidability of AXML. 2007.
5. Philippe Darondeau, Blaise Genest, Loïc Hélouët. L2.2 R : description d'un modèle de tuiles, propriétés fondamentales. Research Report Projet CO2, 2006.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic