logo of the SSW institute
Institut für Systemsoftware
Johannes Kepler Universität Linz
Fachbereich Informatik
logo of the Cristian Doppler Research Association
Christian Doppler Labor
Automated Software Engineering

Home

General
Staff
Contact
Partners
Alumni

Research
Areas
Projects
Papers
Books
Reports
Awards

Teaching
Lectures
Exams
B.Projects
M.Theses
PhD Theses
Go Abroad

Misc
Library
Seminars
Gallery
Links
Search

Webmaster


logo of the Johannes Kepler University (JKU)

Publications Herbert Praehofer

Books

Book chapters

  • 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.
  • 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. 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
  2. Zeigler, B.P., Sarjoughian, H., Praehofer, H.: Theory of Quantised Systems: DEVS Simulation of Perceiving Agents. Cybernetics and Systems, 31 (6), 2000, 611-648.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. Pichler, F., Duret, M., Praehofer, H.: Modelling and Simulation of Multimodal Transport Systems. SAMS, Vol 18-19, pp 73-76, 1995.
  8. 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.
  9. 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.
  10. Praehofer, H.: Using System Specification Formalisms for Intelligent Autonomous System Modelling and Simulation. Cybernetics and Systems ´92, Kluwer Academic Publishers, 1992, pp.1519-1526.
  11. Praehofer, H.: Systems Theory Instrumented Modelling and Simulation Methodology. Cybernetics and Sys-tems: An International Journal, Vol. 22, 1991, pp. 283-312.
  12. Praehofer, H.: Systems Theoretic Formalisms for Combined Discrete-Continuous System Simulation. Interna-tional Journal of General Systems, Vol. 19, No. 3, 1991, pp. 219-240.

Conference papers (refereed)

  1. Prähofer, H., Hurnaus, D.: Leveraging Formal Verification Techniques for Design-Time Animation of Reactive Control Programs he Seventh IASTED International Conference on Human-Computer Interaction (HCI 2012), Baltimore, USA, May 14 - 16, 2012 (accepted for publication).
  2. 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 , vol., no., pp.1-4, 29-30 Sept. 2011, doi: 10.1109/VISSOF.2011.6069463
  3. Zoitl, A.; Prähofer, H.: Building hierarchical automation solutions in the IEC 61499 modeling language. Industrial Informatics (INDIN), 2011 9th IEEE International Conference on , vol., no., pp.557-564, 26-29 July 2011 doi: 10.1109/INDIN.2011.6034940
  4. 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.
  5. 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.
  6. 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.
  7. Hurnaus, D., Prähofer, H.: Programming Assistance Based on Contracts and Modular Verification in the Automation Domain. ACM Symposium on Applied Computing, Sierre, Switzerland, March 2010.
  8. Pichler, J. and Prähofer, H.: Domain-Specific Languages and Modelling. In. B. Buchberger et al.: Hagenberg Research, Springer-Verlag, 2009.
  9. 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
  10. 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.
  11. 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).
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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).
  18. 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.
  19. 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.
  20. Mayerhofer, R., Affenzeller, M., Fried A., Praehofer, H.: DEVS Simulation of Spiking Neural Networks, Euro-pean Meeting on Cybernetics and Systems. Vienna, 2002.
  21. Fried, A., Praehofer, H.: Concepts and Techniques for Design Asset Reuse in a Software System-Family Engi-neering Approach. European Meeting on Cybernetics and Systems, Vienna, 2002.
  22. 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.
  23. 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.
  24. Praehofer, H., Sametinger, J., Stritzinger, A.: Building Reusable Simulation Components. Int. Conference on Web-based simulation, SanDiego, CA, Jan 2000.
  25. 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).
  26. Praehofer, H., Reisinger, G.: Komponentenbasierte parallele Simulation unter objektorientierter Realisierung. In: Szerbicka, H., Uthmann, T. (eds.): Simulation und KI. SCS Press, 2000.
  27. 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.
  28. Praehofer, H., Sametinger, J., Stritzinger, A.: Component Frameworks – A Case Study. TOOLS ´99, Santa Barbara, CA, August 99.
  29. 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).
  30. Zeigler, B.P., Praehofer, H.: Interfacing Continuous and Discrete Models for Simulation and Control. Int. Conf. on Environmental Systems, Danvers, Mass, July 1998.
  31. Praehofer, H., Sametinger, J., Stritzinger, A.: Using JavaBeans to teach simulation and using simulation to teach JavaBeans. European Simulation Multiconference ‘98, Manchester, UK, 1998.
  32. Zeigler, B.P., Kim, D., Praehofer, H.: DEVS Formalism as a Framework for Advanced Distributed Simulation. Mascot Conference, Eilat, Israel, Januaray 1997.
  33. Praehofer, H.: Object Oriented Modelling and Configuration of Simulation Programs. European Meeting on Cybernetics and Systems Research, Vienna, April 1996, pp. 259-264.
  34. 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.
  35. 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.
  36. Reisinger, G., Praehofer, H.: Object-oriented Realisation of a Parallel Dicrete Event Simulator, Eurosim Con-gress 95, Vienna, Austria, Sept. 1995, pp. 327-332.
  37. 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.
  38. 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.
  39. 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.
  40. Praehofer, H., Reisinger, G.: Distributed Simulation of DEVS-based Multiformalism Models. AIS '94, Gaines-ville, FL, IEEE/CS Press, Dec. 1994, pp. 150-156.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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.
  46. 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.
  47. 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.
  48. Praehofer, H.: Neue Konzepte für die Simulation von kombiniert diskreten-kontinuierlichen Systemen. 6. Symposium Simulationstechnik - ASIM ‘90, Wien, September 1990.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. Mittelmann, R. and Praehofer, H.: Design of an Object Oriented Kernel System for CAST and STIMS. Com-puter 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.
  55. Praehofer, H.: A Kernel System for Modelling and Simulation. Proc. of the 1989 SCS Eastern Simulation Multi-conference, Tampa, Florida, 1989.
  56. 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.