Benedikt F. H. Becker

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 6

Top Topics

Software Package

Statistical Approaches

Financial Reports

Top Venues

Database J. Biol. Databases Curation

Int. J. Softw. Tools Technol. Transf.

Publications

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
The CoLiS platform for the analysis of maintainer scripts in Debian software packages. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché
Explaining Counterexamples with Giant-Step Assertion Checking. F-IDE@NFM (2021)
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
Analysing installation scenarios of Debian packages. TACAS (2) (2020)
Benedikt F. H. Becker, Claude Marché
Ghost Code in Action: Automated Verification of a Symbolic Interpreter. VSTTE (2019)
Saber A. Akhondi, Ewoud Pons, Zubair Afzal, Herman van Haagen, Benedikt F. H. Becker, Kristina M. Hettne, Erik M. van Mulligen, Jan A. Kors
Chemical entity recognition in patents by combining dictionary-based and statistical approaches. Database J. Biol. Databases Curation 2016 (2016)
Ewoud Pons, Benedikt F. H. Becker, Saber A. Akhondi, Zubair Afzal, Erik M. van Mulligen, Jan A. Kors
Extraction of chemical-induced diseases using prior knowledge and textual information. Database J. Biol. Databases Curation 2016 (2016)