• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2019

Analyzing and Managing Complex Software Ecosystems: A Framework to Understand Value in Information Systems

Vorraber, W., Müller, M., Voessner, S. & Slany, W., 1 May 2019, In : IEEE Software. 36, 3, p. 55-60 6 p., 8409423.

Research output: Contribution to journalArticleResearchpeer-review

Ecosystems
Information systems
Engines
Open source software

Cross-sections of line configurations in $R^3$ and $(d-2)$-flat configurations in $R^d$

Aichholzer, O., Fabila-Monroy, R., Hurtado, F., Perez-Lantero, P., Ruiz-Vargas, A. J., Urrutia Galicia, J. & Vogtenhuber, B., 2019, In : Computational Geometry: Theory and Applications. 77, p. 51-61 11 p.

Research output: Contribution to journalArticleResearchpeer-review

Order Type
Cross section
Configuration
Line
Straight Line

CSPHeuristix: A Learning-based Heuristics Library for Constraint Satisfaction Problems

Polat Erdeniz, S. & Felfernig, A., 2019, (Submitted) In : Journal of Intelligent Information Systems.

Research output: Contribution to journalArticleResearchpeer-review

EduRobot Taxonomy

Catlin, D., Kandlhofer, M., Cabibihan, J-J., Angel-Fernandez, J., Holmquist, S. & Csizmadia, A. P., 28 Jun 2019, Smart Learning with Educational Robotics: Using Robots to Scaffold Learning Outcomes. Daniela, L. (ed.). Cham: Springer Nature, p. 333-338

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-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).

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

Novel Variable and Value Ordering Heuristics for Solving Precoloring Extension Problems

Polat Erdeniz, S., Felfernig, A. & Atas, M., 2019, (Submitted) In : Annals of Operations Research. 16 p.

Research output: Contribution to journalSpecial issueResearchpeer-review

Open Principles in New Business Models for Information Systems

Müller, M., Vorraber, W. & Slany, W., 2019, In : Journal of Open Innovation: Technology, Market, and Complexity. 5, 1, 13 p., 6.

Research output: Contribution to journalReview articleResearchpeer-review

Open Access
File
Business model
Information systems
New business
Open source software
Open source

Phänomen Open Source - Wertschöpfung durch Offenheit und Zusammenarbeit

Müller, M. & Slany, W., Apr 2019, In : WING-Business. 2019, 1, p. 25-27 3 p.

Research output: Contribution to journalArticleResearch

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

Recommender Systems for IoT Enabled Quantified-Self Applications

Polat Erdeniz, S., Felfernig, A. & Tran, T. N. T., 2019, (Submitted) In : Evolving Systems.

Research output: Contribution to journalArticleResearchpeer-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

28th International Workshop on Principles of Diagnosis (DX'17)

Zanella, M. (ed.), Pill, I. (ed.) & Cimatti, A. (ed.), 6 Jan 2018, EasyChair Ltd. 312 p. (Kalpa Publications in Computing; vol. 4)

Research output: Book/ReportAnthologyResearchpeer-review

Open Access

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.

Research output: Contribution to conferencePosterResearchpeer-review

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

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mar 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, p. 1-40 40 p.

Research output: Contribution to journalConference articleResearchpeer-review

Testing
Specifications
Software engineering
Network protocols
Formal specification

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

An overview of recommender systems in the internet of things

Felfernig, A., Polat Erdeniz, S., Uran, C., Reiterer, S., Atas, M. & Tran, T. N. T., 2018, In : Journal of Intelligent Information Systems. p. 1-25 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Anytime Diagnosis for Reconfiguration

Felfernig, A., Walter, R., Galindo, J., Benavides, D., Polat Erdeniz, S., Atas, M. & Reiterer, S., 1 Jan 2018, In : Journal of Intelligent Information Systems. p. 1-22 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Network management
Telecommunication networks
Scheduling
Robots

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, R. & Wotawa, F., 1 May 2018, In : Applied Intelligence. p. 1–19 19 p.

Research output: Contribution to journalArticleResearchpeer-review

Failure analysis
Learning systems
Classifiers
Economics
Costs

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

A Systematic Evaluation of Transient Execution Attacks and Defenses

Canella, C., Bulck, J. V., Schwarz, M., Lipp, M., Berg, B. V., Ortner, P., Piessens, F., Evtyushkin, D. & Gruss, D., 13 Nov 2018, In : arXiv.org e-Print archive.

Research output: Contribution to journalArticleResearch

File
Core meltdown
Firmware
Program processors
Acoustic waves
Industry

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 generation of (F)LTL oracles for testing and debugging

Pill, I. & Wotawa, F., 2018, In : The Journal of Systems and Software . 139, p. 124-141

Research output: Contribution to journalArticleResearchpeer-review

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

Bishellable drawings of $K_n$

Ábrego, B. M., Aichholzer, O., Fernández-Merchant, S., McQuillan, D., Mohar, B., Mutzel, P., Ramos, P., Richter, R. B. & Vogtenhuber, B., 2018, In : SIAM Journal on Discrete Mathematics. 32, 4, p. 2482-2492 11 p.

Research output: Contribution to journalArticleResearchpeer-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

Chatbot-based tourist recommendations using model-based reasoning

Wotawa, F., Nica, I-D. & Tazl, O., 2018.

Research output: Contribution to conferencePaperResearchpeer-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 Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System

Wotawa, F., 2018.

Research output: Contribution to conferencePaperResearchpeer-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

Computing Balanced Islands in Two Colored Point Sets in the Plane

Aichholzer, O., Atienza, N., Díaz-Báñez, J. M., Fabila-Monroy, R., Flores-Peñaloza, D., Pérez-Lantero, P., Vogtenhuber, B. & Urrutia Galicia, J., 2018, In : Information Processing Letters. 135, p. 28 - 32

Research output: Contribution to journalArticleResearchpeer-review

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

Diagnosing Discrete Event Systems Using Nominal Models Only

Pencole, Y., Mühlbacher, C., Steinbauer, G. & Trave-Massuyes, L., 6 Jan 2018, p. 169-183.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access

Diagnosis as a service

Wotawa, F., Peischl, B. & Koitz, R., 2018, Digital Marketplaces Unleashed. Springer Berlin - Heidelberg, p. 557-567 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Monitoring
Electronic data interchange
Wind turbines
Large scale systems
Industry

District energy systems: Modelling paradigms and general-purpose tools

Schweiger, G., Heimrath, R., Falay, B., O'Donovan, K., Nageler, P., Pertschy, R., Engel, G., Streicher, W. & Leusbrock, I., 1 Dec 2018, In : Energy. p. 1326-1340

Research output: Contribution to journalArticleResearchpeer-review

Pipe
Feedback
Carbon
Industry

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: A Provisional Schema for Classifying Educational Robots

Catlin, D., Kandlhofer, M. & Holmquist, S., 2018.

Research output: Contribution to conferencePosterResearchpeer-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