Herbert Prähofer

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 19

Top Topics

Change Impact Analysis

Software Systems

Top Venues

IEEE Trans. Ind. Informatics

Publications

Daniel Hinterreiter, Lukas Linsbauer, Herbert Prähofer, Paul Grünbacher
Feature-oriented clone and pull operations for distributed development and evolution. Softw. Qual. J. 30 (4) (2022)
Daniel Hinterreiter, Lukas Linsbauer, Herbert Prähofer, Paul Grünbacher
Feature-Oriented Clone and Pull for Distributed Development and Evolution. QUATIC (2021)
Kevin Feichtinger, Daniel Hinterreiter, Lukas Linsbauer, Herbert Prähofer, Paul Grünbacher
Guiding feature model evolution by lifting code-level dependencies. J. Comput. Lang. 63 (2021)
Daniel Hinterreiter, Lukas Linsbauer, Kevin Feichtinger, Herbert Prähofer, Paul Grünbacher
Supporting feature-oriented evolution in industrial automation product lines. Concurr. Eng. Res. Appl. 28 (4) (2020)
Daniel Hinterreiter, Paul Grünbacher, Herbert Prähofer
Visualizing Feature-Level Evolution in Product Lines: A Research Preview. REFSQ (2020)
Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher
Change impact analysis for maintenance and evolution of variable software systems. Autom. Softw. Eng. 26 (2) (2019)
Daniel Hinterreiter, Kevin Feichtinger, Lukas Linsbauer, Herbert Prähofer, Paul Grünbacher
Supporting Feature Model Evolution by Lifting Code-Level Dependencies: A Research Preview. REFSQ (2019)
Kevin Feichtinger, Daniel Hinterreiter, Lukas Linsbauer, Herbert Prähofer, Paul Grünbacher
Supporting feature model evolution by suggesting constraints from code-level dependency analyses. GPCE (2019)
Daniel Hinterreiter, Michael Nieke, Lukas Linsbauer, Christoph Seidl, Herbert Prähofer, Paul Grünbacher
Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution. GPCE (2019)
Daniela Rabiser, Herbert Prähofer, Paul Grünbacher, Michael Petruzelka, Klaus Eder, Florian Angerer, Mario Kromoser, Andreas Grimmer
Multi-purpose, multi-level feature modeling of large-scale industrial software systems. Softw. Syst. Model. 17 (3) (2018)
Herbert Prähofer, Thomas Bohm, Josef Pichler
Deriving a State Model of a Control Program by Symbolic Execution. INDIN (2018)
Daniel Hinterreiter, Herbert Prähofer, Lukas Linsbauer, Paul Grünbacher, Florian Reisinger, Alexander Egyed
Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems. ETFA (2018)
Herbert Prähofer, Valeriy Vyatkin, Alois Zoitl
Guest Editorial Information Technology in Automation. IEEE Trans. Ind. Informatics 14 (6) (2018)
Florian Angerer, Paul Grünbacher, Herbert Prähofer, Lukas Linsbauer
An Experiment Comparing Lifted and Delayed Variability-Aware Program Analysis. ICSME (2017)
Herbert Prähofer, Florian Angerer, Rudolf Ramler, Friedrich Grillenberger
Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application. IEEE Trans. Ind. Informatics 13 (1) (2017)
Florian Angerer, Herbert Prähofer, Paul Grünbacher
Modular Change Impact Analysis for Configurable Software. ICSME (2016)
Andreas Grimmer, Florian Angerer, Herbert Prähofer, Paul Grünbacher
Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned. SANER (2016)
Herbert Prähofer, Daniela Rabiser, Florian Angerer, Paul Grünbacher, Peter Feichtinger
Feature-oriented development in industrial automation software ecosystems: Development scenarios and tool support. INDIN (2016)
Daniela Rabiser, Paul Grünbacher, Herbert Prähofer, Florian Angerer
A prototype-based approach for managing clones in clone-and-own product lines. SPLC (2016)
Daniela Lettner, Klaus Eder, Paul Grünbacher, Herbert Prähofer
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned. MoDELS (2015)
Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher
Configuration-Aware Change Impact Analysis (T). ASE (2015)
Herbert Prähofer, Roland Schatz, Andreas Grimmer
Behavioral model synthesis of PLC programs from execution traces. ETFA (2014)
Florian Angerer, Herbert Prähofer, Daniela Lettner, Andreas Grimmer, Paul Grünbacher
Identifying inactive code in product lines with configuration-aware system dependence graphs. SPLC (2014)
Lukas Linsbauer, Florian Angerer, Paul Grünbacher, Daniela Lettner, Herbert Prähofer, Roberto E. Lopez-Herrejon, Alexander Egyed
Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems. ICSME (2014)
Daniela Lettner, Florian Angerer, Herbert Prähofer, Paul Grünbacher
A case study on software ecosystem characteristics in industrial automation software. ICSSP (2014)
Daniela Lettner, Florian Angerer, Paul Grünbacher, Herbert Prähofer
Software Evolution in an Industrial Automation Ecosystem: An Exploratory Study. EUROMICRO-SEAA (2014)
Herbert Prähofer, Alois Zoitl
Verification of hierarchical IEC 61499 component systems with behavioral event contracts. INDIN (2013)
Herbert Prähofer, Christian Wirth, Richard Berger
Reverse engineering and visualization of the reactive behavior of PLC applications. INDIN (2013)
Roland Schatz, Herbert Prähofer
Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers. EUROMICRO-SEAA (2013)
Herbert Prähofer
Towards a theory of interface-based design of hierarchical reactive systems. SpringSim (TMS-DEVS) (2013)
Florian Angerer, Herbert Prähofer, Rudolf Ramler, Friedrich Grillenberger
Points-to analysis of IEC 61131-3 programs: Implementation and application. ETFA (2013)
Daniela Lettner, Michael Petruzelka, Rick Rabiser, Florian Angerer, Herbert Prähofer, Paul Grünbacher
Custom-developed vs. model-based configuration tools: experiences from an industrial automation ecosystem. SPLC Workshops (2013)
Herbert Prähofer, Roland Schatz, Christian Wirth, Dominik Hurnaus, Hanspeter Mössenböck
Monaco - A domain-specific language solution for reactive process control programming with hierarchical components. Comput. Lang. Syst. Struct. 39 (3) (2013)
Alois Zoitl, Herbert Prähofer
Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language. IEEE Trans. Ind. Informatics 9 (4) (2013)
Richard Berger, Herbert Prähofer, Christian Wirth, Roland Schatz
A tool for trace visualization and offline debugging of PLC applications. ETFA (2012)
Herbert Prähofer, Florian Angerer, Rudolf Ramler, Hermann Lacheiner, Friedrich Grillenberger
Opportunities and challenges of static code analysis of IEC 61131-3 programs. ETFA (2012)
Roland Schatz, Herbert Prähofer
Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay. EUROMICRO-SEAA (2012)
Christian Wirth, Herbert Prähofer, Roland Schatz
A multi-level approach for visualization and exploration of reactive program behavior. VISSOFT (2011)
Herbert Prähofer, Roland Schatz, Christian Wirth, Hanspeter Mössenböck
A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications. IEEE Trans. Ind. Informatics 7 (4) (2011)
Dominik Hurnaus, Herbert Prähofer
Programming assistance based on contracts and modular verification in the automation domain. SAC (2010)
Herbert Prähofer, Roland Schatz, Christian Wirth
Detection of high-level execution patterns in reactive behavior of control programs. WODA (2010)
Reinhard Wolfinger, Stephan Reiter, Deepak Dhungana, Paul Grünbacher, Herbert Prähofer
Supporting Runtime System Adaptation through Product Line Engineering and Plug-in Techniques. ICCBSS (2008)
Herbert Prähofer, Dominik Hurnaus, Roland Schatz, Christian Wirth, Hanspeter Mössenböck
Monaco: A DSL Approach for Programming Automation Systems. Software Engineering (2008)
Herbert Prähofer, Dominik Hurnaus, Roland Schatz, Christian Wirth, Hanspeter Mössenböck
Software support for building end-user programming environments in the automation domain. WEUSE@ICSE (2008)
Reinhard Wolfinger, Herbert Prähofer
Integration models in a .NET plug-in framework. Software Engineering (2007)
Herbert Prähofer, Dominik Hurnaus, Christian Wirth, Hanspeter Mössenböck
The Domain-Specific Language Monaco and its Visual Interactive Programming Environment. VL/HCC (2007)
Reinhard Wolfinger, Deepak Dhungana, Herbert Prähofer, Hanspeter Mössenböck
A Component Plug-In Architecture for the .NET Platform. JMLC (2006)
Deepak Dhungana, Rick Rabiser, Paul Grünbacher, Herbert Prähofer, Christian Federspiel, Klaus Lehner
Architectural Knowledge in Product Line Engineering: An Industrial Case Stu. EUROMICRO-SEAA (2006)
Bernard P. Zeigler, Hessam S. Sarjoughian, Herbert Prähofer
Theory of Quantized Systems: Devs Simulation of Perceiving Agents. Cybern. Syst. 31 (6) (2000)
Ryo Sato, Herbert Prähofer
A discrete event system model of business system-a systems theoretic foundation for information systems analysis. I. IEEE Trans. Syst. Man Cybern. Part A 27 (1) (1997)
Ryo Sato, Herbert Prähofer, Kiyoshi Niwa, Franz Pichler
Discrete Event Systems: A Framework for Man-made Systems. PACIS (1995)