Please login first
Patrick Eugster   Professor  Other 
Timeline See timeline
Patrick Eugster published an article in April 2018.
Top co-authors See all
Peter C Hauser

174 shared publications

Department of Chemistry; University of Basel; Basel Switzerland

Michael J. Schöning

172 shared publications

Institut für Nano- und Biotechnologien (INB), FH Aachen – Jülich, Jülich, Deutschland

Assefa M. Melesse

159 shared publications

Department of Earth and Environment, Florida International University, Miami, USA

Benoît Garbinato

32 shared publications

Distributed Object Programming Laboratory, University of Lausanne, Switzerland

Hans Peter Herzig

31 shared publications

EPFL Lausanne, Lausanne 1015, Switzerland

Publication Record
Distribution of Articles published per year 
(2006 - 2018)
Total number of journals
published in
Publications See all
BOOK-CHAPTER 0 Reads 1 Citation A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, L... Published: 14 April 2018
Distributed, High-Performance and Grid Computing in Computational Biology, doi: 10.1007/978-3-319-89884-1_28
DOI See at publisher website ABS Show/hide abstract
A key requirement for many distributed systems is to be resilient toward partial failures, allowing a system to progress despite the failure of some components. This makes programming of such systems daunting, particularly in regards to avoiding inconsistencies due to failures and asynchrony. This work introduces a formal model for crash failure handling in asynchronous distributed systems featuring a lightweight coordinator, modeled in the image of widely used systems such as ZooKeeper and Chubby. We develop a typing discipline based on multiparty session types for this model that supports the specification and static verification of multiparty protocols with explicit failure handling. We show that our type system ensures subject reduction and progress in the presence of failures. In other words, in a well-typed system even if some participants crash during execution, the system is guaranteed to progress in a consistent manner with the remaining participants.
BOOK-CHAPTER 0 Reads 2 Citations A Type Theory for Robust Failure Handling in Distributed Systems Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, P... Published: 24 May 2016
Advances in Nonlinear Speech Processing, doi: 10.1007/978-3-319-39570-8_7
DOI See at publisher website
BOOK-CHAPTER 0 Reads 0 Citations Cloud Federation and Geo-Distribution William Culhane, Patrick Eugster, Chamikara Jayalath, Kirill... Published: 13 May 2016
Encyclopedia of Cloud Computing, doi: 10.1002/9781118821930.ch15
DOI See at publisher website
Article 0 Reads 3 Citations Subscription Normalization for Effective Content-Based Messaging K.R. Jayaram, Weihang Wang, Patrick Eugster Published: 01 November 2015
IEEE Transactions on Parallel and Distributed Systems, doi: 10.1109/TPDS.2014.2355823
DOI See at publisher website
Article 3 Reads 0 Citations 4th International Symposium on Sensor Science (I3S2015): Conference Report Peter Seitz, Debbie G. Senesky, Michael J. Schöning, Peter C... Published: 23 September 2015
Sensors, doi: 10.3390/s150924458
DOI See at publisher website PubMed View at PubMed ABS Show/hide abstract
Note: In lieu of an abstract, this is an excerpt from the first page.Excerpt An international scientific conference was sponsored by the journal Sensors under the patronage of the University of Basel. The 4th edition of the International Symposium on Sensor Science (I3S2015) ran from 13 to 15 July 2015 in Basel, Switzerland. It comprised five plenary sessions and one morning with three parallel sessions. The conference covered the most exciting aspects and the latest developments in sensor science. The conference dinner took place on the second evening of the conference. The I3S2015 brought together 170 participants from 40 different countries.
Article 0 Reads 1 Citation Decentralized Fault-Tolerant Event Correlation Gregory Aaron Wilkin, Patrick Eugster, K. R. Jayaram Published: 07 August 2014
ACM Transactions on Internet Technology, doi: 10.1145/2633687
DOI See at publisher website