Uwe Nestmann

According to our database, Uwe Nestmann authored at least 85 papers between 1995 and 2023.

Collaborative distances:

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

2023

FTMPST: Fault-Tolerant Multiparty Session Types.

Kirstin Peters, Uwe Nestmann, Christoph Wagner

Log. Methods Comput. Sci., 2023

ProofBuddy: A Proof Assistant for Learning and Monitoring.

Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

Store Locally, Prove Globally.

Nadine Karsten, Uwe Nestmann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

On distributability.

Kirstin Peters, Uwe Nestmann, Anna Schmitt

Theor. Comput. Sci., 2022

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy.

Benjamin Bisping, David N. Jansen, Uwe Nestmann

Log. Methods Comput. Sci., 2022

Fault-Tolerant Multiparty Session Types (Technical Report).

Kirstin Peters, Uwe Nestmann, Christoph Wagner

CoRR, 2022

Fault-Tolerant Multiparty Session Types.

Kirstin Peters, Uwe Nestmann, Christoph Wagner

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

Beweiskompetenz durch Beweisassistenz.

Nadine Karsten, Uwe Nestmann

Proceedings of the DELFI 2022, 2022

2021

Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy.

Benjamin Bisping, Uwe Nestmann

CoRR, 2021

A Game for Linear-time-Branching-time Spectroscopy.

Benjamin Bisping, Uwe Nestmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Coupled similarity: the first 32 years.

Benjamin Bisping, Uwe Nestmann, Kirstin Peters

Acta Informatica, 2020

Inter-Blockchain Protocols with the Isabelle Infrastructure Framework.

Florian Kammüller, Uwe Nestmann

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report).

Kirstin Peters, Christoph Wagner, Uwe Nestmann

CoRR, 2019

Computing Coupled Similarity.

Benjamin Bisping, Uwe Nestmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Taming Concurrency for Verification Using Multiparty Session Types.

Kirstin Peters, Christoph Wagner, Uwe Nestmann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018

Dynamic Causality in Event Structures.

Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann

Log. Methods Comput. Sci., 2018

On the Distributability of Mobile Ambients.

Kirstin Peters, Uwe Nestmann

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

On the Distributability of Mobile Ambients (Technical Report).

Kirstin Peters, Uwe Nestmann

CoRR, 2018

A case study of flipped classroom for automata theory in secondary education.

Alexander Wolf, Arno Wilhelm-Weidner, Uwe Nestmann

Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 2018

2017

Session Types for Link Failures.

Manuel Adameit, Kirstin Peters, Uwe Nestmann

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

2016

Synchrony versus causality in distributed systems.

Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann

Math. Struct. Comput. Sci., 2016

Breaking symmetries.

Kirstin Peters, Uwe Nestmann

Math. Struct. Comput. Sci., 2016

Full abstraction for expressiveness: history, myths and facts.

Daniele Gorla, Uwe Nestmann

Math. Struct. Comput. Sci., 2016

Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively.

Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann

Discret. Event Dyn. Syst., 2016

Session Types for Link Failures (Technical Report).

Manuel Adameit, Kirstin Peters, Uwe Nestmann

CoRR, 2016

A Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Arch. Formal Proofs, 2016

Mechanical Verification of a Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Topological Self-Stabilization with Name-Passing Process Calculi.

Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Encoding CSP into CCS.

Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Encoding CSP into CCS (Extended Version).

Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann

CoRR, 2015

Dynamic Causality in Event Structures (Technical Report).

Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann

CoRR, 2015

Higher-Order Dynamics in Event Structures.

David S. Karcher, Uwe Nestmann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

States in Process Calculi.

Christoph Wagner, Uwe Nestmann

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata.

Sven Schneider, Uwe Nestmann

CoRR, 2014

Matching in the Pi-Calculus.

Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

Matching in the Pi-Calculus (Technical Report).

Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann

CoRR, 2014

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata.

Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively.

Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Adding Priority to Event Structures.

Youssef Arbach, Kirstin Peters, Uwe Nestmann

Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

On Distributability in Process Calculi.

Kirstin Peters, Uwe Nestmann, Ursula Goltz

Proceedings of the Programming Languages and Systems, 2013

2012

Is it a "Good" Encoding of Mixed Choice? (Technical Report)

Kirstin Peters, Uwe Nestmann

CoRR, 2012

Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs.

Philipp Küfner, Uwe Nestmann, Christina Rickmann

