• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Filter
Conference contribution
2019

An Approach to Test Classification in Big Android Applications

Hirsch, T., Schindler, C., Müller, M. & Slany, W., 2019, (Accepted/In press) Companion of the 19th IEEE International Conference on Software Quality, Reliability and Security. IEEE Computer Society Conference Publishing Services, p. 300 8 p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing

Better Android Apps using Android Vitals

Harty, J. & Müller, M., 2019, (Accepted/In press) Proceedings of the 3rd ACM SIGSOFT International Workshop on App Market Analytics (WAMA ’19). Association of Computing Machinery, p. 26-32 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Contributors' Impact on a FOSS Project's Quality

Schranz, T., Schindler, C., Müller, M. & Slany, W., 2019, (Accepted/In press) Proceedings of the 2nd ACM SIGSOFT International Workshop on Software Qualities and Their Dependencies (SQUADE ’19). Association of Computing Machinery, p. 35-38 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Engaging Students in Open Source: Establishing FOSS Development at a University

Müller, M., Schindler, C. & Slany, W., 8 Jan 2019, Proceedings of the 52nd Annual Hawaii International Conference on System Sciences. p. 7721-7730 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
student
university
project organization
project management
software development

Introducing Agile Product Owners in a FLOSS Project

Müller, M., Schindler, C. & Slany, W., 2019, Open Source Systems: 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings. Bordeleau, F., Sillitti, A., Meirelles, P. & Lenarduzzi, V. (eds.). p. 38-43 (IFIP Advances in Information and Communication Technology; vol. 556).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learned Constraint Ordering for Consistency Based Direct Diagnosis

Polat Erdeniz, S., Felfernig, A. & Atas, M., 2019, (Submitted) 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems  (IEA/AIE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Managing the Open Cathedral

Müller, M., Jun 2019, (Accepted/In press) Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '19). Association of Computing Machinery, p. 1176-1179 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Matrix Factorization based Heuristics for Constraint-based Recommenders

Polat Erdeniz, S., Felfernig, A., Atas, M. & Samer, R., 2019, (Accepted/In press) The 34th ACM/SIGAPP Symposium On Applied Computing (SAC'19). 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pocket Code - A Mobile Visual Programming Framework For App Development

Müller, M., Schindler, C. & Slany, W., 2019, (Accepted/In press) Proceedings of the 6th International Conference on Mobile Software Engineering and Systems.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Using Particle Filter and Machine Learning for Accuracy Estimation of Robot Localization

Eder, M. J., Reip, M. & Steinbauer, G., 15 Jun 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice: IEA/AIE 2019. Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R. & Ali, M. (eds.). Springer, Cham, p. 700-713 14 p. (Lecture Notes in Computer Science; vol. 11606).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning systems
Robots
Mobile robots
Classifiers
2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

Bartocci, E., Bloem, R., Nickovic, D. & Röck, F., 2018, Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Vol. 1. p. 547-564 18 p. (Lecture Notes in Computer Science; vol. 10980).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

A daily dose of DSL MDE micro injections in practice

Stieglbauer, G., Burghard, C., Sobernig, S. & Korošec, R., 1 Jan 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. SciTePress 2013, Vol. 2018-January. p. 642-651 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

DSL
Industrial research

Adapting unit tests by generating combinatorial test data

Felbinger, H., Wotawa, F. & Nica, M., 16 Jul 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Institute of Electrical and Electronics Engineers, p. 352-355 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fault detection
Concretes
Testing

Adaptive System for Autonomous Driving

Wotawa, F. & Zimmermann, M., 9 Aug 2018, Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. Institute of Electrical and Electronics Engineers, p. 519-525 7 p. 8432021

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Adaptive systems
Availability
Sensors

A Driving License for Intelligent Systems

Kandlhofer, M. & Steinbauer, G., 2018, AAAI Conference on Artificial Intelligence, Symposium on Educational Advances in Artificial Intelligence. New Orleans, USA

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Agile Challenges and Chances for Open Source: Lessons Learned from Managing a FLOSS Project

Müller, M., 21 Nov 2018, 2018 IEEE Conference on Open Systems (ICOS). Langkawi, Malaysia: Institute of Electrical and Electronics Engineers, p. 1-6 6 p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

​An Autonomous Vehicle for Parcel Delivery in Urban Areas

Buchegger, A., Lassnig, K., Loigge, S., Mühlbacher, C. & Steinbauer, G., 2018, 21st IEEE International Conference on Intelligent Transportation Systems. IEEE Xplore, p. 2961-2967

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Note on Planar Monohedral Tilings

Aichholzer, O., Kerber, M., Talata, I. & Vogtenhuber, B., 2018, Proc. 34th European Workshop on Computational Geometry EuroCG '18. Berlin, Germany, p. 31:1-31:6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Arrangements of pseudocircles: Triangles and drawings

Felsner, S. & Scheucher, M., 1 Jan 2018, Graph Drawing and Network Visualization - 25th International Symposium, GD 2017, Revised Selected Papers. Springer Verlag Heidelberg, p. 127-139 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10692 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Triangle
Arrangement
Pairwise
Simple Closed Curve
Lower bound

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing

Automated Identification of Type-Specific Dependencies between Requirements

Atas, M., Samer, R. & Felfernig, A., 2018, 2018 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2018, Santiago, Chile, December 3-6, 2018. p. 688-695 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bounded Synthesis of Register Transducers

Khalimov, A., Maderbacher, B. & Bloem, R., 2018, Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018. Lahiri, S. & Wang, C. (eds.). p. 494-510 17 p. ( Lecture Notes in Computer Science; vol. 11138).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

CLUSTER AND LEARN: Cluster-Specific Heuristics for Graph Coloring

Polat Erdeniz, S. & Felfernig, A., 2018, 12th International Conference on the Practice and Theory of Automated Timetabling (PATAT'18). p. 401-404 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Combining spreadsheet smells for improved fault prediction

Koch, P., Schekotihin, K., Jannach, D., Hofer, B., Wotawa, F. & Schmitz, T., 27 May 2018, Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2018. IEEE Computer Society, 1998, p. 25-28 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Spreadsheets
Adaptive boosting
Learning systems
Software engineering
Industry

Configuring Release Plans

Felfernig, A., Spöcklberger, J., Samer, R., Stettinger, M., Atas, M., Tiihonen, J. & Raatikainen, M., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 9-14 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Cost Benefit Analysis in Product Configuration Systems (short paper)

Shafiee, S., Felfernig, A., Hvam, L., Piroozfar, P. & Forza, C., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 37-40 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Development of a Protocol for Automated Glucose Measurement Transmission Used in Clinical Decision Support Systems Based on the Continua Design Guidelines

Meyer, M., Donsa, K., Truskaller, T., Frohner, M., Pohn, B., Felfernig, A., Sinner, F. & Pieber, T. R., 2018, Health Informatics Meets eHealth - Biomedical Meets eHealth - From Sensors to Decisions - Proceedings of the 12th eHealth Conference, eHealth 2018, Vienna, Austria, May 2018. p. 132-139 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

Catlin, D., Kandlhofer, M. & Holmquist, S., 2018, Robotics in Education 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

EduRobot Taxonomy and Papert’s Paradigm

Catlin, D., Kandlhofer, M., Holmquist, S., Csizmadia, A. P., Angel-Fernandez, J. & Cabibihan, J-J., 2018, Constructionism 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Enabling Teenagers to Create and Share Apps

Müller, M., Schindler, C., Luhana, K. K. & Slany, W., 21 Nov 2018, 2018 IEEE Conference on Open Systems (ICOS). Langkawi, Malaysia: Institute of Electrical and Electronics Engineers, p. 25-30 6 p. 5

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Extending Document Exploration with Image Retrieval: Concept and First Results

Shao, L., Glatz, M., Gergely, E., Müller, M., Munter, D., Papst, S. & Schreck, T., 2018, Poster at IEEE/VGTC Conference on Visualization (EuroVis).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Extending the Centerpoint Theorem to Multiple Points

Pilz, A. & Schnider, P., 2018, Proc. 29th International Symposium on Algorithms and Computation (ISAAC 2018). Schloss Dagstuhl, Leibniz-Zentrum fü Informatik GmbH, Vol. 123. p. 53:1-53:13 13 p. 53

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Formal Verification of Masked Hardware Implementations in the Presence of Glitches

Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Vol. 10821. p. 321-353 33 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Gaining efficiency in human assisted transcription and speech annotation in legislative proceedings

Ruprechter, T., Khosmood, F., Kuboi, T., Dekhtyar, A. & Gütl, C., 30 May 2018, Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age, DG.O 2018. Association of Computing Machinery, a117

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Transcription

Generating Configuration Models from Requirements to Assist in Product Management - Dependency Engine and its Performance Assessment

Tiihonen, J., Raitahila, I., Raatikainen, M., Felfernig, A. & Männistö, T., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 69-76 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Group Decision Support for Requirements Management Processes

Samer, R., Atas, M., Felfernig, A., Stettinger, M., Falkner, A. A. & Schenner, G., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 19-24 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Holes in 2-convex point sets

Aichholzer, O., Balko, M., Hackl, T., Pilz, A., Ramos, P., Valtr, P. & Vogtenhuber, B., 1 Jan 2018, Combinatorial Algorithms - 28th International Workshop, IWOCA 2017, Revised Selected Papers. Springer Verlag Heidelberg, Vol. 10765. p. 169-181 13 p. (Lecture Notes in Computer Science ; vol. 10765 ).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Point Sets
Convex Sets
Interior
Simple Polygon
Integer

How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols

Aichernig, B. K. & Schumi, R. A., 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model checking
Network protocols
Testing
Chemical analysis
Internet of things

How to fit a tree in a box

Akitaya, H. A., Löffler, M. & Parada, I., 1 Jan 2018, Graph Drawing and Network Visualization - 26th International Symposium, GD 2018, Proceedings. Springer Verlag Heidelberg, p. 361-367 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11282 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Binary trees
Binary Tree
Grid
Straight Line
NP-complete problem

In pursuit of a dynamic tree decomposition

Iacono, J. & Vogtenhuber, B., 2018, Proceedings of the of the 21st Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2018). Manila, Philippines, p. 23-25 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

Investigating Serial Position Effects in Sequential Group Decision Making

Tran, T. N. T., Atas, M., Felfernig, A., Samer, R. & Stettinger, M., 2018, Proceedings of the 26th Conference on User Modeling, Adaptation and Personalization, UMAP 2018, Singapore, July 08-11, 2018. p. 239-243 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

It's in your pocket: A MOOC about programming for kids and the role of OER in teaching and learning contexts

Grandl, M., Ebner, M., Slany, W. & Janisch, S., 27 Apr 2018, Conference Proceeding Open Education Global Conference. Delft, 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Lazy Conflict Detection with Genetic Algorithms

Uran, C. & Felfernig, A., 2018, Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings. p. 175-186 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

LearnDiag: A Direct Diagnosis Algorithm Based On Learned Heuristics

Polat Erdeniz, S. & Felfernig, A., 2018, Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz - KI'18). p. 190-197 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning to program in a constructionist way

Mattia Monga, Michael Lodi, Dario Malchiodi, Anna Morpurgo & Spieler, B., 22 Aug 2018, Constructionism: Constructionism, Computational thinking and Educational Innovation. p. 888 - 911 23 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Liquid Democracy in Group-based Configuration

Atas, M., Tran, T. N. T., Samer, R., Felfernig, A., Stettinger, M. & Fucci, D., 2018, Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018.. p. 93-98 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Lombardi Drawings of Knots and Links

Kindermann, P., Kobourov, S., Löffler, M., Nöllenburg, M., Schulz, A. & Vogtenhuber, B., 2018, Proceedings of the 25th International Symposium on Graph Drawing (GD 2017). Frati, F. & Ma, K-L. (eds.). Boston, MA, USA: Springer, Cham, p. 113-126 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Minimal Geometric Graph Representations of Order Types

Aichholzer, O., Balko, M., Hoffmann, M., Kyncl, J., Mulzer, W., Parada, I., Pilz, A., Scheucher, M., Valtr, P., Vogtenhuber, B. & Welzl, E., 2018, 34th European Workshop on Computational Geometry (EuroCG '18): Extended Abstracts. Berlin, Germany, p. 21:1-21:6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model

Pill, I. & Wotawa, F., 6 Jan 2018, 28th International Workshop on Principles of Diagnosis (DX'17). EasyChair Ltd, p. 248-263 16 p. (Kalpa Publications in Computing; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Needs and challenges for a platform to support large-scale requirements engineering: a multiple-case study

Fucci, D., Palomares, C., Franch, X., Costal, D., Raatikainen, M., Stettinger, M., Kurtanovic, Z., Kojo, T., Koenig, L., Falkner, A. A., Schenner, G., Brasca, F., Männistö, T., Felfernig, A. & Maalej, W., 2018, Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, Oulu, Finland, October 11-12, 2018. p. 19:1-19:10

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review