2020W

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

• 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 / M. Raab, F. Puntigam / Talk: 6th International Workshop on Context-Oriented Programming (COP'14), Uppsala, Schweden; 2014-07-28; in: "Proceedings of 6th International Workshop on Context-Oriented Programming", ACM New York, NY, USA ©2014, (2014), ISBN: 978-1-4503-2861-6; Paper ID 8, 6 pages
• Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems. / D. Schreiner, F. Puntigam / Talk: Eighth European Dependable Computing Conference (EDCC 2010), Valencia, Spain; 2010-04-28 - 2010-04-30; in: "Supplemental Volume of the Eight European Dependable Computing Conference", (2010), ISBN: 978-84-692-9571-7; 31 - 32
• Synchronization as a Special Case of Access Control / F. Puntigam / Electronic Notes in Theoretical Computer Science (ENTCS), 241 (2009), 113 - 133
• Interfaces of Active Objects with Internal Concurrency / F. Puntigam / Talk: Distributed Objects for the 21st Century (DO21, ECOOP'09 Workshop), Genova, Italy; 2009-07-07; in: "DO21 '09: Proceedings of the 1st International Workshop on Distributed Objects for the 21st Century", ACM, New York, NY, USA (2009), ISBN: 978-1-60558-545-1; Paper ID 1, 5 pages
• How to Specify the Flow of Data Accessibility: An OO Way of Concurrent Programming / F. Puntigam / Talk: 15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2009), Maria Taferl; 2009-10-12 - 2009-10-14; in: "15. Kolloquium Programmiersprachen und Grundlagen der Programmierung", J. Knoop, A. Prantl (ed.); Schriftenreihe des Instituts für Computersprachen, TU Wien, Bericht 2009-X-1 (2009), 231 - 242
• From Static to Dynamic Process Types / F. Puntigam / in: "Software and Data Technologies, First International Conference, ICSOFT 2006, Setubal, Portugal, September 2006, Revised Selected Papers", Springer-Verlag, Berlin Heidelberg, 2008, ISBN: 3-540-70619-4, 61 - 73
• Synchronization as a Special Case of Access Control / F. Puntigam / Talk: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'08), Oslo, Norway; 2008-06-07; in: "Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software", (2008), 52 - 57
• Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and Responsibilities / F. Puntigam / Talk: Twelfth International Workshop on Component-Oriented Programming, Berlin, Germany; 2007-07-31; in: "WCOP 2007 - Components beyond Reuse", (2007), 5 pages
• See the Pet in the Beast: How to Limit Effects of Aliasing / F. Puntigam / Talk: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO 2007), Berlin, Germany; 2007-07-30; in: "International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO)", (2007), 8 pages
• From Static to Dynamic Process Types / F. Puntigam / Talk: International Conference on Software and Data Technologies (ICSOFT 2006), Setubal, Portugal; 2006-09-11 - 2006-09-14; in: "ICSOFT 2006, First International Conference on Software and Data Technologies", INSTICC Press, Vol. 1 (2006), ISBN: 972-8865-69-4; 21 - 28
• Internal and External Token-Based Synchronization in Object-Oriented Languages / F. Puntigam / Talk: 7th Joint Modular Languages Conference (JMLC 2006), Oxford, UK; 2006-09-13 - 2006-09-15; in: "Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006", Springer, LNCS 4228 (2006), ISBN: 3-540-40927-0; 251 - 270
• In Components We Trust - Programming Language Support for Weak Protection / F. Puntigam / Talk: Tenth International Workshop on Component-Oriented Programming (WCOP 2005), Glasgow, UK; 2005-07-25; in: "Tenth International Workshop on Component-Oriented Programming (WCOP 2005)", (2005), 8 pages
• Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition / F. Puntigam / Talk: 2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05), Glasgow, UK; 2005-07-26; in: "2nd ECOOP Workshop on Programm Languages and Operating Systems (ECOOP-PLOS'05)", (2005), 5 pages
• Client and Server Synchronization Expressed in Types / F. Puntigam / Talk: Synchronization and Concurrency in Object-Oriented Languages (SCOOL), Workshop at OOPSLA 2005, San Diego, California, USA; 2005-10-16; in: "Synchronization and Concurrency in Object-Oriented Languages (SCOOL)", (2005), 9 pages
• State Information in Types or No Memory Consistency Model ist the Better Consistency Model / F. Puntigam / Talk: Hardware and Software Consistency Models: Programmability and Performance, Schloss Dagstuhl, Wadern, Germany (invited); 2003-10-19 - 2003-10-24
• State Information in Statically Checked Interfaces / F. Puntigam / Talk: Eighth International Workshop on Component-Oriented Programming, Darmstadt, Germany; 2003-07-21; in: "Eighth International Workshop on Component-Oriented Programming", (2003), 8 pages
• Synchronization with Type Variables / F. Puntigam / Talk: Workshop on Object-oriented Language Engineering for the Post-Java Era, Darmstadt, Germany; 2003-07-22; in: "Workshop on Object-oriented Language Engineering for the Post-Java Era", (2003), 10 pages
• Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Journal of Object Technology, http://www.jot.fm/issues/issue_2002_08/article4 (2002)
• Supporting Design by Contract in Java / M. Lackner, A. Krall, F. Puntigam / Talk: TOOLS USA 2002, Santa Barbara, California; 2002-07-28 - 2002-07-31; in: "Trusted Components, Formal Specifications, Eiffel & .NET", (2002), 1 - 20
• Types for Active Objects with Static Deadlock Prevention / F. Puntigam, C. Peter / Fundamenta Informaticae, 48 (2001), 4; 315 - 341

