• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

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. 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

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. (Hrsg.). S. 494-510 17 S. ( Lecture Notes in Computer Science; Band 11138).

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

Chatbot-based tourist recommendations using model-based reasoning

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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). S. 401-404 5 S.

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

Combining spreadsheet smells for improved fault prediction

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

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

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, S. 28 - 32

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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.. S. 9-14 6 S.

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

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.. S. 37-40 4 S.

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

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. S. 132-139 8 S.

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

Diagnosing Discrete Event Systems Using Nominal Models Only

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Open Access

Diagnosis as a service

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

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

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 Dez 2018, in : Energy. S. 1326-1340

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Pipe
Feedback
Carbon
Industry

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

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

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

EduRobot Taxonomy: A Provisional Schema for Classifying Educational Robots

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

Publikation: KonferenzbeitragPosterForschungBegutachtung

EduRobot Taxonomy and Papert’s Paradigm

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

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

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 25 Okt 2018, in : Journal of Automated Reasoning. S. 1 - 32 32 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Testing
Costs
Experiments

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

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

Evolutionary propositionalization of multi-relational data

Wotawa, F. & Kassarnig, V., 2018.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Evolutionary Propositionalization of Multi- Relational Data

Wotawa, F. & Kassarnig, V., 2018, in : International journal of software engineering and knowledge engineering. S. 1739–1754

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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).

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

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, Band 123. S. 53:1-53:13 13 S. 53

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

Fault detection and localization using modelica and abductive reasoning

Pill, I. & Wotawa, F., 8 Mär 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Springer International Publishing AG , S. 45-72 28 S.

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

Female Teenagers and Coding: Create Gender Sensitive and Creative Learning Environments

Spieler, B. & Slany, W., Aug 2018, S. 625 - 636. 10 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

coding
learning environment
gender
teaching
decision making leeway

Folding Polyominoes into (Poly)Cubes

Aichholzer, O., Biro, M., Demaine, E., Demaine, M., Eppstein, D., Fekete, S. P., Hesterberg, A., Kostitsyna, I. & Schmidt, C., 2018, in : International Journal of Computational Geometry and Applications. 28, 3, S. 197-226 30 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access

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, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).

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

Open Access
Datei

Fragment-based spreadsheet debugging

Jannach, D., Schmitz, T., Hofer, B., Schekotihin, K., Koch, P. & Wotawa, F., 22 Dez 2018, in : Automated Software Engineering.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Spreadsheets
Decomposition
Testing

From Ontologies to Input Models for Combinatorial Testing

Wotawa, F. & Li, Y., 2018.

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

Ruprechter, T., Khosmood, F., Kuboi, T., Dekhtyar, A. & Gütl, C., 30 Mai 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

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

Transcription

Game Development-Based Learning Experience: Gender Differences in Game Design

Spieler, B. & Slany, W., 3 Okt 2018, S. 616-625. 8 S.

Publikation: KonferenzbeitragPaperForschungBegutachtung

Application programs
Curricula
Mechanics
Testing

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.. S. 69-76 8 S.

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

Graph Games and Reactive Synthesis

Bloem, R., Chatterjee, K. & Jobstmann, B., 2018, Handbook of Model Checking. Clark, E. M., Henzinger, T. A., Veith, H. & Bloem, R. (Hrsg.). Cham: Springer, S. 921-962 42 S.

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