Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor Asynchronous games over tree architectures. (English) Zbl 1334.68150 Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 275-286 (2013). MSC: 68Q85 68Q45 91A43 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 7966, 275--286 (2013; Zbl 1334.68150) Full Text: DOI arXiv
Genest, Blaise; Muscholl, Anca; Wu, Zhilin Verifying recursive active documents with positive data tree rewriting. (English) Zbl 1245.68078 Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 469-480, electronic only (2010). MSC: 68P15 68Q42 PDFBibTeX XMLCite \textit{B. Genest} et al., LIPIcs -- Leibniz Int. Proc. Inform. 8, 469--480 (2010; Zbl 1245.68078) Full Text: DOI Link
Genest, Blaise; Gimbert, Hugo; Muscholl, Anca; Walukiewicz, Igor Optimal Zielonka-type construction of deterministic asynchronous automata. (English) Zbl 1288.68154 Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 52-63 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 6199, 52--63 (2010; Zbl 1288.68154) Full Text: DOI
Genest, Blaise; Muscholl, Anca; Serre, Olivier; Zeitoun, Marc Tree pattern rewriting systems. (English) Zbl 1183.68372 Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 332-346 (2008). MSC: 68Q60 68Q42 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 5311, 332--346 (2008; Zbl 1183.68372) Full Text: DOI
Genest, Blaise; Muscholl, Anca Pattern matching and membership for hierarchical message sequence charts. (English) Zbl 1140.68038 Theory Comput. Syst. 42, No. 4, 536-567 (2008). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{B. Genest} and \textit{A. Muscholl}, Theory Comput. Syst. 42, No. 4, 536--567 (2008; Zbl 1140.68038) Full Text: DOI
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca On communicating automata with bounded channels. (English) Zbl 1137.68447 Penczek, Wojciech (ed.) et al., Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press (ISBN 978-1-58603-805-2/pbk). 147-167 (2007). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{B. Genest} et al., in: Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press. 147--167 (2007; Zbl 1137.68447)
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca On communicating automata with bounded channels. (English) Zbl 1128.68062 Fundam. Inform. 80, No. 1-3, 147-167 (2007). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{B. Genest} et al., Fundam. Inform. 80, No. 1--3, 147--167 (2007; Zbl 1128.68062)
Genest, Blaise; Muscholl, Anca Constructing exponential-size deterministic Zielonka automata. (English) Zbl 1133.68362 Bugliesi, Michele (ed.) et al., Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10–14, 2006. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-35907-4/pbk). Lecture Notes in Computer Science 4052, 565-576 (2006). MSC: 68Q45 PDFBibTeX XMLCite \textit{B. Genest} and \textit{A. Muscholl}, Lect. Notes Comput. Sci. 4052, 565--576 (2006; Zbl 1133.68362) Full Text: DOI
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca A Kleene theorem and model checking algorithms for existentially bounded communicating automata. (English) Zbl 1104.68066 Inf. Comput. 204, No. 6, 920-956 (2006). MSC: 68Q60 68W05 68Q45 68N30 PDFBibTeX XMLCite \textit{B. Genest} et al., Inf. Comput. 204, No. 6, 920--956 (2006; Zbl 1104.68066) Full Text: DOI
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc Infinite-state high-level MSCs: model-checking and realizability. (English) Zbl 1105.68071 J. Comput. Syst. Sci. 72, No. 4, 617-647 (2006). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Genest} et al., J. Comput. Syst. Sci. 72, No. 4, 617--647 (2006; Zbl 1105.68071) Full Text: DOI
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron Snapshot verification. (English) Zbl 1087.68055 Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 510-525 (2005). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 3440, 510--525 (2005; Zbl 1087.68055) Full Text: DOI
Genest, Blaise; Minea, Marius; Muscholl, Anca; Peled, Doron Specifying and verifying partial order properties using template MSCs. (English) Zbl 1126.68498 Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 195-210 (2004). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 2987, 195--210 (2004; Zbl 1126.68498) Full Text: DOI
Genest, Blaise; Muscholl, Anca; Peled, Doron Message sequence charts. (English) Zbl 1088.68124 Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 537-558 (2004). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 3098, 537--558 (2004; Zbl 1088.68124) Full Text: DOI
Genest, Blaise; Muscholl, Anca; Kuske, Dietrich A Kleene theorem for a class of communicating automata with effective algorithms. (English) Zbl 1117.68403 Calude, Cristian S. (ed.) et al., Developments in language theory. 8th international conference, DLT 2004, Auckland, New Zealand, December 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24014-4/pbk). Lecture Notes in Computer Science 3340, 30-48 (2004). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 3340, 30--48 (2004; Zbl 1117.68403) Full Text: DOI
Genest, Blaise; Hélouët, Loïc; Muscholl, Anca High-level message sequence charts and projections. (English) Zbl 1274.68186 Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 311-326 (2003). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 2761, 311--326 (2003; Zbl 1274.68186) Full Text: DOI
Genest, Blaise; Muscholl, Anca; Seidl, Helmut; Zeitoun, Marc Infinite-state high-level MSCs: Model-checking and realizability (extended abstract). (English) Zbl 1057.68625 Widmayer, Peter (ed.) et al., Automata, languages and programming. 29th international colloquium, ICALP 2002, Málaga, Spain, July 8–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43864-5). Lect. Notes Comput. Sci. 2380, 657-668 (2002). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Genest} et al., Lect. Notes Comput. Sci. 2380, 657--668 (2002; Zbl 1057.68625) Full Text: Link
Genest, Blaise; Muscholl, Anca Pattern matching and membership for hierarchical message sequence charts. (English) Zbl 1059.68544 Rajsbaum, Sergio (ed.), LATIN 2002: Theoretical informatics. 5th Latin American symposium, Cancun, Mexico, April 3–6, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43400-3). Lect. Notes Comput. Sci. 2286, 326-340 (2002). MSC: 68N30 PDFBibTeX XMLCite \textit{B. Genest} and \textit{A. Muscholl}, Lect. Notes Comput. Sci. 2286, 326--340 (2002; Zbl 1059.68544) Full Text: Link