Michael Hafner

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 5

Top Topics

Autonomous Driving

Optical Coherence Tomography

Trajectory Planning

Top Venues

IEEE Trans. Geosci. Remote. Sens.

Publications

Yousaf Rahman, Abhishek Sharma, Mrdjan Jankovic, Mario A. Santillo, Michael Hafner
Driver Intent Prediction and Collision Avoidance With Barrier Functions. IEEE CAA J. Autom. Sinica 10 (2) (2023)
Valentin Koch, Olle G. Holmberg, Hannah Spitzer, Johannes Schiefelbein, Ben Asani, Michael Hafner, Fabian J. Theis
Noise Transfer for Unsupervised Domain Adaptation of Retinal OCT Images. MICCAI (2) (2022)
Subramanya Nageshrao, Yousaf Rahman, Vladimir Ivanovic, Mrdjan Jankovic, H. Eric Tseng, Michael Hafner, Dimitar P. Filev
Robust AI Driving Strategy for Autonomous Vehicles. CoRR (2022)
Valentin Koch, Olle G. Holmberg, Hannah Spitzer, Johannes Schiefelbein, Ben Asani, Michael Hafner, Fabian J. Theis
Noise transfer for unsupervised domain adaptation of retinal OCT images. CoRR (2022)
Lukas Schneider, Michael Hafner, Uwe Franke
The Stixel world - A comprehensive representation of traffic scenes for autonomous driving. Autom. 66 (9) (2018)
Michael Hafner, Tom E. Pilutti
Dynamic trajectory planning for trailer backup. SMC (2014)
Cesar O. Guaitiao, Michael Hafner, Sergio K. Sobarzo, Stefan Riepl, Sergio N. Torres, Felipe Pedreros, Luis E. Arias
Two-Color Satellite Laser Ranging Measurements at 10 Hz and 100 Hz at TIGO. IEEE Trans. Geosci. Remote. Sens. 52 (8) (2014)
Ruth Breu, Berthold Agreiter, Matthias Farwick, Michael Felderer, Michael Hafner, Frank Innerhofer-Oberperfler
Living Models - Ten Principles for Change-Driven Software Engineering. Int. J. Softw. Informatics 5 (1-2) (2011)
Michael Hafner
Modeling and Managing System Evolution - Description of EternalS Task Force 2. ISoLA (2) (2010)
Basel Katt, Michael Hafner, Xinwen Zhang
A usage control policy specification with Petri nets. CollaborateCom (2009)
Basel Katt, Michael Hafner, Xinwen Zhang
Building a stateful reference monitor with coloured petri nets. CollaborateCom (2009)
Michael Hafner, Mukhtiar Memon, Ruth Breu
SeAAS - A Reference Architecture for Security Services in SOA. J. Univers. Comput. Sci. 15 (15) (2009)
Mukhtiar Memon, Michael Hafner, Ruth Breu
Security as a Service - A Reference Architecture for SOA Security. WOSIS (2009)
Basel Katt, Xinwen Zhang, Michael Hafner
Towards a Usage Control Policy Specification with Petri Nets. OTM Conferences (2) (2009)
Jan Mendling, Michael Hafner
From WS-CDL choreography to BPEL process orchestration. J. Enterp. Inf. Manag. 21 (5) (2008)
Berthold Agreiter, Michael Hafner, Ruth Breu
A fair Non-repudiation service in a web services peer-to-peer environment. Comput. Stand. Interfaces 30 (6) (2008)
Basel Katt, Ruth Breu, Michael Hafner, Thomas Schabetsberger, Richard Mair, Florian Wozak
Privacy and Access Control for IHE-Based Systems. eHealth (2008)
Mukhtiar Memon, Michael Hafner, Ruth Breu
SECTISSIMO: A Platform-Independent Framework for Security Services. MODSEC@MoDELS (2008)
Basel Katt, Xinwen Zhang, Ruth Breu, Michael Hafner, Jean-Pierre Seifert
A general obligation model and continuity: enhanced policy enforcement engine for usage control. SACMAT (2008)
Muhammad Alam, Michael Hafner, Ruth Breu
Constraint based role based access control in the SECTET-frameworkA model-driven approach. J. Comput. Secur. 16 (2) (2008)
Ruth Breu, Michael Hafner, Frank Innerhofer-Oberperfler, Florian Wozak
Model-Driven Security Engineering of Service Oriented Systems. UNISCON (2008)
Muhammad Alam, Ruth Breu, Michael Hafner
Model-Driven Security Engineering for Trust Management in SECTET. J. Softw. 2 (1) (2007)
Berthold Agreiter, Michael Hafner, Ruth Breu
A Fair Non-repudiation Service in a Web Services Peer-to-Peer Environment. WOSIS (2007)
Berthold Agreiter, Muhammad Alam, Ruth Breu, Michael Hafner, Alexander Pretschner, Jean-Pierre Seifert, Xinwen Zhang
A technical architecture for enforcing usage control requirements in service-oriented architectures. SWS (2007)
Muhammad Alam, Michael Hafner, Ruth Breu, Stefan Unterthiner
A framework for modelling restricted delegation of rights in the SECTET. Comput. Syst. Sci. Eng. 22 (5) (2007)
Michael Hafner, Mukhtiar Memon, Muhammad Alam
Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet. MoDELS (Workshops) (2007)
Muhammad Alam, Michael Hafner, Ruth Breu
A constraint based role based access control in the SECTET a model-driven approach. PST (2006)
Muhammad Alam, Ruth Breu, Michael Hafner
Modeling permissions in a (U/X)ML world. ARES (2006)
Michael Hafner, Ruth Breu, Berthold Agreiter, Andrea Nowak
SECTET - An Extensible Framework for the Realization of Secure Inter-Organizational Workflows. WOSIS (2006)
Michael Hafner, Muhammad Alam, Ruth Breu
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security. MoDELS (2006)
Muhammad Alam, Michael Hafner, Ruth Breu, Stefan Unterthiner
A Framework for Modeling Restricted Delegation in Service Oriented Architecture. TrustBus (2006)
Michael Hafner, Ruth Breu, Berthold Agreiter, Andrea Nowak
Sectet: an extensible framework for the realization of secure inter-organizational workflows. Internet Res. 16 (5) (2006)
Andrea Nowak, Michael Hafner, Michael Breu, Ruth Breu
Modelling Inter-organizational Workflow Security in a Peer-to-Peer Environment. I-ESA (2006)
Muhammad Alam, Michael Hafner, Ruth Breu
Modeling Authorization in an SOA based Application Scenario. IASTED Conf. on Software Engineering (2006)
Muhammad Alam, Michael Hafner, Ruth Breu
Constraint based role based access control (CRBAC) for restricted administrative delegation constraints in the SECTET. PST (2006)
Michael Hafner, Michael Breu, Ruth Breu, Andrea Nowak
Modelling Inter-organizational Workflow Security in a Peer-to-Peer Environment. ICWS (2005)
Ruth Breu, Michael Breu, Michael Hafner, Andrea Nowak
Web Service Engineering - Advancing a New Software Engineering Discipline. ICWE (2005)
Ruth Breu, Michael Hafner, Barbara Weber, Andrea Nowak
Model Driven Security for Inter-organizational Workflows in e-Government. TCGOV (2005)
Michael Hafner, Ruth Breu
Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0. MoDELS (2005)
Michael Hafner, Ruth Breu, Michael Breu
A Security Architecture for Inter-Organizational Workflows: Putting Security Standards for Web Services Together. ICEIS (3) (2005)
Jan Mendling, Michael Hafner
From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. OTM Workshops (2005)
Ruth Breu, Michael Hafner, Barbara Weber
Modeling and Realizing Security-Critical Inter-Organizational Workflows. IASSE (2004)
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard Popp
Towards a Systematic Development of Secure Systems. Inf. Secur. J. A Glob. Perspect. 13 (3) (2004)
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard Popp
Towards a Systematic Development of Secure Systems. WOSIS (2004)
Michael Hafner, Crina Vlad, Susanne Töpfer
Calculating optimized IC-engine control maps using hinging hyperplane trees. ECC (2001)