2022W

• Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
• Object-oriented Programming Techniques / 185.A01 / VU
• Project in Computer Science 1 / 185.A28 / PR
• Project in Computer Science 2 / 185.A29 / PR
• Seminar for PhD Students / 185.A24 / SE
• Type Systems / 185.206 / VO

2023S

• Advanced Object-Oriented Programming / 185.211 / VU
• Bachelor Thesis for Informatics and Business Informatics / 185.A16 / PR
• Bachelor Thesis for Informatics and Business Informatics / 185.A17 / PR
• Introduction to Programming 2 / 185.A92 / VU
• Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
• Programming Languages / 185.208 / VU
• Project in Computer Science 1 / 185.A28 / PR
• Project in Computer Science 2 / 185.A29 / PR

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

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

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

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

2021

• Bit-level type systems for assembly languages

2020

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

2018

• Konfigurationsmanagement mit Libelektra / Denner, B. (2018). Konfigurationsmanagement mit Libelektra [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.27821
• 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
• 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
• 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

2017

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

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

2015

• 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
• 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
• 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
• 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
• Interactive class-diagram generation and abstraction / Hernàdi, G. M. (2015). Interactive class-diagram generation and abstraction [Diploma Thesis]. reposiTUm. https://doi.org/10.34726/hss.2015.25145

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]. reposiTUm. https://doi.org/10.34726/hss.2014.23814

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

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

2010

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

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

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

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