2024W

• Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
• Programming Paradigms / 194.023 / VU
• Project in Computer Science 1 / 194.145 / PR
• Project in Computer Science 2 / 194.146 / PR
• Scientific Research and Writing / 193.052 / SE
• Type Systems / 185.206 / VO

2025S

• Project in Computer Science 1 / 194.145 / PR
• Project in Computer Science 2 / 194.146 / PR

• Migrating Business Software Applications based on IGS (Inova Q Generatot Systems) from Windows/VB to Unix/Java
  2007 – 2008 / Inova Q

• Program Execution Environments as Contextual Values / Raab, M., & Puntigam, F. (2014). Program Execution Environments as Contextual Values. In Proceedings of 6th International Workshop on Context-Oriented Programming - COP’14. 6th International Workshop on Context-Oriented Programming (COP’14), Uppsala, Schweden, EU. ACM New York, NY, USA ©2014. https://doi.org/10.1145/2637066.2637074
• Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. / Schreiner, D., & Puntigam, F. (2010). Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. In Supplemental Volume of the Eight European Dependable Computing Conference (pp. 31–32). http://hdl.handle.net/20.500.12708/53152
• Synchronization as a Special Case of Access Control / Puntigam, F. (2009). Synchronization as a Special Case of Access Control. Electronic Notes in Theoretical Computer Science, 241, 113–133. https://doi.org/10.1016/j.entcs.2009.06.007
• How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming / Puntigam, F. (2009). How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming. In J. Knoop & A. Prantl (Eds.), 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (pp. 231–242). Schriftenreihe des Instituts für Computersprachen, TU Wien. http://hdl.handle.net/20.500.12708/52879
• Interfaces of active objects with internal concurrency / Puntigam, F. (2009). Interfaces of active objects with internal concurrency. In Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century - DO21 ’09. Distributed Objects for the 21st Century (DO21, ECOOP’09 Workshop), Genova, Italy, EU. ACM. https://doi.org/10.1145/1557876.1557877
• Synchronization as a Special Case of Access Control / Puntigam, F. (2008). Synchronization as a Special Case of Access Control. In Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (pp. 52–57). http://hdl.handle.net/20.500.12708/52451
• From Static to Dynamic Process Types / Puntigam, F. (2008). From Static to Dynamic Process Types. In Software and Data Technologies, First International Conference, ICSOFT 2006, Setubal, Portugal, September 2006, Revised Selected Papers (pp. 61–73). Springer-Verlag. http://hdl.handle.net/20.500.12708/52454
• Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities / Puntigam, F. (2007). Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities. In WCOP 2007 - Components beyond Reuse (p. 5). http://hdl.handle.net/20.500.12708/51980
• See the Pet in the Beast: How to Limit Effects of Aliasing / Puntigam, F. (2007). See the Pet in the Beast: How to Limit Effects of Aliasing. In International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) (p. 8). http://hdl.handle.net/20.500.12708/51979
• Internal and External Token-Based Synchronization in Object-Oriented Languages / Puntigam, F. (2006). Internal and External Token-Based Synchronization in Object-Oriented Languages. In Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006 (pp. 251–270). Springer. http://hdl.handle.net/20.500.12708/51459
• From Static to Dynamic Process Types / Puntigam, F. (2006). From Static to Dynamic Process Types. In ICSOFT 2006, First International Conference on Software and Data Technologies (pp. 21–28). INSTICC Press. http://hdl.handle.net/20.500.12708/51458
• In Components We Trust - Programming Language Support for Weak Protection / Puntigam, F. (2005). In Components We Trust - Programming Language Support for Weak Protection. In Tenth International Workshop on Component-Oriented Programming (WCOP 2005) (p. 8). http://hdl.handle.net/20.500.12708/51173
• Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition / Puntigam, F. (2005). Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition. In 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS’05) (p. 5). http://hdl.handle.net/20.500.12708/51171
• Client and Server Synchronization Expressed in Types / Puntigam, F. (2005). Client and Server Synchronization Expressed in Types. In Synchronization and Concurrency in Object-Oriented Languages (SCOOL) (p. 9). http://hdl.handle.net/20.500.12708/51180
• State Information in Types or No Memory Consistency Model ist the Better Consistency Model / Puntigam, F. (2003). State Information in Types or No Memory Consistency Model ist the Better Consistency Model. Hardware and Software Consistency Models: Programmability and Performance, Schloss Dagstuhl, Wadern, Germany, Austria. http://hdl.handle.net/20.500.12708/84232

2021

