Michael Hafner

According to our database, Michael Hafner authored at least 41 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Driver Intent Prediction and Collision Avoidance With Barrier Functions.

Yousaf Rahman, Abhishek Sharma, Mrdjan Jankovic, Mario A. Santillo, Michael Hafner

IEEE CAA J. Autom. Sinica, 2023

2022

Robust AI Driving Strategy for Autonomous Vehicles.

Subramanya Nageshrao, Yousaf Rahman, Vladimir Ivanovic, Mrdjan Jankovic, H. Eric Tseng, Michael Hafner, Dimitar P. Filev

CoRR, 2022

Noise Transfer for Unsupervised Domain Adaptation of Retinal OCT Images.

Valentin Koch, Olle G. Holmberg, Hannah Spitzer, Johannes Schiefelbein, Ben Asani, Michael Hafner, Fabian J. Theis

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

2018

The Stixel world - A comprehensive representation of traffic scenes for autonomous driving.

Lukas Schneider, Michael Hafner, Uwe Franke

Autom., 2018

2014

Two-Color Satellite Laser Ranging Measurements at 10 Hz and 100 Hz at TIGO.

Cesar O. Guaitiao, Michael Hafner, Sergio K. Sobarzo, Stefan Riepl, Sergio N. Torres, Felipe Pedreros, Luis E. Arias

IEEE Trans. Geosci. Remote. Sens., 2014

Dynamic trajectory planning for trailer backup.

Michael Hafner, Tom E. Pilutti

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

2011

Living Models - Ten Principles for Change-Driven Software Engineering.

Ruth Breu, Berthold Agreiter, Matthias Farwick, Michael Felderer, Michael Hafner, Frank Innerhofer-Oberperfler

Int. J. Softw. Informatics, 2011

2010

Modeling and Managing System Evolution - Description of EternalS Task Force 2.

Michael Hafner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

SeAAS - A Reference Architecture for Security Services in SOA.

Michael Hafner, Mukhtiar Memon, Ruth Breu

J. Univers. Comput. Sci., 2009

Security as a Service - A Reference Architecture for SOA Security.

Mukhtiar Memon, Michael Hafner, Ruth Breu

Proceedings of the Security in Information Systems, 2009

Towards a Usage Control Policy Specification with Petri Nets.

Basel Katt, Xinwen Zhang, Michael Hafner

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

A usage control policy specification with Petri nets.

Basel Katt, Michael Hafner, Xinwen Zhang

Proceedings of the 5th International Conference on Collaborative Computing: Networking, 2009

Building a stateful reference monitor with coloured petri nets.

Basel Katt, Michael Hafner, Xinwen Zhang

Proceedings of the 5th International Conference on Collaborative Computing: Networking, 2009

Security engineering for service-oriented architectures.

Michael Hafner, Ruth Breu

Springer, ISBN: 978-3-540-79538-4, 2009

2008

From WS-CDL choreography to BPEL process orchestration.

Jan Mendling, Michael Hafner

J. Enterp. Inf. Manag., 2008

Constraint based role based access control in the SECTET-frameworkA model-driven approach.

Muhammad Alam, Michael Hafner, Ruth Breu

J. Comput. Secur., 2008

A fair Non-repudiation service in a web services peer-to-peer environment.

Berthold Agreiter, Michael Hafner, Ruth Breu

Comput. Stand. Interfaces, 2008

A general obligation model and continuity: enhanced policy enforcement engine for usage control.

Basel Katt, Xinwen Zhang, Ruth Breu, Michael Hafner, Jean-Pierre Seifert

Proceedings of the 13th ACM Symposium on Access Control Models and Technologies, 2008

SECTISSIMO: A Platform-Independent Framework for Security Services.

Mukhtiar Memon, Michael Hafner, Ruth Breu

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

Model-Driven Security Engineering of Service Oriented Systems.

Ruth Breu, Michael Hafner, Frank Innerhofer-Oberperfler, Florian Wozak

