Name Card

Full name Familienname, Vorname
Puntigam, Franz
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-16 of 16 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Raab, Markus ; Puntigam, Franz Program Execution Environments as Contextual ValuesKonferenzbeitrag Inproceedings 2014
2Schreiner, Dietmar ; Puntigam, Franz Robots, Software, Mayhem? Towards a Design Methodology for Robotic Software Systems.Konferenzbeitrag Inproceedings2010
3Puntigam, Franz Synchronization as a Special Case of Access ControlArtikel Article2009
4Puntigam, Franz Interfaces of active objects with internal concurrencyKonferenzbeitrag Inproceedings 2009
5Puntigam, Franz How to Specify the Flow of Data Accessibility: An OO Way of Concurrent ProgrammingKonferenzbeitrag Inproceedings2009
6Puntigam, Franz Synchronization as a Special Case of Access ControlKonferenzbeitrag Inproceedings 2008
7Puntigam, Franz From Static to Dynamic Process TypesKonferenzbeitrag Inproceedings 2008
8Puntigam, Franz See the Pet in the Beast: How to Limit Effects of AliasingKonferenzbeitrag Inproceedings 2007
9Puntigam, Franz Black & White, Never Grey: On Interfaces, Synchronization, Pragmatics, and ResponsibilitiesKonferenzbeitrag Inproceedings 2007
10Puntigam, Franz From Static to Dynamic Process TypesKonferenzbeitrag Inproceedings 2006
11Puntigam, Franz Internal and External Token-Based Synchronization in Object-Oriented LanguagesKonferenzbeitrag Inproceedings 2006
12Puntigam, Franz Client and Server Synchronization Expressed in TypesKonferenzbeitrag Inproceedings 2005
13Puntigam, Franz In Components We Trust - Programming Language Support for Weak ProtectionKonferenzbeitrag Inproceedings 2005
14Puntigam, Franz Reliable Shared Memory Communication: A Position Statement on Synchronization and CompositionKonferenzbeitrag Inproceedings 2005
15Puntigam, Franz State Information in Types or No Memory Consistency Model ist the Better Consistency ModelPräsentation Presentation2003
16Puntigam, Franz Concurrent object-oriented programming with process typesThesis Hochschulschrift2000

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 34 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mihola Florian - 2021 - Bit-level type systems for assembly languages.pdf.jpgMihola, Florian Bit-level type systems for assembly languagesThesis Hochschulschrift 2021
2Schwaiger Rene - 2020 - Parsing of configuration files.pdf.jpgSchwaiger, René Parsing of configuration filesThesis Hochschulschrift 2020
3Oberweger Roland - 2020 - An open-source tool for detecting violations of...pdf.jpgOberweger, Roland An open-source tool for detecting violations of object-oriented design principles in JavaThesis Hochschulschrift 2020
4Kotrba Julian - 2020 - Software complexity of a monadic style in object-oriented...pdf.jpgKotrba, Julian Software complexity of a monadic style in object-oriented programmingThesis Hochschulschrift 2020
5Zronek Michael - 2020 - Error Injection in specification-based configurations.pdf.jpgZronek, Michael Error Injection in specification-based configurationsThesis Hochschulschrift 2020
6Fraller Benjamin - 2018 - Analyse von Lambda-Ausdruecken in Java.pdf.jpgFraller, Benjamin Analyse von Lambda-Ausdrücken in JavaThesis Hochschulschrift 2018
7Wurzinger Armin - 2018 - Developing a type system for a configuration...pdf.jpgWurzinger, Armin Developing a type system for a configuration specification languageThesis Hochschulschrift 2018
8Irro Maximilian - 2018 - Concurrent programming with actors and microservices.pdf.jpgIrro, Maximilian Concurrent programming with actors and microservicesThesis Hochschulschrift 2018
9Denner Bernhard - 2018 - Konfigurationsmanagement mit Libelektra.pdf.jpgDenner, Bernhard Konfigurationsmanagement mit LibelektraThesis Hochschulschrift 2018
10Mertl Manuel - 2016 - Comparision and evaluation of JavaScript preprocessing...pdf.jpgMertl, Manuel Comparision and evaluation of JavaScript preprocessing languagesThesis Hochschulschrift 2016
11Braeutigam Klaus - 2015 - Expedient logging for C using reflection.pdf.jpgBräutigam, Klaus Expedient logging for C++ using reflectionThesis Hochschulschrift 2015
12Atesman Necdet Can - 2015 - PURGE design and implementation of a high-level...pdf.jpgAtesman, Necdet Can PURGE design and implementation of a high-level graphics engineThesis Hochschulschrift 2015
13Hernadi Gabor Miklos - 2015 - Interactive class-diagram generation and...pdf.jpgHernàdi, Gàbor Miklos Interactive class-diagram generation and abstractionThesis Hochschulschrift 2015
14Mildner Rudolf - 2015 - An actor constraint prototype verifying event order.pdf.jpgMildner, Rudolf An actor constraint prototype : verifying event orderThesis Hochschulschrift 2015
15Riegler Gregor - 2015 - Evaluation and implementation of an optional pluggable...pdf.jpgRiegler, Gregor Evaluation and implementation of an optional, pluggable type system for ForthThesis Hochschulschrift 2015
16Grandits Philipp - 2014 - Active objects revisited a concurrency library for...pdf.jpgGrandits, Philipp Active objects revisited : a concurrency library for Java based on an object-oriented approach to parallelismThesis Hochschulschrift 2014
17Schuh Andreas - 2013 - Automatisierung von Software-Mustern mittels...pdf.jpgSchuh, Andreas Automatisierung von Software-Mustern mittels MetaprogrammierungThesis Hochschulschrift 2013
18Auer, Daniel Wartbarkeit in aspektorientierter ProgrammierungThesis Hochschulschrift2012
19Budischek, Mario Vergleich von Java WebframeworksThesis Hochschulschrift2011
20Leiter, Christoph Typestate Tracking für sichere nebenläufige ProgrammierungThesis Hochschulschrift2011