Michael Hafner

46 papers A 3B 4C 5Journal 14Unranked 19

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