Benedikt F. H. Becker

According to our database, Benedikt F. H. Becker authored at least 6 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

The CoLiS platform for the analysis of maintainer scripts in Debian software packages.

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen

Int. J. Softw. Tools Technol. Transf., 2022

2021

Explaining Counterexamples with Giant-Step Assertion Checking.

Benedikt F. H. Becker, Cláudio Belo Lourenço, Claude Marché

Proceedings of the 6th Workshop on Formal Integrated Development Environment, 2021

2020

Analysing installation scenarios of Debian packages.

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Ghost Code in Action: Automated Verification of a Symbolic Interpreter.

Benedikt F. H. Becker, Claude Marché

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

2016

Extraction of chemical-induced diseases using prior knowledge and textual information.

Ewoud Pons, Benedikt F. H. Becker, Saber A. Akhondi, Zubair Afzal, Erik M. van Mulligen, Jan A. Kors

Database J. Biol. Databases Curation, 2016

Chemical entity recognition in patents by combining dictionary-based and statistical approaches.

Saber A. Akhondi, Ewoud Pons, Zubair Afzal, Herman van Haagen, Benedikt F. H. Becker, Kristina M. Hettne, Erik M. van Mulligen, Jan A. Kors

Database J. Biol. Databases Curation, 2016