Computer Science
System Software

Publications Herbert Praehofer

Books

  1. Prähofer, H.:
    Funktionale Programmierung in Java - Eine umfassende Einführung.
    dpunkt.verlag, Heidelberg, 2020.

  2. Beer, W.; Birngruber, D.; Mössenböck, H.; Prähofer, H.; Wöß, A.:
    Die .NET-Technologie. Grundlagen und Anwendungsprogrammierung.
    dpunkt.verlag, Heidelberg, 2006.

  3. Zeigler, B.P.; Praehofer, H.; Kim, T.G.:
    Theory of Modelling and Simulation, 2nd Edition.
    Academic Press, 2000.

Book contributions

  1. Wenger, M.; Vathoopan, M.; Zoitl, A.; Prähofer, H.:
    Hierarchically Structured Control Application for a Pick & Place Station.
    In: A. Zoitl, T. Strasser, Distributed Control Applications: Guidelines, Design Patterns, and Application Examples with the IEC 61499, CRC Press, 2015.

  2. Praehofer, H.:
    Towards a Systems Methodology for Object Oriented Software Analysis.
    In: Sarjoughian, H.S.; Cellier, F.E.: Discrete Event Modelling and Simulation: Enabling Future Technologies. Springer-Verlag, 2001.

  3. Praehofer, H.:
    Modelling and Simulation.
    In: Pichler, F.; Schwärtzel, H. (eds.): CAST Methods in Modelling. Springer-Verlag, 1992, pp. 123-241.

