Herbert Prähofer

Orcid: 0000-0002-0139-8044

Affiliations:
  • Johannes Kepler University, Linz, Austria


According to our database1, Herbert Prähofer authored at least 77 papers between 1989 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Feature-oriented clone and pull operations for distributed development and evolution.
Softw. Qual. J., 2022

Variability in Products and Production.
Proceedings of the Digital Transformation, 2022

2021
Guiding feature model evolution by lifting code-level dependencies.
J. Comput. Lang., 2021

Feature-Oriented Clone and Pull for Distributed Development and Evolution.
Proceedings of the Quality of Information and Communications Technology, 2021

2020
Supporting feature-oriented evolution in industrial automation product lines.
Concurr. Eng. Res. Appl., 2020

Visualizing Feature-Level Evolution in Product Lines: A Research Preview.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2020

2019
Change impact analysis for maintenance and evolution of variable software systems.
Autom. Softw. Eng., 2019

Supporting Feature Model Evolution by Lifting Code-Level Dependencies: A Research Preview.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019

Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution.
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

Supporting feature model evolution by suggesting constraints from code-level dependency analyses.
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

2018
Guest Editorial Information Technology in Automation.
IEEE Trans. Ind. Informatics, 2018

Multi-purpose, multi-level feature modeling of large-scale industrial software systems.
Softw. Syst. Model., 2018

Deriving a State Model of a Control Program by Symbolic Execution.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application.
IEEE Trans. Ind. Informatics, 2017

An Experiment Comparing Lifted and Delayed Variability-Aware Program Analysis.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

2016
Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

A prototype-based approach for managing clones in clone-and-own product lines.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Feature-oriented development in industrial automation software ecosystems: Development scenarios and tool support.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Modular Change Impact Analysis for Configurable Software.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

2015
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Configuration-Aware Change Impact Analysis (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014
Identifying inactive code in product lines with configuration-aware system dependence graphs.
Proceedings of the 18th International Software Product Line Conference, 2014

A case study on software ecosystem characteristics in industrial automation software.
Proceedings of the International Conference on Software and Systems Process 2014, 2014

Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems.
Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

Software Evolution in an Industrial Automation Ecosystem: An Exploratory Study.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Behavioral model synthesis of PLC programs from execution traces.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language.
IEEE Trans. Ind. Informatics, 2013

Monaco - A domain-specific language solution for reactive process control programming with hierarchical components.
Comput. Lang. Syst. Struct., 2013

Towards a theory of interface-based design of hierarchical reactive systems.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Custom-developed vs. model-based configuration tools: experiences from an industrial automation ecosystem.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Verification of hierarchical IEC 61499 component systems with behavioral event contracts.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Reverse engineering and visualization of the reactive behavior of PLC applications.
Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Points-to analysis of IEC 61131-3 programs: Implementation and application.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Opportunities and challenges of static code analysis of IEC 61131-3 programs.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

A tool for trace visualization and offline debugging of PLC applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications.
IEEE Trans. Ind. Informatics, 2011

A multi-level approach for visualization and exploration of reactive program behavior.
Proceedings of the 6th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2011

2010
Programming assistance based on contracts and modular verification in the automation domain.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Detection of high-level execution patterns in reactive behavior of control programs.
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010

2009
Software Engineering - Processes and Tools.
Proceedings of the Hagenberg Research, 2009

2008
Monaco: A DSL Approach for Programming Automation Systems.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Software support for building end-user programming environments in the automation domain.
Proceedings of the 4th international workshop on End-user software engineering, 2008

Supporting Runtime System Adaptation through Product Line Engineering and Plug-in Techniques.
Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), 2008

2007
The Domain-Specific Language Monaco and its Visual Interactive Programming Environment.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Integration models in a .NET plug-in framework.
Proceedings of the Software Engineering 2007, 2007

2006
A Component Plug-In Architecture for the .NET Platform.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Architectural Knowledge in Product Line Engineering: An Industrial Case Stu.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Die .NET-Technologie - Grundlagen und Anwendungsprogrammierung: aktualisiert auf .NET 2.0, 2. Auflage.
dpunkt.verlag, ISBN: 978-3-89864-421-1, 2006

2001
Concepts and architecture of a simulation framework based on the JavaBeans component model.
Future Gener. Comput. Syst., 2001

2000
Architektur eines Simulationsbaukastens, basierend auf dem Komponentenmodell JavaBeans.
HMD Prax. Wirtsch., 2000

Theory of Quantized Systems: Devs Simulation of Perceiving Agents.
Cybern. Syst., 2000

1999
Component Frameworks - A Case Study.
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Supporting Reusability in a System Design Environment by Case-Based Reasoning Techniques.
Proceedings of the Case-Based Reasoning and Development, Third International Conference, 1999

Theory of modeling and design - integrating discrete event and continous complex dynamic systems (2. ed.).
Academic Press, ISBN: 978-0-12-778455-7, 1999

1998
Using Java Beans to teach Simulation and using Simulation to teach JavaBeans.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

1997
A discrete event system model of business system-a systems theoretic foundation for information systems analysis. I.
IEEE Trans. Syst. Man Cybern. Part A, 1997

DEVS Formalism as a Framework for Advanced Distributed Simulation.
Proceedings of the 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '97), 1997

1996
Object Oriented, Modular Hierarchical Simulation Modeling: Towards Reuse of Simulation Code.
Simul. Pract. Theory, 1996

1995
Discrete Event Systems: A Framework for Man-made Systems.
Proceedings of the Second Pacific Asia Conference on Information Systems, 1995

Object Oriented Realization of a Parallel Discrete Event Simulator.
Proceedings of the EUROSIM'96, 1995

An Environment for Graphical, Interactive Modeling and Simulation of Modular, Hierarchical DEVS-Based Systems.
Proceedings of the EUROSIM'96, 1995

Multifacetted, Object Oriented Modeling in the Transportation Domain.
Proceedings of the Computer Aided Systems Theory, 1995

1994
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems.
Proceedings of the Hybrid Systems II, 1994

On the Expressibility of Discrete Event Specified Systems.
Proceedings of the Computer Aided System Theory, 1994

1993
An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS.
Discret. Event Dyn. Syst., 1993

Visual modeling of DEVS-based multiformalism systems based on higraphs.
Proceedings of the 25th Winter Simulation Conference, 1993

On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation.
Proceedings of the Computer Aided Systems Theory, 1993

STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation.
Proceedings of the Computer Aided Systems Theory, 1993

1991
An Environment for Intelligent Autonomous System Design and Simulation.
Proceedings of the Computer Aided Systems Theory, 1991

1990
Neue Konzepte für die Simulation von kombiniert diskret-kontinuierlichen Systemen - Ein systematischer Ansatz.
Proceedings of the 6. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, 1990

1989
Systems Theory Challenges in the Simulation of Variable Structure and Intelligent Systems.
Proceedings of the Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26, 1989

Computer Aided Systems Theory and Knowledge-Based System Design and Simulation; Directions to Explore.
Proceedings of the Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26, 1989

Modelling and Simulation of Non-Homogeneous Models.
Proceedings of the Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26, 1989

Design of an Object Oriented Kernel System for Computer Aided Systems Theory and Systems Theory Instrumented Modelling and Simulation.
Proceedings of the Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26, 1989


  Loading...