Malte Viering

According to our database, Malte Viering authored at least 9 papers between 2014 and 2023.

Collaborative distances:

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

2023

Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation.

Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, Savvas Savvides

Proc. ACM Program. Lang., 2023

2022

Statically Safe Distributed Programming.

Malte Viering

PhD thesis, 2022

2021

A multiparty session typing discipline for fault-tolerant event-driven distributed programming.

Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek

Proc. ACM Program. Lang., 2021

2019

Comprehensive Multiparty Session Types.

Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini

Art Sci. Eng. Program., 2019

2018

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek

Proceedings of the Programming Languages and Systems, 2018

2017

The Grand CRU Challenge.

Marcel Blöcher, Malte Viering, Stefan Schmid, Patrick Eugster

Proceedings of the Workshop on Hot Topics in Container Networking and Networked Systems, 2017

2016

A Type Theory for Robust Failure Handling in Distributed Systems.

Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Active reward learning with a novel acquisition function.

Christian Daniel, Oliver Kroemer, Malte Viering, Jan Metz, Jan Peters

Auton. Robots, 2015

2014

Active Reward Learning.

Christian Daniel, Malte Viering, Jan Metz, Oliver Kroemer, Jan Peters

Proceedings of the Robotics: Science and Systems X, 2014