• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 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 Mai 2019, in : IEEE Software. 36, 3, S. 55-60 6 S., 8409423.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Ecosystems
Information systems
Engines
Open source software

An Approach to Test Classification in Big Android Applications

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Testing

Better Android Apps using Android Vitals

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Constraint-Based Testing of An Industrial Multi-Robot Navigation System

Mühlbacher, C., Steinbauer, G., Reip, M. & Gspandl, S., 2019, 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). S. 129-137

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Navigation systems
Robots
Testing
Navigation
Economics

Contributors' Impact on a FOSS Project's Quality

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 51-61 11 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Order Type
Cross section
Configuration
Line
Straight Line

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

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Diagnosing Sequential Circuits as Boolean Satisfaction

Feldman, A., Pill, I., Wotawa, F., Matei, I. & de Kleer, J., 2019. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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. (Hrsg.). Cham: Springer Nature, S. 333-338

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

Enabling the Creation of Intelligent Things: Bringing Artificial Intelligence and Robotics to Schools

Kandlhofer, M., Steinbauer, G., Laßnig, J. P., Baumann, W., Plomer, S., Ballagi, A. & Alfoldi, I., 2019, (Angenommen/In Druck) IEEE Conference on Frontiers in Education (FIE) 2019.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 7721-7730 10 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei
student
university
project organization
project management
software development

Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning

Pill, I. & Wotawa, F., 2019. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Gender Gap? A Snapshot of a Bachelor Computer Science Course at Graz University of Technology

Schindler, C. & Müller, M., Sep 2019, ECSA '19 - Proceedings of the 13th European Conference on Software Architecture . Association of Computing Machinery, Band 2. S. 100-104 5 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

bachelor
computer science
gender
programming
rating

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. (Hrsg.). S. 38-43 (IFIP Advances in Information and Communication Technology; Band 556).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Learned Constraint Ordering for Consistency Based Direct Diagnosis

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Lifting Robot Exploration to 3D Environments

Stradner, M. & Steinbauer, G., 2019. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Managing the Open Cathedral

Müller, M., 2019, Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association of Computing Machinery, S. 1176-1179 4 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Matrix Factorization based Heuristics for Constraint-based Recommenders

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

MINT-Robo: Empowering Gifted High School Students with Robotics

Kandlhofer, M., Steinbauer, G., Menzinger, M., Halatschek, R., Kemeny, F. & Landerl, K., 2019, (Angenommen/In Druck) IEEE Conference on Frontiers in Education (FIE) 2019.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Novel Variable and Value Ordering Heuristics for Solving Precoloring Extension Problems

Polat Erdeniz, S., Felfernig, A. & Atas, M., 2019, (Eingereicht) in : Annals of Operations Research. 16 S.

Publikation: Beitrag in einer FachzeitschriftSonderheftForschungBegutachtung

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 S., 6.

Publikation: Beitrag in einer FachzeitschriftReview eines Fachbereichs (Review article)ForschungBegutachtung

Open Access
Datei
information system
community
Values
innovation
software

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

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Pocket Code - A Mobile Visual Programming Framework For App Development

Müller, M., Schindler, C. & Slany, W., 29 Aug 2019, 2019 IEEE/ACM 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Probabilistic black-box reachability checking (extended version)

Aichernig, B. & Tappler, M., 2019, in : Formal methods in system design. 33 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

Recommender Systems for IoT Enabled Quantified-Self Applications

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Streamlining Value in a FOSS Project

Müller, M., Vorraber, W., Herold, M., Schindler, C., Slany, W. & Tanaka, K., Sep 2019, Proceeding ECSA '19 Proceedings of the 13th European Conference on Software Architecture - Volume 2 Pages 231-234 . Association of Computing Machinery, 4 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B., Larsen, K. G. & Lorber, F., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, S. 216 - 235 20 S. (Lecture Notes in Computer Science; Band 11750).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. (Hrsg.). Springer, Cham, S. 700-713 14 S. (Lecture Notes in Computer Science; Band 11606).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Learning systems
Robots
Mobile robots
Classifiers

“Computer Science for all”: Concepts to engage teenagers and non-CS students in technology

Spieler, B., Grandl, M., Ebner, M. & Slany, W., 1 Sep 2019, (Angenommen/In Druck) Conference Proceeding ECGBL 2019. Odense, 9 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
2018

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

Zanella, M. (Hrsg.), Pill, I. (Hrsg.) & Cimatti, A. (Hrsg.), 6 Jan 2018, EasyChair Ltd. 312 S. (Kalpa Publications in Computing; Band 4)

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)ForschungBegutachtung

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. Band 1. S. 547-564 18 S. (Lecture Notes in Computer Science; Band 10980).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Band 2018-January. S. 642-651 10 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 352-355 4 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 519-525 7 S. 8432021

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Adaptive systems
Availability
Sensors

A Driving License for Intelligent Systems

Kandlhofer, M. & Steinbauer, G., 2018.

Publikation: KonferenzbeitragPosterForschungBegutachtung

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mär 2018, in : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, S. 1-40 40 S.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

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, S. 1-6 6 S. 1

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

​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, S. 2961-2967

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 31:1-31:6

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 1-25 15 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. S. 1-22 22 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Network management
Telecommunication networks
Scheduling
Robots

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, R. & Wotawa, F., 1 Mai 2018, in : Applied Intelligence. S. 1–19 19 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 127-139 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10692 LNCS).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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.

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Datei
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. (Hrsg.). IEEE CS, S. 130 - 138 9 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Testing

Automated generation of (F)LTL oracles for testing and debugging

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. S. 688-695 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 2482-2492 11 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung