Herbert Prähofer

61 papers A* 1A 7B 9C 11Misc 2Journal 15Unranked 11

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