• Context-aware Configuration / PhD Thesis by M. Raab / Supervisor, Reviewer: F. Puntigam, U. Aßmann, Y. Zhou; Institut für Computersprachen - Programmiersprachen und Übersetzer, 2017; oral examination: 2017-11-23
• Typsicherheit vs. Flexibilität -- Vererbung und Polymorphie in Ruby und C# / Master Thesis by G. Kamper / Supervisor: F. Puntigam; Institut für Computersprachen, 2009
• Entwicklungsmethoden im Web und deren Analyse / Master Thesis by A. Kovanci / Supervisor: F. Puntigam; Institut für Computersprachen, 2009
• Evaluation of Support for Generic Programming in C++ and Java / Master Thesis by S. Ehmann / Supervisor: F. Puntigam; Institut für Computersprachen, 2009
• Vergleich von .NET Remoting und Java RMI / Master Thesis by E. Gültekin / Supervisor: F. Puntigam; Institut für Computersprachen, 2008
• Migrating Business Software Applications based on IGS (Inova Q Generator System) from Windows/VB to Linux/Java / Master Thesis by C. Putsche / Supervisor: F. Puntigam; Institut für Computersprachen, 2008; final examination: 2008
• Reengineering zu Web-Anwendungen: Ein architektureller Ansatz / Master Thesis by R. David / Supervisor: F. Puntigam; Institut für Computersprachen, 2007
• Verwendung von C++-Bibliotheken in Eiffel / Master Thesis by M. Piskernig / Supervisor: F. Puntigam; Universität Wien, 2006
• Component-Based Development: A comparison of Enterprise Java Beans and Zope / Master Thesis by R. Strobl / Supervisor: F. Puntigam; Institut für Computersprachen, 2006
• Caching Strategies for Load Reduction on High Traffic Web Applications / Master Thesis by A. Kirk / Supervisor: F. Puntigam; Institut für Computersprachen, 2005
• Implementation of the VooDo Kern Programming Language / Master Thesis by J. Bickel / Supervisor: F. Puntigam; Institut für Computersprachen, 2005
• Distributed Object-Oriented Architectures: Sockets, Java RMI, and CORBA / Master Thesis by J. Stepisnik / Supervisor: F. Puntigam; Institut für Computersprachen, 2005
• Vergleich der Programmierkonzepte Vererbung, Generizität und Reflexion in Java und Eiffel / Master Thesis by M. Ziehmayer / Supervisor: F. Puntigam; Institut für Computersprachen, 2004
• Vergleich von SOAP Kommunikationsplattformen / Master Thesis by M. Jakesch / Supervisor: F. Puntigam; Institut für Computersprachen, 2004
• Java versus Ruby: Anwendbarkeit des objektorientierten Paradigmas / Master Thesis by P. Wesel / Supervisor: F. Puntigam; Institut für Computersprachen, 2003
• Process Types in Java / Master Thesis by A. Hofer / Supervisor: F. Puntigam; Institut für Computersprachen, 2003
• Sprachunterstützung durch virtuelle Maschinen - Ein Vergleich von Java und .Net / Master Thesis by M. Seidl / Supervisor: F. Puntigam; Institut für Computersprachen, 2003