Prof. Dr.-Ing. Franz J. Hauck - Details


Auf dieser Seite erfahren Sie weitere Details zu Forschung, Lehre und Verwaltung, an denen Prof. Hauck beteiligt ist oder war. Bitte klappen SIe einfach die entsprechenden Abschnitte auf.

Publikationen


2018

default
Habiger, Gerhard; Hauck, Franz J.; Köstler, Johannes; Reiser, Hans P.
Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling
Proceedings of the 14th European Dependable Computing Conference (EDCC)
September 2018
akzeptiert

Zusammenfassung: State-machine replication (SMR) enables transparent and delayless masking of node faults. It can tolerate crash faults and malicious misbehavior, but usually comes with high resource costs, not only by requiring multiple active replicas, but also by providing the replicas with enough resources for the expected peak load. This paper presents a vertical resource-scaling solution for SMR systems in virtualized environments, which can dynamically adapt the number of available cores to current load. In similar approaches, benefits of CPU core scaling are usually small due to the inherent sequential execution of SMR systems in order to achieve determinism. In our approach, we utilize sophisticated deterministic multithreading to avoid this bottleneck and experimentally demonstrate that core scaling then allows SMR systems to effectively tailor resources to service load, dramatically reducing service provider costs.

default
Mödinger, David; Kopp, Henning; Kargl, Frank; Hauck, Franz J.
A Flexible Network Approach to Privacy of Blockchain Transactions
Proc. of the 38th IEEE Int. Conf. on Distrib. Comp. Sys. (ICDCS) , Seite 1486-1491.
Herausgeber: IEEE,
Juli 2018

Zusammenfassung: For preserving privacy, blockchains can be equipped with dedicated mechanisms to anonymize participants. How- ever, these mechanism often take only the abstraction layer of blockchains into account whereas observations of the underlying network traffic can reveal the originator of a transaction request. Previous solutions either provide topological privacy that can be broken by attackers controlling a large number of nodes, or offer strong and cryptographic privacy but are inefficient up to practical unusability. Further, there is no flexible way to trade privacy against efficiency to adjust to practical needs. We propose a novel approach that combines existing mechanisms to have quantifiable and adjustable cryptographic privacy which is further improved by augmented statistical measures that prevent frequent attacks with lower resources. This approach achieves flexibility for privacy and efficency requirements of different blockchain use cases.

pdf
Mödinger, David; Kopp, Henning; Kargl, Frank; Hauck, Franz J.
Towards Enhanced Network Privacy for Blockchains
Short research statement for the DSN Workshop on Byzantine Consensus and Resilient Blockchains (BCRB)
Juni 2018

Zusammenfassung: Privacy aspects of blockchains have gained attention as the log of transactions can be view by any interested party. Privacy mechanisms applied to the ledger can be undermined by attackers on the network level, resulting in deanonymization of the transaction senders. We discuss current approaches to this problem, e.g. Dandelion, sketch our own approach to provide even stronger privacy mechanisms and discuss the challenges and open questions for further research in this area.

default
Schlee, Winfried; Hall, Deborah A.; Canlon, Barbara; Cima, Rilana F. F.; de Kleine, Emile; Hauck, Franz J.; Huber, Alex; Gallus, Silvano; Kleinjung, Tobias; Kypraios, Theodore; Langguth, Berthold; Lopez-Escamez, José A.; Lugo, Alessandra; Meyer, Martin; Mielczarek, Marzena; Norena, Arnau; Pfiffner, Flurin; Pryss, Rüdiger C.; Reichert, Manfred; Requena, Teresa; Schecklmann, Martin; van Dijk, Pim; van de Heyning, Paul; Weisz, Nathan; Cederroth, Christopher R.
Innovations in doctoral training and research on Tinnitus: the European School on Interdisciplinary Tinnitus Research (ESIT) perspective
Frontiers in Aging Neuroscience, 9:447
Januar 2018
default
Agrawal, Kushal; Mehdi, Muntazir; Reichert, Manfred; Hauck, Franz J.; Schlee, Winfried; Probst, Thomas; Pryss, Rüdiger
Towards incentive management mechanisms in the context of crowdsensing technologies based on TrackYour Tinnitus insights
Proc. of the 15th Int. Conf. on Mobile Sys. and Perv. Comp. (MobiSPC)
2018
akzeptiert
default
Mehdi, Muntazir; Mühlmeier, Guido; Agrawal, Kushal; Pryss, Rüdiger; Schlee, Winfried; Hauck, Franz J.
Referenceable mobile crowdsensing architecture
Proc. of the 1st Int. Worksh. on Serv. for Mobile Data Coll. (MoDaC)
2018
akzeptiert

2017

pdf
Nikolov, Vladimir; Bonfert, Stefan; Frasch, Eugen; Hauck, Franz J.
Scheduling interactive HPC applications
Proc. of the 8th Int. Real-Time Scheduling Open Problems Seminar (RTSOPS)
Seite 15-16.
Juni 2017
default
Nikolov, Vladimir; Wesner, Stefan; Frasch, Eugen; Hauck, Franz J.
A hierarchical scheduling model for dynamic soft-realtime systems
Proc. of the 29th Euromicro Conference on Real-Time Systems (ECRTS)
Juni 2017
default
Kopp, Henning; Mödinger, David; Hauck, Franz J.; Kargl, Frank; Bösch, Christoph
Design of a Privacy-Preserving Decentralized File Storage with Financial Incentives
Proc. of IEEE Security & Privacy on the Blockchain (IEEE S&B) (affiliated with EUROCRYPT 2017)
Herausgeber: IEEE,
2017
ISBN: 978-1-5386-2244-5

