Robert Heumüller

Robert Heumüller
Mail: robert.heumueller@st.ovgu.de
Room: G29, R406
Phone: +49 391 67 52673


Publications

2020

Heumüller, Robert; Nielebock, Sebastian; Krüger, Jacob; Ortmeier, Frank

Publish or Perish, but do not Forget your Software Artifacts Artikel Forthcoming

Empirical Software Engineering, Forthcoming, (Preprint).

Abstract | Links | BibTeX

Nielebock, Sebastian; Heumüller, Robert; Krüger, Jacob; Ortmeier, Frank

Cooperative API Misuse Detection Using Correction Rules Inproceedings

ACM, (Hrsg.): Proccedings of the 42nd IEEE/ACM International Conference on Software Engineering - New Ideas and Emerging Results Track, ICSE-NIER, ACM, 2020.

Links | BibTeX

Nielebock, Sebastian; Heumüller, Robert; Krüger, Jacob; Ortmeier, Frank

Using API-Embedding for API-Misuse Repair Inproceedings

ACM, (Hrsg.): Proceedings of the 1st International Workshop on Automated Program Repair (APR 2020) in conjunction with 42nd International Conference on Software Engineering (ICSE 2020), Seoul, South Korea, 2020.

Links | BibTeX

Krüger, Jacob; Nielebock, Sebastian; Heumüller, Robert

How Can I Contribute? A Qualitative Analysis of Community Websites of 25 Unix-Like Distributions Inproceedings

ACM, (Hrsg.): Proceedings of the 24th International Conference on Evaluation and Assessment in Software Engineering, (EASE) - Short Papers Track, S. 324–329, Trondheim, Norway, 2020, ISBN: 9781450377317.

Links | BibTeX

2019

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

SpecTackle - A Specification Mining Experimentation Platform Inproceedings

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA),Kallithea, Chalkidiki. Greece, Euromicro 2019.

Abstract | Links | BibTeX

Engel, Christoph; Mencke, Steffen; Heumüller, Robert; Ortmeier, Frank

Companion Specifications for Smart Factories: From Machine to Process View Inproceedings

Smart SysTech 2019; European Conference on Smart Objects, Systems and Technologies, S. 1–8, VDE 2019.

Abstract | BibTeX

2018

Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank

Commits as a Basis for API Misuse Detection Inproceedings

ACM, (Hrsg.): Proceedings of the 7th International Workshop on Software Mining (SoftwareMining ’18), September 3, 2018, Montpellier, France., S. 4, ACM, New York, NY, USA, 2018.

Abstract | Links | BibTeX

Heumüller, Robert; Nielebock, Sebastian; Ortmeier, Frank

Who plays with Whom? ... and How? Mining API Interaction Patterns from Source Code Inproceedings

ACM, (Hrsg.): Proceedings of the 7th International Workshop on Software Mining (SoftwareMining ’18), S. 4, ACM, New York, NY, USA, 2018.

Abstract | Links | BibTeX

Nielebock, Sebastian; Heumüller, Robert; Ortmeier, Frank

Programmers do not Favor Lambda Expressions for Concurrent Object-Oriented Code Artikel

Springer Empirical Software Engineering (EMSE), 24 (1), S. 103–138, 2018, ISSN: 1382-3256.

Abstract | Links | BibTeX

Heumüller, Robert

Leveraging project-specificity to find suitable specifications: student research abstract Inproceedings

ACM, (Hrsg.): Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018, ISBN: 978-1-4503-5191-1.

Abstract | Links | BibTeX

2015

Heumüller, Robert

Multi-Abstraction Model Based Software Development for Embedded Low-Cost Applications Abschlussarbeit

2015.

Links | BibTeX

2014

Heumüller, Robert; Quante, Jochen; Thums, Andreas

Parsing Variant C Code: An Evaluation on Automotive Software Inproceedings

GI, (Hrsg.): 16. Workshop Software-Reengineering & Evolution, 2014.

BibTeX

Heumüller, Robert

VECS Dataflow - A SAML Language Extension Allowing Intuitive Creation of Formal Automata Specifications Abschlussarbeit

2014.

Links | BibTeX

Heumüller, Robert; Lipaczewski, Michael; Ortmeier, Frank

A Dataflow Notation for SAML - Formal Modeling Without Fearing Timing Constraints Inproceedings

IMBSA 2014: short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 43-50, 2014.

BibTeX