Proceedings of the Theoretical Computer Science, 2012

Is It a "Good" Encoding of Mixed Choice?

Kirstin Peters, Uwe Nestmann

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011

Synchrony vs Causality in the Asynchronous Pi-Calculus

Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Java Goes TLA+.

Hannes Lau, Uwe Nestmann

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Vorwort.

Sven Abels, Stefan Brüggemann, Matthias Mertens, Uwe Nestmann, Joannis Vlachakis

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Rigorous Discretization of Hybrid Systems Using Process Calculi.

Sven Schneider, Uwe Nestmann

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2010

Defamation-Free Networks through User-Centered Data Control.

Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder.

Nadim Sarrouh, Oliver Blankenstein, Uwe Nestmann

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2009

Preface.

Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann

J. Log. Algebraic Methods Program., 2009

Deriving Trust from Experience.

Florian Eilers, Uwe Nestmann

Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.

Morten Kühnrich, Uwe Nestmann

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

Applying Concurrency Research in Industry Report on a Strategic Workshop.

Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann

Bull. EATCS, 2008

Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms.

Sven Schneider, Johannes Borgström, Uwe Nestmann

Proceedings of the Autonomous Systems, 2008

2007

A formal semantics for protocol narrations.

Sébastien Briais, Uwe Nestmann

Theor. Comput. Sci., 2007

Distributed Consensus, revisited.

Rachele Fuzzati, Massimo Merro, Uwe Nestmann

Acta Informatica, 2007

2006

Advances in the Design and Implementation of Group Communication Middleware.

Daniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi.

Uwe Nestmann

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).

Flavio Corradini, Uwe Nestmann

Theor. Comput. Sci., 2005

On bisimulations for the spi calculus.

Johannes Borgström, Uwe Nestmann

Math. Struct. Comput. Sci., 2005

Guest editors' introduction: Special issue on The pi-calculus.

Uwe Nestmann, Björn Victor

J. Log. Algebraic Methods Program., 2005

Much Ado About Nothing?

Rachele Fuzzati, Uwe Nestmann

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Open Bisimulation, Revisited.

Sébastien Briais, Uwe Nestmann

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Protocol Composition Frameworks A Header-Driven Model.

Daniel C. Bünzli, Sergio Mena, Uwe Nestmann

Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

2004

Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.

Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Symbolic Bisimulation in the Spi Calculus.

Johannes Borgström, Sébastien Briais, Uwe Nestmann

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Guest Editors' Foreword.

Uwe Nestmann, Prakash Panangaden

Nord. J. Comput., 2003

Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.

Flavio Corradini, Uwe Nestmann

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

Modeling Consensus in a Process Calculus.

Uwe Nestmann, Rachele Fuzzati, Massimo Merro

Proceedings of the CONCUR 2003, 2003

Unreliable Failure Detectors via Operational Semantics.

Uwe Nestmann, Rachele Fuzzati

Proceedings of the Advances in Computing Science, 2003

2002

Aliasing Models for Mobile Objects.

Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro

Inf. Comput., 2002

Mobile Objects as Mobile Processes.

Massimo Merro, Josva Kleist, Uwe Nestmann

Inf. Comput., 2002

Preface.

Uwe Nestmann, Prakash Panangaden

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

Mobile Objects "Must" Move Safely.

Sébastien Briais, Uwe Nestmann

Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002

2000

Decoding Choice Encodings.

Uwe Nestmann, Benjamin C. Pierce

Inf. Comput., 2000

Local pi-Calculus at Work: Mobile Objects as Mobile Processes.

Massimo Merro, Josva Kleist, Uwe Nestmann

Proceedings of the Theoretical Computer Science, 2000

1999

Mobile Objects (a project overview).

Uwe Nestmann

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999

Aliasing Models for Object Migration.

Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Semantics of Objects as Processes (SOAP).

Uwe Nestmann, António Ravara

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Preface.

Uwe Nestmann, Benjamin C. Pierce

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

On the Expressive Power of Joint Input.

Uwe Nestmann

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

Calculi for Mobile Processes - Bibliography and Web Pages.

Uwe Nestmann, Björn Victor

Bull. EATCS, 1998

1997

What is a 'good' encoding of guarded choice?

Uwe Nestmann

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

1996

On determinacy and nondeterminacy in concurrent programming.

Uwe Nestmann

PhD thesis, 1996

1995

Correct Transformational Design of Concurrent Search Structures.

Uwe Nestmann, Martin Steffen

Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995