Zusammenfassung: Surveys indicate that users are often afraid to entrust data to cloud storage providers, because these do not offer sufficient privacy. On the other hand, peer-2-peer–based privacy-preserving storage systems like Freenet suffer from a lack of contribution and storage capacity, since there is basically no incentive to contribute own storage capacity to other participants in the network. We address these contradicting requirements by a design which combines a distributed storage with a privacy-preserving blockchain-based payment system to create incentives for participation while maintaining user privacy. By following a Privacy-by-Design strategy integrating privacy throughout the whole system life cycle, we show that it is possible to achieve levels of privacy comparable to state-of-the-art distributed storage technologies, despite integrating a payment mechanism. Our results show that it is possible to combine storage contracts and payments in a privacy-preserving way. Further, our system design may serve as an inspiration for future similar architectures.

2016

default
Hauck, Franz J.; Habiger, Gerhard; Domaschka, Jörg
UDS: a novel and flexible scheduling algorithm for deterministic multithreading
35th Int. Symp. on Reliable Distrib. Sys. - SRDS
September 2016
default
Erb, Benjamin; Habiger, Gerhard; Hauck, Franz J.
On the Potential of Event Sourcing for Retroactive Actor-based Programming
Proceedings of the 1st Workshop on Programming Models and Languages for Distributed Computing
Juli 2016

Zusammenfassung: The actor model is an established programming model for distributed applications. Combining event sourcing with the actor model allows the reconstruction of previous states of an actor. When this event sourcing approach for actors is enhanced with additional causality information, novel types of actor-based, retroactive computations are possible. A globally consistent state of all actors can be reconstructed retrospectively. Even retroactive changes of actor behavior, state, or messaging are possible, with partial recomputations and projections of changes in the past. We believe that this approach may provide beneficial features to actor-based systems, including retroactive bugfixing of applications, decoupled asynchronous global state reconstruction for recovery, simulations, and exploration of distributed applications and algorithms.

default
Hauck, Franz J.; Domaschka, Jörg
UDS: a unified approach to determinisitic multithreading
36th Int. Conf. on Distrib. Comp. Sys. - ICDCS
Juni 2016
pdf
Habiger, Gerhard; Hauck, Franz J.; Köstler, Johannes; Reiser, Hans P.
Vertikale Skalierung für aktiv replizierte Dienste in Cloud-Infrastrukturen
Kurzfassung für das Herbsttreffen der GI/VDE/ITG Fachgruppe Betriebssysteme 2016
2016

2015

default
Nikolov, Vladimir; Hauck, Franz J.; Schubert, Lutz
Ein hierarchisches Scheduling-Modell für unbekannte Anwendungen mit schwankenden Ressourcenanforderungen
Echtzeit und Betriebssysteme
November 2015
default
Nikolov, Vladimir; Hauck, Franz J.; Wesner, Stefan
Assembling a framework for unkown real-time applications with RTSJ
Proc. of the 13th Int. Workshop on Java Techn. for Real-time and Embedded Sys.
Oktober 2015
default
Kächele, Steffen; Hauck, Franz J.
COSCAnet-FT: transparent network support for highly available cloud services
Proceedings of the International Conference of Networked Systems (NetSys) 2015
IEEE
März 2015
default
Nikolov, Vladimir; Kempf, Kilian; Hauck, Franz J.; Rautenbach, Dieter
Distributing the Complexity of Schedulability Tests
Proc. of the 21th IEEE Real-Time and Embedded Technology and Applications Symposium
2015

2014

default
Nikolov, Vladimir; Kächele, Steffen; Hauck, Franz J.
CLOUDFARM: An Elastic Cloud Platform with Flexible and Adaptive Resource Management
In Proceedings of the IEEE/ACM 7th International Conference on Utility and Cloud Computing (UCC)
Herausgeber: IEEE,
Dezember 2014

2013

default
Kächele, Steffen; Hauck, Franz J.
COSCAnet: virtualized sockets for scalable and flexible PaaS applications
Proceedings of the 6th IEEE/ACM International Conference Utility and Cloud Computing UCC '13
IEEE
Herausgeber: IEEE, USA
Dezember 2013
default
Kächele, Steffen; Spann, Christian; Hauck, Franz J.; Domaschka, Jörg
Beyond IaaS and PaaS: An Extended Cloud Taxonomy for Computation, Storage and Networking
Proceedings of the 6th IEEE/ACM International Conference Utility and Cloud Computing UCC '13
IEEE
Herausgeber: IEEE, USA
Dezember 2013
akzeptiert
default
Schober, Sven; Brenner, Stefan; Kapitza, Rüdiger; Hauck, Franz J.
Bandwidth prediction in the face of asymmetry
Proc. 13th Int. IFIP Conf. on Distrib. Appl. and Interop. Sys. Band LNCS
Herausgeber: Springer,
Juni 2013
akzeptiert
pdf
Kächele, Steffen; Hauck, Franz J.
COSCA: a component-based and scalable PaaS platform
Fruhjahrstreffen 2013 der Fachgruppe Betriebssysteme, Abstract
April 2013
default
Kächele, Steffen; Hauck, Franz J.
Component-based scalability for cloud applications
Proc of the 3rd Int. Workshop on Cloud Data and Platforms
Herausgeber: ACM Digital Library,
April 2013
default
Kächele, Steffen; Hauck, Franz J.
COSCA: a PaaS platform for component-based applications
Poster Compendium of EuroSys 2013 Conference
2013

2012

