Skip to content

Herbert Prhofer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

22

Venues

11

Active years

2008–2021

Best venue rank

A*

Where they publish

Papers

22 indexed papers, newest first.

YearVenueTitleAuthors
2021QUATICFeature-Oriented Clone and Pull for Distributed Development and Evolution.Daniel Hinterreiter, Lukas Linsbauer, Herbert Prhofer, Paul Grnbacher
2020REFSQVisualizing Feature-Level Evolution in Product Lines: A Research Preview.Daniel Hinterreiter, Paul Grnbacher, Herbert Prhofer
2019GPCESupporting feature model evolution by suggesting constraints from code-level dependency analyses.Kevin Feichtinger, Daniel Hinterreiter, Lukas Linsbauer, Herbert Prhofer, Paul Grnbacher
2019GPCEHarmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution.Daniel Hinterreiter, Michael Nieke, Lukas Linsbauer, Christoph Seidl, Herbert Prhofer, Paul Grnbacher
2019REFSQSupporting Feature Model Evolution by Lifting Code-Level Dependencies: A Research Preview.Daniel Hinterreiter, Kevin Feichtinger, Lukas Linsbauer, Herbert Prhofer, Paul Grnbacher
2018ETFAFeature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems.Daniel Hinterreiter, Herbert Prhofer, Lukas Linsbauer, Paul Grnbacher, Florian Reisinger, Alexander Egyed
2018INDINDeriving a State Model of a Control Program by Symbolic Execution.Herbert Prhofer, Thomas Bohm, Josef Pichler
2016INDINFeature-oriented development in industrial automation software ecosystems: Development scenarios and tool support.Herbert Prhofer, Daniela Rabiser, Florian Angerer, Paul Grnbacher, Peter Feichtinger
2016SPLCA prototype-based approach for managing clones in clone-and-own product lines.Daniela Rabiser, Paul Grnbacher, Herbert Prhofer, Florian Angerer
2015MODELSFeature modeling of two large-scale industrial software systems: Experiences and lessons learned.Daniela Lettner, Klaus Eder, Paul Grnbacher, Herbert Prhofer
2014ETFABehavioral model synthesis of PLC programs from execution traces.Herbert Prhofer, Roland Schatz, Andreas Grimmer
2014SPLCIdentifying inactive code in product lines with configuration-aware system dependence graphs.Florian Angerer, Herbert Prhofer, Daniela Lettner, Andreas Grimmer, Paul Grnbacher
2013ETFAPoints-to analysis of IEC 61131-3 programs: Implementation and application.Florian Angerer, Herbert Prhofer, Rudolf Ramler, Friedrich Grillenberger
2013INDINReverse engineering and visualization of the reactive behavior of PLC applications.Herbert Prhofer, Christian Wirth, Richard Berger
2013INDINVerification of hierarchical IEC 61499 component systems with behavioral event contracts.Herbert Prhofer, Alois Zoitl
2013SPLCCustom-developed vs. model-based configuration tools: experiences from an industrial automation ecosystem.Daniela Lettner, Michael Petruzelka, Rick Rabiser, Florian Angerer, Herbert Prhofer, Paul Grnbacher
2012ETFAA tool for trace visualization and offline debugging of PLC applications.Richard Berger, Herbert Prhofer, Christian Wirth, Roland Schatz
2012ETFAOpportunities and challenges of static code analysis of IEC 61131-3 programs.Herbert Prhofer, Florian Angerer, Rudolf Ramler, Hermann Lacheiner, Friedrich Grillenberger
2011VISSOFTA multi-level approach for visualization and exploration of reactive program behavior.Christian Wirth, Herbert Prhofer, Roland Schatz
2010ISSTADetection of high-level execution patterns in reactive behavior of control programs.Herbert Prhofer, Roland Schatz, Christian Wirth
2010SACProgramming assistance based on contracts and modular verification in the automation domain.Dominik Hurnaus, Herbert Prhofer
2008ICSESoftware support for building end-user programming environments in the automation domain.Herbert Prhofer, Dominik Hurnaus, Roland Schatz, Christian Wirth, Hanspeter Mssenbck