Journal papers (refereed)

  1. Hinterreiter, Daniel; Linsbauer, Lukas; Prähofer, Herbert; Grünbacher, Paul:
    Feature-oriented clone and pull operations for distributed development and evolution.
    In: Software Quality Journal, 2022, pp. 1-28, 2022.

  2. Feichtinger, Kevin; Hinterreiter, Daniel; Linsbauer, Lukas; Prähofer, Herbert; Grünbacher, Paul:
    Guiding Feature Model Evolution by Lifting Code-Level Dependencies.
    In: Journal of Computer Languages, 2021.

  3. Hinterreiter, Daniel; Linsbauer, Lukas; Feichtinger, Kevin; Prähofer, Herbert; Grünbacher, Paul:
    Supporting Feature-Oriented Evolution in Industrial Automation Product Lines
    In: Concurrent Engineering: Research and Applications, vol. 28, pp. 265-279, 2020.

  4. Angerer, F.; Grimmer, A.; Prähofer, H.; Grünbacher, P.,:
    Change Impact Analysis for Maintenance and Evolution of Variable Software Systems,
    In: Automated Software Engineering, 2019.

  5. Prähofer, H.; Vyatkin, V.; Zoitl, A.:
    Guest Editorial Information Technology in Automation
    IEEE Transactions on Industrial Informatics, vol. 14, no. 6, pp. 2745-2747, June 2018

  6. Rabiser, D.; Prähofer, H.; Grünbacher, P.; Petruzelka, M.; Eder, K.; Angerer, F.; Kromoser, M.; Grimmer, A.:
    Multi-Purpose, Multi-Level Feature Modeling of Large-Scale Industrial Software Systems.
    Software and Systems Modeling, 2016, doi:10.1007/s10270-016-0564-7.

  7. Prähofer, H.; Angerer, F.; Ramler, R.; Grillenberger, F.:
    Static Code Analysis of IEC 61131-3 Programs: Comprehensive Tool Support and Experiences from Large-Scale Industrial Application,
    IEEE Transactions on Industrial Informatics, vol. 13, no. 1, pp. 37-47, Feb. 2017, doi: 10.1109/TII.2016.2604760.

  8. Prähofer, H.; Schatz, R.; Wirth, C.; Hurnaus, D.; Mössenböck, H.:
    MONACO—A Domain-specific Language Solution for Reactive Process Control Programming with Hierarchical Components.
    Computer Languages, Systems & Structures, Elsevier, vol. 39, no. 3, October 2013, pp 67–94.

  9. Zoitl, A.; Prähofer, H.:
    Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language.
    Industrial Informatics, IEEE Transactions on, vol.9, no.4, pp.2387,2396, Nov. 2013.

  10. Prähofer, H.; Schatz, R.; Wirth, C.; Mössenböck, H.:
    A Comprehensive Solution for Deterministic Replay Debugging of SoftPLC Applications.
    Industrial Informatics, IEEE Transactions on, vol.7, no.4, pp.641-651, Nov. 2011 doi: 10.1109/TII.2011.2166768

  11. Zeigler, B.P.; Sarjoughian, H.; Praehofer, H.:
    Theory of Quantised Systems: DEVS Simulation of Perceiving Agents.
    Cybernetics and Systems, 31 (6), 2000, 611-648.

  12. Praehofer, H.; Sametinger, J.; Stritzinger, A.:
    Architektur eines Simulationsbaukastensystems basierend auf dem JavaBeans Komponentenmodell.
    Handbuch der Wirtschaftsinformatik, 37. Jahrgang, Heft 212, April 2000, 99-111.

  13. Praehofer, H.; Sametinger, J.; Stritzinger, A.:
    Concepts and Architecture of a Simulation Framework Based on the JavaBeans Component Model.
    Future Generation Computer Systems, Elsevier, 1999.

  14. Praehofer, H.; Kerschbaummayr, J.:
    Development and Application of Case-Based Reasoning Techniques to Support Reusability in a Requirement Engineering and System Design Tool.
    Engineering Applications of Artifi-cial Intelligence, 12, 1999, 717-731.

  15. Sato, R.; Praehofer, H.:
    A Discrete Event Model of Business Systems - A System Theoretic Foundation for Information System Analysis: Part I.
    IEEE Transactions on Systems. Man and Cybernetics, Vol. 27, No. 1, January 1997.

  16. Pichler, F.; Duret, M.; Praehofer, H.:
    Modelling and Simulation of Multimodal Transport Systems.
    SAMS, Vol 18-19, pp 73-76, 1995.

  17. Praehofer, H.; Auernig, F.; Reisinger, G.:
    An Environment for DEVS-Based Multiformalism Simulation in Common Lisp / CLOS.
    Discrete Event Dynamic Systems: Theory and Applications, Vol. 3, 1993, pp. 119-149.

  18. Zeigler, B.P.; Praehofer, H.; Rozenblit, J.W.:
    Integrating System Formalisms: How Object Oriented Program-ming Supports CAST for Intelligent Autonomous Systems Design.
    Journal of Systems Engineering, Vol 3, pp. 209-219.

  19. Praehofer, H.:
    using System Specification Formalisms for Intelligent Autonomous System Modelling and Simulation.
    Cybernetics and Systems ´92, Kluwer Academic Publishers, 1992, pp.1519-1526.

  20. Praehofer, H.:
    Systems Theory Instrumented Modelling and Simulation Methodology.
    Cybernetics and Sys-tems: An International Journal, Vol. 22, 1991, pp. 283-312.

  21. Praehofer, H.:
    Systems Theoretic Formalisms for Combined Discrete-Continuous System Simulation.
    International Journal of General Systems, Vol. 19, No. 3, 1991, pp. 219-240.