default
Nikolov, Vladimir; Matousek, Matthias; Rautenbach, Dieter; Draque Penso, Lucia; Hauck, Franz J.
ARTOS: System Model and Optimization Algorithm
Dokument Nummer: VS-R08-2012
Institute of Distributed Systems, University of Ulm,
Dezember 2012
default
Hauck, Franz J.; Kächele, Steffen; Domaschka, Jörg; Spann, Christian
The COSCA PaaS platform: on the way to flexible and dependable cloud computing
Proc. of the 1st European Workshop on Dependable Cloud Computing aus EWDCC '12 , Seite 1:1--1:2.
Herausgeber: ACM, New York, NY, USA
2012
ISBN: 978-1-4503-1149-6

2011

default
Kächele, Steffen; Domaschka, Jörg; Hauck, Franz J.
COSCA: an easy-to-use component-based PaaS cloud system for common applications
Proceedings of the 1st International Workshop on Cloud Computing Platforms aus CloudCP '11 , Seite 4:1--4:6.
Herausgeber: ACM, New York, NY, USA
2011
ISBN: 978-1-4503-0727-7
default
Kächele, Steffen; Domaschka, Jörg; Schmidt, Holger; Hauck, Franz J.
nOSGi: a posix-compliant native OSGi framework
Proceedings of the 5th International Conference on Communication System Software and Middleware aus COMSWARE '11 , Seite 4:1--4:2.
Herausgeber: ACM, New York, NY, USA
2011
ISBN: 978-1-4503-0560-0
default
Elsholz, Jan-Patrick; Fromm, Alexander; Schober, Sven; Hauck, Franz J.
A unified API for negotiation in multimedia middleware
Dokument Nummer: VS-R19-2011
Institute of Distributed Systems, University of Ulm,
2011

2010

default
Elsholz, Jan-Patrick; Seibel, Eduard; Hauck, Franz J.
RAPIX: a plug-in based RIA for multimedia communication
Dokument Nummer: VS-R08-2010
Institute of Distributed Systems, University of Ulm,
2010

2009

default
Elsholz, Jan-Patrick; Schmidt, Holger; Schober, Sven; Hauck, Franz J.; Kassler, Andreas J.
Instant-X: Towards a Generic API for Multimedia Middleware
IEEE International Conference on Internet Multimedia Systems Architecture and Application
Bangalore, India
Dezember 2009

Zusammenfassung: The globalisation of our society leads to an increasing need for spontaneous communication. However, the development of such applications is a tedious and error-prone process. This results from the fact that in general only basic functionality is available in terms of protocol implementations and encoders/decoders. This leads to inflexible proprietary software systems implementing unavailable functionality on their own. In this work we introduce Instant-X, a novel component-based middleware platform for multimedia applications. Unlike related work, Instant-X provides a generic programming model with an API for essential tasks of multimedia applications with respect to signalling and data transmission. This API abstracts from concrete component implementations and thus allows replacing specific protocol implementations without changing the application code. Furthermore, Instant-X supports dynamic deployment, i.e., unavailable components can be automatically loaded at runtime. To show the feasibility of our approach we evaluated our Instant-X prototype regarding code complexity and performance.

default
Nikolov, Vladimir; Kapitza, Rüdiger; Hauck, Franz J.
Recoverable Class Loaders for a Fast Restart of Java Applications
Mobile Networks and Applications, 14:53-64 University of Ulm Institute of Distributed Systems Ulm Germany
2009
ISSN: 1383-469X
default
Domaschka, Jörg; Schmidt, Holger; Hauck, Franz J.; Kapitza, Rüdiger; Reiser, Hans P.
DOSGi: An architecture for instant replication
Proc. of the 39th Annual IEEE/IFIP Int. Conf. on Dependable Sys. and Netw., Supplemental Volume aus DSN'09
2009
default
Schmidt, Holger; Elsholz, Jan-Patrick; Nikolov, Vladimir; Hauck, Franz J.; Kapitza, Rüdiger
OSGi4C: enabling OSGi for the cloud
Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE aus COMSWARE '09 , Seite 15:1--15:12.
Herausgeber: ACM, New York, NY, USA
2009
ISBN: 978-1-60558-353-2
default
Erb, Benjamin; Elsholz, Jan-Patrick; Hauck, Franz J.
Semantic Mashup: Mashing up Information in the Todays World Wide Web - An Overview
Technischer Bericht
Dokument Nummer: VS-R08-2009
Institut für Verteilte Systeme, Universität Ulm,
2009
default
Elsholz, Jan-Patrick; Schmidt, Holger; Schober, Sven; Hauck, Franz J.
Instant-X: SOA for Multimedia Communication in NGNs
Technischer Bericht
Dokument Nummer: VS-R11-2009
Institut für Verteilte Systeme, Universität Ulm,
2009

2008

default
Domaschka, Jörg; Bestfleisch, Thomas; Hauck, Franz J.; Reiser, Hans P.; Kapitza, Rüdiger
Multithreading strategies for replicated objects
Proc. of the ACM/IFIP/USENIX 9th Int. Middleware Conf. aus Middleware '08 , Seite 104--123.
Herausgeber: Springer-Verlag, Berlin, Heidelberg
2008
ISBN: 978-3-540-89855-9
default
Schmidt, Holger; Aksoy, Burcin; Hauck, Franz J.; Kassler, Andreas
How well does JXTA fit peer-to-peer SIP?
IEEE International Conference on Communications--ICC
2008
default
Domaschka, Jörg; Spann, Christian; Hauck, Franz J.
Virtual Nodes: a re-configurable replication framework for highly-available grid services
Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion , Seite 107--109.
Herausgeber: ACM New York, NY, USA,
2008

Zusammenfassung: We present Virtual Nodes, a framework to provide fault-tolerance for grid applications by replicating them over multiple nodes. For the performance of replicated systems it is crucial that the application characteristics and load pattern are taken into account when the replication protocol is selected. For that reason Virtual Nodes offer a wide variety of configuration parameters that allow to fine-tune framework properties to optimise the overall system performance.

