Branch-Well-Structured Transition Systems and Extensions
Benedikt Bollig, Alain Finkel, Amrita Suresh
Published in Logical methods in computer science (01.06.2024)
Published in Logical methods in computer science (01.06.2024)
Get full text
Journal Article
Bounded Reachability Problems are Decidable in FIFO Machines
Bollig, Benedikt, Finkel, Alain, Suresh, Amrita
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Forward Analysis for WSTS, Part III: Karp-Miller Trees
Blondin, Michael, Finkel, Alain, Goubault-Larrecq, Jean
Published in Logical methods in computer science (01.01.2020)
Published in Logical methods in computer science (01.01.2020)
Get full text
Journal Article
Well Behaved Transition Systems
Blondin, Michael, Finkel, Alain, Mckenzie, Pierre
Published in Logical methods in computer science (01.01.2017)
Published in Logical methods in computer science (01.01.2017)
Get full text
Journal Article
Model Checking Vector Addition Systems with one zero-test
Bonnet, Rémi, FInkel, Alain, Leroux, Jérôme, Zeitoun, Marc
Published in Logical methods in computer science (19.06.2012)
Published in Logical methods in computer science (19.06.2012)
Get full text
Journal Article
Bounded Parikh Automata
Cadilhac, Michaël, Finkel, Alain, McKenzie, Pierre
Published in Electronic proceedings in theoretical computer science (17.08.2011)
Published in Electronic proceedings in theoretical computer science (17.08.2011)
Get full text
Journal Article
Forward analysis for WSTS, part I: completions
Finkel, Alain, Goubault-Larrecq, Jean
Published in Mathematical structures in computer science (01.08.2020)
Published in Mathematical structures in computer science (01.08.2020)
Get full text
Journal Article
Dense-choice Counter Machines revisited
Bouchy, Florent, Finkel, Alain, San Pietro, Pierluigi
Published in Electronic proceedings in theoretical computer science (17.11.2009)
Published in Electronic proceedings in theoretical computer science (17.11.2009)
Get full text
Journal Article
Handling infinitely branching well-structured transition systems
Blondin, Michael, Finkel, Alain, McKenzie, Pierre
Published in Information and computation (01.02.2018)
Published in Information and computation (01.02.2018)
Get full text
Journal Article
Forward analysis and model checking for trace bounded WSTS
Chambart, Pierre, Finkel, Alain, Schmitz, Sylvain
Published in Theoretical computer science (18.07.2016)
Published in Theoretical computer science (18.07.2016)
Get full text
Journal Article
Commodification of accelerations for the Karp and Miller Construction
Finkel, Alain, Haddad, Serge, Khmelnitsky, Igor
Published in Discrete event dynamic systems (01.06.2021)
Published in Discrete event dynamic systems (01.06.2021)
Get full text
Journal Article
Analysis of recurrent neural networks via property-directed verification of surrogate models
Khmelnitsky, Igor, Neider, Daniel, Roy, Rajarshi, Xie, Xuan, Barbot, Benoît, Bollig, Benedikt, Finkel, Alain, Haddad, Serge, Leucker, Martin, Ye, Lina
Published in International journal on software tools for technology transfer (01.06.2023)
Published in International journal on software tools for technology transfer (01.06.2023)
Get full text
Journal Article