Conference papers (refereed)

  1. Hinterreiter, Daniel; Linsbauer, Lukas; Grünbacher, Paul; Prähofer, Herbert:
    Feature-Oriented Clone and Pull for Distributed Development and Evolution.
    In: Proceedings of the 14th International Conference on the Quality of Information and Communications Technology (QUATIC), Online, pp. 67-81, 2021.

  2. Hinterreiter, Daniel; Grünbacher, Paul; Prähofer, Herbert:
    Visualizing Feature-Level Evolution in Product Lines: A Research Preview.
    In: Proceedings of the 26th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ) (Madhavji, Nazim; Pasquale, Liliana, eds.), vol. 12045, Essen, Germany, pp. 1-7, 2020.

  3. Hinterreiter, D.; Nieke, M.; Linsbauer, L.; Seidl, C.h; Prähofer, H-; Grünbacher, P.:
    Harmonized Temporal Feature Modeling to uniformly Perform, Track, Analyze, and Replay Software Product Line Evolution
    18th International Conference on Generative Programming: Concepts & Experiences (GPCE), Athens, Greece, 2019, pp. 115-128.

  4. Feichtinger, K.; Hinterreiter, D.; Linsbauer, L.; Prähofer, H.; Grünbacher, P.:
    Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses
    18th International Conference on Generative Programming: Concepts & Experiences (GPCE), Athens, Greece, 2019, pp. 129-142.

  5. Hinterreiter, D.; Feichtinger, K.; Linsbauer, L.; Prähofer, H.; Grünbacher, P.:
    Supporting Feature Model Evolution by Lifting Code-Level Dependencies
    25th Intl. Working Conf. on Requirements Engineering: Foundation for Software Quality (REFSQ'19), March 18-21, 2019, Essen, Germany, pp.169-175.

  6. Hinterreiter, D.; Linsbauer, L.; Reisinger, F.; Prähofer, H.; Grünbacher, P.; Egyed, A.:
    Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems
    23rd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2018), Torino, Italy, 2018.

  7. Prähofer, H.; Böhm, T.; Pichler, J.:
    Deriving a State Model of a Control Program by Symbolic Execution,
    16th IEEE International Conference on Industrial Informatics (INDIN 2018), Porto, Portugal, 2018, pp. 754-759.

  8. Angerer, F.; Grünbacher, P.; Prähofer, H.; Linsbauer, L.:
    An Experiment Comparing Lifted and Delayed Variability-Aware Program Analysis,
    2017 IEEE International Conference on Software Maintenance and Evolution (ICSME), Shanghai, 2017, pp. 148-158.

  9. Rabiser, D.; Grünbacher, P.; Prähofer, H.; Angerer, F.:
    A Prototype-based Approach for Managing Clones in Clone-and-Own Product Lines,
    In: Proceedings 20th Int'l Software Product Line Conference (SPLC 2016), Beijing, China, 2016, pp. 35-44.

  10. Prähofer, H.; Rabiser, D.; Angerer, F.; Grünbacher, P.; Feichtinger, P.:
    Feature-Oriented Development in Industrial Automation Software Ecosystems: Development Scenarios and Tool Support,
    In: Proceedings 14th IEEE Int'l Conference on Industrial Informatics (INDIN 2016), Poitiers, France, 2016, pp. 1218-1223.

  11. Angerer, Florian; Prähofer, Herbert; Grünbacher, Paul:
    Modular Change Impact Analysis for Configurable Software,
    2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), Raleigh, NC, 2016, pp. 468-472.

  12. Grimmer, A.; Angerer, F.; Prähofer, H.; Grünbacher, P.:
    Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned,
    In: Proceedings 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016), Osaka, Japan, pp. 460-469, 2016.

  13. Angerer, F.; Grimmer, A.; Prähofer, H.; Grünbacher, P.:
    Configuration-Aware Change Impact Analysis
    30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Lincoln, Nebraska, uSA, pp. 385-395, 2015.

  14. Lettner, D.; Eder, K.; Grünbacher, P.; Prähofer, H.:
    Feature Modeling of Two Large-scale Industrial Software Systems: Experiences and Lessons Learned
    ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa, CA, pp. 386-395, 2015 (best paper award).

  15. Linsbauer, L.; Angerer, F.; Grünbacher, P.; Lettner, D.; Prähofer, H.; Lopez-Herrejon, R.; and Egyed, A.:
    Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems.
     30th International Conference on Software Maintenance and Evolution (ICSME), Victoria, Canada, pp. 426-430, 2014.

  16. Prähofer, H.; Schatz, R.; Grimmer, A.:
    Behavioral Model Synthesis of PLC Programs from Execution Traces.
    Proceedings 19th IEEE Int'l Conference on Emerging Technologies & Factory Automation, Barcelona, Spain, pp.1,5, Sept. 16-19, 2014.

  17. Angerer, F.; Prähofer, H.; Lettner, D.; Grimmer, A.; Grünbacher, P.:
    Identifying Inactive Code in Product Lines with Configuration-Aware System Dependence Graphs.
    Proceedings 18th Int'l Software Product Line Conference (SPLC 2014), Florence, Italy, pp. 52-61, 2014.

  18. Lettner, D.; Angerer, F.; Grünbacher, P.; Prähofer, H:
    Software Evolution in an Industrial Automation Ecosystem: An Exploratory Study,
    In: Proceedings Int'l Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014), Verona, Italy, 2014.

  19. Lettner, D.; Angerer, F.; Prähofer, H.; Grünbacher, P.:
    A Case Study on Software Ecosystem Characteristics in Industrial Automation Software.
    In: Proceedings Int'l Conference on Software and Systems Process (ICSSP 2014), Nanjing, China, 2014, pp. 40-49.

  20. Lettner, D; Petruzelka, M; Rabiser, R; Angerer, F; Prähofer, H; Grünbacher, P:
    Custom-Developed vs. Model-based Configuration Tools: Experiences from an Industrial Automation Ecosystem.
    Proceedings MAPLE/SCALE 2013 Workshop at the 17th International Software Product Line Conference, August 26-30, 2013, Tokyo, Japan, pp.52-58.

  21. Schatz, R. and Prähofer, H.:
    Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers.
    Euromicro SEAA 2013, September 4-6, 2013, Santander, Spain, pp.260-267.

  22. Angerer, F.; Prähofer, H.; Ramler, R.; Grillenberger, F.:
    Points-To Analysis of IEC 61131-3 Programs: Implementation and Application.
    18th IEEE Int'l Conf. on Emerging Technologies & Factory Autormation, September 10-13, 2013, Cagliari, Italy, pp.1-8.

  23. Prähofer, H.; and Zoitl, A:
    Verification of Hierarchical IEC 61499 Component Systems with Behavioral Event Contracts.
    11th IEEE Int. Conf. on Industrial Informatics (INDIN'13), July 29-31, 2013, Bochum, Germany, pp.578-585.

  24. Prähofer, H.; Wirth, C.; Berger, R.:
    Reverse Engineering and Visualization of the Reactive Behavior of PLC Applications.
    11th IEEE Int. Conf. on Industrial Informatics (INDIN'13), July 29-31, 2013, Bochum, Germany, pp.564-571.

  25. Prähofer, H.:
    Towards a theory of interface-based design of hierarchical reactive systems.
    Symposium on Theory of Modelling and Simulation (TMS/DEVS ’13). April 7-10, 2013, San Diego, California: Society of Computer Simulation (SCS), pp. 368–375.

  26. Berger, R.; Prähofer, H.; Wirth, C.:
    A Tool for Trace Visualization and Offline Debugging of PLC Applications.
    iATPA Workshop, IEEE International Conference on Emerging Technology & Factory Automation (ETFA '12), Krakow, Poland, September 2012.

  27. Prähofer, H.; Angerer, F.; Ramler, R.; Lacheiner, H.:
    Opportunities and Challenges of Static Code Analysis of IEC 61131-3 Programs.
     IEEE International Conference on Emerging Technology & Factory Automation (ETFA'12), Krakow, Poland, September 17-21, 2012.

  28. Schatz, R. and Prähofer, H.:
    Analyzing Long-Running Controller Applications for Specification Violations based on Deterministic Replay.
    Euromicro 2012, Cseme, Turkey, Sept. 2012, pp. 55-62 (best paper award).

  29. Prähofer, H.; Hurnaus, D.:
    Leveraging Formal Verification Techniques for Design-Time Animation of Reactive Control Programs The Seventh IASTED International Conference on Human-Computer Interaction (HCI 2012), Baltimore, uSA, May 14 - 16, 2012.

  30. Wirth, C.; Prähofer, H.; Schatz, R.:
    A multi-level approach for visualization and exploration of reactive program behavior
    Visualizing Software for understanding and Analysis (VISSOFT), 2011 6th IEEE International Workshop on, pp.1-4, 29-30 Sept. 2011, doi: 10.1109/VISSOF.2011.6069463

  31. Zoitl, A.; Prähofer, H.:
    Building hierarchical automation solutions in the IEC 61499 modeling language.
    Industrial Informatics (INDIN), 2011 9th IEEE International Conference on, pp.557-564, 26-29 July 2011 doi: 10.1109/INDIN.2011.6034940

  32. Prähofer, H.; Schatz, R.; Wirth, C.:
    Detection of High-Level Execution Patterns in Reactive Behavior of Control Programs.
    8th International Workshop on Dynamic Analysis (WODA'10), Trento, Italy, July 12, 2010, pp.14-19.

  33. Prähofer, H.; Schatz, R.; Wirth, C.; Mössenböck, H.:
    Deterministic Replay Debugging of IEC 61131-3 SoftPLC Programs.
    8th IEEE International Conference on Industrial Informatics, July 13-16, 2010, Osaka, Japan, pp.1110-1117.

  34. Prähofer, H.; Hurnaus, D.:
    MONACO - A Domain-Specific Language Supporting Hierarchical Abstraction and Verification of Reactive Control Programs.
    8th IEEE International Conference on Industrial Informatics, July 13-16, 2010, Osaka, Japan, pp.908-914.

  35. Hurnaus, D.; Prähofer, H.:
    Programming Assistance Based on Contracts and Modular Verification in the Automation Domain.
    ACM Symposium on Applied Computing (SAC '10), Sierre, Switzerland, March 2010, pp. 2544-2551.

  36. Pichler, J. and Prähofer, H.:
    Domain-Specific Languages and Modelling.
     In. B. Buchberger et al.: Hagenberg Research, Springer-Verlag, 2009.

  37. Herbert Prähofer, Dominik Hurnaus, Roland Schatz, Christian Wirth, and Hanspeter Mössenböck:
    Software Support for building end-user programming environments in automation domain.
     Fourth Workshop on End-user Software Engineering (WEuSE IV), May 12, 2008, In conjunction with ICSE 2008

  38. Prähofer, H.; Hurnaus, D.; Schatz, R.; Wirth, C.; Mössenböck, H.:
    Monaco: A DSL Approach for Programming Automation Machines
     SE 2008 - Software-Engineering-Konferenz 2008, Munich, Germany, February, 2008, pp. 242-256.

  39. Wolfinger, Reinhard; Reiter, Stephan; Dhungana, Deepak; Grunbacher, Paul; Prähofer, Herbert:
    Supporting Runtime System Adaptation through Product Line Engineering and Plug-in Techniques.
    Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), Madrid, Spain, 25-29 Feb. 2008, Page(s): 21-30 (best paper award).

  40. Prähofer, H.; Hurnaus, D.; Wirth, C.; Mössenböck, H.:
    The Domain-Specific Language Monaco and its Visual Interactive Programming Environment.
    2007 IEEE Symposium on Visual Languages and Human-Centric Computing, Coeur d'Alène, Idaho, uSA, September 23-27, 2007, pp. 104-110.

  41. Wolfinger, R.; Prähofer, H.:
    Integration Models in a .NET Plug-in Framework.
    SE 2007 - the Conference on Software Engineering, Hamburg, Germany, March, 27 - 30, 2007.

  42. Pichler, J.; Prähofer, H.; Reisinger, G.; Leonhartsberger, G.:
    Aragon: An Industrial Strength Eclipse Tool for MMI Design on Mobile Systems.
    The IASTED International Conference on Software Engineering, Innsbruck, Austria, February 2007.

  43. Prähofer, H.; Hurnaus, D.; Mössenböck, H.:
    Building End-user Programming Systems Based on a Domain-Specific Language.
    6th OOPSLA Workshop on Domain-Specific Modeling, Portland, Oregon, uSA, 22 October 2006.

  44. Wolfinger, R.; Dhungana, D.; Prähofer, H.; Mössenböck, H.:
    A Component Plug-in Architecture for the .NET Platform.
    Modular Programming Languages, Lightfoot, David; Szyperski, Clemens (Eds.), Lecture Notes in Computer Science , Vol. 4228, Proceedings of 7th Joint Modular Languages Conference, JMLC 2006 Oxford, uK, September 13-15, 2006.

  45. Dhungana, D.; Rabiser, R.; Grünbacher, P.; Prähofer, H.; Federspiel, Ch.; Lehner, K.:
    Architectural Knowledge in Product Line Engineering: An Industrial Case Study.
    32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Cavtat/Dubrovnik (Croatia), September 2006 (accepted for publication).

  46. Stallinger, F.; Plösch, R.; Prähofer, H.; Prummer, S.; Vollmar, J.:
    A Process Reference Model for Reuse in Industrial Engineering: Enhancing the ISO/IEC 15504 Framework to Cope with Organizational Reuse Maturity.
    The Sixth International SPICE Conference, Luxembourg, May 2006.

  47. Dorninger, B. Prähofer, H.; Prummer, S.; Altmann, J.; and Kraus, R.:
    Technologische Synchronisation von Engineering Daten.
    In Proc. Automation Days 2003 - Software Automation Technology. Nürnberg, Germany, September 17-19, 2003. pp 301-314.

  48. Mayerhofer, R.; Affenzeller, M.; Fried A.; Praehofer, H.:
    DEVS Simulation of Spiking Neural Networks,
    Euro-pean Meeting on Cybernetics and Systems. Vienna, 2002.

  49. Fried, A.; Praehofer, H.:
    Concepts and Techniques for Design Asset Reuse in a Software System-Family Engineering Approach.
    European Meeting on Cybernetics and Systems, Vienna, 2002.

  50. Füricht, R.; Praehofer, H.; Hofinger, T.; Altmann, J.:
    A Component Framework for Manufacturing Execution Systems in C# and .NET.
    TOOLS Pacific, Sydney Australia, 2002.

  51. Freigassner, R.; Praehofer, H.; Zeigler, B.P.:
    Systems Approach to Validation of Simulation Models.
    European Meeting on Cyberntics and Systems Research 2000, Vienna, 2000, pp. 52-57.

  52. Praehofer, H.; Sametinger, J.; Stritzinger, A.:
    Building Reusable Simulation Components.
    Int. Conference on Web-based simulation, SanDiego, CA, Jan 2000.

  53. Praehofer, H.; Schoeppl, A.:
    A continuous and combined simulation platform in Java and its application in building paper mill training simulators.
    Int. Conference on Web-based simulation, SanDiego, CA, Jan 2000 (best paper award).

  54. Praehofer, H.; Reisinger, G.:
    Komponentenbasierte parallele Simulation unter objektorientierter Realisierung.
    In: Szerbicka, H.; uthmann, T. (eds.): Simulation und KI. SCS Press, 2000.

  55. Praehofer, H.; Kerschbaummayr, J.:
    Supporting Reusability in a System Design Environment by Case-Based Reasoning Techniques.
    Int. Conference on Case-Based Reasoning ‘99, LNAI, 1999, 533-549.

  56. Praehofer, H.; Sametinger, J.; Stritzinger, A.:
    Component Frameworks – A Case Study.
    TOOLS ´99, Santa Barbara, CA, August 99.

  57. Praehofer, H.; Sametinger, J.; Stritzinger, A.:
    Discrete Event Simulation using the JavaBeans Component Model.
    Western Simulation Multiconference ‘99, San Francisco, CA, Jan 1999 (best paper award).

  58. Zeigler, B.P.; Praehofer, H.:
    Interfacing Continuous and Discrete Models for Simulation and Control.
    Int. Conf. on Environmental Systems, Danvers, Mass, July 1998.

  59. Praehofer, H.; Sametinger, J.; Stritzinger, A.:
    using JavaBeans to teach simulation and using simulation to teach JavaBeans.
    European Simulation Multiconference ‘98, Manchester, uK, 1998.

  60. Zeigler, B.P.; Kim, D.; Praehofer, H.:
    DEVS Formalism as a Framework for Advanced Distributed Simulation.
    Mascot Conference, Eilat, Israel, Januaray 1997.

  61. Praehofer, H.:
    Object Oriented Modelling and Configuration of Simulation Programs.
    European Meeting on Cybernetics and Systems Research, Vienna, April 1996, pp. 259-264.

  62. Praehofer, H.:
    An Environment for Multiformalism Modular, Hierarchical DEVS-Based Simulation in C++.
    Proceedings of AI, Simulation and Planning in High-Autonomy Systems, La Jolla, CA, March 1996, pp. 415-422.

  63. Praehofer, H.; Pichler, F.:
    Object Oriented Multifacetted Modelling in the Transportation Domain.
    EuRO-CAST ’95, Springer Lecture Notes in Computer Science 1030, Innsbruck, Austria, 1995, pp. 341 - 357.

  64. Reisinger, G.; Praehofer, H.:
    Object-oriented Realisation of a Parallel Dicrete Event Simulator,
    Eurosim Con-gress 95, Vienna, Austria, Sept. 1995, pp. 327-332.

  65. Praehofer, H.; Mayr, W.:
    An Environment for Graphical, Interactive Modelling and Simulation of DEVS-Based Systems.
    Eurosim Congress 95, Vienna, Austria, Sept. 1995, pp. 147-152.

  66. Zeigler, B.P, Song, H.S, Kim, T.G, Praehofer, H.:
    DEVS Framework for Modelling, Simulation, Analysis, De-sign of Hybrid Systems.
    Lecture Notes in Computer Science: Hybrid Systems II, pp. 529-551, Springer, 1995.

  67. Praehofer, H.; Jacak, W.; Jahn, G.; Haider, G.:
    Supervising Manifacturing System Operation by DEVS-based Intelligent Control.
    AIS '94, Gainesville, FL, IEEE/CS Press, Dec. 1994, pp. 221-226.

  68. Praehofer, H.; Reisinger, G.:
    Distributed Simulation of DEVS-based Multiformalism Models.
    AIS '94, Gaines-ville, FL, IEEE/CS Press, Dec. 1994, pp. 150-156.

  69. Praehofer, H.; Zeigler, B.P.:
    On the Expressibility of Discrete Event Specified Systems.
    CAST '94 Workshop, Ottawa, Canada, Springer Lecture Notes in Computer Science, 1994.

  70. Otero, R.P.; Barreiro, A.; Praehofer, H.; Pichler, F.; Mira J.:
    STIMS-MEDTOOL: Integration of Expert Systems with System Modelling and Simulation.
    In: Computer Aided Systems Theory - EuROCAST ‘93, edited by Pichler, F.; Moreno-Diaz, R.; Lecture Notes in Computer Science 763, Springer-Verlag, Berlin 1994, pp. 347-356.

  71. Praehofer, H.; Zeigler, B.P.:
    Endomorphic World Models in Event-Based Intelligent Control.
    Cybernetics and Systems ´94, Kluwer Academic Publishers, April 1994, pp. 1443-1450.

  72. Schaffer, Ch.; Praehofer, H.:
    On the Requirements of a CAST-Tool for Complex Reactive System Analysis, Design and Evaluation.
    In: Computer Aided Systems Theory - EuROCAST ‘93, edited by Pichler, F.; Moreno-Diaz, R.; Lecture Notes in Computer Science 763, Springer-Verlag, Berlin 1994, pp. 137-159.

  73. Praehofer, H.; Pree, D.:
    Visual Modelling of DEVS-Based Multiformalism Systems Based on Higraphs.
    Proc. of 1993 Winter Simulation Conference, Los Angeles, CA, 1993, pp. 595-603.

  74. Praehofer, H.; Bichler, P.; Zeigler, B.P.:
    Synthesis of Endomorphic Models for Event Based Intelligent Control.
    Proc of AI, Simulation and Planning in High-Autonomy Systems, Tucson, AZ, IEEE/CS Press, Sept. 1993, pp. 120-126.

  75. Praehofer, H.; Auernig, F.; Reisinger, G.:
    An Environment for Intellgent Autonomous System Design and Simulation.
    In: Computer Aided Systems Theory - EuROCAST ‘91, edited by Pichler, F.; Moreno-Diaz, R.; Lec-ture Notes in Computer Science 585, Springer-Verlag, Berlin 1992, pp. 240-256.

  76. Praehofer, H.:
    Neue Konzepte für die Simulation von kombiniert diskreten-kontinuierlichen Systemen.
    6. Symposium Simulationstechnik - ASIM ‘90, Wien, September 1990.

  77. Praehofer, H.:
    STIMS - A Prototypic Implementation of a Modelling and Simulation Environment for Mixed Discrete - Continuous Simulation.
    In: Proc. of the 1990 European Simulation Multiconference, Nuremberg, SCS Press, June 1990, pp. 75 - 80.

  78. Praehofer, H.:
    Simulation of Event-Based Control of Continuous Systems.
    In: Proc. of the conference AI, Simula-tion and Planning in High Autonomy Systems, IEEE Computer Society Press, 1990, pp. 89-96.

  79. Zeigler, B.P.; Praehofer, H.:
    Systems Theory Challenges in the Simualtion of Variable Structure and Intelligent Systems.
    In: Computer Aided Systems Theory - EuROCAST ‘89, edited by Pichler F.; Moreno-Diaz, R.; Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1990, pp. 41-51.

  80. Praehofer, H.; Zeigler, B.P.:
    Modelling and Simulation of Non-Homogeneous Models.
    In: Computer Aided Systems Theory - EuROCAST ‘89, edited by Pichler, F.; Moreno-Diaz, R.; Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1990, pp. 200-211.

  81. Rozenblit, J.; Praehofer, H.:
    Computer Aided Systems Theory and Knowledge-Based System Design and Simulation - Directions to Explore.
    Computer Aided Systems Theory - EuROCAST ´89 (eds.: Pichler, F.; Moreno-Diaz, R.), Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1990, pp. 322-335.

  82. Mittelmann, R. and Praehofer, H.:
    Design of an Object Oriented Kernel System for CAST and STIMS.
    Computer Aided Systems Theory - EuROCAST ´89 (eds.: F. Pichler and R. Moreno-Diaz), Lecture Notes in Com-puter Science, Springer-Verlag, Berlin, 1990, pp. 76-85.

  83. Praehofer, H.:
    A Kernel System for Modelling and Simulation.
    Proc. of the 1989 SCS Eastern Simulation Multi-conference, Tampa, Florida, 1989.

  84. Praehofer, H.; Spalt, A.:
    An Interactive Simulation Environment using Systems Theory Concepts and Object Oriented Programming.
    Proceedings of the 1988 European Simulation Multiconference, SCS, Nice France, 1988, pp. 199-203.

Other publications

  • Praehofer, H.:
    System Theoretic Foundations for Combined Discrete-Continuous System Simulation,
    Doctoral Thesis, VWGö, Vienna, 1992.