default
Schmidt, Holger; Elsholz, Jan-Patrick; Hauck, Franz J.
Instant-X: a component-based middleware architecture for a generic multimedia API
Companion '08: Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion , Seite 90--92.
Herausgeber: ACM, New York, NY, USA
2008
ISBN: 978-1-60558-369-3
default
Elsholz, Jan-Patrick; Hauck, Franz J.; Schmidt, Holger
Multimediale Datenübertragung
Technischer Bericht
Dokument Nummer: VS-R06-2008
Institut für Verteilte Systeme, Universität Ulm,
2008

2007

default
Schmidt, Holger; Dang, Chi-Tai; Hauck, Franz J.
Proxy-based security for the Session Initiation Protocol (SIP)
2nd International Conference on Systems and Networks Communications
August 2007
default
Guenkova-Luy, Teodora; Schmidt, Holger; Schorr, Andreas; Hauck, Franz J.; Kassler, Andreas
A Session-initiation-protocol-based middleware for multi-application management
IEEE International Conference on Communications
Juni 2007
default
Domaschka, Jörg; Reiser, Hans P.; Hauck, Franz J.
Towards generic and middleware-independent support for replicated, distributed objects
Proc of the 1st Workshop on Middleware-Application Interaction aus MAI '07 , Seite 43--48.
Herausgeber: ACM, New York, NY, USA
2007
ISBN: 978-1-59593-696-7
default
Domaschka, Jörg; Schmied, Andreas I.; Reiser, Hans P.; Hauck, Franz J.
Revisiting deterministic multithreading strategies
Pro. of the 9th Int. Workshop on Java and Components for Parallelism, Distribution and Concurrency
2007
default
Domaschka, Jörg; Schmidt, Holger; Hauck, Franz J.
Forschungstrends im Bereich Verteilter Systeme
Technischer Bericht
Dokument Nummer: VS-R07-2007
Institut für Verteilte Systeme, Universität Ulm,
2007

2006

default
Kapitza, Rüdiger; Domaschka, Jörg; Hauck, Franz J.; Reiser, Hans P.
FORMI: Integrating Adaptive Fragmented Objects into Java RMI
IEEE Distributed Systems Online, 7(10)
Oktober 2006
pdf
Reiser, Hans P.; Hauck, Franz J.; Kapitza, Rüdiger; Schröder-Preikschat, Wolfgang
Hypervisor-based redundant execution on a single physical host
Proc. Suppl. Vol. of the 6th European Dependable Comp. Conf. (EDCC)
Seite 67-68.
2006
default
Reiser, Hans P.; Domaschka, Jörg; Hauck, Franz J.; Kapitza, Rüdiger; Schröder-Preikschat, Wolfgang
Consistent replication of multithreaded distributed objects
Proc. of the 25th IEEE Symp. on Reliable Distributed Systems aus SRDS '06 , Seite 257--266.
Herausgeber: IEEE Computer Society, Washington, DC, USA
2006
ISBN: 0-7695-2677-2
default
Reiser, Hans P.; Kapitza, Rüdiger; Domaschka, Jörg; Hauck, Franz J.
Fault-tolerant replication based on fragmented objects
Proc. of the 6th IFIP WG 6.1 Int. Conf. on Distrib. Applications and Interoperable Sys. aus DAIS'06 , Seite 256--271.
Herausgeber: Springer-Verlag, Berlin, Heidelberg
2006
ISBN: 3-540-35126-4, 978-3-540-35126-9
default
Domaschka, Jörg; Hauck, Franz J.; Reiser, Hans P.; Kapitza, Rüdiger
Deterministic Multithreading for Java-based Replicated Objects
Proc. of the 18th IASTED Int. Conf. on Parallel and Distributed Computing and Systems aus PDCS'06 , Seite 516--521.
2006
default
Reiser, Hans P.; Kapitza, Rüdiger; Domaschka, Jörg; Hauck, Franz J.
Flexible und adaptive Replikation in verteilter objektbasierter Middleware
Dokument Nummer: VS-R06-2006
Institut für Verteilte Systeme, Universität Ulm,
2006

2005

default
Kapitza, Rüdiger; Kirstein, Michael; Schmidt, Holger; Hauck, Franz J.
FORMI: An RMI extension for adaptive applications
Proc. of the 4th Workshop on Adaptive and Reflective Middleware
Herausgeber: ACM Digital Library,
2005

2003

default
Kapitza, Rüdiger; Hauck, Franz J.
DLS: a CORBA service for dynamic loading of code
Proc. of the Int. Symp. on Distrib. Obj. and Appl. - DOA
Dezember 2003
default
Bindhammer, Tobias; Schmied, Andreas I.; Hauck, Franz J.
Betriebssystem Linux, Proseminar im Sommersemester 2003
Dokument Nummer: VS-R02-2003
Institut für Verteilte Systeme, Universität Ulm,
Oktober 2003
default
Schmied, Andreas I.; Hauck, Franz J.
Sicherheit in Verteilten Systemen, Hauptseminare im Sommersemester 2003
Dokument Nummer: VS-R01-2003
Institut für Verteilte Systeme, Universität Ulm,
September 2003
default
Reiser, Hans P.; Hauck, Franz J.; Kapitza, Rüdiger; Schmied, Andreas I.
Integrating fragmented objects into a CORBA environment
Proc. of the Net.ObjectDAYS
September 2003

2002

default
Kapitza, Rüdiger; Hauck, Franz J.
DLS: a CORBA service for dynamic loading of code
Dokument Nummer: TR-I4-02-06
Informatik 4, Univ. Erlangen-Nürnberg,
Dezember 2002

