Calculating optimized IC-engine control maps using hinging hyperplane trees. - Michael Hafner; Crina Vlad; Susanne Töpfer (ECC, 2001)

Modeling and Realizing Security-Critical Inter-Organizational Workflows. - Ruth Breu; Michael Hafner; Barbara Weber (IASSE, 2004)

Towards a Systematic Development of Secure Systems. - Ruth Breu; Klaus Burger; Michael Hafner; Gerhard Popp (Inf. Secur. J. A Glob. Perspect., 2004)

A Security Architecture for Inter-Organizational Workflows: Putting Security Standards for Web Services Together. - Michael Hafner; Ruth Breu; Michael Breu (ICEIS (3), 2005)

Web Service Engineering - Advancing a New Software Engineering Discipline. - Ruth Breu; Michael Breu; Michael Hafner; Andrea Nowak (ICWE, 2005)

From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. - Jan Mendling; Michael Hafner (OTM Workshops, 2005)

Model Driven Security for Inter-organizational Workflows in e-Government. - Ruth Breu; Michael Hafner; Barbara Weber; Andrea Nowak (TCGOV, 2005)

Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0. - Michael Hafner; Ruth Breu (MoDELS, 2005)

Modeling permissions in a (U/X)ML world. - Muhammad Alam; Ruth Breu; Michael Hafner (ARES, 2006)

Modeling Authorization in an SOA based Application Scenario. - Muhammad Alam; Michael Hafner; Ruth Breu (IASTED Conf. on Software Engineering, 2006)

Modelling Inter-organizational Workflow Security in a Peer-to-Peer Environment. - Andrea Nowak; Michael Hafner; Michael Breu; Ruth Breu (I-ESA, 2006)

Towards a MOF/QVT-Based Domain Architecture for Model Driven Security. - Michael Hafner; Muhammad Alam; Ruth Breu (MoDELS, 2006)

A constraint based role based access control in the SECTET a model-driven approach. - Muhammad Alam; Michael Hafner; Ruth Breu (PST, 2006)

Constraint based role based access control (CRBAC) for restricted administrative delegation constraints in the SECTET. - Muhammad Alam; Michael Hafner; Ruth Breu (PST, 2006)

A Framework for Modeling Restricted Delegation in Service Oriented Architecture. - Muhammad Alam; Michael Hafner; Ruth Breu; Stefan Unterthiner (TrustBus, 2006)

Sectet: an extensible framework for the realization of secure inter-organizational workflows. - Michael Hafner; Ruth Breu; Berthold Agreiter; Andrea Nowak (Internet Res., 2006)

Modeling and Enforcing Advanced Access Control Policies in Healthcare Systems with Sectet. - Michael Hafner; Mukhtiar Memon; Muhammad Alam (MoDELS (Workshops), 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 (SWS, 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)

Model-Driven Security Engineering for Trust Management in SECTET. - Muhammad Alam; Ruth Breu; Michael Hafner (J. Softw., 2007)

Privacy and Access Control for IHE-Based Systems. - Basel Katt; Ruth Breu; Michael Hafner; Thomas Schabetsberger; Richard Mair; Florian Wozak (eHealth, 2008)

Model-Driven Security Engineering of Service Oriented Systems. - Ruth Breu; Michael Hafner; Frank Innerhofer-Oberperfler; Florian Wozak (UNISCON, 2008)

SECTISSIMO: A Platform-Independent Framework for Security Services. - Mukhtiar Memon; Michael Hafner; Ruth Breu (MODSEC@MoDELS, 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 (SACMAT, 2008)

A fair Non-repudiation service in a web services peer-to-peer environment. - Berthold Agreiter; Michael Hafner; Ruth Breu (Comput. Stand. Interfaces, 2008)

Constraint based role based access control in the SECTET-frameworkA model-driven approach. - Muhammad Alam; Michael Hafner; Ruth Breu (J. Comput. Secur., 2008)

From WS-CDL choreography to BPEL process orchestration. - Jan Mendling; Michael Hafner (J. Enterp. Inf. Manag., 2008)

Security engineering for service-oriented architectures. - Michael Hafner; Ruth Breu (Springer, 2009)

Building a stateful reference monitor with coloured petri nets. - Basel Katt; Michael Hafner; Xinwen Zhang (CollaborateCom, 2009)

A usage control policy specification with Petri nets. - Basel Katt; Michael Hafner; Xinwen Zhang (CollaborateCom, 2009)

Towards a Usage Control Policy Specification with Petri Nets. - Basel Katt; Xinwen Zhang; Michael Hafner (OTM Conferences (2), 2009)

Security as a Service - A Reference Architecture for SOA Security. - Mukhtiar Memon; Michael Hafner; Ruth Breu (WOSIS, 2009)

SeAAS - A Reference Architecture for Security Services in SOA. - Michael Hafner; Mukhtiar Memon; Ruth Breu (J. Univers. Comput. Sci., 2009)

Modeling and Managing System Evolution - Description of EternalS Task Force 2. - Michael Hafner (ISoLA (2), 2010)

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)

Dynamic trajectory planning for trailer backup. - Michael Hafner; Tom E. Pilutti (SMC, 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)

The Stixel world - A comprehensive representation of traffic scenes for autonomous driving. - Lukas Schneider; Michael Hafner; Uwe Franke (Autom., 2018)

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 (MICCAI (2), 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)

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)