• Bit-level type systems for assembly languages / Mihola, F. (2021). Bit-level type systems for assembly languages [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.76143
  Download: PDF (913 KB)

2020

• Software complexity of a monadic style in object-oriented programming / Kotrba, J. (2020). Software complexity of a monadic style in object-oriented programming [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.77520
  Download: PDF (1.05 MB)
• An open-source tool for detecting violations of object-oriented design principles in Java / Oberweger, R. (2020). An open-source tool for detecting violations of object-oriented design principles in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.65189
  Download: PDF (834 KB)
• Error Injection in specification-based configurations / Zronek, M. (2020). Error Injection in specification-based configurations [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.59100
  Download: PDF (589 KB)
• Parsing of configuration files / Schwaiger, R. (2020). Parsing of configuration files [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.30142
  Download: PDF (1.51 MB)

2018

• Concurrent programming with actors and microservices / Irro, M. (2018). Concurrent programming with actors and microservices [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.56763
  Download: PDF (1.47 MB)
• Analyse von Lambda-Ausdrücken in Java / Fraller, B. (2018). Analyse von Lambda-Ausdrücken in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.35552
  Download: PDF (1.11 MB)
• Developing a type system for a configuration specification language / Wurzinger, A. (2018). Developing a type system for a configuration specification language [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.35349
  Download: PDF (894 KB)
• Konfigurationsmanagement mit Libelektra / Denner, B. (2018). Konfigurationsmanagement mit Libelektra [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.27821
  Download: PDF (1.02 MB)

2017

• Context-aware configuration / Raab, M. (2017). Context-aware configuration [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2017.48840
  Download: PDF (2.2 MB)

2016

• Comparision and evaluation of JavaScript preprocessing languages / Mertl, M. (2016). Comparision and evaluation of JavaScript preprocessing languages [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2016.25153
  Download: PDF (1.55 MB)

2015

• PURGE design and implementation of a high-level graphics engine / Atesman, N. C. (2015). PURGE design and implementation of a high-level graphics engine [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.33717
  Download: PDF (3.01 MB)
• Evaluation and implementation of an optional, pluggable type system for Forth / Riegler, G. (2015). Evaluation and implementation of an optional, pluggable type system for Forth [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27899
  Download: PDF (843 KB)
• An actor constraint prototype : verifying event order / Mildner, R. (2015). An actor constraint prototype : verifying event order [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25154
  Download: PDF (976 KB)
• Interactive class-diagram generation and abstraction / Hernàdi, G. M. (2015). Interactive class-diagram generation and abstraction [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.25145
  Download: PDF (12.9 MB)
• Expedient logging for C++ using reflection / Bräutigam, K. (2015). Expedient logging for C++ using reflection [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2015.27707
  Download: PDF (1.27 MB)

2014

• Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelism / Grandits, P. (2014). Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelism [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.23814
  Download: PDF (1.27 MB)

2013

• Automatisierung von Software-Mustern mittels Metaprogrammierung / Schuh, A. (2013). Automatisierung von Software-Mustern mittels Metaprogrammierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2013.23148
  Download: PDF (601 KB)

2012

• Wartbarkeit in aspektorientierter Programmierung / Auer, D. (2012). Wartbarkeit in aspektorientierter Programmierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160588

2011

• Typestate Tracking für sichere nebenläufige Programmierung / Leiter, C. (2011). Typestate Tracking für sichere nebenläufige Programmierung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160144
• Vergleich von Java Webframeworks / Budischek, M. (2011). Vergleich von Java Webframeworks [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/160479

2010

• A modular approach to configuration storage / Raab, M. (2010). A modular approach to configuration storage [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-39798
  Download: PDF (6.15 MB)
• C++ templates and concepts vs. Java's genericity / Revucky, M. (2010). C++ templates and concepts vs. Java’s genericity [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-45639
  Download: PDF (399 KB)
• Wie gut eignen sich gängige Tools, um Schülern Java zu lehren? / Willner, V. (2010). Wie gut eignen sich gängige Tools, um Schülern Java zu lehren? [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/159818

2009

• Evaluation of support for generic programming in C++ and Java / Ehmann, S. (2009). Evaluation of support for generic programming in C++ and Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-33020
  Download: PDF (899 KB)
• Entwicklungsmethoden im Web und deren Analyse / Kovanci, A. (2009). Entwicklungsmethoden im Web und deren Analyse [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186572
• Typsicherheit vs. Flexibilität : Vererbung und Polymorphie in Ruby und C# / Kamper, G. (2009). Typsicherheit vs. Flexibilität : Vererbung und Polymorphie in Ruby und C# [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185666

2008

• Migrating business software applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java / Putsche, C. (2008). Migrating business software applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29684
  Download: PDF (1.41 MB)
• Vergleich von .NET Remoting und Java RMI / Gültekin, E. (2008). Vergleich von .NET Remoting und Java RMI [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183563

2007

• Reengineering zu Web-Anwendungen : ein architektureller Ansatz / David, R. (2007). Reengineering zu Web-Anwendungen : ein architektureller Ansatz [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18409
  Download: PDF (3.03 MB)

2006

• Component-based development : a comparison of Enterprise Java Beans and Zope / Strobl, R. (2006). Component-based development : a comparison of Enterprise Java Beans and Zope [Master Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185596

2005

• Caching strategies for load reduction on high traffic web applications / Kirk, A. (2005). Caching strategies for load reduction on high traffic web applications [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184523
• Implementation of the VooDo Kern programming language / Bickel, J. (2005). Implementation of the VooDo Kern programming language [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182717
• Distributed object-oriented architectures : Sockets, Java RMI, and CORBA / Stepisnik, J. (2005). Distributed object-oriented architectures : Sockets, Java RMI, and CORBA [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179983

2004

• Vergleich der Programmierkonzepte Vererbung, Generizität und Reflexion in Java und Eiffel / Ziehmayer, M. (2004). Vergleich der Programmierkonzepte Vererbung, Generizität und Reflexion in Java und Eiffel [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185868
• Vergleich von SOAP Kommunikationsplattformen / Jakesch, M. (2004). Vergleich von SOAP Kommunikationsplattformen [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182584

2003

• Sprachunterstützung durch virtuelle Maschinen : ein Vergleich von Java und .Net / Seidl, M. (2003). Sprachunterstützung durch virtuelle Maschinen : ein Vergleich von Java und .Net [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183017
• Process types in Java / Hofer, A. (2003). Process types in Java [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183003
• Java versus Ruby: Anwendbarkeit des objektorientierten Paradigmas / Wesel, P. A. (2003). Java versus Ruby: Anwendbarkeit des objektorientierten Paradigmas [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183426

2001

• Datenbank-Informationen im Internet am Beispiel einer Bereitschaftsplanverwaltung / Kainy, A. (2001). Datenbank-Informationen im Internet am Beispiel einer Bereitschaftsplanverwaltung [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182479