Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Alain Finkel
@inproceedings{DBLP:conf/vmcai/FinkelH24, author = {Alain Finkel and Mathieu Hilaire}, editor = {Rayna Dimitrova and Ori Lahav and Sebastian Wolff}, title = {Resilience and Home-Space for {WSTS}}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {14499}, pages = {147--168}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-50524-9\_7}, doi = {10.1007/978-3-031-50524-9\_7}, timestamp = {Sun, 14 Jan 2024 19:41:04 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/FinkelH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/FinkelL23, author = {Alain Finkel and {\'{E}}tienne Lozes}, title = {Synchronizability of Communicating Finite State Machines is not Decidable}, journal = {Log. Methods Comput. Sci.}, volume = {19}, number = {4}, year = {2023}, url = {https://doi.org/10.46298/lmcs-19(4:33)2023}, doi = {10.46298/LMCS-19(4:33)2023}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/FinkelL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/KhmelnitskyNRXBBFHLY23, author = {Igor Khmelnitsky and Daniel Neider and Rajarshi Roy and Xuan Xie and Beno{\^{\i}}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Martin Leucker and Lina Ye}, title = {Analysis of recurrent neural networks via property-directed verification of surrogate models}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {25}, number = {3}, pages = {341--354}, year = {2023}, url = {https://doi.org/10.1007/s10009-022-00684-w}, doi = {10.1007/S10009-022-00684-W}, timestamp = {Wed, 01 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/KhmelnitskyNRXBBFHLY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FinkelHY23, author = {Alain Finkel and Serge Haddad and Lina Ye}, editor = {Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin}, title = {About Decisiveness of Dynamic Probabilistic Models}, booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023, September 18-23, 2023, Antwerp, Belgium}, series = {LIPIcs}, volume = {279}, pages = {14:1--14:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.14}, doi = {10.4230/LIPICS.CONCUR.2023.14}, timestamp = {Sat, 09 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/FinkelHY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/f-egc/CortalFPY23, author = {Gustave Cortal and Alain Finkel and Patrick Paroubek and Lina Ye}, editor = {Catherine Faron and Sabine Loudcher}, title = {D{\'{e}}tection de l'{\'{e}}motion {\`{a}} partir de ses composantes {\`{a}} l'aide d'un corpus de r{\'{e}}cits {\'{e}}motionnels}, booktitle = {Extraction et Gestion des Connaissances, {EGC} 2023, Lyon, France, 16 - 20 janvier 2023}, series = {{RNTI}}, volume = {{E-39}}, pages = {665--666}, publisher = {Editions {RNTI}}, year = {2023}, url = {http://editions-rnti.fr/?inprocid=1002888}, timestamp = {Wed, 08 Feb 2023 15:48:08 +0100}, biburl = {https://dblp.org/rec/conf/f-egc/CortalFPY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkelKMMZ23, author = {Alain Finkel and Shankara Narayanan Krishna and Khushraj Madnani and Rupak Majumdar and Georg Zetzsche}, editor = {Patricia Bouyer and Srikanth Srinivasan}, title = {Counter Machines with Infrequent Reversals}, 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 = {42:1--42:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.42}, doi = {10.4230/LIPICS.FSTTCS.2023.42}, timestamp = {Wed, 13 Dec 2023 14:08:06 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkelKMMZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/FinkelHY23, author = {Alain Finkel and Serge Haddad and Lina Ye}, editor = {Olivier Bournez and Enrico Formenti and Igor Potapov}, title = {Introducing Divergence for Infinite Probabilistic Models}, booktitle = {Reachability Problems - 17th International Conference, {RP} 2023, Nice, France, October 11-13, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14235}, pages = {127--140}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-45286-4\_10}, doi = {10.1007/978-3-031-45286-4\_10}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/FinkelHY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-10446, author = {Gustave Cortal and Alain Finkel and Patrick Paroubek and Lina Ye}, title = {Emotion Recognition based on Psychological Components in Guided Narratives for Emotion Regulation}, journal = {CoRR}, volume = {abs/2305.10446}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.10446}, doi = {10.48550/ARXIV.2305.10446}, eprinttype = {arXiv}, eprint = {2305.10446}, timestamp = {Wed, 24 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-10446.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-19564, author = {Alain Finkel and Serge Haddad and Lina Ye}, title = {About Decisiveness of Dynamic Probabilistic Models}, journal = {CoRR}, volume = {abs/2305.19564}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.19564}, doi = {10.48550/ARXIV.2305.19564}, eprinttype = {arXiv}, eprint = {2305.19564}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-19564.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2308-08842, author = {Alain Finkel and Serge Haddad and Lina Ye}, title = {Introducing Divergence for Infinite Probabilistic Models}, journal = {CoRR}, volume = {abs/2308.08842}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.08842}, doi = {10.48550/ARXIV.2308.08842}, eprinttype = {arXiv}, eprint = {2308.08842}, timestamp = {Fri, 25 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-08842.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BolligFS22, author = {Benedikt Bollig and Alain Finkel and Amrita Suresh}, title = {Bounded Reachability Problems are Decidable in {FIFO} Machines}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {1}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(1:19)2022}, doi = {10.46298/LMCS-18(1:19)2022}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/BolligFS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/BolligFS22, author = {Benedikt Bollig and Alain Finkel and Amrita Suresh}, editor = {Mohammad Reza Mousavi and Anna Philippou}, title = {Branch-Well-Structured Transition Systems and Extensions}, booktitle = {Formal Techniques for Distributed Objects, Components, and Systems - 42nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13273}, pages = {50--66}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-08679-3\_4}, doi = {10.1007/978-3-031-08679-3\_4}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/BolligFS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-05296, author = {Gustave Cortal and Alain Finkel and Patrick Paroubek and Lina Ye}, title = {Natural Language Processing for Cognitive Analysis of Emotions}, journal = {CoRR}, volume = {abs/2210.05296}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.05296}, doi = {10.48550/ARXIV.2210.05296}, eprinttype = {arXiv}, eprint = {2210.05296}, timestamp = {Thu, 13 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-05296.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-15913, author = {Benedikt Bollig and Alain Finkel and Amrita Suresh}, title = {Branch-Well-Structured Transition Systems and Extensions}, journal = {CoRR}, volume = {abs/2211.15913}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.15913}, doi = {10.48550/ARXIV.2211.15913}, eprinttype = {arXiv}, eprint = {2211.15913}, timestamp = {Fri, 02 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-15913.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/deds/FinkelHK21, author = {Alain Finkel and Serge Haddad and Igor Khmelnitsky}, title = {Commodification of accelerations for the Karp and Miller Construction}, journal = {Discret. Event Dyn. Syst.}, volume = {31}, number = {2}, pages = {251--270}, year = {2021}, url = {https://doi.org/10.1007/s10626-020-00331-z}, doi = {10.1007/S10626-020-00331-Z}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/deds/FinkelHK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FinkelHK21, author = {Alain Finkel and Serge Haddad and Igor Khmelnitsky}, title = {Coverability, Termination, and Finiteness in Recursive Petri Nets}, journal = {Fundam. Informaticae}, volume = {183}, number = {1-2}, pages = {33--66}, year = {2021}, url = {https://doi.org/10.3233/FI-2021-2081}, doi = {10.3233/FI-2021-2081}, timestamp = {Wed, 16 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/FinkelHK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/BlondinEFGHLMT21, author = {Michael Blondin and Matthias Englert and Alain Finkel and Stefan G{\"{o}}ller and Christoph Haase and Ranko Lazic and Pierre McKenzie and Patrick Totzke}, title = {The Reachability Problem for Two-Dimensional Vector Addition Systems with States}, journal = {J. {ACM}}, volume = {68}, number = {5}, pages = {34:1--34:43}, year = {2021}, url = {https://doi.org/10.1145/3464794}, doi = {10.1145/3464794}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/BlondinEFGHLMT21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/KhmelnitskyNRXB21, author = {Igor Khmelnitsky and Daniel Neider and Rajarshi Roy and Xuan Xie and Beno{\^{\i}}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Martin Leucker and Lina Ye}, editor = {Zhe Hou and Vijay Ganesh}, title = {Property-Directed Verification and Robustness Certification of Recurrent Neural Networks}, booktitle = {Automated Technology for Verification and Analysis - 19th International Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12971}, pages = {364--380}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88885-5\_24}, doi = {10.1007/978-3-030-88885-5\_24}, timestamp = {Sat, 02 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/KhmelnitskyNRXB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BolligGFLLS21, author = {Benedikt Bollig and Cinzia Di Giusto and Alain Finkel and Laetitia Laversa and {\'{E}}tienne Lozes and Amrita Suresh}, editor = {Serge Haddad and Daniele Varacca}, title = {A Unifying Framework for Deciding Synchronizability}, booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference}, series = {LIPIcs}, volume = {203}, pages = {14:1--14:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.14}, doi = {10.4230/LIPICS.CONCUR.2021.14}, timestamp = {Fri, 13 Aug 2021 16:29:32 +0200}, biburl = {https://dblp.org/rec/conf/concur/BolligGFLLS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icgi/BarbotBFHKLN0Y21, author = {Beno{\^{\i}}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Igor Khmelnitsky and Martin Leucker and Daniel Neider and Rajarshi Roy and Lina Ye}, editor = {Jane Chandlee and R{\'{e}}mi Eyraud and Jeff Heinz and Adam Jardine and Menno van Zaanen}, title = {Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search}, booktitle = {Proceedings of the 15th International Conference on Grammatical Inference, 23-27 August 2021, Virtual Event}, series = {Proceedings of Machine Learning Research}, volume = {153}, pages = {113--129}, publisher = {{PMLR}}, year = {2021}, url = {https://proceedings.mlr.press/v153/barbot21a.html}, timestamp = {Mon, 07 Nov 2022 21:23:28 +0100}, biburl = {https://dblp.org/rec/conf/icgi/BarbotBFHKLN0Y21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-06723, author = {Benedikt Bollig and Alain Finkel and Amrita Suresh}, title = {Bounded Reachability Problems are Decidable in {FIFO} Machines}, journal = {CoRR}, volume = {abs/2105.06723}, year = {2021}, url = {https://arxiv.org/abs/2105.06723}, eprinttype = {arXiv}, eprint = {2105.06723}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-06723.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-06804, author = {Alain Finkel and Serge Haddad and Igor Khmelnitsky}, title = {Coverability, Termination, and Finiteness in Recursive Petri Nets}, journal = {CoRR}, volume = {abs/2109.06804}, year = {2021}, url = {https://arxiv.org/abs/2109.06804}, eprinttype = {arXiv}, eprint = {2109.06804}, timestamp = {Tue, 21 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-06804.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BlondinFG20, author = {Michael Blondin and Alain Finkel and Jean Goubault{-}Larrecq}, title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees}, journal = {Log. Methods Comput. Sci.}, volume = {16}, number = {2}, year = {2020}, url = {https://doi.org/10.23638/LMCS-16(2:13)2020}, doi = {10.23638/LMCS-16(2:13)2020}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/BlondinFG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/FinkelP20, author = {Alain Finkel and M. Praveen}, title = {Verification of Flat {FIFO} Systems}, journal = {Log. Methods Comput. Sci.}, volume = {16}, number = {4}, year = {2020}, url = {https://lmcs.episciences.org/6839}, timestamp = {Wed, 28 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/FinkelP20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/FinkelG20, author = {Alain Finkel and Jean Goubault{-}Larrecq}, title = {Forward analysis for WSTS, part {I:} completions}, journal = {Math. Struct. Comput. Sci.}, volume = {30}, number = {7}, pages = {752--832}, year = {2020}, url = {https://doi.org/10.1017/S0960129520000195}, doi = {10.1017/S0960129520000195}, timestamp = {Tue, 26 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/FinkelG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BolligFS20, author = {Benedikt Bollig and Alain Finkel and Amrita Suresh}, editor = {Igor Konnov and Laura Kov{\'{a}}cs}, title = {Bounded Reachability Problems Are Decidable in {FIFO} Machines}, booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)}, series = {LIPIcs}, volume = {171}, pages = {49:1--49:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.49}, doi = {10.4230/LIPICS.CONCUR.2020.49}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BolligFS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/FinkelHK20, author = {Alain Finkel and Serge Haddad and Igor Khmelnitsky}, editor = {Jean Goubault{-}Larrecq and Barbara K{\"{o}}nig}, title = {Minimal Coverability Tree Construction Made Complete and Efficient}, 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 = {237--256}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-45231-5\_13}, doi = {10.1007/978-3-030-45231-5\_13}, timestamp = {Fri, 14 May 2021 08:34:11 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/FinkelHK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2008-02929, author = {Alain Finkel}, editor = {Laurent Fribourg and Matthias Heizmann}, title = {From Well Structured Transition Systems to Program Verification}, booktitle = {Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020}, series = {{EPTCS}}, volume = {320}, pages = {44--49}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.320.3}, doi = {10.4204/EPTCS.320.3}, timestamp = {Mon, 26 Apr 2021 11:43:53 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-02929.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-10610, author = {Igor Khmelnitsky and Daniel Neider and Rajarshi Roy and Beno{\^{\i}}t Barbot and Benedikt Bollig and Alain Finkel and Serge Haddad and Martin Leucker and Lina Ye}, title = {Property-Directed Verification of Recurrent Neural Networks}, journal = {CoRR}, volume = {abs/2009.10610}, year = {2020}, url = {https://arxiv.org/abs/2009.10610}, eprinttype = {arXiv}, eprint = {2009.10610}, timestamp = {Wed, 23 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-10610.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/FinkelHK19, author = {Alain Finkel and Serge Haddad and Igor Khmelnitsky}, editor = {Susanna Donatelli and Stefan Haar}, title = {Coverability and Termination in Recursive Petri Nets}, booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11522}, pages = {429--448}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21571-2\_23}, doi = {10.1007/978-3-030-21571-2\_23}, timestamp = {Tue, 11 Jun 2019 11:30:44 +0200}, biburl = {https://dblp.org/rec/conf/apn/FinkelHK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FinkelP19, author = {Alain Finkel and M. Praveen}, editor = {Wan J. Fokkink and Rob van Glabbeek}, title = {Verification of Flat {FIFO} Systems}, booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019, August 27-30, 2019, Amsterdam, the Netherlands}, series = {LIPIcs}, volume = {140}, pages = {12:1--12:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.12}, doi = {10.4230/LIPICS.CONCUR.2019.12}, timestamp = {Mon, 18 May 2020 10:45:19 +0200}, biburl = {https://dblp.org/rec/conf/concur/FinkelP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkelG19, author = {Alain Finkel and Ekanshdeep Gupta}, editor = {Arkadev Chattopadhyay and Paul Gastin}, title = {The Well Structured Problem for Presburger Counter Machines}, 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 = {41:1--41:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.41}, doi = {10.4230/LIPICS.FSTTCS.2019.41}, timestamp = {Thu, 05 Dec 2019 15:12:21 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkelG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1908-07282, author = {Alain Finkel and M. Praveen}, title = {Verification of Flat {FIFO} Systems}, journal = {CoRR}, volume = {abs/1908.07282}, year = {2019}, url = {http://arxiv.org/abs/1908.07282}, eprinttype = {arXiv}, eprint = {1908.07282}, timestamp = {Mon, 26 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-07282.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-02736, author = {Alain Finkel and Ekanshdeep Gupta}, title = {The Well Structured Problem for Presburger Counter Machines}, journal = {CoRR}, volume = {abs/1910.02736}, year = {2019}, url = {http://arxiv.org/abs/1910.02736}, eprinttype = {arXiv}, eprint = {1910.02736}, timestamp = {Wed, 09 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-02736.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Chane-Yack-FaFM18, author = {Rapha{\"{e}}l Chane{-}Yack{-}Fa and Marc Frappier and Amel Mammar and Alain Finkel}, title = {Parameterized verification of monotone information systems}, journal = {Formal Aspects Comput.}, volume = {30}, number = {3-4}, pages = {463--489}, year = {2018}, url = {https://doi.org/10.1007/s00165-018-0460-8}, doi = {10.1007/S00165-018-0460-8}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Chane-Yack-FaFM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BlondinFM18, author = {Michael Blondin and Alain Finkel and Pierre McKenzie}, title = {Handling infinitely branching well-structured transition systems}, journal = {Inf. Comput.}, volume = {258}, pages = {28--49}, year = {2018}, url = {https://doi.org/10.1016/j.ic.2017.11.001}, doi = {10.1016/J.IC.2017.11.001}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BlondinFM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkelLS18, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Gr{\'{e}}goire Sutre}, editor = {Sumit Ganguly and Paritosh K. Pandya}, title = {Reachability for Two-Counter Machines with One Test and One Reset}, booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018, Ahmedabad, India}, series = {LIPIcs}, volume = {122}, pages = {31:1--31:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.31}, doi = {10.4230/LIPICS.FSTTCS.2018.31}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkelLS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BlondinFM17, author = {Michael Blondin and Alain Finkel and Pierre McKenzie}, title = {Well Behaved Transition Systems}, journal = {Log. Methods Comput. Sci.}, volume = {13}, number = {3}, year = {2017}, url = {https://doi.org/10.23638/LMCS-13(3:24)2017}, doi = {10.23638/LMCS-13(3:24)2017}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BlondinFM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BlondinFHH17, author = {Michael Blondin and Alain Finkel and Christoph Haase and Serge Haddad}, title = {The Logical View on Continuous Petri Nets}, journal = {{ACM} Trans. Comput. Log.}, volume = {18}, number = {3}, pages = {24:1--24:28}, year = {2017}, url = {https://doi.org/10.1145/3105908}, doi = {10.1145/3105908}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BlondinFHH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BlondinFG17, author = {Michael Blondin and Alain Finkel and Jean Goubault{-}Larrecq}, editor = {Satya V. Lokam and R. Ramanujam}, title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees}, booktitle = {37th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2017, December 11-15, 2017, Kanpur, India}, series = {LIPIcs}, volume = {93}, pages = {16:1--16:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2017.16}, doi = {10.4230/LIPICS.FSTTCS.2017.16}, timestamp = {Fri, 03 Sep 2021 15:00:19 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/BlondinFG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FinkelL17, author = {Alain Finkel and {\'{E}}tienne Lozes}, editor = {Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl}, title = {Synchronizability of Communicating Finite State Machines is not Decidable}, booktitle = {44th International Colloquium on Automata, Languages, and Programming, {ICALP} 2017, July 10-14, 2017, Warsaw, Poland}, series = {LIPIcs}, volume = {80}, pages = {122:1--122:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.122}, doi = {10.4230/LIPICS.ICALP.2017.122}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/icalp/FinkelL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FinkelL17, author = {Alain Finkel and {\'{E}}tienne Lozes}, title = {Synchronizability of Communicating Finite State Machines is not Decidable}, journal = {CoRR}, volume = {abs/1702.07213}, year = {2017}, url = {http://arxiv.org/abs/1702.07213}, eprinttype = {arXiv}, eprint = {1702.07213}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FinkelL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-07258, author = {Michael Blondin and Alain Finkel and Jean Goubault{-}Larrecq}, title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees}, journal = {CoRR}, volume = {abs/1710.07258}, year = {2017}, url = {http://arxiv.org/abs/1710.07258}, eprinttype = {arXiv}, eprint = {1710.07258}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-07258.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AbdullaDFLP16, author = {Parosh Aziz Abdulla and St{\'{e}}phane Demri and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Igor Potapov}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {143}, number = {3-4}, pages = {i--ii}, year = {2016}, url = {https://doi.org/10.3233/FI-2016-1311}, doi = {10.3233/FI-2016-1311}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AbdullaDFLP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ChambartFS16, author = {Pierre Chambart and Alain Finkel and Sylvain Schmitz}, title = {Forward analysis and model checking for trace bounded {WSTS}}, journal = {Theor. Comput. Sci.}, volume = {637}, pages = {1--29}, year = {2016}, url = {https://doi.org/10.1016/j.tcs.2016.04.020}, doi = {10.1016/J.TCS.2016.04.020}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ChambartFS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rp/Finkel16, author = {Alain Finkel}, editor = {Kim Guldstrand Larsen and Igor Potapov and Jir{\'{\i}} Srba}, title = {The Ideal Theory for {WSTS}}, booktitle = {Reachability Problems - 10th International Workshop, {RP} 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9899}, pages = {1--22}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45994-3\_1}, doi = {10.1007/978-3-319-45994-3\_1}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rp/Finkel16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BlondinFHH16, author = {Michael Blondin and Alain Finkel and Christoph Haase and Serge Haddad}, editor = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin}, title = {Approaching the Coverability Problem Continuously}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9636}, pages = {480--496}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49674-9\_28}, doi = {10.1007/978-3-662-49674-9\_28}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BlondinFHH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BlondinFM16, author = {Michael Blondin and Alain Finkel and Pierre McKenzie}, title = {Well Behaved Transition Systems}, journal = {CoRR}, volume = {abs/1608.02636}, year = {2016}, url = {http://arxiv.org/abs/1608.02636}, eprinttype = {arXiv}, eprint = {1608.02636}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BlondinFM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/FinkelL15, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, title = {Recent and simple algorithms for Petri nets}, journal = {Softw. Syst. Model.}, volume = {14}, number = {2}, pages = {719--725}, year = {2015}, url = {https://doi.org/10.1007/s10270-014-0426-0}, doi = {10.1007/S10270-014-0426-0}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/FinkelL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/BlondinFGHM15, author = {Michael Blondin and Alain Finkel and Stefan G{\"{o}}ller and Christoph Haase and Pierre McKenzie}, title = {Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete}, booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015}, pages = {32--43}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/LICS.2015.14}, doi = {10.1109/LICS.2015.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/BlondinFGHM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BlondinFHH15, author = {Michael Blondin and Alain Finkel and Christoph Haase and Serge Haddad}, title = {Approaching the Coverability Problem Continuously}, journal = {CoRR}, volume = {abs/1510.05724}, year = {2015}, url = {http://arxiv.org/abs/1510.05724}, eprinttype = {arXiv}, eprint = {1510.05724}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BlondinFHH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/insk/FinkelL14, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, title = {Neue, einfache Algorithmen f{\"{u}}r Petrinetze}, journal = {Inform. Spektrum}, volume = {37}, number = {3}, pages = {229--236}, year = {2014}, url = {https://doi.org/10.1007/s00287-013-0753-5}, doi = {10.1007/S00287-013-0753-5}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/insk/FinkelL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BouchyFP14, author = {Florent Bouchy and Alain Finkel and Pierluigi {San Pietro}}, title = {Dense-choice Counter Machines revisited}, journal = {Theor. Comput. Sci.}, volume = {542}, pages = {17--31}, year = {2014}, url = {https://doi.org/10.1016/j.tcs.2014.04.029}, doi = {10.1016/J.TCS.2014.04.029}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BouchyFP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BlondinFM14, author = {Michael Blondin and Alain Finkel and Pierre McKenzie}, editor = {Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias}, title = {Handling Infinitely Branching {WSTS}}, booktitle = {Automata, Languages, and Programming - 41st International Colloquium, {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8573}, pages = {13--25}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-43951-7\_2}, doi = {10.1007/978-3-662-43951-7\_2}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BlondinFM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BlondinFGHM14, author = {Michael Blondin and Alain Finkel and Stefan G{\"{o}}ller and Christoph Haase and Pierre McKenzie}, title = {Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete}, journal = {CoRR}, volume = {abs/1412.4259}, year = {2014}, url = {http://arxiv.org/abs/1412.4259}, eprinttype = {arXiv}, eprint = {1412.4259}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BlondinFGHM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/EsparzaFMO14, author = {Javier Esparza and Alain Finkel and Pierre McKenzie and Jo{\"{e}}l Ouaknine}, title = {Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141)}, journal = {Dagstuhl Reports}, volume = {4}, number = {3}, pages = {153--180}, year = {2014}, url = {https://doi.org/10.4230/DagRep.4.3.153}, doi = {10.4230/DAGREP.4.3.153}, timestamp = {Wed, 07 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/EsparzaFMO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BonnetFHR13, author = {R{\'{e}}mi Bonnet and Alain Finkel and Serge Haddad and Fernando Rosa{-}Velardo}, title = {Ordinal theory for expressiveness of well-structured transition systems}, journal = {Inf. Comput.}, volume = {224}, pages = {1--22}, year = {2013}, url = {https://doi.org/10.1016/j.ic.2012.11.003}, doi = {10.1016/J.IC.2012.11.003}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BonnetFHR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/CadilhacFM13, author = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie}, title = {Unambiguous constrained Automata}, journal = {Int. J. Found. Comput. Sci.}, volume = {24}, number = {7}, pages = {1099--1116}, year = {2013}, url = {https://doi.org/10.1142/S0129054113400339}, doi = {10.1142/S0129054113400339}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/CadilhacFM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FinkelGH13, author = {Alain Finkel and Stefan G{\"{o}}ller and Christoph Haase}, editor = {Krishnendu Chatterjee and Jir{\'{\i}} Sgall}, title = {Reachability in Register Machines with Polynomial Updates}, booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8087}, pages = {409--420}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40313-2\_37}, doi = {10.1007/978-3-642-40313-2\_37}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/FinkelGH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1205-4458, author = {R{\'{e}}mi Bonnet and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Marc Zeitoun}, title = {Model Checking Vector Addition Systems with one zero-test}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {2}, year = {2012}, url = {https://doi.org/10.2168/LMCS-8(2:11)2012}, doi = {10.2168/LMCS-8(2:11)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1205-4458.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1208-4549, author = {Alain Finkel and Jean Goubault{-}Larrecq}, title = {Forward Analysis for WSTS, Part {II:} Complete {WSTS}}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {3}, year = {2012}, url = {https://doi.org/10.2168/LMCS-8(3:28)2012}, doi = {10.2168/LMCS-8(3:28)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-4549.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/CadilhacFM12, author = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie}, title = {Bounded Parikh Automata}, journal = {Int. J. Found. Comput. Sci.}, volume = {23}, number = {8}, pages = {1691--1710}, year = {2012}, url = {https://doi.org/10.1142/S0129054112400709}, doi = {10.1142/S0129054112400709}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/CadilhacFM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/CadilhacFM12, author = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie}, title = {Affine Parikh automata}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {46}, number = {4}, pages = {511--545}, year = {2012}, url = {https://doi.org/10.1051/ita/2012013}, doi = {10.1051/ITA/2012013}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/CadilhacFM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/FinkelG12, author = {Alain Finkel and Jean Goubault{-}Larrecq}, editor = {Serge Haddad and Lucia Pomello}, title = {The Theory of {WSTS:} The Case of Complete {WSTS}}, booktitle = {Application and Theory of Petri Nets - 33rd International Conference, {PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7347}, pages = {3--31}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31131-4\_2}, doi = {10.1007/978-3-642-31131-4\_2}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/FinkelG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlt/CadilhacFM12, author = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie}, editor = {Hsu{-}Chun Yen and Oscar H. Ibarra}, title = {Unambiguous Constrained Automata}, booktitle = {Developments in Language Theory - 16th International Conference, {DLT} 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7410}, pages = {239--250}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31653-1\_22}, doi = {10.1007/978-3-642-31653-1\_22}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/dlt/CadilhacFM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BonnetFP12, author = {R{\'{e}}mi Bonnet and Alain Finkel and M. Praveen}, editor = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan}, title = {Extending the Rackoff technique to Affine nets}, booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012, Hyderabad, India}, series = {LIPIcs}, volume = {18}, pages = {301--312}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2012}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.301}, doi = {10.4230/LIPICS.FSTTCS.2012.301}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BonnetFP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rp/2012, editor = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Igor Potapov}, title = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux, France, September 17-19, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7550}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33512-9}, doi = {10.1007/978-3-642-33512-9}, isbn = {978-3-642-33511-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rp/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/ChambartFS11, author = {Pierre Chambart and Alain Finkel and Sylvain Schmitz}, editor = {Lars Michael Kristensen and Laure Petrucci}, title = {Forward Analysis and Model Checking for Trace Bounded {WSTS}}, booktitle = {Applications and Theory of Petri Nets - 32nd International Conference, {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6709}, pages = {49--68}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21834-7\_4}, doi = {10.1007/978-3-642-21834-7\_4}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/ChambartFS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/BonnetFHR11, author = {R{\'{e}}mi Bonnet and Alain Finkel and Serge Haddad and Fernando Rosa{-}Velardo}, editor = {Martin Hofmann}, title = {Ordinal Theory for Expressiveness of Well Structured Transition Systems}, booktitle = {Foundations of Software Science and Computational Structures - 14th International Conference, {FOSSACS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6604}, pages = {153--167}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19805-2\_11}, doi = {10.1007/978-3-642-19805-2\_11}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/BonnetFHR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ncma/CadilhacFM11, author = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie}, editor = {Rudolf Freund and Markus Holzer and Carlo Mereghetti and Friedrich Otto and Beatrice Palano}, title = {On the Expressiveness of Parikh Automata and Related Models}, booktitle = {Third Workshop on Non-Classical Models for Automata and Applications - {NCMA} 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings}, series = {books@ocg.at}, volume = {282}, pages = {103--119}, publisher = {Austrian Computer Society}, year = {2011}, timestamp = {Thu, 17 Mar 2016 10:50:07 +0100}, biburl = {https://dblp.org/rec/conf/ncma/CadilhacFM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1108-3625, author = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie}, editor = {Petr Ambroz and Stepan Holub and Zuzana Mas{\'{a}}kov{\'{a}}}, title = {Bounded Parikh Automata}, booktitle = {Proceedings 8th International Conference Words 2011, Prague, Czech Republic, 12-16th September 2011}, series = {{EPTCS}}, volume = {63}, pages = {93--102}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.63.13}, doi = {10.4204/EPTCS.63.13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-3625.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1101-1547, author = {Micha{\"{e}}l Cadilhac and Alain Finkel and Pierre McKenzie}, title = {Storming the Parikh Automaton}, journal = {CoRR}, volume = {abs/1101.1547}, year = {2011}, url = {http://arxiv.org/abs/1101.1547}, eprinttype = {arXiv}, eprint = {1101.1547}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1101-1547.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jancl/DemriFGD10, author = {St{\'{e}}phane Demri and Alain Finkel and Valentin Goranko and Govert van Drimmelen}, title = {Model-checking CTL* over flat Presburger counter systems}, journal = {J. Appl. Non Class. Logics}, volume = {20}, number = {4}, pages = {313--344}, year = {2010}, url = {https://doi.org/10.3166/jancl.20.313-344}, doi = {10.3166/JANCL.20.313-344}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jancl/DemriFGD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/BonnetFLZ10, author = {R{\'{e}}mi Bonnet and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Marc Zeitoun}, editor = {Kamal Lodaya and Meena Mahajan}, title = {Place-Boundedness for Vector Addition Systems with one zero-test}, 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 = {192--203}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2010}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.192}, doi = {10.4230/LIPICS.FSTTCS.2010.192}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/BonnetFLZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofsem/FinkelS10, author = {Alain Finkel and Arnaud Sangnier}, editor = {Jan van Leeuwen and Anca Muscholl and David Peleg and Jaroslav Pokorn{\'{y}} and Bernhard Rumpe}, title = {Mixing Coverability and Reachability to Analyze {VASS} with One Zero-Test}, booktitle = {{SOFSEM} 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml{\'{y}}n, Czech Republic, January 23-29, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5901}, pages = {394--406}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11266-9\_33}, doi = {10.1007/978-3-642-11266-9\_33}, timestamp = {Sat, 30 Sep 2023 09:57:10 +0200}, biburl = {https://dblp.org/rec/conf/sofsem/FinkelS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-2802, author = {Pierre Chambart and Alain Finkel and Sylvain Schmitz}, title = {Forward Analysis and Model Checking for Bounded {WSTS}}, journal = {CoRR}, volume = {abs/1004.2802}, year = {2010}, url = {http://arxiv.org/abs/1004.2802}, eprinttype = {arXiv}, eprint = {1004.2802}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-2802.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/FinkelG09, author = {Alain Finkel and Jean Goubault{-}Larrecq}, editor = {Susanne Albers and Alberto Marchetti{-}Spaccamela and Yossi Matias and Sotiris E. Nikoletseas and Wolfgang Thomas}, title = {Forward Analysis for WSTS, Part {II:} Complete {WSTS}}, booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium, {ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {5556}, pages = {188--199}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02930-1\_16}, doi = {10.1007/978-3-642-02930-1\_16}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/FinkelG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/FinkelG09, author = {Alain Finkel and Jean Goubault{-}Larrecq}, editor = {Susanne Albers and Jean{-}Yves Marion}, title = {Forward Analysis for WSTS, Part {I:} Completions}, booktitle = {26th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2009, February 26-28, 2009, Freiburg, Germany, Proceedings}, series = {LIPIcs}, volume = {3}, pages = {433--444}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2009}, url = {https://doi.org/10.4230/LIPIcs.STACS.2009.1844}, doi = {10.4230/LIPICS.STACS.2009.1844}, timestamp = {Tue, 22 Jun 2021 15:43:57 +0200}, biburl = {https://dblp.org/rec/conf/stacs/FinkelG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-0911-3405, author = {Florent Bouchy and Alain Finkel and Pierluigi {San Pietro}}, editor = {Axel Legay}, title = {Dense-choice Counter Machines revisited}, booktitle = {Proceedings International Workshop on Verification of Infinite-State Systems, {INFINITY} 2009, Bologna, Italy, 31th August 2009}, series = {{EPTCS}}, volume = {10}, pages = {3--22}, year = {2009}, url = {https://doi.org/10.4204/EPTCS.10.1}, doi = {10.4204/EPTCS.10.1}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-0911-3405.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EncrenazF09, author = {Emmanuelle Encrenaz and Alain Finkel}, editor = {Peter Habermehl and Tom{\'{a}}s Vojnar}, title = {Automatic Verification of Counter Systems With Ranking Function}, booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {239}, pages = {85--103}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.05.032}, doi = {10.1016/J.ENTCS.2009.05.032}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EncrenazF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BouchyFS09, author = {Florent Bouchy and Alain Finkel and Arnaud Sangnier}, editor = {Peter Habermehl and Tom{\'{a}}s Vojnar}, title = {Reachability in Timed Counter Systems}, booktitle = {Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {239}, pages = {167--178}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2009.05.038}, doi = {10.1016/J.ENTCS.2009.05.038}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BouchyFS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0902-1587, author = {Alain Finkel and Jean Goubault{-}Larrecq}, title = {Forward analysis for WSTS, Part {I:} Completions}, journal = {CoRR}, volume = {abs/0902.1587}, year = {2009}, url = {http://arxiv.org/abs/0902.1587}, eprinttype = {arXiv}, eprint = {0902.1587}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0902-1587.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BardinFLP08, author = {S{\'{e}}bastien Bardin and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Laure Petrucci}, title = {{FAST:} acceleration from theory to practice}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {10}, number = {5}, pages = {401--424}, year = {2008}, url = {https://doi.org/10.1007/s10009-008-0064-3}, doi = {10.1007/S10009-008-0064-3}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BardinFLP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FinkelS08, author = {Alain Finkel and Arnaud Sangnier}, editor = {Edward Ochmanski and Jerzy Tyszkiewicz}, title = {Reversal-Bounded Counter Machines Revisited}, booktitle = {Mathematical Foundations of Computer Science 2008, 33rd International Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5162}, pages = {323--334}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85238-4\_26}, doi = {10.1007/978-3-540-85238-4\_26}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/FinkelS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/BouchyFL08, author = {Florent Bouchy and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, editor = {St{\'{e}}phane Demri and Christian S. Jensen}, title = {Decomposition of Decidable First-Order Logics over Integers and Reals}, booktitle = {15th International Symposium on Temporal Representation and Reasoning, {TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al, Canada, 16-18 June 2008}, pages = {147--155}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/TIME.2008.22}, doi = {10.1109/TIME.2008.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/BouchyFL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0812-1951, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, title = {The convex hull of a regular set of integer vectors is polyhedral and effectively computable}, journal = {CoRR}, volume = {abs/0812.1951}, year = {2008}, url = {http://arxiv.org/abs/0812.1951}, eprinttype = {arXiv}, eprint = {0812.1951}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0812-1951.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0812-1967, author = {Florent Bouchy and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, title = {Decomposition of Decidable First-Order Logics over Integers and Reals}, journal = {CoRR}, volume = {abs/0812.1967}, year = {2008}, url = {http://arxiv.org/abs/0812.1967}, eprinttype = {arXiv}, eprint = {0812.1967}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0812-1967.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ilc/FinkelLS07, author = {Alain Finkel and {\'{E}}tienne Lozes and Arnaud Sangnier}, editor = {Margaret Archibald and Vasco Brattka and Valentin Goranko and Benedikt L{\"{o}}we}, title = {Towards Model-Checking Programs with Lists}, booktitle = {Infinity in Logic and Computation, International Conference, {ILC} 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5489}, pages = {56--86}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-642-03092-5\_6}, doi = {10.1007/978-3-642-03092-5\_6}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ilc/FinkelLS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FinkelGRB06, author = {Alain Finkel and Gilles Geeraerts and Jean{-}Fran{\c{c}}ois Raskin and Laurent Van Begin}, title = {On the \emph{omega}-language expressive power of extended Petri nets}, journal = {Theor. Comput. Sci.}, volume = {356}, number = {3}, pages = {374--386}, year = {2006}, url = {https://doi.org/10.1016/j.tcs.2006.02.008}, doi = {10.1016/J.TCS.2006.02.008}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FinkelGRB06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/DemriFGD06, author = {St{\'{e}}phane Demri and Alain Finkel and Valentin Goranko and Govert van Drimmelen}, editor = {Susanne Graf and Wenhui Zhang}, title = {Towards a Model-Checker for Counter Systems}, booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006}, series = {Lecture Notes in Computer Science}, volume = {4218}, pages = {493--507}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901914\_36}, doi = {10.1007/11901914\_36}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/DemriFGD06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CeceF05, author = {G{\'{e}}rard C{\'{e}}c{\'{e}} and Alain Finkel}, title = {Verification of programs with half-duplex communication}, journal = {Inf. Comput.}, volume = {202}, number = {2}, pages = {166--190}, year = {2005}, url = {https://doi.org/10.1016/j.ic.2005.05.006}, doi = {10.1016/J.IC.2005.05.006}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CeceF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/FinkelL05, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, title = {The convex hull of a regular set of integer vectors is polyhedral and effectively computable}, journal = {Inf. Process. Lett.}, volume = {96}, number = {1}, pages = {30--35}, year = {2005}, url = {https://doi.org/10.1016/j.ipl.2005.04.004}, doi = {10.1016/J.IPL.2005.04.004}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/FinkelL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BardinFLS05, author = {S{\'{e}}bastien Bardin and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Philippe Schnoebelen}, editor = {Doron A. Peled and Yih{-}Kuen Tsay}, title = {Flat Acceleration in Symbolic Model Checking}, booktitle = {Automated Technology for Verification and Analysis, Third International Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3707}, pages = {474--488}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562948\_35}, doi = {10.1007/11562948\_35}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/BardinFLS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FinkelMP04, author = {Alain Finkel and Pierre McKenzie and Claudine Picaronny}, title = {A well-structured framework for analysing petri net extensions}, journal = {Inf. Comput.}, volume = {195}, number = {1-2}, pages = {1--29}, year = {2004}, url = {https://doi.org/10.1016/j.ic.2004.01.005}, doi = {10.1016/J.IC.2004.01.005}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/FinkelMP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/BardinF04, author = {S{\'{e}}bastien Bardin and Alain Finkel}, editor = {Farn Wang}, title = {Composition of Accelerations to Verify Infinite Heterogeneous Systems}, booktitle = {Automated Technology for Verification and Analysis: Second International Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3299}, pages = {248--262}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30476-0\_22}, doi = {10.1007/978-3-540-30476-0\_22}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/BardinF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkelL04, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, editor = {Rajeev Alur and Doron A. Peled}, title = {Image Computation in Infinite State Model Checking}, booktitle = {Computer Aided Verification, 16th International Conference, {CAV} 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3114}, pages = {361--371}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27813-9\_28}, doi = {10.1007/978-3-540-27813-9\_28}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkelL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spin/FinkelL04, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, editor = {Susanne Graf and Laurent Mounier}, title = {Polynomial Time Image Computation with Interval-Definable Counters Systems}, booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2989}, pages = {182--197}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24732-6\_14}, doi = {10.1007/978-3-540-24732-6\_14}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/spin/FinkelL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BardinFL04, author = {S{\'{e}}bastien Bardin and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, editor = {Kurt Jensen and Andreas Podelski}, title = {FASTer Acceleration of Counter Automata in Practice}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, {TACAS} 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 = {2988}, pages = {576--590}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24730-2\_42}, doi = {10.1007/978-3-540-24730-2\_42}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BardinFL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DarlotFB05, author = {Christophe Darlot and Alain Finkel and Laurent Van Begin}, editor = {Michael Huth}, title = {About Fast and TReX Accelerations}, booktitle = {Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {6}, pages = {87--103}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.04.006}, doi = {10.1016/J.ENTCS.2005.04.006}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/journals/entcs/DarlotFB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkelGRB05, author = {Alain Finkel and Gilles Geeraerts and Jean{-}Fran{\c{c}}ois Raskin and Laurent Van Begin}, editor = {Jos C. M. Baeten and Flavio Corradini}, title = {On the omega-language Expressive Power of Extended Petri Nets}, booktitle = {Proceedings of the 11th International Workshop on Expressiveness in Concurrency, {EXPRESS} 2004, London, UK, August 30, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {128}, number = {2}, pages = {87--101}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.11.030}, doi = {10.1016/J.ENTCS.2004.11.030}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkelGRB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/FinkelIS03, author = {Alain Finkel and S. Purushothaman Iyer and Gr{\'{e}}goire Sutre}, title = {Well-abstracted transition systems: application to {FIFO} automata}, journal = {Inf. Comput.}, volume = {181}, number = {1}, pages = {1--31}, year = {2003}, url = {https://doi.org/10.1016/S0890-5401(02)00027-5}, doi = {10.1016/S0890-5401(02)00027-5}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/FinkelIS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BardinFLP03, author = {S{\'{e}}bastien Bardin and Alain Finkel and J{\'{e}}r{\^{o}}me Leroux and Laure Petrucci}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {{FAST:} Fast Acceleration of Symbolikc Transition Systems}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {118--121}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_12}, doi = {10.1007/978-3-540-45069-6\_12}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BardinFLP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FinkelL02, author = {Alain Finkel and J{\'{e}}r{\^{o}}me Leroux}, editor = {Manindra Agrawal and Anil Seth}, title = {How to Compose Presburger-Accelerations: Applications to Broadcast Protocols}, booktitle = {{FST} {TCS} 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2556}, pages = {145--156}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36206-1\_14}, doi = {10.1007/3-540-36206-1\_14}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/FinkelL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latin/HerbreteauCFRS02, author = {Fr{\'{e}}d{\'{e}}ric Herbreteau and Franck Cassez and Alain Finkel and Olivier F. Roux and Gr{\'{e}}goire Sutre}, editor = {Sergio Rajsbaum}, title = {Verification of Embedded Reactive Fiffo Systems}, 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 = {400--414}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45995-2\_36}, doi = {10.1007/3-540-45995-2\_36}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/latin/HerbreteauCFRS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkelRSB02, author = {Alain Finkel and Jean{-}Fran{\c{c}}ois Raskin and Mathias Samuelides and Laurent Van Begin}, editor = {Anton{\'{\i}}n Kucera and Richard Mayr}, title = {Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited}, booktitle = {4th International Workshop on Verification of Infinite-State Systems {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {68}, number = {6}, pages = {85--106}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80535-8}, doi = {10.1016/S1571-0661(04)80535-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkelRSB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/lib/Berard01, author = {B{\'{e}}atrice B{\'{e}}rard and Michel Bidoit and Alain Finkel and Fran{\c{c}}ois Laroussinie and Antoine Petit and Laure Petrucci and Philippe Schnoebelen and Pierre McKenzie}, title = {Systems and Software Verification, Model-Checking Techniques and Tools}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/978-3-662-04558-9}, doi = {10.1007/978-3-662-04558-9}, isbn = {978-3-642-07478-3}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/lib/Berard01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FinkelS01, author = {Alain Finkel and Philippe Schnoebelen}, title = {Well-structured transition systems everywhere!}, journal = {Theor. Comput. Sci.}, volume = {256}, number = {1-2}, pages = {63--92}, year = {2001}, url = {https://doi.org/10.1016/S0304-3975(00)00102-X}, doi = {10.1016/S0304-3975(00)00102-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FinkelS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2001, editor = {G{\'{e}}rard Berry and Hubert Comon and Alain Finkel}, title = {Computer Aided Verification, 13th International Conference, {CAV} 2001, Paris, France, July 18-22, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2102}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44585-4}, doi = {10.1007/3-540-44585-4}, isbn = {3-540-42345-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/BouajjaniEFMRWW00, author = {Ahmed Bouajjani and Javier Esparza and Alain Finkel and Oded Maler and Peter Rossmanith and Bernard Willems and Pierre Wolper}, title = {An efficient automata approach to some problems on context-free grammars}, journal = {Inf. Process. Lett.}, volume = {74}, number = {5-6}, pages = {221--227}, year = {2000}, url = {https://doi.org/10.1016/S0020-0190(00)00055-7}, doi = {10.1016/S0020-0190(00)00055-7}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/BouajjaniEFMRWW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/FinkelIS00, author = {Alain Finkel and S. Purushothaman Iyer and Gr{\'{e}}goire Sutre}, editor = {Catuscia Palamidessi}, title = {Well-Abstracted Transition Systems}, booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1877}, pages = {566--580}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44618-4\_40}, doi = {10.1007/3-540-44618-4\_40}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/FinkelIS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/FinkelS00, author = {Alain Finkel and Gr{\'{e}}goire Sutre}, editor = {Mogens Nielsen and Branislav Rovan}, title = {An Algorithm Constructing the Semilinear Post\({}^{\mbox{*}}\) for 2-Dim Reset/Transfer {VASS}}, booktitle = {Mathematical Foundations of Computer Science 2000, 25th International Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1893}, pages = {353--362}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44612-5\_31}, doi = {10.1007/3-540-44612-5\_31}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/FinkelS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/FinkelS00, author = {Alain Finkel and Gr{\'{e}}goire Sutre}, editor = {Horst Reichel and Sophie Tison}, title = {Decidability of Reachability Problems for Classes of Two Counters Automata}, booktitle = {{STACS} 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1770}, pages = {346--357}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-46541-3\_29}, doi = {10.1007/3-540-46541-3\_29}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/FinkelS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DufourdF99, author = {Catherine Dufourd and Alain Finkel}, title = {A Polynomial-Bisimilar Normalization for Reset Petri Nets}, journal = {Theor. Comput. Sci.}, volume = {222}, number = {1-2}, pages = {187--194}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(98)00351-X}, doi = {10.1016/S0304-3975(98)00351-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DufourdF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/EsparzaFM99, author = {Javier Esparza and Alain Finkel and Richard Mayr}, title = {On the Verification of Broadcast Protocols}, booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999}, pages = {352--359}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/LICS.1999.782630}, doi = {10.1109/LICS.1999.782630}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/EsparzaFM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jaciii/ColletFG98, author = {Christophe Collet and Alain Finkel and Rachid Gherbi}, title = {CapRe: a Gaze Tracking System in Man-machine Interaction}, journal = {J. Adv. Comput. Intell. Intell. Informatics}, volume = {2}, number = {3}, pages = {77--81}, year = {1998}, url = {https://doi.org/10.20965/jaciii.1998.p0077}, doi = {10.20965/JACIII.1998.P0077}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jaciii/ColletFG98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/SutreFRC98, author = {Gr{\'{e}}goire Sutre and Alain Finkel and Olivier F. Roux and Franck Cassez}, editor = {Armando Martin Haeberer}, title = {Effective Recognizability and Model Checking of Reactive Fiffo Automata}, booktitle = {Algebraic Methodology and Software Technology, 7th International Conference, {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1548}, pages = {106--123}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-49253-4\_10}, doi = {10.1007/3-540-49253-4\_10}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/SutreFRC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/DufourdFS98, author = {Catherine Dufourd and Alain Finkel and Philippe Schnoebelen}, editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel}, title = {Reset Nets Between Decidability and Undecidability}, booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1443}, pages = {103--115}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055044}, doi = {10.1007/BFB0055044}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/DufourdFS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latin/FinkelS98, author = {Alain Finkel and Philippe Schnoebelen}, editor = {Claudio L. Lucchesi and Arnaldo V. Moura}, title = {Fundamental Structures in Well-Structured Infinite Transition Systems}, booktitle = {{LATIN} '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1380}, pages = {102--118}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054314}, doi = {10.1007/BFB0054314}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/latin/FinkelS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FinkelM97, author = {Alain Finkel and Pierre McKenzie}, title = {Verifying Identical Communicating Processes is Undecidable}, journal = {Theor. Comput. Sci.}, volume = {174}, number = {1-2}, pages = {217--230}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00026-6}, doi = {10.1016/S0304-3975(96)00026-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FinkelM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CeceF97, author = {G{\'{e}}rard C{\'{e}}c{\'{e}} and Alain Finkel}, editor = {Orna Grumberg}, title = {Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract)}, booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97, Haifa, Israel, June 22-25, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1254}, pages = {304--315}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63166-6\_31}, doi = {10.1007/3-540-63166-6\_31}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/CeceF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/DufourdF97, author = {Catherine Dufourd and Alain Finkel}, editor = {S. Ramesh and G. Sivakumar}, title = {Polynomial-Time Manz-One Reductions for Petri Nets}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1346}, pages = {312--326}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0058039}, doi = {10.1007/BFB0058039}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/DufourdF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BouzianeF97, author = {Zakaria Bouziane and Alain Finkel}, editor = {Faron Moller}, title = {Cyclic Petri net reachability sets are semi-linear effectively constructible}, booktitle = {Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {9}, pages = {15--24}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80423-2}, doi = {10.1016/S1571-0661(05)80423-2}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BouzianeF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/FinkelWW97, author = {Alain Finkel and Bernard Willems and Pierre Wolper}, editor = {Faron Moller}, title = {A direct symbolic approach to model checking pushdown systems}, booktitle = {Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997}, series = {Electronic Notes in Theoretical Computer Science}, volume = {9}, pages = {27--37}, publisher = {Elsevier}, year = {1997}, url = {https://doi.org/10.1016/S1571-0661(05)80426-8}, doi = {10.1016/S1571-0661(05)80426-8}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/FinkelWW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CeceFI96, author = {G{\'{e}}rard C{\'{e}}c{\'{e}} and Alain Finkel and S. Purushothaman Iyer}, title = {Unreliable Channels are Easier to Verify Than Perfect Channels}, journal = {Inf. Comput.}, volume = {124}, number = {1}, pages = {20--31}, year = {1996}, url = {https://doi.org/10.1006/inco.1996.0003}, doi = {10.1006/INCO.1996.0003}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CeceFI96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FinkelT96, author = {Alain Finkel and Isabelle Tellier}, title = {A Polynomial Algorithm for the Membership Problem with Categorial Grammars}, journal = {Theor. Comput. Sci.}, volume = {164}, number = {1{\&}2}, pages = {207--221}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00211-1}, doi = {10.1016/0304-3975(95)00211-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FinkelT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/Finkel94, author = {Alain Finkel}, title = {Decidability of the Termination Problem for Completely Specified Protocols}, journal = {Distributed Comput.}, volume = {7}, number = {3}, pages = {129--135}, year = {1994}, url = {https://doi.org/10.1007/BF02277857}, doi = {10.1007/BF02277857}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/Finkel94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/FinkelP94, author = {Alain Finkel and Laure Petrucci}, title = {Composition/d{\'{e}}composition de r{\'{e}}seaux de petri et de leurs graphes de couverture}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {28}, number = {2}, pages = {73--124}, year = {1994}, url = {https://doi.org/10.1051/ita/1994280200731}, doi = {10.1051/ITA/1994280200731}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/FinkelP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/CeceFI94, author = {G{\'{e}}rard C{\'{e}}c{\'{e}} and Alain Finkel and S. Purushothaman Iyer}, editor = {David S. Wile}, title = {Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels}, booktitle = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA, December 6-9, 1994}, pages = {35--43}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/193173.195292}, doi = {10.1145/193173.195292}, timestamp = {Tue, 27 Jul 2021 17:16:40 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/CeceFI94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stacs/1993, editor = {Patrice Enjalbert and Alain Finkel and Klaus W. Wagner}, title = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {665}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56503-5}, doi = {10.1007/3-540-56503-5}, isbn = {3-540-56503-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stacs/1992, editor = {Alain Finkel and Matthias Jantzen}, title = {{STACS} 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {577}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55210-3}, doi = {10.1007/3-540-55210-3}, isbn = {3-540-55210-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Funkel91, author = {Alain Finkel}, editor = {Grzegorz Rozenberg}, title = {The Minimal Coverability Graph for Petri Nets}, booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991}, series = {Lecture Notes in Computer Science}, volume = {674}, pages = {210--243}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-56689-9\_45}, doi = {10.1007/3-540-56689-9\_45}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/apn/Funkel91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FinkelP91, author = {Alain Finkel and Laure Petrucci}, editor = {Kim Guldstrand Larsen and Arne Skou}, title = {Avoiding State Exposion by Composition of Minimal Covering Graphs}, booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {575}, pages = {169--180}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55179-4\_17}, doi = {10.1007/3-540-55179-4\_17}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/FinkelP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/Finkel90, author = {Alain Finkel}, title = {Reduction and covering of infinite reachability trees}, journal = {Inf. Comput.}, volume = {89}, number = {2}, pages = {144--179}, year = {1990}, url = {https://doi.org/10.1016/0890-5401(90)90009-7}, doi = {10.1016/0890-5401(90)90009-7}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/Finkel90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/FinkelC87, author = {Alain Finkel and Annie Choquet}, title = {Fifo Nets Without Order Deadlock}, journal = {Acta Informatica}, volume = {25}, number = {1}, pages = {15--36}, year = {1988}, url = {https://doi.org/10.1007/BF00268843}, doi = {10.1007/BF00268843}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/FinkelC87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/FinkelR87, author = {Alain Finkel and Louis E. Rosier}, editor = {Grzegorz Rozenberg}, title = {A Survey on the Decidability Questions for Classes of {FIFO} Nets}, booktitle = {Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers}, series = {Lecture Notes in Computer Science}, volume = {340}, pages = {106--132}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50580-6\_26}, doi = {10.1007/3-540-50580-6\_26}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/FinkelR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/Finkel87, author = {Alain Finkel}, editor = {Thomas Ottmann}, title = {A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems}, booktitle = {Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {267}, pages = {499--508}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18088-5\_43}, doi = {10.1007/3-540-18088-5\_43}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/Finkel87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/ChoquetF86, author = {Annie Choquet and Alain Finkel}, title = {Applications of residues for the analysis of parallel systems communicating by fifo channels}, journal = {Bull. {EATCS}}, volume = {30}, pages = {44--56}, year = {1986}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/ChoquetF86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MemmiF85, author = {G{\'{e}}rard Memmi and Alain Finkel}, title = {An Introduction to Fifo Nets-Monogeneous Nets: {A} Subclass of Fifo Nets}, journal = {Theor. Comput. Sci.}, volume = {35}, pages = {191--214}, year = {1985}, url = {https://doi.org/10.1016/0304-3975(85)90014-3}, doi = {10.1016/0304-3975(85)90014-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/MemmiF85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Finkel85, author = {Alain Finkel}, title = {Une G{\'{e}}n{\'{e}}ralisation des Th{\'{e}}or{\`{e}}me de Higman et de Simon aux Mots Infinis}, journal = {Theor. Comput. Sci.}, volume = {38}, pages = {137--142}, year = {1985}, url = {https://doi.org/10.1016/0304-3975(85)90216-6}, doi = {10.1016/0304-3975(85)90216-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Finkel85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Finkel84, author = {Alain Finkel}, title = {Petri Nets and monogenous {FIFO} nets}, journal = {Bull. {EATCS}}, volume = {23}, pages = {28--30}, year = {1984}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Finkel84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Finkel84, author = {Alain Finkel}, editor = {Max Fontet and Kurt Mehlhorn}, title = {Blocage et vivacit{\'{e}} dans les r{\'{e}}seaux a pile-file}, booktitle = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science, Paris, France, 11-13 April, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {166}, pages = {151--162}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-12920-0\_14}, doi = {10.1007/3-540-12920-0\_14}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Finkel84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tcs/FinkelM83, author = {Alain Finkel and G{\'{e}}rard Memmi}, editor = {Armin B. Cremers and Hans{-}Peter Kriegel}, title = {Fifo nets: a new model of parallel computation}, booktitle = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {145}, pages = {111--121}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/BFb0009638}, doi = {10.1007/BFB0009638}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/tcs/FinkelM83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.