Publikationen

Formal Modeling: A Step Forward to Cyber Secure Connected Car Systems

Branka Stojanovic, Katharina Hofer-Schmitz, Heribert Vallant, Christian Derler, Kai Nahrgang

Publication

6/2021

Threat Modelling and Beyond-Novel Approaches to Cyber Secure the Smart Energy System

Heribert Vallant, Branka Stojanovic, Josip Bozic, Katharina Hofer-Schmitz

6/2021

The Influence of Feature Sets on the Detection of Advanced Persistent Threats

Katharina Hofer-Schmitz, Branka Stojanovic, Ulrike Kleb

3/2021

Viability and Sustainability Assessment of Bioenergy Value Chains on Underutilised Lands in the EU and Ukraine

Cosette Khawaja, Rainer Janssen, Rita Mergner, Dominik Rutz, Marco Colangeli, Lorenzo Traverso, Maria Michela Morese, Manuela Hirschmugl, Carina Sobe, Alfonso Calera, David Cifuentes, Stefano Fabiani, Giuseppe Pulighe, Tiziana Pirelli, Guido Bonati, Oleksandra Tryboi, Olha Haidai, Raul Köhler, Dirk Knoche, Rainer Schlepphorst, Peter Gyuris

3/2021

Follow the Trail: Machine Learning for Fraud Detection in Fintech Applications

B. Stojanovic, J. Bozic, K. Hofer-Schmitz

2/2021

Two Stage Anomaly Detection for Network Intrusion Detection

Helmut Neuschmied, Martin Winter, Katharina Hofer-Schmitz, Branka Stojanovic, Ulrike Kleb

Scientific publication

2/2021

Von der Theorie zur Praxis – Unterstützende Technologien in Anwendung? Was Active and Assisted Living zum längeren Verbleib im häuslichen Umfeld beitragen kann.

K. Löffler, S. Murg, K. Majcen , W. Kratky, G. Hartinger

1/2021

Pan-European Mapping of Underutilized Land for Bioenergy Production

Manuela Hirschmugl, Carina Sobe, Cosette Khawaja, Rainer Janssen, Lorenzo Traverso.

12/2020

Critical Aspects of Person Counting and Density Estimation

Roland Perko, Manfred Klopschitz, Alexander Almer, Peter M. Roth.

12/2020

Playful multimodal activation with assessment of neuropsychological profiles in Alzheimer’s disease

Lucas Paletta, Silvia Russegger, Martin Pszeida, Sandra Murg , Thomas Orgel, Amir Dini, Anna Jos, Eva Schuster, Ernst HW Koster, Josef Steiner, Maria Fellner

12/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

9/2019

Wissenschaftliche Publikationen

Formal Modeling: A Step Forward to Cyber Secure Connected Car Systems

Threat Modelling and Beyond-Novel Approaches to Cyber Secure the Smart Energy System

The Influence of Feature Sets on the Detection of Advanced Persistent Threats

Viability and Sustainability Assessment of Bioenergy Value Chains on Underutilised Lands in the EU and Ukraine

Follow the Trail: Machine Learning for Fraud Detection in Fintech Applications

Two Stage Anomaly Detection for Network Intrusion Detection

Von der Theorie zur Praxis – Unterstützende Technologien in Anwendung? Was Active and Assisted Living zum längeren Verbleib im häuslichen Umfeld beitragen kann.

Pan-European Mapping of Underutilized Land for Bioenergy Production

Critical Aspects of Person Counting and Density Estimation

Playful multimodal activation with assessment of neuropsychological profiles in Alzheimer’s disease

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