2001

default
Reiser, Hans P.; Steckermeier, Martin; Hauck, Franz J.
IDLflex: a flexible and generic compiler for CORBA IDL
Proc. of the Net.ObjectDAYS
September 2001
default
Reiser, Hans P.; Steckermeier, Martin; Hauck, Franz J.
IDLflex: a flexible and generic compiler for CORBA IDL
Dokument Nummer: TR-I4-01-08
Informatik 4, University of Erlangen-Nürnberg,
September 2001
default
Hauck, Franz J.; Becker, Ulrich; Geier, Martin; Meier, Erich; Rastofer, Uwe; Steckermeier, Martin
AspectIX: a quality-aware, object-based middleware architecture
Proc. of the 3rd IFIP Int. Conf. on Distrib. Appl. and Interop. Sys. - DAIS Band LNCS
September 2001

1999

default
Hauck, Franz J.; Becker, Ulrich; Geier, Martin; Meier, Erich; Rastofer, Uwe; Steckermeier, Martin
The AspectIX approach to quality-of-service integration into CORBA
Dokument Nummer: TR-I4-99-09
IMMD 4, Univ. of Erlangen-Nürnberg,
1999

1998

default
van Steen, Maarten; Hauck, Franz J.; Ballintijn, Gerco; S. Tanenbaum, Andrew
Algorithmic design of the Globe wide-area location service
The Computer Journal, 41(5):297--310
1998
default
van Steen, Maarten; Hauck, Franz J.; Homburg, Philip; S. Tanenbaum, Andrew
Locating objects in wide-area systems
IEEE Communications Magazine, 36(1):104--109
1998
default
Riechmann, Thomas; Hauck, Franz J.
Meta objects for access control: extending capability-based security
Proceedings of the ACM New Security Paradigms Workshop , Seite 17--22.
Herausgeber: ACM Press, New York, NY
1998
default
Riechmann, Thomas; Hauck, Franz J.; Kleinöder, Jürgen
Transitiver Schutz in Java durch Sicherheitsmetaobjekte
In Clemens H. Cap, Editor, Java Informationstage (JIT) aus Informatik aktuell , Seite 204--214.
Herausgeber: Springer-Verlag, Berlin, Heidelberg, New York, Tokyo
1998

1997

default
Hauck, Franz J.; van Steen, Maarten; S. Tanenbaum, Andrew
A location service for worldwide distributed objects
In Max Mühlhäuser, Editor,
Seite 384--388.
Herausgeber: dpunkt.verlag, Heidelberg
1997
default
Gall, Ulrich; Hauck, Franz J.
Promondia: a Java-based framework for real-time group communication in the Web
Proceedings of the 6th International WWW Conference Band 29
1997

1996

default
Hauck, Franz J.; van Steen, Maarten; Tanenbaum, Andrew S.
Algorithmic design of the Globe location service
Dokument Nummer: Internal Report IR-413
Faculty of Math. and Comp. Sci., Vrije Universiteit and Amsterdam,
1996

1995

default
Hauck, Franz J.
Location tracking in large object-based systems: framework
Herausgeber: -,
1995
default
Hauck, Franz J.
Typen, Klassen und Vererbung in verteilten objektorientierten Systemen
Band 351 aus Fortschrittberichte, Reihe 10
Herausgeber: VDI, Düsseldorf
1995
default
Hauck, Franz J.
Location tracking in large object-based systems: assumptions
Herausgeber: -,
1995

1994

default
Hauck, Franz J.
Typisierte Vererbung modelliert durch Aggregation
In Hartmut Wedekind, Editor, Verteilte Systeme , Seite 291--302.
Herausgeber: Bibliographisches Institut, Zürich
1994

1993

default
Hauck, Franz J.
Class-based inheritance is not a basic concept
In Clyde, Stephen W. and Conrad, Bruce A. and Embley, David W. and Kurtz, Barry D., Editor, Understanding object-model concepts: Position papers for OOPSLA '93 Workshop #19
Brigham Young University and Provo, UT
1993
default
Hauck, Franz J.
Towards the implementation of a uniform object model
SFB Colloquium SFB 182 and SFB 342 Band 732 aus Lecture Notes in Computer Science , Seite 180--189.
Herausgeber: Springer-Verlag, Berlin, Heidelberg, New York, Tokyo
1993
default
Hauck, Franz J.
Inheritance modeled with explicit bindings: an approach to typed inheritance
In Andreas Paepcke, Editor, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) Band 28 , Seite 231--239.
Herausgeber: ACM Press, New York, NY
1993
ISBN: 0-89791-587-9
default
Hauck, Franz J.
Supporting class evolution by typing inheritance
Dokument Nummer: TR-14-5-93
IMMD 4, Univ. of Erlangen-Nürnberg,
1993
default
Hauck, Franz J.
Class-based inheritance is not a basic concept
Dokument Nummer: TR-14-6-93
IMMD 4, Univ. of Erlangen-Nürnberg,
1993
default
Hauck, Franz J.; R. Steyaert, Patrick
3rd Workshop for Doctoral Students in Object-Oriented Systems
Dokument Nummer: TR-I4-7-92
1993
default
Monge, Raúl; Hauck, Franz J.
Ein Ereignis-basiertes Modell zur Formalisierung von Request-Reply Objektinteraktionen
Dokument Nummer: TR-I4-10-93
IMMD 4, Univ. of Erlangen-Nürnberg,
1993
default
Hauck, Franz J.
Inheritance modelled by aggregation: an approach to typed inheritance relations: submission to the OOPSLA `93 conference -- research paper
Dokument Nummer: TR-I4-1-93
IMMD 4, Univ. of Erlangen-Nürnberg,
1993
default
Hauck, Franz J.
Typisierte Vererbung modelliert durch Aggregation
Dokument Nummer: TR-I4-9-93
IMMD 4, Univ. of Erlangen-Nürnberg,
1993
default
Hauck, Franz J.
Inheritance modeled with explicit bindings: an approach to typed inheritance
Dokument Nummer: TR-I4-3-93
IMMD 4, Univ. of Erlangen-Nürnberg,
1993
default
Hauck, Franz J.
PM: a distributed object-oriented operating system
Dokument Nummer: TR-I4-2-93
IMMD 4, Univ. of Erlangen-Nürnberg,
1993

1992

default
Hauck, Franz J.
Multiple inheritance and multiple subtyping
In Markku Sakkinen, Editor, Position Papers of the ECOOP '92 Workshop W1 , Seite 14--16.
Herausgeber: Department of Computer Science and Information Systems, University of Jyväskylä,
1992
default
Hauck, Franz J.
Towards the implementation of a uniform object model
Dokument Nummer: TR-I4-5-92
IMMD 4, Univ. of Erlangen-Nürnberg,
1992
default
Monge, Raúl; Hauck, Franz J.
Ein Ereignis-basiertes Modell für Beauftragung und mögliche Protokolle
Dokument Nummer: TR-I4-92-19
IMMD 4, Univ. of Erlangen-Nürnberg,
1992
default
Hauck, Franz J.
Typisierte Vererbung modelliert durch Aggregation
Dokument Nummer: TR-I4-15-92
IMMD 4, Univ. of Erlangen-Nürnberg,
1992

1991

default
Hauck, Franz J.; Eirich, Thomas; Fäustle, Michael; Kleinöder, Jürgen; Pruy, Rainer; Schlenk, Peter
Das PM Projekt
Dokument Nummer: TR-I4-6-91
IMMD 4, Univ. of Erlangen-Nürnberg,
1991
default
Eirich, Thomas; Hauck, Franz J.
Inheritance by aggregation
Dokument Nummer: TR-I4-4-91
IMMD 4, Univ. of Erlangen-Nürnberg,
1991

1990

default
Hauck, Franz J.
Verteilte Objekte unter UNIX - Eine PM-Implementierung
interner Bericht,
1990

1989

default
Hauck, Franz J.
Implementierung eines Stubgenerators als Phase des PM/PL Compilers
Diplomarbeit
IMMD 4, Univ. Erlangen-Nürnberg,
1989

1988

default
Hauck, Franz J.
Implementierung und Dokumentation des MEMOS-Betriebssystems
Studienarbeit
IMMD 4, Univ. Erlangen-Nürnberg,
1988

1986

default
Hauck, Franz J.; Eirich, Thomas
Der Data Becker Profi C-Compiler C64/C128
Herausgeber: Data Becker,
1986

1985

default
Hauck, Franz J.; Eirich, Thomas
Der Data Becker C-Compiler C64
Herausgeber: Data Becker,
1985

Doktoranden

Aktuelle Doktoranden

Eugen Frasch: Hierarchisches Scheduling für rechenintensive interaktive Anwendungen

Gerhard Habiger: Automatische Optimierungen für State-Machine Replication

Muntazir Mehdi: Mobile Crowdsensing

David Mödinger: Anonyme und privatsphäreerhaltende Kommunikation für Blockchain-Anwendungen

Christian Spann: BFT Einigungsprotokolle

Inhaltlich betreute Doktorarbeiten

Dr. rer. nat. Vladimir Nikolov: Ein hierarchisches Scheduling-Modell für unbekannte Anwendungen mit schwankenden Ressourcenanforderungen. Fakultät für Ingenieurwissenschaften, Informatik und Psychologie, Universität Ulm, 4.8.2016. Erstgutachten. Zweitgutachter Prof. Dr. Stefan Wesner.

Dr. rer. nat. Steffen Weiss: Komponentenorientiertes Cloud Computing. Fakultät für Ingenieurwissenschaften, Informatik und Psychologie, Universität Ulm, 13.7.2016. Erstgutachten. Zweitgutachter Prof. Dr. Franz Schweiggert.

Dr. rer. nat. Jan-Patrick Elsholz: Eine Middleware für spontane Kommunikationsanwendungen. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 8.10.2013. Erstgutachten.

Dr. rer. nat. Jörg Domaschka: A comprehensive approach to transparent and flexible replication of Java services and applications. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 8.2.2013. Erstgutachten.

Dr. rer. nat. Holger Schmidt: SAMProc a middleware for highly dynamic and heterogeneous environments. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 17.12.2009. Erstgutachten. Zweitgutachter Prof. Dr. Franz Schweiggert.

Dr. rer. nat. Andrease I. Schmied: Program transformations and their semi-automatic composition. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 26.10.2009. Erstgutachten. Zweitgutachter Prof. Dr. Helmuth Partsch.

Prof. Dr.-Ing. Rüdiger Kapitza: Providing decentralised adaptive services. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 21.9.2007. Zweitgutachten. Erstgutachter Prof. Dr. Wolfgang Schröder-Preikschat.

Dr. rer. nat. Andrease Schorr: Multimedia stream adaption services. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 1.3.2007. Erstgutachten.

Dr. rer. nat. Teodora Guenkova-Luy: Coordination of multimedia services and applications in mobile, heterogeneous network environment. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 1.3.2007. Erstgutachten. Zweitgutachten Prof. Dr. Peter Schulthess.

Prof. Dr. rer. nat. Hans P. Reiser: Flexible and reconfigurable support for fault-tolerant object replication. Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 15.12.2006. Erstgutachten.

Dr.-Ing. Martin Steckermeier:  Virtuelle, private Rechner: eine Software-Architektur für verteilte Anwendungen. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 9.4.2001. Erstgutachter Prof. Dr. Fridolin Hofmann.

Dr.-Ing. Martin Geier: Fragmentierte Objekte für die Implementierung mobiler Agenten. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 9.4.2001. Erstgutachter Prof. Dr. Fridolin Hofmann.

Dr.-Ing. Erich Meier: Administrative Skalierbarkeit verteilter Systeme. Technische Fakultät, Friedrich-Alexander-Universität Erlangen-Nürnberg, 19.2.2001. Erstgutachter Prof. Dr. Fridolin Hofmann.

Projekt- und Abschlussarbeiten

Offene Projekt- und Abschlussarbeiten


Hier werden nur die offenen Arbeiten gelistet, die Prof. Hauck selbst betreut. Arbeiten, die von Mitarbeitern betreut und von Prof. Hauck bewertet werden, finden Sie auf der Themenseite zur Projektveranstaltung VAPS. Mehr offene Arbeiten finden sich auf den Institutswebseiten für Individualprojekte und Abschlussarbeiten.


default
Hauck, Franz J.
Entwicklung einer Softwarekomponente für einzigartige Signaturen mit Intel SGX
Abschlussarbeit, Projekt
Institute of Distributed Systems,
2018
in Vorbereitung

Zusammenfassung: Replizierte Systeme basieren oft auf Einigungsalgorithmen. Im Falle von beliebigen (byzantinischen Fehlern) werden N = 3f+1 Replikate benötigt bei f zu tolerierenden Fehlern. Mit Hilfe von vertrauenswürdigen Komponenten kann dies auf N = 2f+1 reduziert werden. Ein so genannter USIG ist so eine Komponente. Sie signiert eine Nachricht und zählt dabei eine von außen unveränderliche Sequenznummer hoch. Aufgabe der Arbeit ist es, ein Konzept und eine Implementierung mit Hilfe von Intel SGX zu entwickeln, die aus einer Java-Anwendung heraus genutzt werden kann. Herausforderungen ist neben der Implementierung die geeignete Initialisierung der Komponente.

Laufende Projekt- und Abschlussarbeiten


Diese Liste enthält alle laufenden Arbeiten, die von Prof. Hauck bewertet werden, im Fall von Abschlussarbeiten nur solche, bei denen er Erstgutachter ist.


default
Schmid, Lukas
PriPlus: Userfriendly Privacy for a Blockchain Filestorage
Projektarbeit
Institut für Verteilte Systeme,
2018
noch nicht publiziert

Zusammenfassung: PriCloud ist ein Projekt mit dem Ziel einen Privatsphäre erhaltenden Cloudspeicher zu erhalten. Hierfür wird im Insitut an einem Prototypen in Python gearbeitet. Dieser bietet jedoch nur Konsolenzugriff auf die Subsysteme des Prototypen. Ziel des Projektes ist es ein fundiertes und geeignetes User Interface zu entwerfen und dieses praktisch zu erstellen.

default
Eser, Ulrich
Design einer flexiblen Peer-to-Peer Bibliothek
Bachelorarbeit
Institute of Distributed Systems,
2018
noch nicht publiziert

Zusammenfassung: Peer-to-Peer Systeme werden Heute in einer vielfalt von Situationen eingesetzt. Dies geht von verteilung von Dateien für Programme bis hin zu Transaktionen und Blöcken in modernen Blockchain Systemen. Zur implementierung dieser Systeme kann oft nicht auf eine geeignete Bibliothek zurück gegriffen werden, da diese nicht verfügbar sind. Ziel dieser Arbeit ist die Analyse von Anforderungen an eine geeignete Peer-to-Peer Bibliothek, sowie die Implementierung eines Prototypen der Bibliothek und dessen Evaluation. Der genaue Umfang richtet sich nach dem Vorwissen, dem gewählten Fokus und der Art der Arbeit.

Abgeschlossene Projekt- und Abschlussarbeiten


2018

default
Hohberger, Florian
Design einer generischen API für Gruppenkommunikationsprotokolle
Masterarbeit VS-M09-2018
Institut für Verteilte Systeme, Universität Ulm,
2018

Zusammenfassung: Die Implementierung von Einigungsalgorithmen wie zum Beispiel Paxos oder dessen Erweiterung Vertical Paxos stellen den Programmierer wiederholt vor ähnliche Designentscheidungen. Eine generische API könnte eine Basis für die Wiederverwendung vieler Teilkomponenten schaffen und so den Aufwand für die Implementierung neuer Algorithmen reduzieren. Ziel der Arbeit ist der Entwurf einer solchen API.

2014

default
Schwerin, Sven
Identifikation optimaler Einsatzbereiche der Einigungsalgorithmen Paxos und Vertical Paxos
Masterarbeit
Institut für Verteilte Systeme, Universität Ulm,
2014

Schlüsselwörter: Paxos, State Machine Replication, Group Communication, Primary Backup

Zusammenfassung: Die beiden Einigungsalgorithmen Paxos und dessen Erweiterung Vertical Paxos sind strukturell grundverschieden. Das daraus resultierende, vermutlich sehr unterschiedliche Verhalten soll in dieser Arbeit in geeigneten Evaluationen untersucht und beschrieben werden. Der Unterschied der Verfahren ergibt sich in der Verteilung des Aufwands zur Fehlererholung. In Paxos kann jeder Knoten selbst direkt mit Fehlern umgehen, in Vertical Paxos gibt es einen externen Knoten, der das System überwacht.

2012

pdf
Erb, Benjamin
Concurrent Programming for Scalable Web Architectures
Diplomarbeit VS-D01-2012
Institut für Verteilte Systeme, Universität Ulm,
April 2012

Schlüsselwörter: scalability, concurrent programming, web architectures, web servers

Zusammenfassung: Web architectures are an important asset for various large-scale web applications, such as social networks or e-commerce sites. Being able to handle huge numbers of users concurrently is essential, thus scalability is one of the most important features of these architectures. Multi-core processors, highly distributed backend architectures and new web technologies force us to reconsider approaches for concurrent programming in order to implement web applications and fulfil scalability demands. While focusing on different stages of scalable web architectures, we provide a survey of competing concurrency approaches and point to their adequate usages.

default
Staudenmayer, Christian
Replikation des HDFS Namenodes
Diplomarbeit VS-D11-2011
Institut für Verteilte Systeme, Universität Ulm,
Februar 2012

Schlüsselwörter: HDFS, Apache Hadoop, Virtual Nodes, Fehlertoleranz, Replikation, Java

Zusammenfassung: In diesar Arbeit wurde der HDFS Namenode mit Virtual Nodes nebenläufig repliziert. Dabei wurden die Java Synchronisationsmechanismen durch die von "Virtual Nodes" ersetzt und die Nebenläufigkeit im Gegensatz zu anderen Arbeiten beibehalten. Die Lauffähigkeit wurde demonstriert, weitergehende Benchmarks müssen die Effizienz aber noch belegen.

2010

default
Hofherr, F.
Synchronisierungstechniken für replizierte verteilte Objekte
Diplomarbeit VS-D05-2010
Institut für Verteilte Systeme, Universität Ulm,
2010

2009

default
Lang, V.
Transaktionaler Speicher für Objektreplikation
Diplomarbeit VS-D02-2009
Institut für Verteilte Systeme, Universität Ulm,
2009
default
Näveke, C.
Konfliktvorraussage für lock-basierte Synchroninierung
Diplomarbeit VS-D06-2009
Institut für Verteilte Systeme, Universität Ulm,
2009
default
Kächele, Steffen
nOSGi - Eine native OSGi Implementierung
Diplomarbeit VS-D05-2009
Institut für Verteilte Systeme, Universität Ulm,
2009
default
Pfeil, M.
Optimising and Self-adaptive Strategy Selection in a Replication Framework
Masterarbeit VS-D07-2009
Institut für Verteilte Systeme, Universität Ulm,
2009

2007

default
Meßner, M.
Eclipse-Plugin zur Analyse von Thread-Synchronisierung in Java-Programmen
Diplomarbeit VS-D04-2007
Institut für Verteilte Systeme, Universität Ulm,
2007
default
Herchel, M.
Transparent Integration of Passive Replication in a Fault-Tolerant Framework for Distributed Objects
Masterarbeit VS-M02-2007
Institut für Verteilte Systeme, Universität Ulm,
2007

Hinweis: Die Liste der abgeschlossenen Arbeiten ist zur Zeit noch unvollständig.

Lehre

Veranstaltungen an der Universität Ulm

Pflichtvorlesungen

Wahlvorlesungen

Proseminare

  • Effective-Java, Java Programmierung für Fortgeschrittene (EJ)
    2S, 4LP, Proseminar
    SS 2009
  • Java-Technologien für Verteilte Systeme (JTVS)
    2S, 4LP, Proseminar
    SS 2005
  • Kniffe, Tricks und Techniken für Java (KTT)
    2S, 4LP, Proseminar
    SS 2016, SS 2015, SS 2014, SS 2013, SS 2012, SS 2010, WS 2009
  • Konzepte Verteilter Systeme (KVS)
    2S, 4LP, Proseminar
    WS 2007
  • Linux (LI)
    2S, 4LP, Proseminar
    SS 2004, SS 2003
  • Peer-to-Peer-Systeme (P2P)
    2S, 4LP, Proseminar
    WS 2006

Seminare/Hauptseminare

Projektseminare

Praktika

Sonstige Veranstaltungen

Veranstaltungen an der Universität Erlangen-Nürnberg

Vorlesungen

  • Objectoriented Concepts for Distributed Systems (I)
    2V+2Ü, Vorlesung mit Übung
    WS 2000, WS 1999, SS 1999, SS 1998
  • Objektorientierte Konzepte in der Betriebsprogrammierung
    2V+2Ü, Vorlesung mit Übung
    SS 1997
  • Objektorientierte Konzepte Verteilter Systeme II
    7V, Vorlesung
    WS 1999
  • Rapid Prototyping, Software-Metriken und Netzwerk-Programmierung
    2V, projektbezogene Vorlesung mit Intensiv-Übung
    SS 1995
  • Systemprogrammierung I
    4V+4Ü, Vorlesung mit Übung
    WS 2001, WS 2000, WS 1999, WS 1998, WS 1997

Seminare/Hauptseminare

  • Moderne Middleware-Dienste: Replikation, Mobilität u.a.
    2S, Hauptseminar
    SS 1998
  • Objektorientierte Programmierung in verteilten Systemen
    2S, Hauptseminar
    SS 1993
  • Objektorientierte Strukturierung verteilter Systeme
    2S, Hauptseminar
    SS 1990
  • Objektorientierte Verteilte Systeme: Middleware für spezielle Anwendungsklassen
    2S, Hauptseminar
    SS 2000
  • Objektorientierte Verteilte Systeme: Middleware zur Unterstützung nichtfunktionaler Eigenschaften
    2S, Hauptseminar
    SS 2001
  • Virtuelle Rechner und Mobile Agenten - Aktuelle Trends in der Betriebssystem- und Middlewareentwicklung
    2S, Hauptseminar
    SS 1999