Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Blaise Genest
@inproceedings{DBLP:conf/fsttcs/HenryGD23,
author = {L{\'{e}}o Henry and
Blaise Genest and
Alexandre Drewery},
editor = {Patricia Bouyer and
Srikanth Srinivasan},
title = {Reinforcement Planning for Effective {\(\epsilon\)}-Optimal Policies
in Dense Time with Discontinuities},
booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
{IIIT} Hyderabad, Telangana, India},
series = {LIPIcs},
volume = {284},
pages = {13:1--13:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.13},
doi = {10.4230/LIPICS.FSTTCS.2023.13},
timestamp = {Wed, 13 Dec 2023 14:08:06 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/HenryGD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/0001BGV22,
author = {S. Akshay and
Hugo Bazille and
Blaise Genest and
Mihir Vahanwala},
editor = {Petra Berenbrink and
Benjamin Monmege},
title = {On Robustness for the Skolem and Positivity Problems},
booktitle = {39th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
series = {LIPIcs},
volume = {219},
pages = {5:1--5:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.STACS.2022.5},
doi = {10.4230/LIPICS.STACS.2022.5},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/0001BGV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-02365,
author = {S. Akshay and
Hugo Bazille and
Blaise Genest and
Mihir Vahanwala},
title = {On Robustness for the Skolem, Positivity and Ultimate Positivity Problems},
journal = {CoRR},
volume = {abs/2211.02365},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.02365},
doi = {10.48550/ARXIV.2211.02365},
eprinttype = {arXiv},
eprint = {2211.02365},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-02365.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/0001GHKR21,
author = {S. Akshay and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
S. Krishna and
Sparsa Roychowdhury},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Resilience of Timed Systems},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {33:1--33:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.33},
doi = {10.4230/LIPICS.FSTTCS.2021.33},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/0001GHKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/PichenePFG20,
author = {Matthieu Pichen{\'{e}} and
Sucheendra K. Palaniappan and
Eric Fabre and
Blaise Genest},
title = {Modeling Variability in Populations of Cells Using Approximated Multivariate
Distributions},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {17},
number = {5},
pages = {1691--1702},
year = {2020},
url = {https://doi.org/10.1109/TCBB.2019.2904276},
doi = {10.1109/TCBB.2019.2904276},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/PichenePFG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BazilleGJS20,
author = {Hugo Bazille and
Blaise Genest and
Cyrille J{\'{e}}gourel and
Jun Sun},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Global {PAC} Bounds for Learning Discrete Time Markov Chains},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12225},
pages = {304--326},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53291-8\_17},
doi = {10.1007/978-3-030-53291-8\_17},
timestamp = {Wed, 12 Aug 2020 15:15:44 +0200},
biburl = {https://dblp.org/rec/conf/cav/BazilleGJS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AkshayGHM20,
author = {S. Akshay and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Sharvik Mital},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Timed Negotiations},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {37--56},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_3},
doi = {10.1007/978-3-030-45231-5\_3},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AkshayGHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BlondinEGHJ20,
author = {Michael Blondin and
Javier Esparza and
Blaise Genest and
Martin Helfrich and
Stefan Jaax},
editor = {Christophe Paul and
Markus Bl{\"{a}}ser},
title = {Succinct Population Protocols for Presburger Arithmetic},
booktitle = {37th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2020, March 10-13, 2020, Montpellier, France},
series = {LIPIcs},
volume = {154},
pages = {40:1--40:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.STACS.2020.40},
doi = {10.4230/LIPICS.STACS.2020.40},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BlondinEGHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BertrandDGGG19,
author = {Nathalie Bertrand and
Miheer Dewaskar and
Blaise Genest and
Hugo Gimbert and
Adwait Amit Godbole},
title = {Controlling a population},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:6)2019},
doi = {10.23638/LMCS-15(3:6)2019},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BertrandDGGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AkshayBFG19,
author = {S. Akshay and
Hugo Bazille and
Eric Fabre and
Blaise Genest},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Classification Among Hidden Markov Models},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {29:1--29:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.29},
doi = {10.4230/LIPICS.FSTTCS.2019.29},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AkshayBFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04600,
author = {Michael Blondin and
Javier Esparza and
Blaise Genest and
Martin Helfrich and
Stefan Jaax},
title = {Succinct Population Protocols for Presburger Arithmetic},
journal = {CoRR},
volume = {abs/1910.04600},
year = {2019},
url = {http://arxiv.org/abs/1910.04600},
eprinttype = {arXiv},
eprint = {1910.04600},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BazilleFG18,
author = {Hugo Bazille and
Eric Fabre and
Blaise Genest},
editor = {Christel Baier and
Ugo Dal Lago},
title = {Symbolically Quantifying Response Time in Stochastic Models Using
Moments and Semirings},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {403--419},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_22},
doi = {10.1007/978-3-319-89366-2\_22},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BazilleFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AkshayGV18,
author = {S. Akshay and
Blaise Genest and
Nikhil Vyas},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Distribution-based objectives for Markov Decision Processes},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {36--45},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209185},
doi = {10.1145/3209108.3209185},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AkshayGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09341,
author = {S. Akshay and
Blaise Genest and
Nikhil Vyas},
title = {Distribution-based objectives for Markov Decision Processes},
journal = {CoRR},
volume = {abs/1804.09341},
year = {2018},
url = {http://arxiv.org/abs/1804.09341},
eprinttype = {arXiv},
eprint = {1804.09341},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-09341.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00893,
author = {Nathalie Bertrand and
Miheer Dewaskar and
Blaise Genest and
Hugo Gimbert and
Adwait Amit Godbole},
title = {Controlling a population},
journal = {CoRR},
volume = {abs/1807.00893},
year = {2018},
url = {http://arxiv.org/abs/1807.00893},
eprinttype = {arXiv},
eprint = {1807.00893},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-00893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/PalaniappanBPFB17,
author = {Sucheendra K. Palaniappan and
Fran{\c{c}}ois Bertaux and
Matthieu Pichen{\'{e}} and
Eric Fabre and
Gr{\'{e}}gory Batt and
Blaise Genest},
title = {Abstracting the dynamics of biological pathways using information
theory: a case study of apoptosis pathway},
journal = {Bioinform.},
volume = {33},
number = {13},
pages = {1980--1986},
year = {2017},
url = {https://doi.org/10.1093/bioinformatics/btx095},
doi = {10.1093/BIOINFORMATICS/BTX095},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/PalaniappanBPFB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BertrandGG17,
author = {Nathalie Bertrand and
Blaise Genest and
Hugo Gimbert},
title = {Qualitative Determinacy and Decidability of Stochastic Games with
Signals},
journal = {J. {ACM}},
volume = {64},
number = {5},
pages = {33:1--33:48},
year = {2017},
url = {https://doi.org/10.1145/3107926},
doi = {10.1145/3107926},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/BertrandGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/BazilleFG17,
author = {Hugo Bazille and
Eric Fabre and
Blaise Genest},
title = {Diagnosability degree of stochastic discrete event systems},
booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
Melbourne, Australia, December 12-15, 2017},
pages = {5726--5731},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/CDC.2017.8264524},
doi = {10.1109/CDC.2017.8264524},
timestamp = {Fri, 04 Mar 2022 13:29:55 +0100},
biburl = {https://dblp.org/rec/conf/cdc/BazilleFG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001DGG17,
author = {Nathalie Bertrand and
Miheer Dewaskar and
Blaise Genest and
Hugo Gimbert},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Controlling a Population},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {12:1--12:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.12},
doi = {10.4230/LIPICS.CONCUR.2017.12},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/0001DGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001DGG17,
author = {Nathalie Bertrand and
Miheer Dewaskar and
Blaise Genest and
Hugo Gimbert},
title = {Controlling a Population},
journal = {CoRR},
volume = {abs/1707.02058},
year = {2017},
url = {http://arxiv.org/abs/1707.02058},
eprinttype = {arXiv},
eprint = {1707.02058},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001DGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Genest16,
author = {Blaise Genest},
title = {Taming Concurrency using Representatives},
year = {2016},
url = {https://tel.archives-ouvertes.fr/tel-01939514},
timestamp = {Fri, 08 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Genest16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AkshayGH16,
author = {S. Akshay and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t},
editor = {Fabrice Kordon and
Daniel Moldt},
title = {Decidable Classes of Unbounded Petri Nets with Time and Urgency},
booktitle = {Application and Theory of Petri Nets and Concurrency - 37th International
Conference, {PETRI} {NETS} 2016, Toru{\'{n}}, Poland, June 19-24,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9698},
pages = {301--322},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39086-4\_18},
doi = {10.1007/978-3-319-39086-4\_18},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/AkshayGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/PalaniappanPBFG16,
author = {Sucheendra K. Palaniappan and
Matthieu Pichen{\'{e}} and
Gr{\'{e}}gory Batt and
Eric Fabre and
Blaise Genest},
editor = {Eugenio Cinquemani and
Alexandre Donz{\'{e}}},
title = {A Look-Ahead Simulation Algorithm for {DBN} Models of Biochemical
Pathways},
booktitle = {Hybrid Systems Biology - 5th International Workshop, {HSB} 2016, Grenoble,
France, October 20-21, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9957},
pages = {3--19},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47151-8\_1},
doi = {10.1007/978-3-319-47151-8\_1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hsb/PalaniappanPBFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AkshayGKV16,
author = {S. Akshay and
Blaise Genest and
Bruno Karelovic and
Nikhil Vyas},
editor = {Nicolas Ollinger and
Heribert Vollmer},
title = {On Regularity of Unary Probabilistic Automata},
booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
2016, February 17-20, 2016, Orl{\'{e}}ans, France},
series = {LIPIcs},
volume = {47},
pages = {8:1--8:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.STACS.2016.8},
doi = {10.4230/LIPICS.STACS.2016.8},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/AkshayGKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AgrawalAGT15,
author = {Manindra Agrawal and
S. Akshay and
Blaise Genest and
P. S. Thiagarajan},
title = {Approximate Verification of the Symbolic Dynamics of Markov Chains},
journal = {J. {ACM}},
volume = {62},
number = {1},
pages = {2:1--2:34},
year = {2015},
url = {https://doi.org/10.1145/2629417},
doi = {10.1145/2629417},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/AgrawalAGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GenestPS15,
author = {Blaise Genest and
Doron A. Peled and
Sven Schewe},
editor = {Andrew M. Pitts},
title = {Knowledge = Observation + Memory + Computation},
booktitle = {Foundations of Software Science and Computation Structures - 18th
International Conference, FoSSaCS 2015, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9034},
pages = {215--229},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46678-0\_14},
doi = {10.1007/978-3-662-46678-0\_14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GenestPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/HelouetMGG14,
author = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Herv{\'{e}} Marchand and
Blaise Genest and
Thomas Gazagnaire},
title = {Diagnosis from scenarios},
journal = {Discret. Event Dyn. Syst.},
volume = {24},
number = {4},
pages = {353--415},
year = {2014},
url = {https://doi.org/10.1007/s10626-013-0158-2},
doi = {10.1007/S10626-013-0158-2},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/HelouetMGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BiswasG14,
author = {Debmalya Biswas and
Blaise Genest},
title = {Privacy preserving minimal observability for composite transactional
services},
journal = {Discret. Event Dyn. Syst.},
volume = {24},
number = {4},
pages = {611--646},
year = {2014},
url = {https://doi.org/10.1007/s10626-013-0177-z},
doi = {10.1007/S10626-013-0177-Z},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BiswasG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/BertrandBG14,
author = {Nathalie Bertrand and
Thomas Brihaye and
Blaise Genest},
editor = {Gethin Norman and
William H. Sanders},
title = {Deciding the Value 1 Problem for Reachability in 1-Clock Decision
Stochastic Timed Automata},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {313--328},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_25},
doi = {10.1007/978-3-319-10696-0\_25},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/BertrandBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AkshayDGS13,
author = {S. Akshay and
Ionut Dinca and
Blaise Genest and
Alin Stefanescu},
editor = {Anil Seth and
Nisheeth K. Vishnoi},
title = {Implementing Realistic Asynchronous Automata},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2013, December 12-14, 2013,
Guwahati, India},
series = {LIPIcs},
volume = {24},
pages = {213--224},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.213},
doi = {10.4230/LIPICS.FSTTCS.2013.213},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/AkshayDGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenestGMW13,
author = {Blaise Genest and
Hugo Gimbert and
Anca Muscholl and
Igor Walukiewicz},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Asynchronous Games over Tree Architectures},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {275--286},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_26},
doi = {10.1007/978-3-642-39212-2\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenestGMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AkshayGHY12,
author = {S. Akshay and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Shaofa Yang},
title = {Regular set of representatives for time-constrained {MSC} graphs},
journal = {Inf. Process. Lett.},
volume = {112},
number = {14-15},
pages = {592--598},
year = {2012},
url = {https://doi.org/10.1016/j.ipl.2012.05.002},
doi = {10.1016/J.IPL.2012.05.002},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/AkshayGHY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/PalaniappanA0GT12,
author = {Sucheendra K. Palaniappan and
S. Akshay and
Bing Liu and
Blaise Genest and
P. S. Thiagarajan},
title = {A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks
with a Biopathways Application},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {9},
number = {5},
pages = {1352--1365},
year = {2012},
url = {https://doi.org/10.1109/TCBB.2012.60},
doi = {10.1109/TCBB.2012.60},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/PalaniappanA0GT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AkshayGHY12,
author = {S. Akshay and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Shaofa Yang},
editor = {Abhik Roychoudhury and
Meenakshi D'Souza},
title = {Symbolically Bounding the Drift in Time-Constrained {MSC} Graphs},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2012 - 9th International
Colloquium, Bangalore, India, September 24-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7521},
pages = {1--15},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32943-2\_1},
doi = {10.1007/978-3-642-32943-2\_1},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AkshayGHY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AgrawalAGT12,
author = {Manindra Agrawal and
S. Akshay and
Blaise Genest and
P. S. Thiagarajan},
title = {Approximate Verification of the Symbolic Dynamics of Markov Chains},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.17},
doi = {10.1109/LICS.2012.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AgrawalAGT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-0077,
author = {Blaise Genest and
Hugo Gimbert and
Anca Muscholl and
Igor Walukiewicz},
title = {Asynchronous Games over Tree Architectures},
journal = {CoRR},
volume = {abs/1204.0077},
year = {2012},
url = {http://arxiv.org/abs/1204.0077},
eprinttype = {arXiv},
eprint = {1204.0077},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-0077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PalaniappanAGT11,
author = {Sucheendra K. Palaniappan and
S. Akshay and
Blaise Genest and
P. S. Thiagarajan},
editor = {Fran{\c{c}}ois Fages},
title = {A hybrid factored frontier algorithm for dynamic Bayesian network
models of biopathways},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {35--44},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037516},
doi = {10.1145/2037509.2037516},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/PalaniappanAGT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BertrandG11,
author = {Nathalie Bertrand and
Blaise Genest},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Minimal Disclosure in Partially Observable Markov Decision Processes},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {411--422},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.411},
doi = {10.4230/LIPICS.FSTTCS.2011.411},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/BertrandG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DarondeauGTY10,
author = {Philippe Darondeau and
Blaise Genest and
P. S. Thiagarajan and
Shaofa Yang},
title = {Quasi-static scheduling of communicating tasks},
journal = {Inf. Comput.},
volume = {208},
number = {10},
pages = {1154--1168},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.09.005},
doi = {10.1016/J.IC.2009.09.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DarondeauGTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ElkindGPS10,
author = {Edith Elkind and
Blaise Genest and
Doron A. Peled and
Paola Spoletini},
title = {Quantifying the Discord: Order Discrepancies in Message Sequence Charts},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {2},
pages = {211--233},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007210},
doi = {10.1142/S0129054110007210},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ElkindGPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/GenestMW10,
author = {Blaise Genest and
Anca Muscholl and
Zhilin Wu},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Verifying Recursive Active Documents with Positive Data Tree Rewriting},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
Chennai, India},
series = {LIPIcs},
volume = {8},
pages = {469--480},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.469},
doi = {10.4230/LIPICS.FSTTCS.2010.469},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/GenestMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenestGMW10,
author = {Blaise Genest and
Hugo Gimbert and
Anca Muscholl and
Igor Walukiewicz},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {52--63},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_5},
doi = {10.1007/978-3-642-14162-1\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenestGMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-1010,
author = {Blaise Genest and
Anca Muscholl and
Zhilin Wu},
title = {Verifying Recursive Active Documents with Positive Data Tree Rewriting},
journal = {CoRR},
volume = {abs/1003.1010},
year = {2010},
url = {http://arxiv.org/abs/1003.1010},
eprinttype = {arXiv},
eprint = {1003.1010},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-1010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BosnackiEGP09,
author = {Dragan Bosnacki and
Edith Elkind and
Blaise Genest and
Doron A. Peled},
title = {On commutativity based Edge Lean search},
journal = {Ann. Math. Artif. Intell.},
volume = {56},
number = {2},
pages = {187--210},
year = {2009},
url = {https://doi.org/10.1007/s10472-009-9167-0},
doi = {10.1007/S10472-009-9167-0},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BosnackiEGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GazagnaireGHTY09,
author = {Thomas Gazagnaire and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
P. S. Thiagarajan and
Shaofa Yang},
title = {Causal Message Sequence Charts},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {41},
pages = {4094--4110},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.013},
doi = {10.1016/J.TCS.2009.06.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GazagnaireGHTY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BertrandGG09,
author = {Nathalie Bertrand and
Blaise Genest and
Hugo Gimbert},
title = {Qualitative Determinacy and Decidability of Stochastic Games with
Signals},
booktitle = {Proceedings of the 24th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2009, 11-14 August 2009, Los Angeles, CA, {USA}},
pages = {319--328},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/LICS.2009.31},
doi = {10.1109/LICS.2009.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BertrandGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xsym/BiswasJG09,
author = {Debmalya Biswas and
Ashwin Jiwane and
Blaise Genest},
editor = {Zohra Bellahsene and
Ela Hunt and
Michael Rys and
Rainer Unland},
title = {Atomicity for {XML} Databases},
booktitle = {Database and {XML} Technologies, 6th International {XML} Database
Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5679},
pages = {180--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03555-5\_15},
doi = {10.1007/978-3-642-03555-5\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/xsym/BiswasJG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/GenestM08,
author = {Blaise Genest and
Anca Muscholl},
title = {Pattern Matching and Membership for Hierarchical Message Sequence
Charts},
journal = {Theory Comput. Syst.},
volume = {42},
number = {4},
pages = {536--567},
year = {2008},
url = {https://doi.org/10.1007/s00224-007-9054-1},
doi = {10.1007/S00224-007-9054-1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/GenestM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GenestMSZ08,
author = {Blaise Genest and
Anca Muscholl and
Olivier Serre and
Marc Zeitoun},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Tree Pattern Rewriting Systems},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {332--346},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_29},
doi = {10.1007/978-3-540-88387-6\_29},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/GenestMSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DarondeauGTY08,
author = {Philippe Darondeau and
Blaise Genest and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Quasi-Static Scheduling of Communicating Tasks},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {310--324},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_26},
doi = {10.1007/978-3-540-85361-9\_26},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/DarondeauGTY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DarondeauGH08,
author = {Philippe Darondeau and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t},
editor = {Roberto M. Amadio},
title = {Products of Message Sequence Charts},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {458--473},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_32},
doi = {10.1007/978-3-540-78499-9\_32},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DarondeauGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/BiswasGG08,
author = {Debmalya Biswas and
Thomas Gazagnaire and
Blaise Genest},
title = {Small Logs for Transactional Services: Distinction is Much More Accurate
than (Positive) Discrimination},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.24},
doi = {10.1109/HASE.2008.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/BiswasGG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/BiswasG08,
author = {Debmalya Biswas and
Blaise Genest},
title = {Minimal Observability for Transactional Hierarchical Services},
booktitle = {Proceedings of the Twentieth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2008), San Francisco,
CA, USA, July 1-3, 2008},
pages = {531--536},
publisher = {Knowledge Systems Institute Graduate School},
year = {2008},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/BiswasG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-3975,
author = {Nathalie Bertrand and
Blaise Genest and
Hugo Gimbert},
title = {Determinacy and Decidability of Reachability Games with Partial Observation
on Both Sides},
journal = {CoRR},
volume = {abs/0811.3975},
year = {2008},
url = {http://arxiv.org/abs/0811.3975},
eprinttype = {arXiv},
eprint = {0811.3975},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-3975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GenestKM07,
author = {Blaise Genest and
Dietrich Kuske and
Anca Muscholl},
title = {On Communicating Automata with Bounded Channels},
journal = {Fundam. Informaticae},
volume = {80},
number = {1-3},
pages = {147--167},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GenestKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ElkindGPS07,
author = {Edith Elkind and
Blaise Genest and
Doron A. Peled and
Paola Spoletini},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Quantifying the Discord: Order Discrepancies in Message Sequence Charts},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {378--393},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_27},
doi = {10.1007/978-3-540-75596-8\_27},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ElkindGPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GazagnaireGHTY07,
author = {Thomas Gazagnaire and
Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
P. S. Thiagarajan and
Shaofa Yang},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Causal Message Sequence Charts},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {166--180},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_12},
doi = {10.1007/978-3-540-74407-8\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GazagnaireGHTY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BosnackiEGP07,
author = {Dragan Bosnacki and
Edith Elkind and
Blaise Genest and
Doron A. Peled},
editor = {Lars Arge and
Christian Cachin and
Tomasz Jurdzinski and
Andrzej Tarlecki},
title = {On Commutativity Based Edge Lean Search},
booktitle = {Automata, Languages and Programming, 34th International Colloquium,
{ICALP} 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4596},
pages = {158--170},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73420-8\_16},
doi = {10.1007/978-3-540-73420-8\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BosnackiEGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ElkindGP07,
author = {Edith Elkind and
Blaise Genest and
Doron A. Peled},
editor = {Orna Grumberg and
Michael Huth},
title = {Detecting Races in Ensembles of Message Sequence Charts},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {420--434},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_32},
doi = {10.1007/978-3-540-71209-1\_32},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ElkindGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GenestKM06,
author = {Blaise Genest and
Dietrich Kuske and
Anca Muscholl},
title = {A Kleene theorem and model checking algorithms for existentially bounded
communicating automata},
journal = {Inf. Comput.},
volume = {204},
number = {6},
pages = {920--956},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2006.01.005},
doi = {10.1016/J.IC.2006.01.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GenestKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GenestMSZ06,
author = {Blaise Genest and
Anca Muscholl and
Helmut Seidl and
Marc Zeitoun},
title = {Infinite-state high-level MSCs: Model-checking and realizability},
journal = {J. Comput. Syst. Sci.},
volume = {72},
number = {4},
pages = {617--647},
year = {2006},
url = {https://doi.org/10.1016/j.jcss.2005.09.007},
doi = {10.1016/J.JCSS.2005.09.007},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GenestMSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ElkindGPQ06,
author = {Edith Elkind and
Blaise Genest and
Doron A. Peled and
Hongyang Qu},
editor = {Elie Najm and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre and
V{\'{e}}ronique Donzeau{-}Gouge},
title = {Grey-Box Checking},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2006, 26th {IFIP} {WG} 6.1 International Conference, Paris, France,
September 26-29, 2006},
series = {Lecture Notes in Computer Science},
volume = {4229},
pages = {420--435},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11888116\_30},
doi = {10.1007/11888116\_30},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/ElkindGPQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenestM06,
author = {Blaise Genest and
Anca Muscholl},
editor = {Michele Bugliesi and
Bart Preneel and
Vladimiro Sassone and
Ingo Wegener},
title = {Constructing Exponential-Size Deterministic Zielonka Automata},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium,
{ICALP} 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4052},
pages = {565--576},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787006\_48},
doi = {10.1007/11787006\_48},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenestM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GenestM05,
author = {Blaise Genest and
Anca Muscholl},
title = {Message Sequence Charts: {A} Survey},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {2--4},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.25},
doi = {10.1109/ACSD.2005.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GenestM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Genest05,
author = {Blaise Genest},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {On Implementation of Global Concurrent Systems with Local Asynchronous
Controllers},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {443--457},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_34},
doi = {10.1007/11539452\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Genest05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Genest05,
author = {Blaise Genest},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Compositional Message Sequence Charts (CMSCs) Are Better to Implement
Than MSCs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {429--444},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_28},
doi = {10.1007/978-3-540-31980-1\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Genest05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GenestKMP05,
author = {Blaise Genest and
Dietrich Kuske and
Anca Muscholl and
Doron A. Peled},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Snapshot Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {510--525},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_33},
doi = {10.1007/978-3-540-31980-1\_33},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GenestKMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/GenestMK04,
author = {Blaise Genest and
Anca Muscholl and
Dietrich Kuske},
editor = {Cristian Calude and
Elena Calude and
Michael J. Dinneen},
title = {A Kleene Theorem for a Class of Communicating Automata with Effective
Algorithms},
booktitle = {Developments in Language Theory, 8th International Conference, {DLT}
2004, Auckland, New Zealand, December 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3340},
pages = {30--48},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30550-7\_4},
doi = {10.1007/978-3-540-30550-7\_4},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/GenestMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GenestMMP04,
author = {Blaise Genest and
Marius Minea and
Anca Muscholl and
Doron A. Peled},
editor = {Igor Walukiewicz},
title = {Specifying and Verifying Partial Order Properties Using Template MSCs},
booktitle = {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, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {195--210},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_15},
doi = {10.1007/978-3-540-24727-2\_15},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GenestMMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/GenestMP03,
author = {Blaise Genest and
Anca Muscholl and
Doron A. Peled},
editor = {J{\"{o}}rg Desel and
Wolfgang Reisig and
Grzegorz Rozenberg},
title = {Message Sequence Charts},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
tutorial volume originates from the 4th Advanced Course on Petri Nets,
{ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
In addition to lectures given at {ACPN} 2003, additional chapters
have been commissioned]},
series = {Lecture Notes in Computer Science},
volume = {3098},
pages = {537--558},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27755-2\_15},
doi = {10.1007/978-3-540-27755-2\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ac/GenestMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GenestHM03,
author = {Blaise Genest and
Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
Anca Muscholl},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {High-Level Message Sequence Charts and Projections},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {308--322},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_21},
doi = {10.1007/978-3-540-45187-7\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GenestHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GenestMSZ02,
author = {Blaise Genest and
Anca Muscholl and
Helmut Seidl and
Marc Zeitoun},
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {Infinite-State High-Level MSCs: Model-Checking and Realizability},
booktitle = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
pages = {657--668},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9\_56},
doi = {10.1007/3-540-45465-9\_56},
timestamp = {Wed, 11 Sep 2019 13:15:53 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GenestMSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/GenestM02,
author = {Blaise Genest and
Anca Muscholl},
editor = {Sergio Rajsbaum},
title = {Pattern Matching and Membership for Hierarchical Message Sequence
Charts},
booktitle = {{LATIN} 2002: Theoretical Informatics, 5th Latin American Symposium,
Cancun, Mexico, April 3-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2286},
pages = {326--340},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45995-2\_31},
doi = {10.1007/3-540-45995-2\_31},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/GenestM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
