Round- and context-bounded control of dynamic pushdown systems
Bollig, Benedikt, Lehaut, Mathieu, Sznajder, Nathalie
Published in Formal methods in system design (2024)
Published in Formal methods in system design (2024)
Get full text
Journal Article
On the Satisfiability of Local First-Order Logics with Data
Bollig, Benedikt, Sangnier, Arnaud, Stietel, Olivier
Published in Logical methods in computer science (02.07.2024)
Published in Logical methods in computer science (02.07.2024)
Get full text
Journal Article
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
The Complexity of Flat Freeze LTL
Bollig, Benedikt, Quaas, Karin, Sangnier, Arnaud
Published in Logical methods in computer science (01.09.2019)
Published in Logical methods in computer science (01.09.2019)
Get full text
Journal Article
Analyzing Robustness of Angluin's L$^$ Algorithm in Presence of Noise
Ye, Lina, Khmelnitsky, Igor, Haddad, Serge, Barbot, Benoît, Bollig, Benedikt, Leucker, Martin, Neider, Daniel, Roy, Rajarshi
Published in Logical methods in computer science (20.03.2024)
Published in Logical methods in computer science (20.03.2024)
Get full text
Journal Article
A Robust Class of Data Languages and an Application to Learning
Bollig, Benedikt, Habermehl, Peter, Leucker, Martin, Monmege, Benjamin
Published in Logical methods in computer science (30.12.2014)
Published in Logical methods in computer science (30.12.2014)
Get full text
Journal Article
A Fresh Approach to Learning Register Automata
Bollig, Benedikt, Habermehl, Peter, Leucker, Martin, Monmege, Benjamin
Published in Developments in Language Theory (2013)
Published in Developments in Language Theory (2013)
Get full text
Book Chapter
Propositional Dynamic Logic for Message-Passing Systems
Bollig, Benedikt, Kuske, Dietrich, Meinecke, Ingmar
Published in Logical methods in computer science (01.01.2010)
Published in Logical methods in computer science (01.01.2010)
Get full text
Journal Article
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic
Bollig, Benedikt, Fortin, Marie, Gastin, Paul
Published in Journal of computer and system sciences (01.02.2021)
Published in Journal of computer and system sciences (01.02.2021)
Get full text
Journal Article
On the Existential Fragments of Local First-Order Logics with Data
Bollig, Benedikt, Sangnier, Arnaud, Stietel, Olivier
Published in Electronic proceedings in theoretical computer science (20.09.2022)
Published in Electronic proceedings in theoretical computer science (20.09.2022)
Get full text
Journal Article
Towards Formal Verification of Distributed Algorithms
Bollig, Benedikt
Published in 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (01.09.2015)
Published in 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (01.09.2015)
Get full text
Conference Proceeding
Synthesis in presence of dynamic links
Bérard, Béatrice, Bollig, Benedikt, Bouyer, Patricia, Függer, Matthias, Sznajder, Nathalie
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
The Complexity of Model Checking Multi-Stack Systems
Bollig, Benedikt, Kuske, Dietrich, Mennicke, Roy
Published in Theory of computing systems (01.05.2017)
Published in Theory of computing systems (01.05.2017)
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