Publications of the Institute for System Software

2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1991 | 1990

See also the publications of the Christian Doppler Laboratory for Automated Software Engineering.

• 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, (available online).


• Prähofer, H.:
  Towards a Theory of Interface-Based Design of Hierarchical Reactive Systems. Symposium on Theory of Modelling and Simulation (TMS'13), San Diego, CA, April 7 - 10, 2013 (accepted for publication).

• Markus Löberbauer: Testing and Debugging of Dynamically Composed Applications
  PhD thesis, Johannes Kepler University Linz, January 2012.


• Zoitl, A.; Prahofer, H.; , Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language,
  Industrial Informatics, IEEE Transactions on , vol.PP, no.99, pp.1, 0 doi: 10.1109/TII.2012.2235449


• Thomas Würthinger, Andreas Woess, Lukas Stadler, Gilles Duboscq, Christian Wimmer:
  Self-Optimizing AST Interpreters
  Proceedings of the 7th Symposium on Dynamic Languages (DLS), 2012, pp. 73-82.
  
  
• Vuković, S., Löberbauer, M., Ćović, Z., Ivković, M.:
  Development of a Multiplatform CMS System with the Zend Framework
  International Conference on Applied Internet and Information Technologies, ICAIIT 2012, October 26, 2012, Zrenjanin, Serbia (accepted for publication).
  


• Lukas Stadler, Gilles Duboscq, Hanspeter Mössenböck, Thomas Würthinger:
  Compilation Queuing and Graph Caching for Dynamic Compilers
  Proceedings of the 6th workshop on Virtual Machines and Intermediate Languages (VMIL'12), as part of the 3rd Annual Splash Conference, October 19-26, 2012, Tucson, Arizona, USA, pp.45-53
  
  
• Löberbauer, M., Wolfinger, R., Jahn, M., Mössenböck, H.:
  Composition Mechanisms Classified by their Contributor Provision Characteristics. 10th IEEE International Symposium on Intelligent Systems and Informatics, SISY 2012, September 20-22, 2012, Subotica, Serbia. doi: 10.1109/SISY.2012.6339561, pp.31-36.


• 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.


• 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).


• Jahn, M., Rabiser, R., Grünbacher, P., Löberbauer, M., Wolfinger, R., Mössenböck, H.:
  Supporting Model Maintenance in Component-based Product Lines. Joint 10th Working IEEE/IFIP Conference on Software Architecture, WICSA 2012, August 20-24, 2012, Helsinki, Finland, IEEE, pp. 21-30.


• 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, DOI: 10.2316/P.2012.772-016.


• Jahn, M., Löberbauer, M., Wolfinger, R., Mössenböck, H.:
  Plux.Net - A Dynamic Plug-in Platform for Desktop and Web Applications in .Net. Software-Technologien und -Prozesse, STeP 2012, May 10, 2012, Furtwangen, Germany, pp.1-18.


• Häubl, C., Wimmer, C., Mössenböck, H.:
  Evaluation of Trace Inlining Heuristics for Java.
  Symposium on Applied Computing (SAC'12), Riva del Garda, Italy, March 26-30, 2012, pp.1871-1876.