Proceedings of the Information Systems and e-Business Technologies, 2008

Privacy and Access Control for IHE-Based Systems.

Basel Katt, Ruth Breu, Michael Hafner, Thomas Schabetsberger, Richard Mair, Florian Wozak

Proceedings of the Electronic Healthcare, First International Conference, 2008

2007

Model-Driven Security Engineering for Trust Management in SECTET.

Muhammad Alam, Ruth Breu, Michael Hafner

J. Softw., 2007

A framework for modelling restricted delegation of rights in the SECTET.

Muhammad Alam, Michael Hafner, Ruth Breu, Stefan Unterthiner

Comput. Syst. Sci. Eng., 2007

A technical architecture for enforcing usage control requirements in service-oriented architectures.

Berthold Agreiter, Muhammad Alam, Ruth Breu, Michael Hafner, Alexander Pretschner, Jean-Pierre Seifert, Xinwen Zhang

Proceedings of the 4th ACM Workshop On Secure Web Services, 2007

Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet.

Michael Hafner, Mukhtiar Memon, Muhammad Alam

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

2006

Sectet: an extensible framework for the realization of secure inter-organizational workflows.

Michael Hafner, Ruth Breu, Berthold Agreiter, Andrea Nowak

Internet Res., 2006

A Framework for Modeling Restricted Delegation in Service Oriented Architecture.

Muhammad Alam, Michael Hafner, Ruth Breu, Stefan Unterthiner

Proceedings of the Trust and Privacy in Digital Business, Third International Conference, 2006

Constraint based role based access control (CRBAC) for restricted administrative delegation constraints in the SECTET.

Muhammad Alam, Michael Hafner, Ruth Breu

Proceedings of the 2006 International Conference on Privacy, 2006

A constraint based role based access control in the SECTET a model-driven approach.

Muhammad Alam, Michael Hafner, Ruth Breu

Proceedings of the 2006 International Conference on Privacy, 2006

Towards a MOF/QVT-Based Domain Architecture for Model Driven Security.

Michael Hafner, Muhammad Alam, Ruth Breu

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Modeling Authorization in an SOA based Application Scenario.

Muhammad Alam, Michael Hafner, Ruth Breu

Proceedings of the IASTED International Conference on Software Engineering, 2006

Modeling permissions in a (U/X)ML world.

Muhammad Alam, Ruth Breu, Michael Hafner

Proceedings of the The First International Conference on Availability, 2006

2005

Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0.

Michael Hafner, Ruth Breu

Proceedings of the Model Driven Engineering Languages and Systems, 2005

Model Driven Security for Inter-organizational Workflows in e-Government.

Ruth Breu, Michael Hafner, Barbara Weber, Andrea Nowak

Proceedings of the E-Government: Towards Electronic Democracy, International Conference, 2005

From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL.

Jan Mendling, Michael Hafner

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Modelling Inter-organizational Workflow Security in a Peer-to-Peer Environment.

Michael Hafner, Michael Breu, Ruth Breu, Andrea Nowak

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Web Service Engineering - Advancing a New Software Engineering Discipline.

Ruth Breu, Michael Breu, Michael Hafner, Andrea Nowak

Proceedings of the Web Engineering, 5th International Conference, 2005

A Security Architecture for Inter-Organizational Workflows: Putting Security Standards for Web Services Together.

Michael Hafner, Ruth Breu, Michael Breu

Proceedings of the ICEIS 2005, 2005

2004

Towards a Systematic Development of Secure Systems.

Ruth Breu, Klaus Burger, Michael Hafner, Gerhard Popp

Inf. Secur. J. A Glob. Perspect., 2004

Modeling and Realizing Security-Critical Inter-Organizational Workflows.

Ruth Breu, Michael Hafner, Barbara Weber

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2001

Calculating optimized IC-engine control maps using hinging hyperplane trees.

Michael Hafner, Crina Vlad, Susanne Töpfer

Proceedings of the 6th European Control Conference, 2001