Publikationen

Acoustic monitoring using PyzoFlex: a novel printed sensor for smart consumer products

Martin Blass, Florian Krebs, Clemens Amon , Manfred Adler, Martin Zirkl, Andreas Tschepp, Franz Graf

Article

11/2020

Smart Water Distribution System Communication Architecture Risk Analysis Using Formal Methods.

Stefana Krivokuća, B. Stojanovic, K. Hofer-Schmitz, Nataša Nešković, Aleksandar Nešković

11/2020

The Philae lander reveals low-strength primitive ice inside cometary boulders.

Laurence O’Rourke, Philip Heinisch, Jürgen Blum, Sonia Fornasier, Gianrico Filacchione, Hong Van Hoang, Mauro Ciarniello, Andrea Raponi, Bastian Gundlach, Rafael Andrés Blasco, Björn Grieger, Karl-Heinz Glassmeier, Michael Küppers, Alessandra Rotundi, Olivier Groussin, Dominique Bockelée-Morvan, Hans-Ulrich Auster, Nilda Oklay, Gerhard Paar, Maria del Pilar Caballo Perucha, Gabor Kovacs, Laurent Jorda, Jean-Baptiste Vincent, Fabrizio Capaccioni, Nicolas Biver, Joel Wm. Parker, Cecilia Tubiana & Holger Sierks

Scientific publication

10/2020

Security Verification and Analysis, Effective Verification Approaches in Complex IoT Environments to Ensure their Security

Heribert Vallant

10/2020

A Near Real-Time Method for Forest Change Detection Based on a Structural Time Series Model and the Kalman Filter

Martin Puhm, Janik Deutscher, Manuela Hirschmugl, Andreas Wimmer, Ursula Schmitt, Mathias Schardt

9/2020

Dynamic Buffer Sizing for Out-of-order Event Compensation for Time-sensitive Applications

Wolfgang Weiss, Víctor J. Expósito Jiménez, Herwig Zeiner

9/2020

IoT in der Produktion sicher im Griff

H. Vallant, K. Hofer-Schmitz, C. Derler

7/2020

Evaluation of SIMMARC: An Audiovisual System for the Detection of Near-Miss Accidents

Florian Krebs, Georg Thallinger, Helmut Neuschmied, Franz Graf, Georg Huber, Kurt Fallast, Peter Vertal, Eduard Kolla

6/2020

MIRA – A Gaze-based Serious Game for Continuous Estimation of Alzheimer's Mental State

Lucas Paletta, Martin Pszeida, Amir Dini, Silvia Russegger, Sandra Schuessler, Anna Jos, Eva Schuster, Josef Steiner, Maria Fellner

6/2020

Towards formal verification of IoT protocols: A review.

K. Hofer-Schmitz, B. Stojanovic

6/2020

The Effects of a Humanoid Socially Assistive Robot Versus Tablet Training on Psychosocial and Physical Outcomes of Persons With Dementia: Protocol for a Mixed Methods Study

Sandra Schüssler, Julia Zuschnegg, Lucas Paletta, Maria Fellner, Gerald Lodron, Josef Steiner, Sandra Pansy-Resch, Lara Lammer, Dimitrios Prodromou, Sebastian Brunsch, Magdalena Holter, Lorenzo Carnevale, Silvia Russegger

2/2020

Use of SAR and Optical Time Series for Tropical Forest Disturbance Mapping

Manuela Hirschmugl, Janik Deutscher, Carina Sobe, Alexandre Bouvet, Mathias Schardt , Stéphane Mermoz

1/2020

APT datasets and attack modeling for automated detection methods: A review.

B. Stojanovic, K. Hofer-Schmitz, U. Kleb

1/2020

Formal Verification of Connected Vehicles Protocols.

B. Stojanovic, K. Hofer-Schmitz

11/2019

Towards Formal Methods of IoT Application Layer Protocols.

K. Hofer-Schmitz, B. Stojanovic

11/2019

Mapping with Pleiades - End-to-end workflow

Roland Perko, Hannes Raggam , and Peter M. Roth

Publication

9/2019

Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing.

R. Ankele, S. Marksteiner, K. Nahrgang, H. Vallant

8/2019

Evaluation of Human-Robot Collaboration Using Gaze based Situation Awareness in Real-time

Lucas Paletta, Martin Pszeida, Harald Ganster, Ferdinand Fuhrmann, Wolfgang Weiss, Stefan Ladstätter, Amir Dini, Bernhard Reiterer, Inka Brijacak, Guido Breitenhuber , Sandra Murg , Harald Mayer

Publication

5/2019

1/2019

Wissenschaftliche Publikationen

Acoustic monitoring using PyzoFlex: a novel printed sensor for smart consumer products

Smart Water Distribution System Communication Architecture Risk Analysis Using Formal Methods.

The Philae lander reveals low-strength primitive ice inside cometary boulders.

Security Verification and Analysis, Effective Verification Approaches in Complex IoT Environments to Ensure their Security

A Near Real-Time Method for Forest Change Detection Based on a Structural Time Series Model and the Kalman Filter

Dynamic Buffer Sizing for Out-of-order Event Compensation for Time-sensitive Applications

IoT in der Produktion sicher im Griff

Evaluation of SIMMARC: An Audiovisual System for the Detection of Near-Miss Accidents

MIRA – A Gaze-based Serious Game for Continuous Estimation of Alzheimer's Mental State

Towards formal verification of IoT protocols: A review.

The Effects of a Humanoid Socially Assistive Robot Versus Tablet Training on Psychosocial and Physical Outcomes of Persons With Dementia: Protocol for a Mixed Methods Study

Use of SAR and Optical Time Series for Tropical Forest Disturbance Mapping

APT datasets and attack modeling for automated detection methods: A review.

Formal Verification of Connected Vehicles Protocols.

Towards Formal Methods of IoT Application Layer Protocols.

Mapping with Pleiades - End-to-end workflow

Requirements and Recommendations for IoT/IIoT Models to automate Security Assurance through Threat Modelling, Security Analysis and Penetration Testing.

Evaluation of Human-Robot Collaboration Using Gaze based Situation Awareness in Real-time

Time-Aware Knowledge Graphs for Decision Making in the Building Industry

Automatically Determining a Network Reconnaissance Scope Using Passive Scanning Techniques

AAL-Pilot Concepts in Carinthia and Styria.

Face Swapping for Solving Collateral Privacy Issues in Multimedia Analytics

Mapping with Pleiades

Multiple view geometry in remote sensing: An empirical study based on Pleiades satellite images

South Austrian Seniors “vs.” ICT for Healthcare in AAL Pilot Regions.