


default search action
Herbert Prähofer
Person information
- affiliation: Johannes Kepler University, Linz, Austria
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j16]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): 1039-1066 (2022) - [p2]Alexander Egyed
, Paul Grünbacher
, Lukas Linsbauer
, Herbert Prähofer
, Ina Schaefer:
Variability in Products and Production. Digital Transformation 2022: 65-91 - 2021
- [j15]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: 101034 (2021) - [c57]Daniel Hinterreiter, Lukas Linsbauer, Herbert Prähofer, Paul Grünbacher:
Feature-Oriented Clone and Pull for Distributed Development and Evolution. QUATIC 2021: 67-81 - 2020
- [j14]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) - [c56]Daniel Hinterreiter, Paul Grünbacher
, Herbert Prähofer:
Visualizing Feature-Level Evolution in Product Lines: A Research Preview. REFSQ 2020: 300-306
2010 – 2019
- 2019
- [j13]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): 417-461 (2019) - [c55]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: 115-128 - [c54]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: 129-142 - [c53]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: 169-175 - 2018
- [j12]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): 913-938 (2018) - [j11]Herbert Prähofer
, Valeriy Vyatkin
, Alois Zoitl:
Guest Editorial Information Technology in Automation. IEEE Trans. Ind. Informatics 14(6): 2745-2747 (2018) - [c52]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: 107-114 - [c51]Herbert Prähofer, Thomas Bohm, Josef Pichler:
Deriving a State Model of a Control Program by Symbolic Execution. INDIN 2018: 754-759 - 2017
- [j10]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): 37-47 (2017) - [c50]Florian Angerer, Paul Grünbacher
, Herbert Prähofer, Lukas Linsbauer:
An Experiment Comparing Lifted and Delayed Variability-Aware Program Analysis. ICSME 2017: 148-158 - 2016
- [c49]Florian Angerer, Herbert Prähofer, Paul Grünbacher
:
Modular Change Impact Analysis for Configurable Software. ICSME 2016: 468-472 - [c48]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: 1218-1223 - [c47]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: 35-44 - [c46]Andreas Grimmer, Florian Angerer, Herbert Prähofer, Paul Grünbacher:
Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned. SANER 2016: 460-469 - [e3]Fernando Barros, Herbert Prähofer, Xiaolin Hu, Joachim Denil:
Proceedings of the Symposium on Theory of Modeling & Simulation, TMS/DEVS 2016, part of the 2016 Spring Simulation Multiconference, SpringSim '16, Pasadena, CA, USA, April 3-6, 2016. ACM 2016, ISBN 978-1-5108-2321-1 [contents] - 2015
- [c45]Florian Angerer, Andreas Grimmer, Herbert Prähofer, Paul Grünbacher
:
Configuration-Aware Change Impact Analysis (T). ASE 2015: 385-395 - [c44]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: 386-395 - [e2]Fernando Barros, Moon Ho Wang, Herbert Prähofer, Xiaolin Hu:
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, part of the 2015 Spring Simulation Multiconference, SpringSim '15, Alexandria, VA, USA, April 12-15, 2015. SCS/ACM 2015, ISBN 978-1-5108-0105-9 [contents] - 2014
- [c43]Herbert Prähofer, Roland Schatz, Andreas Grimmer:
Behavioral model synthesis of PLC programs from execution traces. ETFA 2014: 1-5 - [c42]Daniela Lettner, Florian Angerer, Paul Grünbacher
, Herbert Prähofer:
Software Evolution in an Industrial Automation Ecosystem: An Exploratory Study. EUROMICRO-SEAA 2014: 336-343 - [c41]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: 426-430 - [c40]Daniela Lettner, Florian Angerer, Herbert Prähofer, Paul Grünbacher
:
A case study on software ecosystem characteristics in industrial automation software. ICSSP 2014: 40-49 - [c39]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: 52-61 - [e1]Anil R. Nair, Herbert Prähofer, Alois Zoitl, Raoul Jetley, Alpana Dubey, Atul Kumar:
1st International Workshop on Modern Software Engineering Methods for Industrial Automation, MoSEMInA 2014, Hyderabad, India, May 31, 2014. ACM 2014, ISBN 978-1-4503-2851-7 [contents] - 2013
- [j9]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): 67-94 (2013) - [j8]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): 2387-2396 (2013) - [c38]Florian Angerer, Herbert Prähofer, Rudolf Ramler, Friedrich Grillenberger:
Points-to analysis of IEC 61131-3 programs: Implementation and application. ETFA 2013: 1-8 - [c37]Roland Schatz, Herbert Prähofer:
Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers. EUROMICRO-SEAA 2013: 260-267 - [c36]Herbert Prähofer, Christian Wirth, Richard Berger
:
Reverse engineering and visualization of the reactive behavior of PLC applications. INDIN 2013: 564-571 - [c35]Herbert Prähofer, Alois Zoitl
:
Verification of hierarchical IEC 61499 component systems with behavioral event contracts. INDIN 2013: 578-585 - [c34]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: 52-58 - [c33]Herbert Prähofer:
Towards a theory of interface-based design of hierarchical reactive systems. SpringSim (TMS-DEVS) 2013: 8 - 2012
- [c32]Richard Berger
, Herbert Prähofer, Christian Wirth, Roland Schatz:
A tool for trace visualization and offline debugging of PLC applications. ETFA 2012: 1-8 - [c31]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: 1-8 - [c30]Roland Schatz, Herbert Prähofer:
Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay. EUROMICRO-SEAA 2012: 55-62 - 2011
- [j7]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): 641-651 (2011) - [c29]Christian Wirth, Herbert Prähofer, Roland Schatz:
A multi-level approach for visualization and exploration of reactive program behavior. VISSOFT 2011: 1-4 - 2010
- [c28]Herbert Prähofer, Roland Schatz, Christian Wirth:
Detection of high-level execution patterns in reactive behavior of control programs. WODA 2010: 14-19 - [c27]Dominik Hurnaus, Herbert Prähofer:
Programming assistance based on contracts and modular verification in the automation domain. SAC 2010: 2544-2551
2000 – 2009
- 2009
- [p1]Gerhard Weiss, Gustav Pomberger, Wolfgang Beer, Georg Buchgeher, Bernhard Dorninger, Josef Pichler, Herbert Prähofer, Rudolf Ramler, Fritz Stallinger, Rainer Weinreich:
Software Engineering - Processes and Tools. Hagenberg Research 2009: 157-235 - 2008
- [c26]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: 21-30 - [c25]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: 76-80 - [c24]Herbert Prähofer, Dominik Hurnaus, Roland Schatz, Christian Wirth, Hanspeter Mössenböck:
Monaco: A DSL Approach for Programming Automation Systems. Software Engineering 2008: 242-256 - 2007
- [c23]Reinhard Wolfinger, Herbert Prähofer:
Integration models in a .NET plug-in framework. Software Engineering 2007: 217-229 - [c22]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: 104-110 - 2006
- [b2]Wolfgang Beer, Dietrich Birngruber, Hanspeter Mössenböck, Herbert Praehofer, Albrecht Wöß:
Die .NET-Technologie - Grundlagen und Anwendungsprogrammierung: aktualisiert auf .NET 2.0, 2. Auflage. dpunkt.verlag 2006, ISBN 978-3-89864-421-1, pp. I-XX, 1-577 - [c21]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: 186-197 - [c20]Reinhard Wolfinger, Deepak Dhungana
, Herbert Prähofer, Hanspeter Mössenböck:
A Component Plug-In Architecture for the .NET Platform. JMLC 2006: 287-305 - 2001
- [j6]Herbert Praehofer, Johannes Sametinger
, Alois Stritzinger:
Concepts and architecture of a simulation framework based on the JavaBeans component model. Future Gener. Comput. Syst. 17(5): 539-559 (2001) - 2000
- [j5]Bernard P. Zeigler, Hessam S. Sarjoughian, Herbert Prähofer:
Theory of Quantized Systems: Devs Simulation of Perceiving Agents. Cybern. Syst. 31(6): 611-647 (2000) - [j4]Herbert Praehofer, Johannes Sametinger, Alois Stritzinger:
Architektur eines Simulationsbaukastens, basierend auf dem Komponentenmodell JavaBeans. HMD Prax. Wirtsch. 212: 99-111 (2000)
1990 – 1999
- 1999
- [b1]Bernard P. Zeigler, Herbert Praehofer, Tag Gon Kim:
Theory of modeling and design - integrating discrete event and continous complex dynamic systems (2. ed.). Academic Press 1999, ISBN 978-0-12-778455-7, pp. I-XXI, 1-510 - [c19]Herbert Praehofer, Josef Kerschbaummayr:
Supporting Reusability in a System Design Environment by Case-Based Reasoning Techniques. ICCBR 1999: 535-549 - [c18]Herbert Praehofer, Johannes Sametinger
, Alois Stritzinger:
Component Frameworks - A Case Study. TOOLS (30) 1999: 148-157 - 1998
- [c17]Herbert Praehofer, Johannes Sametinger, Alois Stritzinger:
Using Java Beans to teach Simulation and using Simulation to teach JavaBeans. ESM 1998: 886-890 - 1997
- [j3]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): 1-10 (1997) - [c16]Bernard P. Zeigler, Doohwan Kim, Herbert Praehofer:
DEVS Formalism as a Framework for Advanced Distributed Simulation. DIS-RT 1997: 15-21 - 1996
- [j2]Herbert Praehofer:
Object Oriented, Modular Hierarchical Simulation Modeling: Towards Reuse of Simulation Code. Simul. Pract. Theory 4(4) (1996) - 1995
- [c15]Herbert Praehofer, Franz Pichler:
Multifacetted, Object Oriented Modeling in the Transportation Domain. EUROCAST 1995: 341-357 - [c14]Herbert Praehofer, Wolfgang Mayr:
An Environment for Graphical, Interactive Modeling and Simulation of Modular, Hierarchical DEVS-Based Systems. EUROSIM 1995: 147-152 - [c13]Gernot Reisinger, Herbert Praehofer:
Object Oriented Realization of a Parallel Discrete Event Simulator. EUROSIM 1995: 327-332 - [c12]Ryo Sato, Herbert Prähofer, Kiyoshi Niwa, Franz Pichler:
Discrete Event Systems: A Framework for Man-made Systems. PACIS 1995: 70 - 1994
- [c11]Herbert Praehofer, Bernard P. Zeigler:
On the Expressibility of Discrete Event Specified Systems. CAST 1994: 65-79 - [c10]Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Praehofer:
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems. Hybrid Systems 1994: 529-551 - 1993
- [j1]Herbert Praehofer, Franz Auernig, Gernot Reisinger:
An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS. Discret. Event Dyn. Syst. 3(2-3): 119-149 (1993) - [c9]Christoph Schaffer, Herbert Praehofer:
On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation. EUROCAST 1993: 137-159 - [c8]Ramón P. Otero, Alvaro Barreiro, Herbert Praehofer, Franz Pichler, José Mira:
STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation. EUROCAST 1993: 347-356 - [c7]Herbert Praehofer, Dietmar Pree:
Visual modeling of DEVS-based multiformalism systems based on higraphs. WSC 1993: 595-603 - 1991
- [c6]Herbert Praehofer, Franz Auernig, Gernot Reisinger:
An Environment for Intelligent Autonomous System Design and Simulation. EUROCAST 1991: 240-256 - 1990
- [c5]Herbert Praehofer:
Neue Konzepte für die Simulation von kombiniert diskret-kontinuierlichen Systemen - Ein systematischer Ansatz. ASIM 1990: 112-116
1980 – 1989
- 1989
- [c4]Bernard P. Zeigler, Herbert Praehofer:
Systems Theory Challenges in the Simulation of Variable Structure and Intelligent Systems. EUROCAST 1989: 41-51 - [c3]Rudolf Mittelmann, Herbert Praehofer:
Design of an Object Oriented Kernel System for Computer Aided Systems Theory and Systems Theory Instrumented Modelling and Simulation. EUROCAST 1989: 76-85 - [c2]Herbert Praehofer, Bernard P. Zeigler:
Modelling and Simulation of Non-Homogeneous Models. EUROCAST 1989: 200-211 - [c1]Jerzy W. Rozenblit, Herbert Praehofer:
Computer Aided Systems Theory and Knowledge-Based System Design and Simulation; Directions to Explore. EUROCAST 1989: 322-335
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint