Campus-System

  • Research Information System
  • Staff Search
  • Courses
  • Exams

Employees-Portal

  • Organization handbook
  • Operational messages
  • Internal messages
  • Personal messages

Information for

  • Pupils
  • Alumni & Career
  • Prospective Students
  • Continuing Education
  • Researchers
  • Students
  • Staff
  • Partners & Sponsors
  • International

Links

  • Webmail
  • Library
  • Vacancies
  • University bulletin
  • Bulletin Board
  • Staff Search
  • Campus Map
  • IT Services
  • USI
  • OEH Klagenfurt
Gütesiegel evalagGütesiegel Betriebliche GesundheitsförderungPrix VersaillesEMAS SiegelGütezeichen hochschuleundfamilie
Deutsch
search
Quicklinks +
  • English English English en
  • Deutsch Deutsch German de
  • Twitter
  • Facebook
  • Youtube
  • Instagram
University of Klagenfurt
  • Home
  • University
        • Organisation
          • Management
          • Academic affairs and organisation
          • Faculties, departments and centres
          • University centres
          • University Executive support offices
          • Administration and management
          • Representations and commissioners
          • Organisational plan
          • Statute
        • Profile
          • Mission statement
          • Quality strategy
          • Rankings
          • University history
          • Roll of honour
          • Health Management
          • Gender and equality
          • The Carinthian University Conference
          • Alps-Adriatic Rectors‘ Conference
          • The university and the region
        • Campus
          • On Campus
          • Art and Culture
          • Accommodation
          • Catering
          • Sports and leisure
          • Green campus
          • Car parks and parking regulations
          • More light, air, and openness
        • Contact
          • Vacancies
          • University bulletin
          • Partners & Sponsors
          • Media services
          • Family services
          • Services for disabled students
          • University library
          • Covid19 Information
  • Study
        • Courses offered
          • List of degree programmes
          • Extension programmes & extension curricula
          • Specialist courses & optional subjects
          • Continuing education programmes
          • Doctoral Degree Programme
          • Degree Programmes in English
        • Studying at AAU
          • New starter checklists
          • Applying to study
          • Starting your programme
          • During your programme
          • Completing your programme
          • Search for courses
        • Student Life
          • Scholarships & grants
          • Offices and services
          • Campus
          • Accommodation
          • Catering
          • Accessibility
          • Sport & leisure
          • Work & study
          • Family & study
        • Study abroad
          • Study in Klagenfurt
          • Study abroad
          • Summer schools
          • Support & advice
        • Support & Information
          • Term dates and deadlines
          • FAQs
          • Admissions and Examinations Office
          • Office of Academic Affairs
          • Student Guidance Service
          • Union of Students (ÖH)
          • International Office
          • Doc.Service
          • Student Ombudsman
          • Alumni & careers
          • University library
  • Research
        • Research profile
          • Grants & Winners
          • Main research areas
          • Institutional partnerships
          • Good academic practice
          • Institutional Review Board for Research Ethics
          • Open Access
          • Knowledge transfer
          • Kollegs
        • Research funding
          • Internal funding
          • External funding
        • Career progression for young researchers
          • Thematic Doctoral Programmes
          • Young scientists mentoring
          • Career paths
          • Continuing education programme for young researchers
          • Think Tank
        • Support & communications
          • The Research Support Service
          • Science communications
          • Research Information System (FoDok)
  • International
        • International Profile
          • Courses offered in English
          • Partner universities
        • Study abroad
          • Joint-Study
          • Joint and double degrees
          • Short-term research placements abroad
          • Summer schools
          • Further outgoing grants
          • FAQ for outgoing students
          • Erasmus+ student mobility
        • Work and research abroad
          • Lecturers
          • Young researchers
          • General staff
          • Subject-specific international placements
          • Teaching German abroad
          • Erasmus+ student internships
        • Study in Klagenfurt
          • Students in mobility programmes
          • Entry & Residence (VISA)
          • Accommodation
          • MORE programme for refugees
        • Information & advice
          • International Office
          • Admissions and Examinations Office
          • Language Centre German in Austria
          • Entrée - ESN Klagenfurt
          • ÖH Referat Interkulturalität
          • Language certificates

SOFTWARE ENGINEERING

AAU1/...Department of Informatics Systems2/Software Engineering Research Group3/Publications

Publications

We include the papers on this page to ensure timely dissemination on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by the copyrights. These works may not be reposted without the explicit permission of the copyright holder. A complete list of publications can be found at the Research Information System of the Universität Klagenfurt.

2020

  • Automatic Repair of Timestamp Comparisons

    G. Liva, M. T. Khan, M. Pinzger, F. Spegni, and L. Spalazzi. IEEE Transactions on Software Engineering (TSE), to appear, IEEE, 2019.

  • What kind of questions do developers ask on Stack Overflow? A comparison of automated approaches to classify posts into question categories

    S. Beyer, C. Macho, M. Di Penta, and M. Pinzger. Journal of Empirical Software Engineering (EMSE), vol. 25, no. 3, pp.2258-2301, Springer, 2020.

  • Verifying Temporal Specifications of Java Programs

    F. Spegni, and L. Spalazzi, G. Liva, M. Pinzger, and A. Bollin. Software Quality Journal (SQJ), vol. 28, no. 2, pp. 695-744, Springer, 2020.

  • IT-Application Behaviour Analysis: Predicting Critical System States on OpenStack using Monitoring Performance Data and Log Files

    P. Kubiak, S. Rass, and M. Pinzger. In Proceedings of the International Conference on Software Technologies (ICST), pp. 589-596, SciTePress, 2020.

  • Generating Accurate and Compact Edit Scripts using Tree Differencing

    V. Frick, T. Grassauer, F. Beck, and M. Pinzger. In Proceedings of the Conference on Software Engineering (SE), pp. 85-86, GI, 2020.

  • Leveraging Machine Learning for Software Redocumentation

    V. Geist, M. Moser, J. Pichler, S. Beyer, and M. Pinzger. In Proceedings of the International Conference on Software Analysis, Evolution and Reengineering (SANER), Industrial Track, pp. 622-626, IEEE, 2020.

2019

  • Semantics-Driven Extraction of Timed Automata from Java Programs

    G. Liva, M. T. Khan, and M. Pinzger. Journal of Empirical Software Engineering (EMSE), vol. 24, no. 5, pp. 3114–3150, Springer, 2019.

  • Can I Depend on You? Mapping the Dependency and Quality Landscape of ROS Packages

    M. Pichler, B. Dieber, and M. Pinzger. In Proceedings of the International Conference on Robotic Computing (IRC), pp. 78-85, IEEE, 2019.

2018

  • Exploring Visual Comparison of Multivariate Runtime Statistics

    H. Tarner, V. Frick, M. Pinzger, and F. Beck. In Proceedings of the Symposium on Software Performance (SSP), to appear, GI Softwaretechnik-Trends, 2018.

  • Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI

    K. Gallaba, C. Macho, M. Pinzger, and S. McIntosh. In Proceedings of the International Conference on Automated Software Engineering (ASE), pp. 87-97, IEEE/ACM, 2018.

  • Generating Accurate and Compact Edit Scripts using Tree Differencing

    V. Frick, T. Grassauer, M. Pinzger, and F. Beck. In Proceedings of the International Conference on Software Maintenance and Evolution (ICSME), pp. 264-274, IEEE, 2018.

  • DiffViz: A Diff Algorithm Independent Visualization Tool for Edit Scripts

    V. Frick, C. Wedenig, and M. Pinzger. In Proceedings of the International Conference on Software Maintenance and Evolution (ICSME), Tool Demo Track, pp. 705-709, IEEE, 2018.

  • Towards Model Checking Security of Real Time Java Software

    F. Spegni, L.Spalazzi, G. Liva, and M. Pinzger. In Proceedings of the International Workshop on Security and High Performance Computing Systems (SHPCS), pp. 642-649, IEEE/ACM, 2018.

  • Automatically Classifying Posts into Question Categories on Stack Overflow

    S. Beyer, C. Macho, M. di Penta, and M. Pinzger. In Proceedings of the International Conference on Program Comprehension (ICPC), pp. 211-221, IEEE, 2018.

  • Modeling Time in Java Programs for Automatic Error Detection

    G. Liva, M. T. Khan, F. Spegni, L.Spalazzi, A. Bollin, and M. Pinzger. In Proceedings of the International Conference on Formal Methods in Software Engineering (FormaliSE), pp. 50-59, IEEE, 2018.

  • Co-evolution Analysis of Production and Test Code by Learning Association Rules of Changes

    L. Vidács and M. Pinzger. In Proceedings of the International Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), pp. 31-36, IEEE, 2018.

  • Designing Safe and Secure Industrial Control Systems: A Tutorial Review

    D. Serpanos, M. T. Khan and H. Shrobe, IEEE Design and Test, vol. PP, issue 99, pp. 73-88, 2018.

  • An Open Source, Extensible Malware Analysis Platform

    P. Michalopoulos, V. Ieronymakis, O. Alrawi, M.T. Khan and D. Serpanos. In Proceedings of the International Conference of Engineering Against Failures (ICEAF), to appear, 2018.

  • ARMET: Behavior-based Secure and Resilient Industrial Control Systems

    M. T. Khan, D. Serpanos, H. Shrobe, Proceedings of the IEEE, vol. 106, no. 1, pp. 129-143, January 2018.

  • FEVER: An approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems

    N. Dintzner, A. van Deursen, and M. Pinzger. Journal of Empirical Software Engineering (EMSE), vol. 23, no. 2, pp. 905-952, Springer.

  • Automatically Repairing Dependency-Related Build Breakage

    C. Macho, S. McIntosh, and M. Pinzger. In Proceedings of the International Conference on Software Analysis, Evolution, and Reengineering (SANER), pp. 106-117, IEEE, 2018.

2017

  • Extracting Timed Automata from Java Methods

    G. Liva, M. T. Khan, and M. Pinzger. In Proceedings of the International Working Conference on Source Code Analysis and Manipulation (SCAM), pp. 91-100, IEEE, 2017.

  • A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems

    M. T. Khan, D. Serpanos, H. Shrobe, Electronics, 6(3):58, August 2017.

  • Guest Editorial: Mining software repositories

    R. Robbes, Y. Kamei, and M. Pinzger. Empirical Software Engineering (EMSE), vol. 22, no. 3, pp. 1143-1145, Springer, 2017.

  • Exctracting Build Changes with BUILDDIFF

    C. Macho, S. McIntosh, and M. Pinzger. In Proceedings of the International Conference on Mining Software Repositories (MSR),pp. 368-378, IEEE/ACM, 2017.

  • Analysing the Linux Kernel Feature Model Changes Using FMDiff

    N. Dintzner, A. van Deursen, and M. Pinzger. Journal of Software & Systems Modeling, vol. 16, no. 1, pp. 55-76, Springer, 2017.

  • Extracting Parallel Control Flow Graphs with Synchronization Information from Java Programs

    G. Liva, F. Spegni, L. Spalazzi, A. Bollin, M. Pinzger. Technical Report, Alpen-Adria-Universität, 2017.

2016

  • Guest editorial: mining software repositories

    Martin Pinzger and Sunghun Kim, Empirical Software Engineering (EMSE), vol. 21, no. 5, pp. 2033-2034, 2016.

  • A Rigorous and Efficient Run-time Security Monitor for Real-time Criticial Embedded System Applications

    M. T. Khan, D. Serpanos, H. Shrobe, In: Proceedings of the MARTCPS’16, IEEE World Forum on Internet of Things. IEEE, pages 100-105, 2016.

  • Grouping Android Tag Synonyms on Stack Overflow

    S. Beyer and M. Pinzger. In Proceedings of the International Conference on Mining Software Repositories (MSR), pp. 430-440, 2016.

  • FEVER: Extracting Feature-oriented Changes from Commits

    N. Dintzner, A. van Deursen, and M. Pinzger. In Proceedings of the International Conference on Mining Software Repositories (MSR), pp. 85-96, 2016.

  • Predicting Build Co-Changes with Source Code Change and Commit Categories

    C. Macho, S. McIntosh, and M. Pinzger. In Proceedings of the International Conference on Software Analysis, Evolution, and Reengineering (SANER), pp. 541-551, IEEE, 2016. Candidate for Best Paper Award

2015

  • XVIZIT: Visualizing Cognitive Units in Spreadsheets

    K. Hodnigg and M. Pinzger. In Proceedings of the Working Conference on Software Visualization (SoftVis), Tool Demo, pp. 210-214, IEEE, 2015.

  • Synonym Suggestion for Tags on Stack Overflow

    S. Beyer and M. Pinzger. In Proceedings of the International Conference on Program Understanding (ICPC), pp. 94-103, IEEE, 2015.

  • Evaluating Feature Change Impact on Multi-Product Line Configurations Using Partial Information

    N. Dintzner, U. Kulesza, A. Van Deursen, and M. Pinzger. In Software Reuse for Dynamic Systems in the Cloud and Beyond, Lecture Notes in Computer Science, pp. 1-16, Springer 2015.

  • Detecting and refactoring code smells in spreadsheet formulas

    F. Hermans, M. Pinzger, and A. van Deursen. Journal of Empirical Software Engineering (EMSE), vol. 20, no. 2, pp. 549-575, Springer, 2015.

2014

  • Formal Specification Comprehension - The Art of Reading and Writing Z

    A. Bollin, D.Rauner-Reithmeir. In Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, co-located with ICSE 2014. Hyderabad, India, 2014.

  • IEEE 27th Conference on Software Engineering Education and Training (CSEE&T)

    A. Bollin, E. Hochmüller, R. T. Mittermeir, T. Cowling, R. LeBlanc. Klagenfurt, Austria. April, 2014.

  • On a Mixed-up Schedule for Teaching Software Quality and Project Management - An Experience Report

    Cs. Szabo, A. Bollin. In Proceedings of the 4th International Conference on Information Technology and Development of Education ITRO 2014. Zbornik Radova. Zrenjanin, June 2014.

  • Changing the Lecturing Style - The Good and the Bad of Mixed-up Schedules

    Cs. Szabo, A. Bollin. In Journal for Information Technology, Education Development and Teaching Methods of Technical and Natural Sciences. Volume 4, Number 1, July 2014.

  • A Manual Categorization of Android App Development Issues Using Stack Overflow Posts

    S. Beyer and M. Pinzger. In Proceedings of the International Conference on Software Maintenance and Evolution, Early Research Achievements (ICSME ERA), pp. 531-535, IEEE Computer Society, 2014.

  • Refactoring Fat Interfaces Using a Genetic Algorithm

    D. Romano, S. Raemaekers, and M. Pinzger. In Proceedings of the International Conference on Software Maintenance and Evolution (ICSME), pp. 351-360, IEEE Computer Society, 2014. ICSME 2014 Best Paper award

  • A Genetic Algorithm to Find the Adequate Granularity for Service Interfaces

    D. Romano and M. Pinzger. In Proceedings of the World Congress on Services (SERVICES), pp. 478-485, IEEE, 2014.

  • An Exploratory Study of the Pull-based Software Development Model

    G. Gousios, M. Pinzger, and A. van Deursen. In Proceedings of the International Conference on Software Engineering (ICSE), pp. 345-355, ACM and IEEE Computer Society, 2014.

  • Special issue: a selection of distinguished papers from the 18th Working Conference on Reverse Engineering 2011

    M. Pinzger and D. Poshyvanyk. Journal of Software: Evolution and Process, vol. 26, no. 1, pp. 1-2, John Wiley & Sons, 2014.

  • Studying Late Propagations in Code Clone Evolution Using Software Repository Mining

    H. H. Mui, A. Zaidman and M. Pinzger. In Electronic Communications of the EASST, vol. 63, 2014.

  • Extracting Feature Model Changes from the Linux Kernel Using FMDiff

    N. Dintzner, A. van Deursen and M. Pinzger. In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), pp. 22:1–22:8, ACM, 2014.

2013

  • Guest editorial: reverse engineering

    M. Pinzger and G. Antoniol. Empirical Software Engineering, vol. 18, no. 5, pp. 857-858, Springer, 2013.

  • Towards a Weighted Voting System for Q&A Sites

    D. Romano and M. Pinzger. In Proceedings of the International Conference on Software Maintenance, Early Research Achievements (ICSM ERA), pp. 268-271, IEEE Computer Society, 2013.

  • Communication in Open Source Software Development Mailing Lists

    A. Guzzi, A. Bachelli, M. Lanza, M. Pinzger, and A. van Deursen. In Proceedings of the Working Conference on Mining Software Repositories (MSR), pp. 277-286, ACM, IEEE Computer Society, 2013.

  • Data Clone Detection and Visualization in Spreadsheets

    F. Hermans, B. Sedee, M. Pinzger, and A. van Deursen. In Proceedings of the International Conference on Software Engineering (ICSE), pp. 292-301, ACM and IEEE Computer Society, 2013. ACM SIGSOFT Distinguished Paper award

  • Metrics for quantifying evolutionary changes in Z specifications

    A. Bollin. In Journal of Software: Evolution and Process. Pre-print published online in Wiley Online Library (wileyonlinelibrary.com). 2013. DOI: 10.1002/smr.1596.

  • Teaching Software Development Processes by Simulation: Quality Assurance as a Factor of Success

    A. Bollin, E. Hochmüller, L. Samuelis. To appear in Proceedings of the 26th IEEE Conference on Software Engineering Education and Training. Los Angeles. 2013.

  • Do You Speak Z? Formal Methods under the Perspective of a Cross-Cultural Adaptation Problem

    A. Bollin. To appear in Proceedings of the FME Workshop on Formal Methods in Software Engineering. Los Angeles. 2013.

2012

  • Predictive Software Measures based on Z Specification - A Case Study

    A. Bollin and A. Tabareh. In electronic Proceedings in Theoretical Computer Science, pp 33-40, Open Publishing Association, 2012.

  • Experiences with Integrating Simulation into a Software Engineering Curriculum

    A. Bollin, E. Hochmüller, R. Mittermeir, L. Samuelis. In Proceedings of the IEEE Conference on Software Engineering Education and Training (CSEE&T), pp. 62-75, IEEE Computer Society, 2012.

  • Teaching Software Project Management using Simulations - The AMEISE Environment: from Concepts to Class Room Experience

    A. Bollin, E. Hochmüller, L. Samuelis. In Proceedings of the IEEE Conference on Software Engineering Education and Training (CSEE&T), pp. 85-87, IEEE Computer Society, 2012.

  • Analyzing the Impact of Antipatterns on Change-Proneness Using Fine-Grained Source Code Changes

    D. Romano, P. Raila, M. Pinzger, and F. Khomh. In Proceedings of the Working Conference on Reverse Engineering (WCRE), pp. 437-446, IEEE Computer Society, 2012.

  • Detecting Code Smells in Spreadsheet Formulas

    F. Hermans, M. Pinzger, and A. van Deursen. In Proceedings of the International Conference on Software Maintenance (ICSM), pp. 409-418, IEEE Computer Society, 2012.

  • Measuring Spreadsheet Formula Understandability

    F. Hermans, M. Pinzger, and A. van Deursen. In Proceedings of the European Spreadsheet Risks Interest Group Conference (EuSpRiG), CoRR, 2012.

  • Method-Level Bug Prediction

    E. Giger, M. D’Ambros, M. Pinzger, H. C. Gall. In Proceedings of the International Symposium on Empirical Software Engineering and Measurement (ESEM), pp. 171-180, IEEE Computer Society, 2012.

  • Analyzing the Evolution of Web Services using Fine-Grained Changes

    D. Romano and M. Pinzger. In Proceedings of the International Conference on Web Services (ICWS), Application and Experience Track, pp. 392-399, IEEE Computer Society, 2012.

  • Can we Predict Types of Code Changes? An Empirical Analysis

    E. Giger, M. Pinzger, H. C. Gall. In Proceedings of the Working Conference on Mining Software Repositories (MSR), pp. 217-226, ACM, IEEE Computer Society, 2012.

  • Detecting and Visualizing Inter-Worksheet Smells in Spreadsheets

    F. Hermans, M. Pinzger, and A. van Deursen. In Proceedings of the International Conference on Software Engineering (ICSE), pp. 441-451, ACM, IEEE Computer Society, 2012.

A complete list of publications can be found at the Research Information System of the Alpen-Adria-Universität.

  • Department of Informatics Systems
    • Contact
    • Team
    • Information and Communication Systems
      • News
      • Team ICS
        • Eder Johann
        • Franceschetti Marco
        • Köpke Julius
      • Alumni
      • Publications
      • Research
        • Current Projects
        • Previous Projects
      • Teaching
        • Master Theses
        • PhD Theses
    • Interactive Systems
      • Research
      • Team IAS
      • Teaching
        • Bachelor Spezialisierung IAS
        • Master's Specialization HCI
    • Software Engineering
      • News
      • Team SERG
        • Pinzger Martin
        • Beyer Stefanie
        • Hodnigg Karin
        • Macho Christian
        • Frick Veit
      • Publications
      • Research
        • Projects
        • Tools
      • Teaching
        • Master Theses
        • Student Projects
    • Teaching
      • Softwarepraktika
      • Internship
      • Master Theses
      • Tools
    • News
    • Jobs

Quicklinks

  • Webmail
  • University bulletin
  • Library
  • Bulletin Board
  • Staff Search
  • Campus Map
  • IT Services
  • USI
  • OEH Klagenfurt
  • Index A-Z

Portals

  • Campus-­System
  • Employees-­Portal
  • Moodle
  • Facebook
  • Twitter
  • Youtube
  • Instagram
Siegel der Alpen-Adria-Universität Klagenfurt

Information for

  • Pupils
  • Alumni & Career
  • Prospective Students
  • Continuing Education
  • Researchers
  • Students
  • Staff
  • Partners & Sponsors
  • International

Address

Alpen-Adria-Universität Klagenfurt
Universitätsstraße 65-67
9020 Klagenfurt am Wörthersee
Austria

+43 463 2700
uni [at] aau [dot] at
www.aau.at
Campus Plan
Gütesiegel evalag Gütesiegel Betriebliche Gesundheitsförderung EMAS Siegel Prix Versailles Gütezeichen hochschuleundfamilie Logo KWF-Förderemblem
© University of Klagenfurt
  • Legal notice
  • Disclaimer
  • Privacy policy
  • Accessibility
  • Webredaktion
Scroll to top