Fabian Benduhn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2014–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICFEM | Modularization of Refinement Steps for Agile Formal Methods. | Fabian Benduhn, Thomas Thm, Ina Schaefer, Gunter Saake |
| 2017 | ICSE | Efficient Mutation Testing in Configurable Systems. | Mustafa Al-Hajjaji, Jacob Krger, Fabian Benduhn, Thomas Leich, Gunter Saake |
| 2016 | ICSE | FeatureIDE: taming the preprocessor wilderness. | Jens Meinicke, Thomas Thm, Reimar Schrter, Sebastian Krieter, Fabian Benduhn, Gunter Saake, Thomas Leich |
| 2016 | ICSE | Feature-model interfaces: the highway to compositional analyses of highly-configurable systems. | Reimar Schrter, Sebastian Krieter, Thomas Thm, Fabian Benduhn, Gunter Saake |
| 2014 | SPLC | An overview on analysis tools for software product lines. | Jens Meinicke, Thomas Thm, Reimar Schrter, Fabian Benduhn, Gunter Saake |
| 2014 | SPLC | Potential synergies of theorem proving and model checking for software product lines. | Thomas Thm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake |