Faculty of Computer Science and Biomedical Engineering (7000)

  • 8010

    Inffeldgasse 10 Graz

    Austria

Research Output 1970 2019

Filter
Conference contribution
2019

Setup of a Temporary Makerspace for Children at University: MAKER DAYS for Kids 2018

Grandl, M., Ebner, M. & Strasser, A., 7 Aug 2019, Robotics in Education: Current Research and Innovations. Merdan, M., Lepuschitz, W., Koppensteiner, G., Balogh, R. & Obdrzálek, D. (eds.). Cham: Springer International Publishing AG , p. 406-418 13 p. (Advances in Intelligent Systems and Computing; vol. 1023).

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

industrial revolution
specialization
new technology
education
learning environment

SGXJail: Defeating Enclave Malware via Confinement

Weiser, S., Mayr, L., Schwarz, M. & Gruß, D., Sep 2019, (Accepted/In press) Research in Attacks, Intrusions and Defenses 2019.

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

Shading atlas streaming demonstration

Müller, J., Neff, T., Voglreiter, P., Mlakar, M., Steinberger, M. & Schmalstieg, D., 2019, ACM SIGGRAPH 2019 Emerging Technologies. Association of Computing Machinery, 22

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

Virtual reality
Demonstrations
Servers
Motion Picture Experts Group standards
Image quality

Simultaneous decoding of velocity and speed during executed and observed tracking movements: an MEG study

Kobler, R., Hirata, M., Hashimoto, H., Dowaki, R., Sburlea, A. I. & Müller-Putz, G., 18 Sep 2019, Proceedings of the 8th Graz Brain-Computer Interface Conference 2019: Bridging Science and Application. Müller-Putz, G., Ditz, J. & Wriessnegger, S. (eds.). Graz: Verlag der Technischen Universität Graz, p. 100-105 6 p.

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

Open Access
Biomechanical Phenomena
Decoding
Kinematics
Upper Extremity
Brain

SLIM-A Scalable and Lightweight Indoor-Navigation MAV as Research and Education Platform

Isop, W. A. & Fraundorfer, F., 2019, Robotics and Education: RiE 2019. Cham: Springer, p. 182-195 (Advances in Intelligent Systems and Computing; vol. 1023).

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

Navigation
Education
Antennas
Computer graphics
Computer vision

Small faults grow up - Verification of error masking robustness in arithmetically encoded programs

Karl, A. F., Schilling, R., Bloem, R. & Mangard, S., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer, p. 183-204 22 p. (Lecture Notes in Computer Science; vol. 11388).

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

Open Access
File
Masking
Fault
Robustness
Flip
Soft Error

Social interactions in game jams: A jammer recommender tool

Pirker, J., Punz, A. & Kopf, J., 26 Aug 2019, Proceedings of the 14th International Conference on the Foundations of Digital Games, FDG 2019. Khosmood, F., Pirker, J., Apperley, T. & Deterding, S. (eds.). Association of Computing Machinery, 71. (ACM International Conference Proceeding Series).

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

Socially-Aware Diagnosis for Constraint-Based Recommendation

Atas, M., Samer, R., Felfernig, A., Tran, T. N. T., Polat Erdeniz, S. & Stettinger, M., 2019, Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization. ACM/IEEE, p. 121-129

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

Software Testing: According to Plan!

Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Institute of Electrical and Electronics Engineers, p. 23-31 9 p.

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

Software testing
Planning
Testing
Intelligent agents
Artificial intelligence

Sparse-to-Dense Hypercolumn Matching for Long-Term Visual Localization

Germain, H., Bourmaud, G. & Lepetit, V., 2019, 2019 International Conference on 3D Vision (3DV). p. 513-523

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

Cameras

Spectre Attacks: Exploiting Speculative Execution

Kocher, P., Horn, J., Fogh, A., Genkin, D., Gruss, D., Haas, W., Hamburg, M., Lipp, M., Mangard, S., Prescher, T., Schwarz, M. & Yarom, Y., 20 May 2019, 40th IEEE Symposium on Security and Privacy.

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

Speed invariant time surface for learning to detect corner points with event-based cameras

Lepetit, V., Manderscheid, J., Sironi, A., Bourdis, N. & Migliore, D., 2019, Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition. p. 10245-10254

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

Cameras
Program processors
Experiments

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

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

Synthesis of Minimum-Cost Shields for Multi-agent Systems

Bharadwaj, S., Bloem, R., Dimitrova, R., Könighofer, B. & Topcu, U., 10 Jul 2019, 2019 American Control Conference (ACC). ACM/IEEE, p. 1048-1055 8 p.

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

Multi agent systems
Costs
Warehouses
Unmanned aerial vehicles (UAV)
Logistics

Synthesizing Reactive Systems Using Robustness and Recovery Specifications

Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 2019, (Accepted/In press) 2019 Formal Methods in Computer Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). IEEE CS, 5 p.

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

Specifications
Recovery

Tackling Data Inefficiency: Compressing the Bitcoin Blockchain

Marsalek, A., Zefferer, T., Fasllija, E. & Ziegler, D., 2019, 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE Trustcom-19).

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

Internet of things

Testing Chatbots Using Metamorphic Relations

Bozic, J. & Wotawa, F., 2019, Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer, p. 41-55 (Lecture Notes in Computer Science; vol. 11812).

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

The Data-Driven Business Value Matrix - A Classification Scheme for Data-Driven Business Models

Breitfuss, G., Fruhwirth, M., Pammer-Schindler, V., Stern, H. & Dennerlein, S. M., 2019, Proceedings of the 32nd Bled e-Conference.

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

TIMBER-V: Tag-Isolated Memory Bringing Fine-grained Enclaves to RISC-V

Weiser, S., Werner, M., Brasser, F., Malenko, M., Mangard, S. & Sadeghi, A-R., Feb 2019, (Accepted/In press) Network and Distributed System Security Symposium (NDSS) 2019.

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

Open Access
File

Time Discrete Geodesics in Deep Feature Spaces for Image Morphing

Effland, A., Kobler, E., Pock, T. & Rumpf, M., 2019, Scale Space and Variational Methods in Computer Vision: SSVM 2019. Lellmann, J., Burger, M. & Modersitzki, J. (eds.). Cham: Springer, p. 171-182 (Lecture Notes in Computer Science; vol. 11603).

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

Splines
Computer vision
Interpolation
Textures
Semantics

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, p. 216 - 235 20 p. (Lecture Notes in Computer Science; vol. 11750).

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

Towards Issue Recommendation for Open Source Communities

Samer, R., Felfernig, A. & Stettinger, M., 2019, IEEE/WIC/ACM International Conference on Web Intelligence. Thessaloniki, Greece: ACM/IEEE, p. 164-171 8 p. (WI '19).

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

Towards Social Choice-based Explanations in Group Recommender Systems

Tran, T. N. T., Atas, M., Felfernig, A., Le, V. M., Samer, R. & Stettinger, M., 2019, Proceedings of the 27th ACM Conference on User Modeling, Adaptation and Personalization. Larnaca, Cyprus: ACM/IEEE, p. 13-21 9 p.

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

Recommender systems

TPL: A Trust Policy Language

Mödersheim, S., Schlichtkrull, A., Wagner, G., More, S. & Alber, L., 19 Jul 2019, Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019. 1 ed. Copenhagen, Denmark: Springer, Vol. Trust Management XIII. p. 209-223

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

Open Access
Semantics
Acoustic waves

TrackCap: Enabling Smartphones for 3D Interaction on Mobile Head-Mounted Displays

Mohr-Ziak, P., Tatzgern, M., Langlotz, T., Lang, A., Schmalstieg, D. & Kalkofen, D., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. 585 p.

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

Smartphones
Display devices
Helmet mounted displays
Sensors

Trustworthy Privacy-Preserving Service Compositions

Theuermann, K., 31 Oct 2019, 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). p. 10-17 8 p.

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

Open Access
Chemical analysis
Transparency
Cryptography
Computer systems
Network protocols

Unleashing the Full Potential of Blockchain Technology for Security-Sensitive Business Applications

Marsalek, A., Kollmann, C., Zefferer, T. & Teufl, P., 1 May 2019, ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency. Institute of Electrical and Electronics Engineers, p. 394-402 9 p. 8751444

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

Industry
Data privacy
Security of data
Middleware
Privacy

Usability of Policy Authoring tools: A layered approach

Weinhardt, S. & Omolola, O., 2019, ICISSP 2019 - Proceedings of the 5th International Conference on Information Systems Security and Privacy. Mori, P., Camp, O. & Furnell, S. (eds.). Vol. 1. p. 301-308 8 p.

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

User Interfaces for Counteracting Decision Manipulation in Group Recommender Systems

Tran, T. N. T., Felfernig, A., Le, V. M., Atas, M., Stettinger, M. & Samer, R., 2019, Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. Larnaca, Cyprus: ACM/IEEE, p. 93-98 6 p. (UMAP'19 Adjunct).

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

Using model-based reasoning for enhanced chatbot communication

Tazl, O. A. & Wotawa, F., 1 Jan 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings. Wotawa, F., Pill, I., Koitz-Hristov, R., Friedrich, G. & Ali, M. (eds.). Springer Verlag, p. 791-798 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11606 LNAI).

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

Hotels
Inconsistency
Recommendations
Reasoning
Model-based

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

Weighted Combinatorial Sequence Testing for the TLS Protocol

Garn, B., Simos, D. E., Duan, F., Lei, Y., Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19). Institute of Electrical and Electronics Engineers

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

ZombieLoad: Cross-Privilege-Boundary Data Sampling

Schwarz, M., Lipp, M., Moghimi, D., Bulck, J. V., Stecklina, J., Prescher, T. & Gruss, D., 12 Nov 2019, (Accepted/In press) CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. ACM/IEEE

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

Program processors
Sampling
Faulting
Data storage equipment
Virtual machine

“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, (Accepted/In press) Conference Proceeding ECGBL 2019. Odense, 9 p.

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

Open Access
2018

3D Object Classification and Parameter Estimation based on Parametric Procedural Models

Getto, R., Fina, K., Jarms, L., Kuijper, A. & Fellner, D., 2018, WSCG 2018. Skala, V. (ed.). University of West Bohemia, (Computer Science Research Notes ; vol. 2801).

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

3D PixMix: Image-Inpainting in 3D Environments

Mori, S., Herling, J., Broll, W., Kawai, N., Saito, H., Schmalstieg, D. & Kalkofen, D., 2018, Adjunct Proceedings of the IEEE International Symposium for Mixed and Augmented Reality 2018.

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

3D Pose Estimation and 3D Model Retrieval for Objects in the Wild

Grabner, A., Roth, P. M. & Lepetit, V., 2018, Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition. 10 p.

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

Open Access
File
Geometry

A Benchmark for Distance Measurements

Krispel, U., Fellner, D. W. & Ullrich, T., 2018, International Conference on Cyberworlds 2018. p. 120-125 6 p.

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

Distance measurement
Acoustic waves

Acceleration of arterial spin labeling data using spatio-temporal total generalized variation (TGV) reconstruction

Spann, S. M., Aigner, C. S., Schlögl, M., Lesch, A. J., Bredies, K., Roppele, S., Pinter, D., Pirpamer, L. & Stollberger, R., 2018, Proc. Intl. Soc. Mag. Reson. Med. 26.

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

A Concept for Consensus-based Ordering of Views

Jentner, W., Jäckle, D., Engelke, U., Keim, D. & Schreck, T., 2018, EuroVis Workshop on Visual Analytics. Eurographics Assoc., p. 61-65 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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

Active safety effectiveness assessment by combination of traffic flow simulation and crash-simulation

Kolk, H., Tomasch, E., Haberl, M., Fellendorf, M., Moser, A., Rüther, M. & Mohr, L., 2018, (In preparation) International Conference "ESAR - Expert Symposium on Accident Research".

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

Flow simulation
Advanced driver assistance systems
Sensors
Accidents
Brakes

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 an open source social bookmarking system to observe critical information behaviour

Kopeinik, S., Eskandar, A., Ley, T., Albert, D. & Seitlinger, P. C., 2018, Learning and Education with Web Data (LILE 2018) - colocated with 10th ACM Conference on Web Science.

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

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 data mining strategy for the search and classification of gene expression data in cancer

Cuder, G. & Baumgartner, C., 2018, ÖGBMT Proceedings 2018.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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

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

Agile Smart-device based Multi-factor Authentication for Modern Identity Management Systems

Lenz, T. & Krnjic, V., 2018, Proceedings of the 14th International Conference on Web Information Systems and Technologies. Vol. 1. p. 113-124

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

Open Access