Research | AAU Campus

The Research Information System (German abbreviation: FoDok) of the University of Klagenfurt comprises the academic achievements of researchers for the time interval of their active employment at the University of Klagenfurt. The FoDok also contains the achievements of doctoral students and emeritus/retired researchers.
For the analysis on an individual level please note that the entries in the FoDok do not give a comprehensive overview of the achievements of the individual researchers.

Publications (72)

Sorted by

DValidator: An approach for validating dependencies in build configurations.

Macho C., Oraze F., Pinzger M.: In: The Journal of Systems and Software New York: Elsevier Science Inc., 2023,
Homepage DOI
Article in journal
RobotPerf: An open-source, vendor-agnostic, benchmarking suite for evaluating robotics computing system performance.

Vilches V., Jabbour J., Hsiao Y., Wan Z., Martínez-Fariña A., Crespo-Álvarez M., Stewart M., Reina-Muñoz J., Nagras P., Vikhe G., Bakhshalipour M., Pinzger M., Rass S., Panigrahi S., Corradi G., Roy N., Gibbons P., Neuman S., Plancher B., Reddi V.: In: arxiv.org Ithaca, NY: arXiv.org, 2023,
DOI
Other publication
Incentive-Based Software Security: Fair Micro-Payments for Writing Secure Code.

Rass S., Pinzger M.: In: arxiv.org Ithaca, NY: arXiv.org, 2023,
Homepage
Other publication
PentestGPT: An LLM-empowered Automatic Penetration Testing Tool.

Deng G., Liu Y., Vilches V. M., Liu P., Li Y., Xu Y., Zhang T., Liu Y., Pinzger M., Rass S.: In: arXiv Ithaca, NY: arXiv.org, 2023,
Homepage
Other publication
ExploitFlow, cyber security exploitation routes for Game Theory and AI research in robotics.

Vilches V. M., Deng G., Liu Y., Pinzger M., Rass S.: In: arXiv Ithaca, NY: arXiv.org, 2023,
Homepage
Other publication
Presentation: SymDefFix - Sound Automatic Repair Using Symbolic Execution.

Nazir T. M., Pinzger M.: In: arXiv Ithaca, NY: arXiv.org, 2022, pp. 1 - 1.
Homepage DOI
Abstract
Hacking planned obsolescense in robotics, towards security-oriented robot teardown.

Mayoral-Vilches V., Glera-Picón A., Ayúcar-Carbajo U., Rass S., Pinzger M., Maggi F., Gil-Uriarte E.: In: Electronic Communications of the EASST (Electronic Communications of the EASST: Conference on Networked Systems 2021 (NetSys 2021), Band 80 ), 2021,
Homepage
Article in journal
Robot Teardown: stripping industrial robots for good.

Mayoral-Vilches V., Glera-Picón A., Ayúcar-Carbajo U., Rass S., Pinzger M., Maggi F., Gil-Uriarte E.: In: International Journal of Cyber Forensics and Advanced Threat Investigations 2021,
Homepage
Article in journal
A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.

Kubiak P., Rass S., Pinzger M., Schneider S.: In: A. Luhach, D. Jat, K. Hawari, X. Gao, P. Lingras (Hrsg.): Communications in Computer and Information Science . Proceedings of the 4th International Conference on Advanced Informatics for Computing Research (ICAICR 2020) Berlin, Heidelberg, New York: Springer Verlag GmbH, 21.07.2021, pp. 242 - 261.
Homepage DOI
Article in compilation
Comparing fine-grained source code changes and code churn for bug prediction - A retrospective.

Pinzger M., Giger E., Gall H.: In: Software Engineering Notes 2021, pp. 21 - 23.
Homepage DOI
Article in journal
Comprehending Spreadsheets: Which Strategies do Users Apply?.

Hodnigg K. M., Macho C., Pinzger M., Jannach D.: In: Proceedings of the 29th IEEE/ACM International Conference on Program Comprehension Piscataway (NJ): IEEE, 2021, pp. 386 - 390.
Homepage DOI
Article in Proceedings
The Nature of Build Changes: An Empirical Study of Maven-based Build Systems.

Macho C., Beyer S., McIntosh S., Pinzger M.: In: Empirical Software Engineering Berlin, Heidelberg, New York: Springer Verlag GmbH, 2021, pp. 32
Homepage DOI
Article in journal
What kind of questions do developers ask on Stack Overflow? A comparison of automated approaches to classify posts into question categories.

Beyer S., Macho C., Di Penta M., Pinzger M.: In: Software Engineering 2021 : Fachtagung des GI-Fachbereichs Softwaretechnik (Lecture Notes in Informatics, Band P-310 ), 2021, pp. 27 - 28.
DOI
Article in Proceedings
A Cryptography-Powered Infrastructure to Ensure the Integrity of Robot Workflows.

Breiling B., Dieber B., Pinzger M., Rass S.: In: Smart Cities Cybersecurity and Privacy USA: Elsevier Press, 2021, pp. 93 - 118.
Homepage DOI
Article in journal
Runtime Protection of Real-time Critical Control Applications against Known Threats.

Khan M. T., Pinzger M., Serpanos D., Shrobe H.: In: IEEE Design & Test Piscataway (NJ): IEEE, 2020, pp. 88 - 95.
DOI
Article in journal
Verifying temporal specifications of Java programs.

Spegni F., Spalazzi L., Liva G., Pinzger M., Bollin A.: In: Software Quality Journal Berlin: Springer, 2020, pp. 695 - 744.

Article in journal
Visualizing Evolution and Performance Metrics on Method-Level as Multivariate Data.

Tarner H., Frick V., Pinzger M., Beck F.: In: 13th Seminar Series on Advanced Techniques & Tools for Software Evolution Aachen: CEUR Workshop Proceedings (CEUR-WS.org), 2020, pp. 1 - 1.
Homepage
Article in Proceedings
Leveraging Machine Learning for Software Redocumentation.

Geist V., Moser M., Pichler J., Beyer S., Pinzger M.: In: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER) Piscataway (NJ): IEEE, 2020, pp. 622 - 626.
DOI
Article in Proceedings
Generating Accurate and Compact Edit Scripts using Tree Differencing.

Frick V., Grassauer T., Beck F., Pinzger M.: Software Engineering 2020 Bonn: Gesellschaft für Informatik e.V., 02.2020, pp. 85 - 86.

Article in compilation
IT-Application Behaviour Analysis: Predicting Critical System States on OpenStack using Monitoring Performance Data and Log Files.

Kubiak P., Rass S., Pinzger M.: In: Proceedings of the 15th International Conference on Software Technologies (ICSOFT 2020), SCITEPRESS – Science and Technology Publications Setubal: SciTePress - Science and Technology Publications, 2020, pp. 589 - 596.
DOI
Article in Proceedings